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: 801-952
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.

000801 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/elliptic_moduli_response/elliptic_moduli_response.json",
000802 |               "sha256": "62716bd2aa163d944fb535c4463cabbfac8b1915717965c9340521b858fd2153",
000803 |               "line_start": 1,
000804 |               "line_end": 93
000805 |             },
000806 |             {
000807 |               "path": "experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/BOUNDARY-SOURCE.txt",
000808 |               "sha256": "a12e7b7566734e26ef9c53c6ee910638a77f20412085943d6cd30b255b7e9251",
000809 |               "line_start": 1,
000810 |               "line_end": 179
000811 |             },
000812 |             {
000813 |               "path": "experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/GLOBAL-SPIN-KERNEL.txt",
000814 |               "sha256": "2f8a165804067b7522b2689239e2bcef8b58d925e3db2d09b2d8e50caabdecc8",
000815 |               "line_start": 1,
000816 |               "line_end": 180
000817 |             }
000818 |           ],
000819 |           "sources_verified": true
000820 |         }
000821 |       ]
000822 |     },
000823 |     {
000824 |       "topic": "Flat-connection determinant and insertion comparison",
000825 |       "findings": [
000826 |         {
000827 |           "id": "finding:given-elliptic-flat-connection-family-has-explicit-quillen-norm-and-two-holonomies",
000828 |           "status": "established_scoped",
000829 |           "premise_ids": [
000830 |             "premise:given-square-nsns-elliptic-unit-charge-flat-connection-family",
000831 |             "premise:typed-source-structures"
000832 |           ],
000833 |           "sources": [
000834 |             {
000835 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/ELLIPTIC-QUILLEN-RESPONSE.txt",
000836 |               "sha256": "e849e9001678ee2beddb8efb5afa09e0395f867b03feb47e369c19479e492ebc",
000837 |               "line_start": 1,
000838 |               "line_end": 169
000839 |             },
000840 |             {
000841 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/elliptic_quillen_response/check_elliptic_quillen_response.py",
000842 |               "sha256": "54bf2d0789eae5ec37be893f9f8d1ad99ebc520e0dc1539c0679d6c6b8f149cd",
000843 |               "line_start": 1,
000844 |               "line_end": 113
000845 |             },
000846 |             {
000847 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/elliptic_quillen_response/elliptic_quillen_response.json",
000848 |               "sha256": "1b4a826b6f36a5d60c647cc1dbb58a723516bead6b3984425f4bf4c6173f18c8",
000849 |               "line_start": 1,
000850 |               "line_end": 72
000851 |             },
000852 |             {
000853 |               "path": "documents/tfpt_research_contracts/sections/020-source.tex",
000854 |               "sha256": "c8df6e3f180569df50f1c4c9af82c8e7785fb52564e9f62f5d575680c109cd41",
000855 |               "line_start": 163,
000856 |               "line_end": 270
000857 |             },
000858 |             {
000859 |               "path": "experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/GLOBAL-SPIN-KERNEL.txt",
000860 |               "sha256": "2f8a165804067b7522b2689239e2bcef8b58d925e3db2d09b2d8e50caabdecc8",
000861 |               "line_start": 1,
000862 |               "line_end": 180
000863 |             }
000864 |           ],
000865 |           "sources_verified": true
000866 |         },
000867 |         {
000868 |           "id": "finding:bare-large-gauge-quillen-norm-does-not-equal-original-winding-counting-factor",
000869 |           "status": "excluded_scoped",
000870 |           "premise_ids": [
000871 |             "premise:given-square-nsns-elliptic-unit-charge-flat-connection-family",
000872 |             "premise:same-original-circle-trace-class-covariance",
000873 |             "premise:historical-sf-sector-action-and-relative-normalization",
000874 |             "premise:typed-source-structures"
000875 |           ],
000876 |           "sources": [
000877 |             {
000878 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/ELLIPTIC-QUILLEN-RESPONSE.txt",
000879 |               "sha256": "e849e9001678ee2beddb8efb5afa09e0395f867b03feb47e369c19479e492ebc",
000880 |               "line_start": 1,
000881 |               "line_end": 169
000882 |             },
000883 |             {
000884 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/elliptic_quillen_response/check_elliptic_quillen_response.py",
000885 |               "sha256": "54bf2d0789eae5ec37be893f9f8d1ad99ebc520e0dc1539c0679d6c6b8f149cd",
000886 |               "line_start": 1,
000887 |               "line_end": 113
000888 |             },
000889 |             {
000890 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/elliptic_quillen_response/elliptic_quillen_response.json",
000891 |               "sha256": "1b4a826b6f36a5d60c647cc1dbb58a723516bead6b3984425f4bf4c6173f18c8",
000892 |               "line_start": 1,
000893 |               "line_end": 72
000894 |             },
000895 |             {
000896 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/KMS-AND-CARRIER-TRANSPORT.txt",
000897 |               "sha256": "9efcfb0d68e16db842aab97b7171b2d667e7b065cb4c6ab8138102acc4c8fb68",
000898 |               "line_start": 37,
000899 |               "line_end": 153
000900 |             },
000901 |             {
000902 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/EM-MEASURE-AND-QUILLEN.txt",
000903 |               "sha256": "a08abf23cab682b6c4733fb2403293b1de0245973864f77447544cde53422c65",
000904 |               "line_start": 1,
000905 |               "line_end": 125
000906 |             }
000907 |           ],
000908 |           "sources_verified": true
000909 |         }
000910 |       ]
000911 |     }
000912 |   ],
000913 |   "reports": [
000914 |     {
000915 |       "workspace_report": "README.md",
000916 |       "archived_path": "experiments/theory-contracts/original-admissible-source-closure-20261025/kohonen_session_coverage/README.txt",
000917 |       "sha256": "139ada9d24e3c79e5a2c910f303502cc18708aefb85180f8e358ca6475be87ce"
000918 |     },
000919 |     {
000920 |       "workspace_report": "FUNDAMENTALE_FORTSETZUNG.md",
000921 |       "archived_path": "experiments/theory-contracts/original-admissible-source-closure-20261025/kohonen_session_coverage/FUNDAMENTALE_FORTSETZUNG.txt",
000922 |       "sha256": "961acc3791fae5bb73264e9c925a23753aebaace407c9f04d2501ad594d1afb1"
000923 |     },
000924 |     {
000925 |       "workspace_report": "QUELLANSCHLUSS_UND_RUECKWIRKUNG.md",
000926 |       "archived_path": "experiments/theory-contracts/original-admissible-source-closure-20261025/kohonen_session_coverage/QUELLANSCHLUSS_UND_RUECKWIRKUNG.txt",
000927 |       "sha256": "ffdaba1b1beed97a531e9abe65955aaef206e30a94b8cdded5d61b285c5b78a2"
000928 |     },
000929 |     {
000930 |       "workspace_report": "AUSWAHL_DER_RUECKWIRKUNG.md",
000931 |       "archived_path": "experiments/theory-contracts/original-admissible-source-closure-20261025/kohonen_session_coverage/AUSWAHL_DER_RUECKWIRKUNG.txt",
000932 |       "sha256": "116b1f1992df4258f6110643ac149d0ee2979ad2052b2eeb329c15dc1181ea2b"
000933 |     },
000934 |     {
000935 |       "workspace_report": "GEOMETRISCHE_ANTWORT_MIT_GEDAECHTNIS.md",
000936 |       "archived_path": "experiments/theory-contracts/original-admissible-source-closure-20261025/kohonen_session_coverage/GEOMETRISCHE_ANTWORT_MIT_GEDAECHTNIS.txt",
000937 |       "sha256": "b8d8d1a803f3bb3a987f78656fe120b0274b6150813efa5be3da9bc08ed13683"
000938 |     },
000939 |     {
000940 |       "workspace_report": "RANDKOPPLUNG_AUS_FORMGEOMETRIE.md",
000941 |       "archived_path": "experiments/theory-contracts/original-admissible-source-closure-20261025/kohonen_session_coverage/RANDKOPPLUNG_AUS_FORMGEOMETRIE.txt",
000942 |       "sha256": "261dbf67492d1fe6e4f9838c341b10e29eb5ce1f8e587db6856a21fad9ef029c"
000943 |     },
000944 |     {
000945 |       "workspace_report": "VERBINDUNGSANTWORT_UND_QUELLENEINFUEGUNG.md",
000946 |       "archived_path": "experiments/theory-contracts/original-admissible-source-closure-20261025/kohonen_session_coverage/VERBINDUNGSANTWORT_UND_QUELLENEINFUEGUNG.txt",
000947 |       "sha256": "01fa8ebaa7d98e52aec87bf624a015dfc9fe87f9540ecb6525fe26e321e5d51c"
000948 |     }
000949 |   ],
000950 |   "physical_gates_closed": [],
000951 |   "complete_TFPT_solution": false
000952 | }