TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/hodge_complement_20261028/e8-a4-results.json Original file SHA-256: 2816fbc59ad82469571831c4ae852753a4a147d07fd247d835b0b8adfb49c334 Inclusive original lines: 201-400 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. 000201 | "4": [ 000202 | 0, 000203 | 1, 000204 | 2, 000205 | 3 000206 | ] 000207 | }, 000208 | "chart_caveat": "The diagonal cocycle transport is a joint tensor chart; no product phase gauge or raw-coordinate partial trace is asserted.", 000209 | "dual_coordinate_conversion": { 000210 | "input_bar5": "h_q = sign(complement(q),q)", 000211 | "output_bar10": "h_kl = sign(complement(kl),k,l)", 000212 | "verified_amplitude": "h_kl * B_wedge * h_q = epsilon(m,i,j,k,l) A_ab" 000213 | }, 000214 | "state_phases": { 000215 | "-1,-1,-1,1,1,-1,-1,-1": "1", 000216 | "-1,-1,-1,1,1,-1,1,1": "1", 000217 | "-1,-1,-1,1,1,1,-1,1": "1", 000218 | "-1,-1,-1,1,1,1,1,-1": "1", 000219 | "-1,-1,1,-1,1,-1,-1,-1": "1", 000220 | "-1,-1,1,-1,1,-1,1,1": "-1", 000221 | "-1,-1,1,-1,1,1,-1,1": "-1", 000222 | "-1,-1,1,-1,1,1,1,-1": "1", 000223 | "-1,-1,1,1,-1,-1,-1,-1": "1", 000224 | "-1,-1,1,1,-1,-1,1,1": "1", 000225 | "-1,-1,1,1,-1,1,-1,1": "1", 000226 | "-1,-1,1,1,-1,1,1,-1": "1", 000227 | "-1,1,-1,-1,1,-1,-1,-1": "1", 000228 | "-1,1,-1,-1,1,-1,1,1": "1", 000229 | "-1,1,-1,-1,1,1,-1,1": "1", 000230 | "-1,1,-1,-1,1,1,1,-1": "1", 000231 | "-1,1,-1,1,-1,-1,-1,-1": "1", 000232 | "-1,1,-1,1,-1,-1,1,1": "-1", 000233 | "-1,1,-1,1,-1,1,-1,1": "-1", 000234 | "-1,1,-1,1,-1,1,1,-1": "1", 000235 | "-1,1,1,-1,-1,-1,-1,-1": "1", 000236 | "-1,1,1,-1,-1,-1,1,1": "1", 000237 | "-1,1,1,-1,-1,1,-1,1": "1", 000238 | "-1,1,1,-1,-1,1,1,-1": "1", 000239 | "0,0,0,2,2,0,0,0": "1", 000240 | "0,0,2,0,2,0,0,0": "-1", 000241 | "0,0,2,2,0,0,0,0": "1", 000242 | "0,2,0,0,2,0,0,0": "1", 000243 | "0,2,0,2,0,0,0,0": "-1", 000244 | "0,2,2,0,0,0,0,0": "1", 000245 | "1,-1,-1,-1,1,-1,-1,-1": "1", 000246 | "1,-1,-1,-1,1,-1,1,1": "1", 000247 | "1,-1,-1,-1,1,1,-1,1": "1", 000248 | "1,-1,-1,-1,1,1,1,-1": "-1", 000249 | "1,-1,-1,1,-1,-1,-1,-1": "1", 000250 | "1,-1,-1,1,-1,-1,1,1": "-1", 000251 | "1,-1,-1,1,-1,1,-1,1": "-1", 000252 | "1,-1,-1,1,-1,1,1,-1": "-1", 000253 | "1,-1,1,-1,-1,-1,-1,-1": "1", 000254 | "1,-1,1,-1,-1,-1,1,1": "1", 000255 | "1,-1,1,-1,-1,1,-1,1": "1", 000256 | "1,-1,1,-1,-1,1,1,-1": "-1", 000257 | "1,1,-1,-1,-1,-1,-1,-1": "1", 000258 | "1,1,-1,-1,-1,-1,1,1": "-1", 000259 | "1,1,-1,-1,-1,1,-1,1": "-1", 000260 | "1,1,-1,-1,-1,1,1,-1": "-1", 000261 | "2,0,0,0,2,0,0,0": "1", 000262 | "2,0,0,2,0,0,0,0": "-1", 000263 | "2,0,2,0,0,0,0,0": "1", 000264 | "2,2,0,0,0,0,0,0": "-1", 000265 | "-1,-1,-1,-1,1,-1,-1,1": "1", 000266 | "-1,-1,-1,-1,1,-1,1,-1": "-1", 000267 | "-1,-1,-1,-1,1,1,-1,-1": "1", 000268 | "-1,-1,-1,-1,1,1,1,1": "1", 000269 | "-1,-1,-1,1,-1,-1,-1,1": "-1", 000270 | "-1,-1,-1,1,-1,-1,1,-1": "-1", 000271 | "-1,-1,-1,1,-1,1,-1,-1": "1", 000272 | "-1,-1,-1,1,-1,1,1,1": "-1", 000273 | "-1,-1,1,-1,-1,-1,-1,1": "1", 000274 | "-1,-1,1,-1,-1,-1,1,-1": "-1", 000275 | "-1,-1,1,-1,-1,1,-1,-1": "1", 000276 | "-1,-1,1,-1,-1,1,1,1": "1", 000277 | "-1,1,-1,-1,-1,-1,-1,1": "-1", 000278 | "-1,1,-1,-1,-1,-1,1,-1": "-1", 000279 | "-1,1,-1,-1,-1,1,-1,-1": "1", 000280 | "-1,1,-1,-1,-1,1,1,1": "-1", 000281 | "0,0,0,0,2,-2,0,0": "1", 000282 | "0,0,0,0,2,0,-2,0": "-1", 000283 | "0,0,0,0,2,0,0,-2": "1", 000284 | "0,0,0,0,2,0,0,2": "-1", 000285 | "0,0,0,0,2,0,2,0": "1", 000286 | "0,0,0,0,2,2,0,0": "1", 000287 | "0,0,0,2,0,-2,0,0": "-1", 000288 | "0,0,0,2,0,0,-2,0": "1", 000289 | "0,0,0,2,0,0,0,-2": "1", 000290 | "0,0,0,2,0,0,0,2": "-1", 000291 | "0,0,0,2,0,0,2,0": "-1", 000292 | "0,0,0,2,0,2,0,0": "-1", 000293 | "0,0,2,0,0,-2,0,0": "1", 000294 | "0,0,2,0,0,0,-2,0": "-1", 000295 | "0,0,2,0,0,0,0,-2": "1", 000296 | "0,0,2,0,0,0,0,2": "-1", 000297 | "0,0,2,0,0,0,2,0": "1", 000298 | "0,0,2,0,0,2,0,0": "1", 000299 | "0,2,0,0,0,-2,0,0": "-1", 000300 | "0,2,0,0,0,0,-2,0": "1", 000301 | "0,2,0,0,0,0,0,-2": "1", 000302 | "0,2,0,0,0,0,0,2": "-1", 000303 | "0,2,0,0,0,0,2,0": "-1", 000304 | "0,2,0,0,0,2,0,0": "-1", 000305 | "1,-1,-1,-1,-1,-1,-1,1": "1", 000306 | "1,-1,-1,-1,-1,-1,1,-1": "-1", 000307 | "1,-1,-1,-1,-1,1,-1,-1": "1", 000308 | "1,-1,-1,-1,-1,1,1,1": "-1", 000309 | "2,0,0,0,0,-2,0,0": "1", 000310 | "2,0,0,0,0,0,-2,0": "-1", 000311 | "2,0,0,0,0,0,0,-2": "1", 000312 | "2,0,0,0,0,0,0,2": "1", 000313 | "2,0,0,0,0,0,2,0": "-1", 000314 | "2,0,0,0,0,2,0,0": "-1", 000315 | "-2,-2,0,0,0,0,0,0": "-1", 000316 | "-2,0,-2,0,0,0,0,0": "-1", 000317 | "-2,0,0,-2,0,0,0,0": "-1", 000318 | "-2,0,0,0,-2,0,0,0": "-1", 000319 | "-1,-1,1,1,1,-1,-1,1": "1", 000320 | "-1,-1,1,1,1,-1,1,-1": "-1", 000321 | "-1,-1,1,1,1,1,-1,-1": "1", 000322 | "-1,-1,1,1,1,1,1,1": "1", 000323 | "-1,1,-1,1,1,-1,-1,1": "-1", 000324 | "-1,1,-1,1,1,-1,1,-1": "-1", 000325 | "-1,1,-1,1,1,1,-1,-1": "1", 000326 | "-1,1,-1,1,1,1,1,1": "-1", 000327 | "-1,1,1,-1,1,-1,-1,1": "1", 000328 | "-1,1,1,-1,1,-1,1,-1": "-1", 000329 | "-1,1,1,-1,1,1,-1,-1": "1", 000330 | "-1,1,1,-1,1,1,1,1": "1", 000331 | "-1,1,1,1,-1,-1,-1,1": "-1", 000332 | "-1,1,1,1,-1,-1,1,-1": "-1", 000333 | "-1,1,1,1,-1,1,-1,-1": "1", 000334 | "-1,1,1,1,-1,1,1,1": "-1", 000335 | "0,-2,-2,0,0,0,0,0": "1", 000336 | "0,-2,0,-2,0,0,0,0": "1", 000337 | "0,-2,0,0,-2,0,0,0": "1", 000338 | "0,0,-2,-2,0,0,0,0": "1", 000339 | "0,0,-2,0,-2,0,0,0": "1", 000340 | "0,0,0,-2,-2,0,0,0": "1", 000341 | "1,-1,-1,1,1,-1,-1,1": "-1", 000342 | "1,-1,-1,1,1,-1,1,-1": "1", 000343 | "1,-1,-1,1,1,1,-1,-1": "-1", 000344 | "1,-1,-1,1,1,1,1,1": "1", 000345 | "1,-1,1,-1,1,-1,-1,1": "1", 000346 | "1,-1,1,-1,1,-1,1,-1": "1", 000347 | "1,-1,1,-1,1,1,-1,-1": "-1", 000348 | "1,-1,1,-1,1,1,1,1": "-1", 000349 | "1,-1,1,1,-1,-1,-1,1": "-1", 000350 | "1,-1,1,1,-1,-1,1,-1": "1", 000351 | "1,-1,1,1,-1,1,-1,-1": "-1", 000352 | "1,-1,1,1,-1,1,1,1": "1", 000353 | "1,1,-1,-1,1,-1,-1,1": "-1", 000354 | "1,1,-1,-1,1,-1,1,-1": "1", 000355 | "1,1,-1,-1,1,1,-1,-1": "-1", 000356 | "1,1,-1,-1,1,1,1,1": "1", 000357 | "1,1,-1,1,-1,-1,-1,1": "1", 000358 | "1,1,-1,1,-1,-1,1,-1": "1", 000359 | "1,1,-1,1,-1,1,-1,-1": "-1", 000360 | "1,1,-1,1,-1,1,1,1": "-1", 000361 | "1,1,1,-1,-1,-1,-1,1": "-1", 000362 | "1,1,1,-1,-1,-1,1,-1": "1", 000363 | "1,1,1,-1,-1,1,-1,-1": "-1", 000364 | "1,1,1,-1,-1,1,1,1": "1" 000365 | }, 000366 | "input_bar5_phase_chart": { 000367 | "-1,-1,-1,1,1,-1,-1,-1": "1", 000368 | "-1,-1,-1,1,1,-1,1,1": "-1", 000369 | "-1,-1,-1,1,1,1,-1,1": "1", 000370 | "-1,-1,-1,1,1,1,1,-1": "-1", 000371 | "-1,-1,1,-1,1,-1,-1,-1": "1", 000372 | "-1,-1,1,-1,1,-1,1,1": "1", 000373 | "-1,-1,1,-1,1,1,-1,1": "-1", 000374 | "-1,-1,1,-1,1,1,1,-1": "-1", 000375 | "-1,-1,1,1,-1,-1,-1,-1": "1", 000376 | "-1,-1,1,1,-1,-1,1,1": "-1", 000377 | "-1,-1,1,1,-1,1,-1,1": "1", 000378 | "-1,-1,1,1,-1,1,1,-1": "-1", 000379 | "-1,1,-1,-1,1,-1,-1,-1": "1", 000380 | "-1,1,-1,-1,1,-1,1,1": "-1", 000381 | "-1,1,-1,-1,1,1,-1,1": "1", 000382 | "-1,1,-1,-1,1,1,1,-1": "-1", 000383 | "-1,1,-1,1,-1,-1,-1,-1": "1", 000384 | "-1,1,-1,1,-1,-1,1,1": "1", 000385 | "-1,1,-1,1,-1,1,-1,1": "-1", 000386 | "-1,1,-1,1,-1,1,1,-1": "-1", 000387 | "-1,1,1,-1,-1,-1,-1,-1": "1", 000388 | "-1,1,1,-1,-1,-1,1,1": "-1", 000389 | "-1,1,1,-1,-1,1,-1,1": "1", 000390 | "-1,1,1,-1,-1,1,1,-1": "-1", 000391 | "0,0,0,2,2,0,0,0": "1", 000392 | "0,0,2,0,2,0,0,0": "-1", 000393 | "0,0,2,2,0,0,0,0": "1", 000394 | "0,2,0,0,2,0,0,0": "1", 000395 | "0,2,0,2,0,0,0,0": "-1", 000396 | "0,2,2,0,0,0,0,0": "1", 000397 | "1,-1,-1,-1,1,-1,-1,-1": "1", 000398 | "1,-1,-1,-1,1,-1,1,1": "-1", 000399 | "1,-1,-1,-1,1,1,-1,1": "1", 000400 | "1,-1,-1,-1,1,1,1,-1": "1",