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: 601-800
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.

000601 |               "sha256": "84cbf70dba2439348d6f450a57b6852ea1779bcc0882b718e7abc2feabee8238",
000602 |               "line_start": 1,
000603 |               "line_end": 20
000604 |             },
000605 |             {
000606 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/CONFORMAL-TRACE-REVIEW.txt",
000607 |               "sha256": "ac8d7282712059c7ba465a088ea9f8fdd023b3e2e31cb13fb01de271d0f80ad9",
000608 |               "line_start": 1,
000609 |               "line_end": 62
000610 |             }
000611 |           ],
000612 |           "sources_verified": true
000613 |         },
000614 |         {
000615 |           "id": "finding:conformal-factor-averaging-preserves-given-free-boundary-wick-words",
000616 |           "status": "established_scoped",
000617 |           "premise_ids": [
000618 |             "premise:free-chiral-cauchy-quantization-of-canonical-elliptic-annulus",
000619 |             "premise:original-quarter-car-fold-current-subalgebra",
000620 |             "premise:typed-source-structures",
000621 |             "premise:same-marked-elliptic-annulus-massless-conformal-metric-family"
000622 |           ],
000623 |           "sources": [
000624 |             {
000625 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/CONFORMAL-TRACE-AND-WICK.txt",
000626 |               "sha256": "77a6bffa2192b809f0264406afe7dd57d4718576f7f6632c107a7036de6ff5d1",
000627 |               "line_start": 1,
000628 |               "line_end": 183
000629 |             },
000630 |             {
000631 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/check_conformal_trace_wick.py",
000632 |               "sha256": "c30f3058a971b28d17ba3af73f6cbb63fbac43d94a4640ad58d8c64fe613271d",
000633 |               "line_start": 1,
000634 |               "line_end": 99
000635 |             },
000636 |             {
000637 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/conformal_trace_wick_results.json",
000638 |               "sha256": "84cbf70dba2439348d6f450a57b6852ea1779bcc0882b718e7abc2feabee8238",
000639 |               "line_start": 1,
000640 |               "line_end": 20
000641 |             },
000642 |             {
000643 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/CONFORMAL-TRACE-REVIEW.txt",
000644 |               "sha256": "ac8d7282712059c7ba465a088ea9f8fdd023b3e2e31cb13fb01de271d0f80ad9",
000645 |               "line_start": 1,
000646 |               "line_end": 62
000647 |             }
000648 |           ],
000649 |           "sources_verified": true
000650 |         }
000651 |       ]
000652 |     },
000653 |     {
000654 |       "topic": "Complete positive source criterion reused",
000655 |       "findings": [
000656 |         {
000657 |           "id": "finding:full-projector-covariance-and-positivity-force-all-car-words",
000658 |           "status": "established_scoped",
000659 |           "premise_ids": [
000660 |             "premise:positive-joint-car-source-tested-against-full-geometric-projector",
000661 |             "premise:typed-source-structures"
000662 |           ],
000663 |           "sources": [
000664 |             {
000665 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/PROJECTOR-STATE-RIGIDITY.txt",
000666 |               "sha256": "2e14e8875c263d71bd6bda61d005461cb718bdf30fdf34a6312db53167cd80c6",
000667 |               "line_start": 1,
000668 |               "line_end": 173
000669 |             },
000670 |             {
000671 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/check_projector_state_rigidity.py",
000672 |               "sha256": "8439a30ad767f138f9269aa2bc6beca1f2d3d7088e92862bcd76fbf40d5a7c16",
000673 |               "line_start": 1,
000674 |               "line_end": 107
000675 |             },
000676 |             {
000677 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/projector_state_rigidity_results.json",
000678 |               "sha256": "40737f35ef6967cdfa2742f5f79d722f677a1adbb5a3770b9b0ee12bd190fe75",
000679 |               "line_start": 1,
000680 |               "line_end": 22
000681 |             },
000682 |             {
000683 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/PROJECTOR-STATE-REVIEW.txt",
000684 |               "sha256": "4b9abbcb3b3f0dcf9a99a4ec09640b28aaa938d1f78b47cc409cc89f81aaf934",
000685 |               "line_start": 1,
000686 |               "line_end": 72
000687 |             }
000688 |           ],
000689 |           "sources_verified": true
000690 |         },
000691 |         {
000692 |           "id": "finding:actual-two-face-projector-reduces-free-source-test-to-cross-coherence",
000693 |           "status": "established_scoped",
000694 |           "premise_ids": [
000695 |             "premise:positive-joint-car-source-tested-against-full-geometric-projector",
000696 |             "premise:typed-source-structures"
000697 |           ],
000698 |           "sources": [
000699 |             {
000700 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/PROJECTOR-STATE-RIGIDITY.txt",
000701 |               "sha256": "2e14e8875c263d71bd6bda61d005461cb718bdf30fdf34a6312db53167cd80c6",
000702 |               "line_start": 1,
000703 |               "line_end": 173
000704 |             },
000705 |             {
000706 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/check_projector_state_rigidity.py",
000707 |               "sha256": "8439a30ad767f138f9269aa2bc6beca1f2d3d7088e92862bcd76fbf40d5a7c16",
000708 |               "line_start": 1,
000709 |               "line_end": 107
000710 |             },
000711 |             {
000712 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/projector_state_rigidity_results.json",
000713 |               "sha256": "40737f35ef6967cdfa2742f5f79d722f677a1adbb5a3770b9b0ee12bd190fe75",
000714 |               "line_start": 1,
000715 |               "line_end": 22
000716 |             },
000717 |             {
000718 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/PROJECTOR-STATE-REVIEW.txt",
000719 |               "sha256": "4b9abbcb3b3f0dcf9a99a4ec09640b28aaa938d1f78b47cc409cc89f81aaf934",
000720 |               "line_start": 1,
000721 |               "line_end": 72
000722 |             }
000723 |           ],
000724 |           "sources_verified": true
000725 |         }
000726 |       ]
000727 |     },
000728 |     {
000729 |       "topic": "Changed modulus and retained-compiler exclusion",
000730 |       "findings": [
000731 |         {
000732 |           "id": "finding:retained-marked-quarter-compiler-has-no-local-geometric-wick-correction",
000733 |           "status": "excluded_scoped",
000734 |           "premise_ids": [
000735 |             "premise:existing-c2-group-with-untwisted-raw-flat-spin-pullbacks",
000736 |             "premise:free-chiral-cauchy-quantization-of-canonical-elliptic-annulus",
000737 |             "premise:same-marked-elliptic-annulus-massless-conformal-metric-family",
000738 |             "premise:typed-source-structures"
000739 |           ],
000740 |           "sources": [
000741 |             {
000742 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/ELLIPTIC-MODULI-INSERTION.txt",
000743 |               "sha256": "5f04eec5f135ac2eedfe6086f6d8da1d95eb6e268081a07507fa312fcb9883ba",
000744 |               "line_start": 1,
000745 |               "line_end": 177
000746 |             },
000747 |             {
000748 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/elliptic_moduli_response/check_elliptic_moduli_response.py",
000749 |               "sha256": "9773ded2b64d8aba04808ad13f16ae888e06e8abeede28e44f9979855fb99e29",
000750 |               "line_start": 1,
000751 |               "line_end": 132
000752 |             },
000753 |             {
000754 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/elliptic_moduli_response/elliptic_moduli_response.json",
000755 |               "sha256": "62716bd2aa163d944fb535c4463cabbfac8b1915717965c9340521b858fd2153",
000756 |               "line_start": 1,
000757 |               "line_end": 93
000758 |             },
000759 |             {
000760 |               "path": "experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/ORIGINAL-RELEVANCE.txt",
000761 |               "sha256": "516d23005f6b55e0471279ab7b1ab85d4f7f8b56282423c0aae4fabf51ef4362",
000762 |               "line_start": 1,
000763 |               "line_end": 169
000764 |             },
000765 |             {
000766 |               "path": "experiments/theory-contracts/native-arc-charge-source-interface-20261026/CONFORMAL-TRACE-AND-WICK.txt",
000767 |               "sha256": "77a6bffa2192b809f0264406afe7dd57d4718576f7f6632c107a7036de6ff5d1",
000768 |               "line_start": 1,
000769 |               "line_end": 183
000770 |             },
000771 |             {
000772 |               "path": "documents/changelog/sections/006-source.tex",
000773 |               "sha256": "c5024dbed35b13842c60e4cdb0911568f8b94d4bdfa0c438e5aadf12a29c2db5",
000774 |               "line_start": 232,
000775 |               "line_end": 279
000776 |             }
000777 |           ],
000778 |           "sources_verified": true
000779 |         },
000780 |         {
000781 |           "id": "finding:changed-elliptic-modulus-has-derived-cauchy-response-and-neutral-fourfield-variance",
000782 |           "status": "established_scoped",
000783 |           "premise_ids": [
000784 |             "premise:real-marked-elliptic-complex-structure-family-with-transported-spin",
000785 |             "premise:typed-source-structures"
000786 |           ],
000787 |           "sources": [
000788 |             {
000789 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/ELLIPTIC-MODULI-INSERTION.txt",
000790 |               "sha256": "5f04eec5f135ac2eedfe6086f6d8da1d95eb6e268081a07507fa312fcb9883ba",
000791 |               "line_start": 1,
000792 |               "line_end": 177
000793 |             },
000794 |             {
000795 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/elliptic_moduli_response/check_elliptic_moduli_response.py",
000796 |               "sha256": "9773ded2b64d8aba04808ad13f16ae888e06e8abeede28e44f9979855fb99e29",
000797 |               "line_start": 1,
000798 |               "line_end": 132
000799 |             },
000800 |             {