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: 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 |               "sha256": "1784ad193492d2763e3909431e1ea8aa56fd31d3c63c2e0d9f6f5a3e237f556d",
000202 |               "line_start": 1,
000203 |               "line_end": 94
000204 |             },
000205 |             {
000206 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/baseline_machine_evidence/inspect_dynamics.py",
000207 |               "sha256": "4db50b15e60f53929eb5e0f2b7a91a781b7d6b744e2934a05ca19915e93e8a6e",
000208 |               "line_start": 1,
000209 |               "line_end": 65
000210 |             },
000211 |             {
000212 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/baseline_machine_evidence/provenance.json",
000213 |               "sha256": "6fae730e51fa4138a4644971217c4ef2b777631e63238056da484fbdd4b2d265",
000214 |               "line_start": 1,
000215 |               "line_end": 46
000216 |             }
000217 |           ],
000218 |           "sources_verified": true
000219 |         },
000220 |         {
000221 |           "id": "finding:declared-recursive-native-som-is-u35-equivariant",
000222 |           "status": "established_scoped",
000223 |           "premise_ids": [
000224 |             "premise:declared-recursive-native-som-update",
000225 |             "premise:native-symmetric-quartic-and-erasure-constructors",
000226 |             "premise:native-even-e8-gaussian-clock-and-sign-extension"
000227 |           ],
000228 |           "sources": [
000229 |             {
000230 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/RECURSIVE-SOM-AUDIT.txt",
000231 |               "sha256": "d52d1cbb7b88572d4ee097fd412e8e611c3f7019baace049eb3ee6d1a6476c1c",
000232 |               "line_start": 1,
000233 |               "line_end": 101
000234 |             },
000235 |             {
000236 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/recursive_machine_audit/fundamental_audit.py",
000237 |               "sha256": "94e0bfa42f6e8442668ed3c7b0baa239e80229b7090ff7e8e706811f60f3d77e",
000238 |               "line_start": 1,
000239 |               "line_end": 134
000240 |             }
000241 |           ],
000242 |           "sources_verified": true
000243 |         },
000244 |         {
000245 |           "id": "finding:declared-recursive-native-som-clocks-depend-on-chosen-rates",
000246 |           "status": "established_scoped",
000247 |           "premise_ids": [
000248 |             "premise:declared-recursive-native-som-update",
000249 |             "premise:native-symmetric-quartic-and-erasure-constructors",
000250 |             "premise:native-even-e8-gaussian-clock-and-sign-extension"
000251 |           ],
000252 |           "sources": [
000253 |             {
000254 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/RECURSIVE-SOM-AUDIT.txt",
000255 |               "sha256": "d52d1cbb7b88572d4ee097fd412e8e611c3f7019baace049eb3ee6d1a6476c1c",
000256 |               "line_start": 1,
000257 |               "line_end": 101
000258 |             },
000259 |             {
000260 |               "path": "experiments/theory-contracts/collective-native-marginal-origin-20261026/recursive_machine_audit/fundamental_audit.py",
000261 |               "sha256": "94e0bfa42f6e8442668ed3c7b0baa239e80229b7090ff7e8e706811f60f3d77e",
000262 |               "line_start": 1,
000263 |               "line_end": 134
000264 |             }
000265 |           ],
000266 |           "sources_verified": true
000267 |         }
000268 |       ]
000269 |     },
000270 |     {
000271 |       "topic": "Actual source reduction, memory and state distinction",
000272 |       "findings": [
000273 |         {
000274 |           "id": "finding:actual-pin-zero-branch-retains-quarter-car-state-time-but-no-uniform-scale-return",
000275 |           "status": "established_scoped",
000276 |           "premise_ids": [
000277 |             "premise:given-flat-mobius-dirac-boundary-family-and-full-sea",
000278 |             "premise:typed-source-structures"
000279 |           ],
000280 |           "sources": [
000281 |             {
000282 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/GEOMETRIC-SOURCE-RETURN.txt",
000283 |               "sha256": "61d8e5b176353204958f6a6851c108471cb4e5c2846a39893485231c900bb71a",
000284 |               "line_start": 1,
000285 |               "line_end": 180
000286 |             },
000287 |             {
000288 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_source_return/check_source_boundary_response.py",
000289 |               "sha256": "6486986571b2f1cab226a404d3e6365e6c75627ac365a4f1bddba543221dc80f",
000290 |               "line_start": 105,
000291 |               "line_end": 200
000292 |             }
000293 |           ],
000294 |           "sources_verified": true
000295 |         },
000296 |         {
000297 |           "id": "finding:conformal-pin-source-geometry-fixes-exterior-return-and-unitary-memory",
000298 |           "status": "established_scoped",
000299 |           "premise_ids": [
000300 |             "premise:given-flat-mobius-dirac-boundary-family-and-full-sea",
000301 |             "premise:typed-source-structures",
000302 |             "premise:given-pin-source-conformal-normal-geometry-probes"
000303 |           ],
000304 |           "sources": [
000305 |             {
000306 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/GEOMETRIC-SOURCE-RETURN.txt",
000307 |               "sha256": "61d8e5b176353204958f6a6851c108471cb4e5c2846a39893485231c900bb71a",
000308 |               "line_start": 1,
000309 |               "line_end": 180
000310 |             },
000311 |             {
000312 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_source_return/source_geometric_machine.py",
000313 |               "sha256": "7b34ba01b32be6918922f7bbe094514a2f0ec731f801515b17f3fe577978880e",
000314 |               "line_start": 1,
000315 |               "line_end": 151
000316 |             }
000317 |           ],
000318 |           "sources_verified": true
000319 |         },
000320 |         {
000321 |           "id": "finding:geometric-exterior-schur-response-transfers-proper-native-arc-charge-but-is-compact",
000322 |           "status": "established_scoped",
000323 |           "premise_ids": [
000324 |             "premise:given-flat-mobius-dirac-boundary-family-and-full-sea",
000325 |             "premise:typed-source-structures",
000326 |             "premise:given-pin-source-conformal-normal-geometry-probes"
000327 |           ],
000328 |           "sources": [
000329 |             {
000330 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/GEOMETRIC-ARC-TRANSFER.txt",
000331 |               "sha256": "eacdbe333028eab285bf703a182d4004b65a763918ccfd368c1d512e39c06517",
000332 |               "line_start": 1,
000333 |               "line_end": 74
000334 |             },
000335 |             {
000336 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_source_return/check_geometric_arc_transfer.py",
000337 |               "sha256": "5e2f7c3bba8a0613f1f83a7512c024f30b93cb4034109c19591f79e554224262",
000338 |               "line_start": 1,
000339 |               "line_end": 72
000340 |             }
000341 |           ],
000342 |           "sources_verified": true
000343 |         },
000344 |         {
000345 |           "id": "finding:actual-ns-half-cover-cauchy-graph-purifies-green-state-with-neutral-ground-time-obstruction",
000346 |           "status": "established_scoped",
000347 |           "premise_ids": [
000348 |             "premise:given-flat-pin-dirac-free-green-quantization-and-ns-cover",
000349 |             "premise:typed-source-structures"
000350 |           ],
000351 |           "sources": [
000352 |             {
000353 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/GEOMETRIC-SOURCE-RETURN.txt",
000354 |               "sha256": "61d8e5b176353204958f6a6851c108471cb4e5c2846a39893485231c900bb71a",
000355 |               "line_start": 1,
000356 |               "line_end": 180
000357 |             },
000358 |             {
000359 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_source_return/check_source_boundary_response.py",
000360 |               "sha256": "6486986571b2f1cab226a404d3e6365e6c75627ac365a4f1bddba543221dc80f",
000361 |               "line_start": 105,
000362 |               "line_end": 200
000363 |             }
000364 |           ],
000365 |           "sources_verified": true
000366 |         }
000367 |       ]
000368 |     },
000369 |     {
000370 |       "topic": "Primitive selection and reference response",
000371 |       "findings": [
000372 |         {
000373 |           "id": "finding:primitive-geometric-force-retains-coupled-reference-and-parity-variation",
000374 |           "status": "established_scoped",
000375 |           "premise_ids": [
000376 |             "premise:primitive-reflection-split-and-controlled-geometric-variation",
000377 |             "premise:original-admissibility-and-graded-source-interfaces",
000378 |             "premise:typed-source-structures"
000379 |           ],
000380 |           "sources": [
000381 |             {
000382 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/PRIMITIVE-GEOMETRIC-SELECTION.txt",
000383 |               "sha256": "4d04282ade94df4a8a185017a4c3448ae14976f5140a3e3b5830e91196f03cc3",
000384 |               "line_start": 1,
000385 |               "line_end": 170
000386 |             },
000387 |             {
000388 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_source_return/check_primitive_selection.py",
000389 |               "sha256": "c23357b7b6e4a766885aa0118ae4d7aa488c09368a4526b5144cb56fef826c5d",
000390 |               "line_start": 1,
000391 |               "line_end": 200
000392 |             },
000393 |             {
000394 |               "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_source_return/check_primitive_selection.py",
000395 |               "sha256": "c23357b7b6e4a766885aa0118ae4d7aa488c09368a4526b5144cb56fef826c5d",
000396 |               "line_start": 201,
000397 |               "line_end": 208
000398 |             },
000399 |             {
000400 |               "path": "documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/001-section-primitive-core-and-carrier-interface-handoff.tex",