TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/pair-index-results.json
Original file SHA-256: eec63376ac978b2c8c09c55bb25f0ca919652ab77cce328c0028e9cf1b925fe2
Inclusive original lines: 1-81
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 |   "claim": "MATH.ORIGINAL-SEAM.PAIR-INDEX.01",
000003 |   "verdict": "PASS_EXACT_ALGEBRA",
000004 |   "scope": "Infinite analytic theorem plus exact finite-support checks; no physical source selection or EM Ward proof.",
000005 |   "checks": [
000006 |     {
000007 |       "name": "noncommuting_pair_is_orthogonal_projections",
000008 |       "ok": true
000009 |     },
000010 |     {
000011 |       "name": "indefinite_rank_three_index_one",
000012 |       "ok": true,
000013 |       "eigenvalues": [
000014 |         "1",
000015 |         "-4/5",
000016 |         "4/5"
000017 |       ]
000018 |     },
000019 |     {
000020 |       "name": "pair_relative_determinant_is_one_minus_z",
000021 |       "ok": true,
000022 |       "determinant": "1 - z"
000023 |     },
000024 |     {
000025 |       "name": "exact_operator_log_derivative",
000026 |       "ok": true
000027 |     },
000028 |     {
000029 |       "name": "nonprojective_covariance_is_positive_contraction",
000030 |       "ok": true
000031 |     },
000032 |     {
000033 |       "name": "same_bilateral_source_nonprojective_factor",
000034 |       "ok": true,
000035 |       "determinant": "1 - z",
000036 |       "shifted_eigenvalues": {
000037 |         "1": 2,
000038 |         "2/3": 1,
000039 |         "1/4": 1,
000040 |         "0": 1
000041 |       }
000042 |     },
000043 |     {
000044 |       "name": "carrier_clutch_degree_is_not_rank",
000045 |       "ok": true,
000046 |       "weak_determinant": "z",
000047 |       "scalar_determinant": "z**2",
000048 |       "full_special_determinant": "1"
000049 |     }
000050 |   ],
000051 |   "sources": [
000052 |     {
000053 |       "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/check_pair_index_determinant.py",
000054 |       "sha256": "cf944975609e83c78ae089f0e70d1b3fad9f9d2edda613a763af5f0babcb1904"
000055 |     },
000056 |     {
000057 |       "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/PAIR-INDEX-DETERMINANT.txt",
000058 |       "sha256": "7c7dc9d48a96a140afeb72ddb2d0e6ae2f37e73e6260426544b9a94d7abac04d"
000059 |     },
000060 |     {
000061 |       "path": "documents/archive--paper-latex--tfpt-42/sections/005-subsection-internal-carrier-stabilizer-and-one-family-pa.tex",
000062 |       "sha256": "3348bf35cc05750e1ee198a772ff3278ef92797b9a83cd36b6ce2483300205e8"
000063 |     },
000064 |     {
000065 |       "path": "documents/archive--paper-latex--tfpt-42/sections/007-subsection-carrier-form-of-the-electromagnetic-closure.tex",
000066 |       "sha256": "6f98cfb7404f415e4a511712c1fa144c85bb662c36386cc32d1ebb3537a9fb6b"
000067 |     },
000068 |     {
000069 |       "path": "documents/archive--paper-latex--tfpt-42/sections/012-subsection-bosonic-relative-index-and-higgs-selection.tex",
000070 |       "sha256": "8140f7618b51292b8acf79fdc999cac9482842626ed07db4edb54dc91c9499d6"
000071 |     },
000072 |     {
000073 |       "path": "documents/archive--paper-latex--tfpt-31/sections/007-subsection-occupancy-and-boundary-to-bulk-bridge.tex",
000074 |       "sha256": "9c441d14de6a6c9586a4d2b077b160a4c5ce020d82243ff832300ff9554e6397"
000075 |     },
000076 |     {
000077 |       "path": "documents/archive--paper-latex--tfpt-32/sections/007-subsection-occupancy-and-boundary-to-bulk-bridge.tex",
000078 |       "sha256": "ee0f3ecd2776f594d9c0cc4ac5c9acae8835b29ae1254414431b234efd4d0e76"
000079 |     }
000080 |   ]
000081 | }