TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/native-arc-charge-source-interface-20261026/results.json
Original file SHA-256: aa418563617de5dd2d66575792afb7488f4dc4d1d4b94f7d1c4d9785d44a75df
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 |   "charge_commutator_gram": [
000003 |     [
000004 |       "243/16",
000005 |       "-51/32",
000006 |       "3/64",
000007 |       "3/64",
000008 |       "0"
000009 |     ],
000010 |     [
000011 |       "-51/32",
000012 |       "115/64",
000013 |       "7/128",
000014 |       "7/128",
000015 |       "0"
000016 |     ],
000017 |     [
000018 |       "3/64",
000019 |       "7/128",
000020 |       "57/64",
000021 |       "-3/16",
000022 |       "0"
000023 |     ],
000024 |     [
000025 |       "3/64",
000026 |       "7/128",
000027 |       "-3/16",
000028 |       "47/64",
000029 |       "0"
000030 |     ],
000031 |     [
000032 |       "0",
000033 |       "0",
000034 |       "0",
000035 |       "0",
000036 |       "1/8"
000037 |     ]
000038 |   ],
000039 |   "charge_gram_det": "498159/262144",
000040 |   "charge_gram_rank_each_arc": [
000041 |     5,
000042 |     5,
000043 |     5,
000044 |     5,
000045 |     5,
000046 |     5,
000047 |     5,
000048 |     5
000049 |   ],
000050 |   "coefficient_column_sums": [
000051 |     "-15/2",
000052 |     "-1/4",
000053 |     "-1",
000054 |     "3",
000055 |     "0"
000056 |   ],
000057 |   "directed_subset_edges": 1120,
000058 |   "exact_scope": "Same M/O/quarter source, highest CAR coefficient, additive density/stress algebra on the eight proper disjoint preimage arcs.",
000059 |   "modular_diagnostic": [
000060 |     {
000061 |       "alpha": "0.25",
000062 |       "arc0_modular_commutator_hs_norm": 0.6957194065681869,
000063 |       "covariance_range": [
000064 |         0.1733592587809041,
000065 |         0.8266407412190967
000066 |       ],
000067 |       "cross_arc_modular_hs_norm": 1.3914388131363773,
000068 |       "native_cartan_commutators": [
000069 |         2.1837951227902018e-14,
000070 |         2.563034608874478e-14,
000071 |         2.4624477366955243e-14,
000072 |         2.171176914765781e-14
000073 |       ],
000074 |       "occupied_source_modes": 32,
000075 |       "product_covariance_commutator": 0.0,
000076 |       "retained_sites": 16,
000077 |       "ring_size": 64
000078 |     },
000079 |     {
000080 |       "alpha": "0.75",
000081 |       "arc0_modular_commutator_hs_norm": 0.695719406568188,
000082 |       "covariance_range": [
000083 |         0.17335925878090372,
000084 |         0.8266407412190968
000085 |       ],
000086 |       "cross_arc_modular_hs_norm": 1.391438813136378,
000087 |       "native_cartan_commutators": [
000088 |         2.114880275379353e-14,
000089 |         2.4537424977247344e-14,
000090 |         2.4197477859479008e-14,
000091 |         2.1922823536193414e-14
000092 |       ],
000093 |       "occupied_source_modes": 32,
000094 |       "product_covariance_commutator": 0.0,
000095 |       "retained_sites": 16,
000096 |       "ring_size": 64
000097 |     },
000098 |     {
000099 |       "alpha": "0.25",
000100 |       "arc0_modular_commutator_hs_norm": 1.0829694424131067,
000101 |       "covariance_range": [
000102 |         0.009445516208050527,
000103 |         0.9905544837919511
000104 |       ],
000105 |       "cross_arc_modular_hs_norm": 2.165938884826211,
000106 |       "native_cartan_commutators": [
000107 |         2.906717940082139e-13,
000108 |         3.208919990555469e-13,
000109 |         3.104906513612664e-13,
000110 |         2.764162249335153e-13
000111 |       ],
000112 |       "occupied_source_modes": 64,
000113 |       "product_covariance_commutator": 0.0,
000114 |       "retained_sites": 32,
000115 |       "ring_size": 128
000116 |     },
000117 |     {
000118 |       "alpha": "0.75",
000119 |       "arc0_modular_commutator_hs_norm": 1.0829694424131078,
000120 |       "covariance_range": [
000121 |         0.009445516208050302,
000122 |         0.9905544837919512
000123 |       ],
000124 |       "cross_arc_modular_hs_norm": 2.1659388848262124,
000125 |       "native_cartan_commutators": [
000126 |         2.562478047060774e-13,
000127 |         3.05403506814912e-13,
000128 |         2.6647144128300844e-13,
000129 |         2.554107609899254e-13
000130 |       ],
000131 |       "occupied_source_modes": 64,
000132 |       "product_covariance_commutator": 0.0,
000133 |       "retained_sites": 32,
000134 |       "ring_size": 128
000135 |     }
000136 |   ],
000137 |   "negative_control_constant_principal_vector": "zero relative-arc charge",
000138 |   "normalized_charge_gram": [
000139 |     [
000140 |       "81/512",
000141 |       "-17*sqrt(3)/512",
000142 |       "sqrt(3)/1024",
000143 |       "sqrt(3)/1024",
000144 |       "0"
000145 |     ],
000146 |     [
000147 |       "-17*sqrt(3)/512",
000148 |       "115/512",
000149 |       "7/1024",
000150 |       "7/1024",
000151 |       "0"
000152 |     ],
000153 |     [
000154 |       "sqrt(3)/1024",
000155 |       "7/1024",
000156 |       "57/512",
000157 |       "-3/128",
000158 |       "0"
000159 |     ],
000160 |     [
000161 |       "sqrt(3)/1024",
000162 |       "7/1024",
000163 |       "-3/128",
000164 |       "47/512",
000165 |       "0"
000166 |     ],
000167 |     [
000168 |       "0",
000169 |       "0",
000170 |       "0",
000171 |       "0",
000172 |       "1/8"
000173 |     ]
000174 |   ],
000175 |   "normalized_charge_gram_det": "166053/4294967296",
000176 |   "not_claimed": [
000177 |     "P1 or full local CAR is exhausted by density/stress algebra",
000178 |     "modular parameter is physical time",
000179 |     "a modular matrix entry is a physical coupling",
000180 |     "continuum convergence from two ring sizes",
000181 |     "physical 3+2, alpha or 3+1D selected"
000182 |   ],
000183 |   "original_source_rank": 5,
000184 |   "positive_native_cartan_vs_local_scalar_gram": [
000185 |     [
000186 |       "3/4",
000187 |       "0",
000188 |       "0",
000189 |       "I/4"
000190 |     ],
000191 |     [
000192 |       "0",
000193 |       "1",
000194 |       "0",
000195 |       "0"
000196 |     ],
000197 |     [
000198 |       "0",
000199 |       "0",
000200 |       "1",