TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/native-spin5-source-record-results.json
Original file SHA-256: f96a517caa8a0bee3cfc1b0528b0bcdb1121eb605a23afca384ba091080af512
Inclusive original lines: 1-200
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": 27,
000003 |   "generator_test": {
000004 |     "C": "U Bell(C) = Lambda2(W(C)) U",
000005 |     "G": "U (-i Bell(G)) = Lambda2(W(G)) U",
000006 |     "exact": true
000007 |   },
000008 |   "normalization": {
000009 |     "Bell_to_Sym2_factor": "1/2",
000010 |     "compact_real_frame_used": true,
000011 |     "native_chart_unitary": true,
000012 |     "symmetric_Pauli_HS_norm_squared": 4,
000013 |     "symmetric_tensor_metric": "diag(1,2,2,2,1,2,2,1,2,1)"
000014 |   },
000015 |   "one_record": {
000016 |     "coefficient_gram": [
000017 |       [
000018 |         "3/4",
000019 |         "0",
000020 |         "0",
000021 |         "0",
000022 |         "0"
000023 |       ],
000024 |       [
000025 |         "0",
000026 |         "3/4",
000027 |         "0",
000028 |         "0",
000029 |         "0"
000030 |       ],
000031 |       [
000032 |         "0",
000033 |         "0",
000034 |         "3/4",
000035 |         "0",
000036 |         "0"
000037 |       ],
000038 |       [
000039 |         "0",
000040 |         "0",
000041 |         "0",
000042 |         "3/4",
000043 |         "0"
000044 |       ],
000045 |       [
000046 |         "0",
000047 |         "0",
000048 |         "0",
000049 |         "0",
000050 |         "3/4"
000051 |       ]
000052 |     ],
000053 |     "coefficient_gram_eigenvalues": {
000054 |       "3/4": 5
000055 |     },
000056 |     "coefficient_record_projector_real": true,
000057 |     "full_hodge_support_contained": true,
000058 |     "hodge_span_rank": 5,
000059 |     "input_independent_success": true,
000060 |     "intersection_dimension": 5,
000061 |     "joint_rank": 55,
000062 |     "maximum_exact_hodge_success_probability": "1/15",
000063 |     "minimal_record_effect_rank": 5,
000064 |     "native_hodge_frame_eigenvalue": 8,
000065 |     "optimal_record_contraction_gram": [
000066 |       [
000067 |         "1",
000068 |         "0",
000069 |         "0",
000070 |         "0",
000071 |         "0"
000072 |       ],
000073 |       [
000074 |         "0",
000075 |         "1",
000076 |         "0",
000077 |         "0",
000078 |         "0"
000079 |       ],
000080 |       [
000081 |         "0",
000082 |         "0",
000083 |         "1",
000084 |         "0",
000085 |         "0"
000086 |       ],
000087 |       [
000088 |         "0",
000089 |         "0",
000090 |         "0",
000091 |         "1",
000092 |         "0"
000093 |       ],
000094 |       [
000095 |         "0",
000096 |         "0",
000097 |         "0",
000098 |         "0",
000099 |         "1"
000100 |       ]
000101 |     ],
000102 |     "physical_record_effect": "E=(4/3) conjugate(X1) X1^T; J_E=W1 E^T W1^dagger/60",
000103 |     "record_filter_source_selected": false,
000104 |     "resulting_success_map": "(1/15) Phi_native",
000105 |     "source_count": 60,
000106 |     "source_frame_eigenvalues": {
000107 |       "0": 45,
000108 |       "16": 9,
000109 |       "8": 45,
000110 |       "96": 1
000111 |     },
000112 |     "source_span_rank": 55
000113 |   },
000114 |   "scope": "The native metric, compact real form and full Spin5 functor fix the target Kraus space without a duad label chart. The calculation proves exact coherent one-record and two-record support and their optimal target filters. It does not show that the source selects or implements either coherent record contraction.",
000115 |   "source_sha256": {
000116 | [OMITTED: non-scientific conversation or execution metadata]
000117 | [OMITTED: non-scientific conversation or execution metadata]
000118 | [OMITTED: non-scientific conversation or execution metadata]
000119 |   },
000120 |   "two_record": {
000121 |     "coefficient_gram": [
000122 |       [
000123 |         "1/64",
000124 |         "0",
000125 |         "0",
000126 |         "0",
000127 |         "0"
000128 |       ],
000129 |       [
000130 |         "0",
000131 |         "1/64",
000132 |         "0",
000133 |         "0",
000134 |         "0"
000135 |       ],
000136 |       [
000137 |         "0",
000138 |         "0",
000139 |         "1/64",
000140 |         "0",
000141 |         "0"
000142 |       ],
000143 |       [
000144 |         "0",
000145 |         "0",
000146 |         "0",
000147 |         "1/64",
000148 |         "0"
000149 |       ],
000150 |       [
000151 |         "0",
000152 |         "0",
000153 |         "0",
000154 |         "0",
000155 |         "1/64"
000156 |       ]
000157 |     ],
000158 |     "coefficient_gram_eigenvalues": {
000159 |       "1/64": 5
000160 |     },
000161 |     "history_count": 3600,
000162 |     "input_independent_success": true,
000163 |     "maximum_exact_hodge_success_probability": "4/75",
000164 |     "optimal_record_contraction_gram": [
000165 |       [
000166 |         "1",
000167 |         "0",
000168 |         "0",
000169 |         "0",
000170 |         "0"
000171 |       ],
000172 |       [
000173 |         "0",
000174 |         "1",
000175 |         "0",
000176 |         "0",
000177 |         "0"
000178 |       ],
000179 |       [
000180 |         "0",
000181 |         "0",
000182 |         "1",
000183 |         "0",
000184 |         "0"
000185 |       ],
000186 |       [
000187 |         "0",
000188 |         "0",
000189 |         "0",
000190 |         "1",
000191 |         "0"
000192 |       ],
000193 |       [
000194 |         "0",
000195 |         "0",
000196 |         "0",
000197 |         "0",
000198 |         "1"
000199 |       ]
000200 |     ],