TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_sewing_20261028/polarization/spin5-quartic-polarization-results.json
Original file SHA-256: 97d3d7977942922f94574385093741e652fcf7f40f3a6d2399a3856ef2591f45
Inclusive original lines: 1-62
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | {
000002 |   "checks": 86,
000003 |   "multiplication": {
000004 |     "domain_dimension": 55,
000005 |     "rank_one_restrictions": [
000006 |       "0",
000007 |       "0",
000008 |       "0",
000009 |       "0",
000010 |       "0"
000011 |     ],
000012 |     "remaining_kernel_quotient_dimension": 14,
000013 |     "schur22_kernel_dimension": 20,
000014 |     "sp4_invariant_scalar_dimension": 1,
000015 |     "sp4_invariant_spin5_relation_dimension": 5,
000016 |     "spin5_relation_dimension": 5,
000017 |     "sym4_image_dimension": 35
000018 |   },
000019 |   "original_point_splitting": {
000020 |     "consequence": "The four positive holomorphic currents have no mutual singular contractions. Their bosonic-current normal products preserve the five polynomial zero identities. The retained fermionic point splitting and its finite counterterms realize the same zero field; they do not turn K5 into the original Sym4 quartics.",
000021 |     "positive_isotropy": "A A^T=0",
000022 |     "remaining_typed_route": "A mixed adjoint OPE or a nonuniform derivative assignment can leave the holomorphic multiplication map, but selecting its pole, Taylor order and conjugate leg is extra data. No source-reviewed original identity currently identifies such a component with the canonical Spin5 K5.",
000023 |     "source_to_positive_isometry": "A A^dagger=I4"
000024 |   },
000025 |   "original_quartics": {
000026 |     "fock_normalizations": [
000027 |       96,
000028 |       8,
000029 |       8,
000030 |       8,
000031 |       1
000032 |     ],
000033 |     "hessian_span_dimension": 5,
000034 |     "hessian_sym4_image_rank": 5,
000035 |     "intersection_with_spin5_relation_five": 0,
000036 |     "polynomials": [
000037 |       "z0**4 + z1**4 + z2**4 + z3**4",
000038 |       "z0**2*z1**2 + z2**2*z3**2",
000039 |       "z0**2*z2**2 + z1**2*z3**2",
000040 |       "z0**2*z3**2 + z1**2*z2**2",
000041 |       "z0*z1*z2*z3"
000042 |     ]
000043 |   },
000044 |   "scope": "This excludes ordinary quartic polarization, the original 2+2 Hessian five, and the unchanged holomorphic CAR point-splitting realization as sources of the canonical K5. It is not a no-go theorem for all mixed, derivative or separated OPE components.",
000045 |   "source_sha256": {
000046 | [OMITTED: non-scientific conversation or execution metadata]
000047 | [OMITTED: non-scientific conversation or execution metadata]
000048 | [OMITTED: non-scientific conversation or execution metadata]
000049 | [OMITTED: non-scientific conversation or execution metadata]
000050 | [OMITTED: non-scientific conversation or execution metadata]
000051 | [OMITTED: non-scientific conversation or execution metadata]
000052 | [OMITTED: non-scientific conversation or execution metadata]
000053 |   },
000054 |   "typed_map": "D_m=F_real^T C_m F_real in Sym2(Sym2 V)^*",
000055 |   "verdict": [
000056 |     "SPIN5_HODGE_FIVE_IS_A_PLUECKER_RELATION_FIVE",
000057 |     "ALL_FIVE_CONGRUENCES_VANISH_ON_RANK_ONE_SYM2_TENSORS",
000058 |     "ORIGINAL_NATIVE_QUARTIC_HESSIAN_FIVE_HAS_ZERO_INTERSECTION_WITH_K5",
000059 |     "ORIGINAL_HOLOMORPHIC_POINT_SPLITTING_CANNOT_LIFT_THE_ZERO_RELATION",
000060 |     "MIXED_OR_ASYMMETRIC_DERIVATIVE_OPE_REQUIRES_AN_ADDITIONAL_TYPED_CHOICE"
000061 |   ]
000062 | }