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: 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 |   "date": "2026-10-26",
000003 |   "scope": "Findings and reused prerequisites of the present Kohonen/recursive-machine/source-response investigation; not a review of unrelated Atlas work. Each result retains its own conjunctive premises, exclusions and source scope.",
000004 |   "read_revision": "c30cfaa213da89d7812fba94",
000005 |   "covered_findings": 24,
000006 |   "groups": [
000007 |     {
000008 |       "topic": "Native structure and scoped exclusions",
000009 |       "findings": [
000010 |         {
000011 |           "id": "finding:native-whole-five-ground-space-needs-four-register-interaction",
000012 |           "status": "excluded_scoped",
000013 |           "premise_ids": [
000014 |             "premise:native-even-e8-gaussian-clock-and-sign-extension",
000015 |             "premise:native-clock-complex-reflection-and-quartic-subspace",
000016 |             "premise:native-symmetric-quartic-and-erasure-constructors"
000017 |           ],
000018 |           "sources": [
000019 |             {
000020 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/PROOF.txt",
000021 |               "sha256": "72ff4cac1b6e32d71cc1d4f0fb39fbf59754935f72455b7e5a3ba5ffce0b369e",
000022 |               "line_start": 1,
000023 |               "line_end": 100
000024 |             },
000025 |             {
000026 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/check_collective_origin.py",
000027 |               "sha256": "f05fb2f189f6a7d21a1f423042cef3cc605e2e52aa8c1e64068cb4ba6d4b4218",
000028 |               "line_start": 1,
000029 |               "line_end": 147
000030 |             },
000031 |             {
000032 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/results.json",
000033 |               "sha256": "af039e7c41aaf067e583d7c90daf9b88cb62bf129ba5caee55d37186f317d606",
000034 |               "line_start": 1,
000035 |               "line_end": 70
000036 |             }
000037 |           ],
000038 |           "sources_verified": true
000039 |         },
000040 |         {
000041 |           "id": "finding:native-fourth-root-frame-has-signed-collective-sixty-mode-dual",
000042 |           "status": "established_scoped",
000043 |           "premise_ids": [
000044 |             "premise:native-even-e8-gaussian-clock-and-sign-extension",
000045 |             "premise:native-clock-complex-reflection-and-quartic-subspace",
000046 |             "premise:native-symmetric-quartic-and-erasure-constructors"
000047 |           ],
000048 |           "sources": [
000049 |             {
000050 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/COLLECTIVE-DYNAMICS.txt",
000051 |               "sha256": "ea4eaebb6d70a81df5d6adf0f570a4bbfcd021429712117b0dde96cd073d761b",
000052 |               "line_start": 1,
000053 |               "line_end": 130
000054 |             },
000055 |             {
000056 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/check_collective_dynamics.py",
000057 |               "sha256": "b2a4d111830a2fc85489d0da033eef1bd1feb464edbada38231700db4e128dc6",
000058 |               "line_start": 1,
000059 |               "line_end": 120
000060 |             },
000061 |             {
000062 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/dynamics_results.json",
000063 |               "sha256": "4d6ab1df704cb1ace891a30a87e4cad61317265cf7cfaa5ff4e704dbb78a4fd0",
000064 |               "line_start": 1,
000065 |               "line_end": 99
000066 |             }
000067 |           ],
000068 |           "sources_verified": true
000069 |         },
000070 |         {
000071 |           "id": "finding:identical-overlapping-native-five-codes-have-no-common-state",
000072 |           "status": "excluded_scoped",
000073 |           "premise_ids": [
000074 |             "premise:native-even-e8-gaussian-clock-and-sign-extension",
000075 |             "premise:native-clock-complex-reflection-and-quartic-subspace",
000076 |             "premise:native-symmetric-quartic-and-erasure-constructors"
000077 |           ],
000078 |           "sources": [
000079 |             {
000080 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/COLLECTIVE-DYNAMICS.txt",
000081 |               "sha256": "ea4eaebb6d70a81df5d6adf0f570a4bbfcd021429712117b0dde96cd073d761b",
000082 |               "line_start": 1,
000083 |               "line_end": 130
000084 |             },
000085 |             {
000086 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/check_collective_dynamics.py",
000087 |               "sha256": "b2a4d111830a2fc85489d0da033eef1bd1feb464edbada38231700db4e128dc6",
000088 |               "line_start": 1,
000089 |               "line_end": 120
000090 |             },
000091 |             {
000092 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/dynamics_results.json",
000093 |               "sha256": "4d6ab1df704cb1ace891a30a87e4cad61317265cf7cfaa5ff4e704dbb78a4fd0",
000094 |               "line_start": 1,
000095 |               "line_end": 99
000096 |             }
000097 |           ],
000098 |           "sources_verified": true
000099 |         },
000100 |         {
000101 |           "id": "finding:horizontal-e8-invariant-octic-cannot-isolate-native-five-ground-space",
000102 |           "status": "excluded_scoped",
000103 |           "premise_ids": [
000104 |             "premise:native-even-e8-gaussian-clock-and-sign-extension",
000105 |             "premise:native-clock-complex-reflection-and-quartic-subspace",
000106 |             "premise:native-symmetric-quartic-and-erasure-constructors",
000107 |             "premise:full-existing-local-e8-field-hull-observer-code",
000108 |             "premise:literal-native-positive-cartan-quartic-fock-embedding",
000109 |             "premise:declared-original-octic-quantum-completion-ansatz"
000110 |           ],
000111 |           "sources": [
000112 |             {
000113 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/COLLECTIVE-DYNAMICS.txt",
000114 |               "sha256": "ea4eaebb6d70a81df5d6adf0f570a4bbfcd021429712117b0dde96cd073d761b",
000115 |               "line_start": 1,
000116 |               "line_end": 130
000117 |             },
000118 |             {
000119 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/check_collective_dynamics.py",
000120 |               "sha256": "b2a4d111830a2fc85489d0da033eef1bd1feb464edbada38231700db4e128dc6",
000121 |               "line_start": 1,
000122 |               "line_end": 120
000123 |             },
000124 |             {
000125 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/dynamics_results.json",
000126 |               "sha256": "4d6ab1df704cb1ace891a30a87e4cad61317265cf7cfaa5ff4e704dbb78a4fd0",
000127 |               "line_start": 1,
000128 |               "line_end": 99
000129 |             }
000130 |           ],
000131 |           "sources_verified": true
000132 |         }
000133 |       ]
000134 |     },
000135 |     {
000136 |       "topic": "Executed recursive machine and its limits",
000137 |       "findings": [
000138 |         {
000139 |           "id": "finding:declared-recursive-machine-baseline-controls-and-recovery-are-finitely-measured",
000140 |           "status": "established_scoped",
000141 |           "premise_ids": [
000142 |             "premise:declared-recursive-native-som-update",
000143 |             "premise:typed-source-structures"
000144 |           ],
000145 |           "sources": [
000146 |             {
000147 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/COLLECTIVE-MACHINE-RUNS.txt",
000148 |               "sha256": "2ac6e05655b8b20d4b3d4b87d3dad6bdc2b497ef14a5c8ed1cecf28fe4f0568f",
000149 |               "line_start": 1,
000150 |               "line_end": 61
000151 |             },
000152 |             {
000153 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/baseline_machine_evidence/baseline_summary.json",
000154 |               "sha256": "d114244dd760bdadf412011e504c8c858ecfde8234421216372f6e2bd131c8e8",
000155 |               "line_start": 1,
000156 |               "line_end": 182
000157 |             },
000158 |             {
000159 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/baseline_machine_evidence/experiments.py",
000160 |               "sha256": "1784ad193492d2763e3909431e1ea8aa56fd31d3c63c2e0d9f6f5a3e237f556d",
000161 |               "line_start": 1,
000162 |               "line_end": 94
000163 |             },
000164 |             {
000165 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/baseline_machine_evidence/inspect_dynamics.py",
000166 |               "sha256": "4db50b15e60f53929eb5e0f2b7a91a781b7d6b744e2934a05ca19915e93e8a6e",
000167 |               "line_start": 1,
000168 |               "line_end": 65
000169 |             },
000170 |             {
000171 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/baseline_machine_evidence/provenance.json",
000172 |               "sha256": "6fae730e51fa4138a4644971217c4ef2b777631e63238056da484fbdd4b2d265",
000173 |               "line_start": 1,
000174 |               "line_end": 46
000175 |             }
000176 |           ],
000177 |           "sources_verified": true
000178 |         },
000179 |         {
000180 |           "id": "finding:declared-recursive-machine-long-run-retains-motion-at-stable-aggregate-rank",
000181 |           "status": "established_scoped",
000182 |           "premise_ids": [
000183 |             "premise:declared-recursive-native-som-update",
000184 |             "premise:typed-source-structures"
000185 |           ],
000186 |           "sources": [
000187 |             {
000188 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/COLLECTIVE-MACHINE-RUNS.txt",
000189 |               "sha256": "2ac6e05655b8b20d4b3d4b87d3dad6bdc2b497ef14a5c8ed1cecf28fe4f0568f",
000190 |               "line_start": 1,
000191 |               "line_end": 61
000192 |             },
000193 |             {
000194 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/baseline_machine_evidence/baseline_summary.json",
000195 |               "sha256": "d114244dd760bdadf412011e504c8c858ecfde8234421216372f6e2bd131c8e8",
000196 |               "line_start": 1,
000197 |               "line_end": 182
000198 |             },
000199 |             {
000200 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/baseline_machine_evidence/experiments.py",