TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/kohonen_session_coverage/coverage.json
Original file SHA-256: 067c3655e8d592a8910f29506fa7ca578e5b9f917f9177243bd6a541d2ed5c35
Inclusive original lines: 401-600
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.

000401 |               "sha256": "7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79",
000402 |               "line_start": 122,
000403 |               "line_end": 129
000404 |             },
000405 |             {
000406 |               "path": "documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/001-section-primitive-core-and-carrier-interface-handoff.tex",
000407 |               "sha256": "7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79",
000408 |               "line_start": 302,
000409 |               "line_end": 350
000410 |             },
000411 |             {
000412 |               "path": "documents/archive--tfpt-45--source_extracts--04_qft_source/sections/008-section-relative-reflection-positivity-with-fermions.tex",
000413 |               "sha256": "898aa879cf6a3eb6464d3180274bc2fc028408aeec9676af70a862dad9c3f4dc",
000414 |               "line_start": 143,
000415 |               "line_end": 169
000416 |             }
000417 |           ],
000418 |           "sources_verified": true
000419 |         },
000420 |         {
000421 |           "id": "finding:equal-finite-positive-heat-channel-values-do-not-fix-geometric-force",
000422 |           "status": "established_scoped",
000423 |           "premise_ids": [
000424 |             "premise:finite-positive-heat-channel-endpoint-selection-test",
000425 |             "premise:typed-source-structures",
000426 |             "premise:historical-sf-sector-action-and-relative-normalization"
000427 |           ],
000428 |           "sources": [
000429 |             {
000430 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/PRIMITIVE-GEOMETRIC-SELECTION.txt",
000431 |               "sha256": "4d04282ade94df4a8a185017a4c3448ae14976f5140a3e3b5830e91196f03cc3",
000432 |               "line_start": 1,
000433 |               "line_end": 170
000434 |             },
000435 |             {
000436 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_source_return/check_primitive_selection.py",
000437 |               "sha256": "c23357b7b6e4a766885aa0118ae4d7aa488c09368a4526b5144cb56fef826c5d",
000438 |               "line_start": 1,
000439 |               "line_end": 200
000440 |             },
000441 |             {
000442 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_source_return/check_primitive_selection.py",
000443 |               "sha256": "c23357b7b6e4a766885aa0118ae4d7aa488c09368a4526b5144cb56fef826c5d",
000444 |               "line_start": 201,
000445 |               "line_end": 208
000446 |             },
000447 |             {
000448 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_source_return/primitive_selection.json",
000449 |               "sha256": "89d75331160a8042d3a01cb13e78cfac34b35f1693e3578ea787b00ad9cd1cb6",
000450 |               "line_start": 1,
000451 |               "line_end": 200
000452 |             },
000453 |             {
000454 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_source_return/primitive_selection.json",
000455 |               "sha256": "89d75331160a8042d3a01cb13e78cfac34b35f1693e3578ea787b00ad9cd1cb6",
000456 |               "line_start": 201,
000457 |               "line_end": 348
000458 |             },
000459 |             {
000460 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/DIRECT-DEFECT-CLOSURE.txt",
000461 |               "sha256": "84a79c74da8b18387a3d2d8a9928e4a437a608120b52a46c7ede6392cf1128ff",
000462 |               "line_start": 1,
000463 |               "line_end": 200
000464 |             },
000465 |             {
000466 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/REWEIGHTING-REVIEW.txt",
000467 |               "sha256": "aa7479fc2d4bb9eb11fd071e81550906bd4105e43a19af759da7054efbc3d49a",
000468 |               "line_start": 126,
000469 |               "line_end": 154
000470 |             }
000471 |           ],
000472 |           "sources_verified": true
000473 |         }
000474 |       ]
000475 |     },
000476 |     {
000477 |       "topic": "Causal response and retained history",
000478 |       "findings": [
000479 |         {
000480 |           "id": "finding:retained-seam-defect-has-derived-causal-geometric-response-with-contact",
000481 |           "status": "established_scoped",
000482 |           "premise_ids": [
000483 |             "premise:retained-zero-branch-defect-on-common-pin-geometric-history",
000484 |             "premise:given-flat-mobius-dirac-boundary-family-and-full-sea",
000485 |             "premise:given-pin-source-conformal-normal-geometry-probes",
000486 |             "premise:typed-source-structures"
000487 |           ],
000488 |           "sources": [
000489 |             {
000490 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/GEOMETRIC-SECTOR-RESPONSE.txt",
000491 |               "sha256": "8ba1f1e255a40b90888e47b95b1ec555ff5af051b49fd70b4d8336cd497a8197",
000492 |               "line_start": 1,
000493 |               "line_end": 194
000494 |             },
000495 |             {
000496 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_sector_response/check_geometric_sector_response.py",
000497 |               "sha256": "a0a151e05bff917c1ea2c971e24d2b6f00b304e5b43502267200833ca3bc49f8",
000498 |               "line_start": 1,
000499 |               "line_end": 167
000500 |             },
000501 |             {
000502 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_sector_response/source_geometric_machine.py",
000503 |               "sha256": "88f78a5263e3860076e8d94a4699107ac458c2cdcaf106426880bc9a66624c21",
000504 |               "line_start": 1,
000505 |               "line_end": 170
000506 |             },
000507 |             {
000508 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_sector_response/geometric_sector_response.json",
000509 |               "sha256": "fe35987cd8349b7e9772264da859e05a3582ae4a2acab7320e49464328a3dedf",
000510 |               "line_start": 1,
000511 |               "line_end": 145
000512 |             },
000513 |             {
000514 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/GEOMETRIC-SOURCE-RETURN.txt",
000515 |               "sha256": "61d8e5b176353204958f6a6851c108471cb4e5c2846a39893485231c900bb71a",
000516 |               "line_start": 1,
000517 |               "line_end": 115
000518 |             }
000519 |           ],
000520 |           "sources_verified": true
000521 |         },
000522 |         {
000523 |           "id": "finding:same-final-pin-geometry-retains-history-while-relative-index-factor-is-fixed",
000524 |           "status": "established_scoped",
000525 |           "premise_ids": [
000526 |             "premise:retained-zero-branch-defect-on-common-pin-geometric-history",
000527 |             "premise:given-flat-mobius-dirac-boundary-family-and-full-sea",
000528 |             "premise:given-pin-source-conformal-normal-geometry-probes",
000529 |             "premise:typed-source-structures",
000530 |             "premise:historical-sf-sector-action-and-relative-normalization"
000531 |           ],
000532 |           "sources": [
000533 |             {
000534 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/GEOMETRIC-SECTOR-RESPONSE.txt",
000535 |               "sha256": "8ba1f1e255a40b90888e47b95b1ec555ff5af051b49fd70b4d8336cd497a8197",
000536 |               "line_start": 1,
000537 |               "line_end": 194
000538 |             },
000539 |             {
000540 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_sector_response/check_geometric_sector_response.py",
000541 |               "sha256": "a0a151e05bff917c1ea2c971e24d2b6f00b304e5b43502267200833ca3bc49f8",
000542 |               "line_start": 1,
000543 |               "line_end": 167
000544 |             },
000545 |             {
000546 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_sector_response/geometric_sector_response.json",
000547 |               "sha256": "fe35987cd8349b7e9772264da859e05a3582ae4a2acab7320e49464328a3dedf",
000548 |               "line_start": 1,
000549 |               "line_end": 145
000550 |             },
000551 |             {
000552 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/DIRECT-DEFECT-CLOSURE.txt",
000553 |               "sha256": "84a79c74da8b18387a3d2d8a9928e4a437a608120b52a46c7ede6392cf1128ff",
000554 |               "line_start": 22,
000555 |               "line_end": 132
000556 |             },
000557 |             {
000558 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/PAIR-INDEX-DETERMINANT.txt",
000559 |               "sha256": "7c7dc9d48a96a140afeb72ddb2d0e6ae2f37e73e6260426544b9a94d7abac04d",
000560 |               "line_start": 26,
000561 |               "line_end": 78
000562 |             },
000563 |             {
000564 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/REWEIGHTING-REVIEW.txt",
000565 |               "sha256": "aa7479fc2d4bb9eb11fd071e81550906bd4105e43a19af759da7054efbc3d49a",
000566 |               "line_start": 43,
000567 |               "line_end": 149
000568 |             }
000569 |           ],
000570 |           "sources_verified": true
000571 |         }
000572 |       ]
000573 |     },
000574 |     {
000575 |       "topic": "Conformal boundary invariance reused",
000576 |       "findings": [
000577 |         {
000578 |           "id": "finding:canonical-conformal-boundary-trace-fixes-existing-elliptic-cauchy-state",
000579 |           "status": "established_scoped",
000580 |           "premise_ids": [
000581 |             "premise:free-chiral-cauchy-quantization-of-canonical-elliptic-annulus",
000582 |             "premise:original-quarter-car-fold-current-subalgebra",
000583 |             "premise:typed-source-structures",
000584 |             "premise:same-marked-elliptic-annulus-massless-conformal-metric-family"
000585 |           ],
000586 |           "sources": [
000587 |             {
000588 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/CONFORMAL-TRACE-AND-WICK.txt",
000589 |               "sha256": "77a6bffa2192b809f0264406afe7dd57d4718576f7f6632c107a7036de6ff5d1",
000590 |               "line_start": 1,
000591 |               "line_end": 183
000592 |             },
000593 |             {
000594 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/check_conformal_trace_wick.py",
000595 |               "sha256": "c30f3058a971b28d17ba3af73f6cbb63fbac43d94a4640ad58d8c64fe613271d",
000596 |               "line_start": 1,
000597 |               "line_end": 99
000598 |             },
000599 |             {
000600 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/conformal_trace_wick_results.json",