TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/fermionic_source_type_20261029/finite-fermion-type-results.json
Original file SHA-256: 51b4cd83105b82670aa15f2923c2d80f1fc57d836a903bd918c6ace9617907b6
Inclusive original lines: 1-66
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": {
000003 |     "D_anticommutes_grading": true,
000004 |     "J_anticommutes_grading": true,
000005 |     "J_commutes_D": true,
000006 |     "J_square_plus": true,
000007 |     "actual_neutrino_block_has_q_characteristic": true,
000008 |     "all_four_q_eigenvalues_are_simple_in_full_96": true,
000009 |     "chiral_bilinear_nonzero_but_symmetric": true,
000010 |     "finite_bilinear_symmetric": true,
000011 |     "grading_modified_J_anticommutes_D": true,
000012 |     "grading_modified_J_square_minus": true,
000013 |     "grading_modified_bilinear_still_symmetric": true,
000014 |     "grassmann_quadratic_coefficients_zero": true,
000015 |     "no_majorana_control_allows_commuting_square_minus_J": true,
000016 |     "only_KO2_has_both_required_signs": true,
000017 |     "original_dimension_96": true,
000018 |     "q_occurs_in_full_96_characteristic": true,
000019 |     "same_J_fails_commutation_with_majorana_on": true,
000020 |     "selfadjoint": true
000021 |   },
000022 |   "chiral_dimension": 48,
000023 |   "chiral_nonzero_bilinear_entries": 103,
000024 |   "ko_sign_census": [
000025 |     {
000026 |       "epsilon": 1,
000027 |       "epsilon_doubleprime": 1,
000028 |       "epsilon_prime": 1,
000029 |       "ko": 0,
000030 |       "preserves_chiral_pairing": false,
000031 |       "skew": false
000032 |     },
000033 |     {
000034 |       "epsilon": -1,
000035 |       "epsilon_doubleprime": -1,
000036 |       "epsilon_prime": 1,
000037 |       "ko": 2,
000038 |       "preserves_chiral_pairing": true,
000039 |       "skew": true
000040 |     },
000041 |     {
000042 |       "epsilon": -1,
000043 |       "epsilon_doubleprime": 1,
000044 |       "epsilon_prime": 1,
000045 |       "ko": 4,
000046 |       "preserves_chiral_pairing": false,
000047 |       "skew": true
000048 |     },
000049 |     {
000050 |       "epsilon": 1,
000051 |       "epsilon_doubleprime": -1,
000052 |       "epsilon_prime": 1,
000053 |       "ko": 6,
000054 |       "preserves_chiral_pairing": true,
000055 |       "skew": false
000056 |     }
000057 |   ],
000058 |   "majorana_type_control": {
000059 |     "gcd_q_and_full_characteristic_derivative": "1",
000060 |     "neutrino_block": "Matrix([[0, 1, 0, 0], [1, 0, 0, 1], [0, 0, 0, 1], [0, 1, 1, 0]])",
000061 |     "q": "lambda**4 - 3*lambda**2 + 1",
000062 |     "scope": "An actual v252 constructor output, not the selected physical TFPT masses. A universal internal KO2 repair is excluded; no all-P1 or spacetime theorem."
000063 |   },
000064 |   "scope": "Existing v252 finite constructor only; general identities proved in text. No original local P1 field action, spacetime domain, measure, reflection or full TFPT derived.",
000065 |   "status": "PASS_SCOPED"
000066 | }