TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-paper-source-reconciliation-20261102/M-ATLAS-COVERAGE.txt
Original file SHA-256: b37d45ff07acd87053d3d4b29d222071254358d769fa912004362e0d8b45b11e
Inclusive original lines: 201-273
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 |    (105feb74ea65381d) and identifies joint_origin. The current program
000202 |    correctly binds the JOINT and ORIGIN versions, not a third independent
000203 |    review. No false third-review metadata claim was found.
000204 | 
000205 |  - Repeated normal/optimized result files or copied native outputs are
000206 |    reruns/copies of the same underlying computation. They are not
000207 |    independent empirical confirmations. The current findings cite their
000208 |    scoped original controls rather than multiplying confirmations by file
000209 |    count. Shared alpha/clock/flavor source assumptions remain correlated,
000210 |    as R110 explicitly states.
000211 | 
000212 |  - The two apparent FINAL-REVIEW.txt mismatches were generic basename
000213 |    collisions. Their HASHES resolve to H-FINAL-REVIEW.txt and
000214 |    REFERENCE-TRANSPORT-REVIEW.txt respectively. They are not stale reviews.
000215 | 
000216 |  - Early SOURCE-OCCURRENCE-TEST, P1-CHARGE-COMPLETENESS-SOURCE-TEST,
000217 |    source_continuation/LOGIC and TRANSFER are interim source audits. Their
000218 |    source/algebra diagnostics survive where cited, but later canonical
000219 |    DHR/active-passive/source corrections determine present scope. In
000220 |    particular an endpoint-in-original-observable-algebra premise or
000221 |    generic missing global state law is not reinstated from those drafts.
000222 | 
000223 |  - FERMION.txt and the earlier actual-face phase controls are intermediate
000224 |    handoff material. The final E/G/L source maps and their explicitly
000225 |    retained orientation, normal dependence and scalar rules supersede any
000226 |    narrower provisional formulation. They are not silently new reviews of
000227 |    the whole interacting source.
000228 | 
000229 |  - Remaining unmatched files are chiefly corpus navigation/read-range
000230 |    receipts, derived correction tables, administrative Atlas responses,
000231 |    preliminary existing-theorem enumeration outputs and delivery summaries.
000232 |    Their absence as separate program sources is not missing research.
000233 |    The artifact map retains their paths so they cannot be mistaken for
000234 |    unseen independent results. No deletion or automatic promotion proposed.
000235 | 
000236 | 5. DELIVERY PACKETS / STALE EXTRACTS
000237 | 
000238 | Every ZIP entry was inventoried separately without extracting or executing
000239 | its code. Name-based differences from today's main contract concern old
000240 | contract_index.json/readback metadata in historical packages; a generic
000241 | contract_index basename can also belong to a different contract. These
000242 | are dated snapshots, not evidence of stale current scientific findings.
000243 | No scientific proof-copy mismatch was established by this comparison.
000244 | 
000245 | In particular old package manifests do not replace today's program.json
000246 | or the current canonical contract_index. Historical exports should retain
000247 | their dates; replacing all old ZIPs is unnecessary. For current handoff,
000248 | link the updated consolidation and its actual latest source packet.
000249 | 
000250 | 6. READ-ONLY REFRESH ROUTE LOCATED; NOT EXECUTED BY M
000251 | 
000252 | The actual wrapper semantic_explorer/refresh.py:1-73 says explicitly
000253 | that it makes no LLM calls or research execution. Its ONLY argument is
000254 | --check. From the canonical repository, after owner's fixes:
000255 | 
000256 |  python3 -B semantic_explorer/refresh.py --check
000257 | 
000258 | Only if that final check reports stale import metadata, the existing
000259 | offline update is the wrapper WITHOUT a flag:
000260 | 
000261 |  python3 -B semantic_explorer/refresh.py
000262 | 
000263 | Internally it uses extract.py --offline --preserve-cache, then
000264 | build_corpus.py,build_context.py,audit_extractions.py and papers.py --offline.
000265 | The wrapper itself has no --offline option. Existing importer/process
000266 | locks are respected. The code was only read to identify this route.
000267 | Root owns the final documented check AFTER the changes; no unchanged
000268 | second full maintenance round or new API/model call was started here.
000269 | 
000270 | M concludes a coverage/provenance increment, not a physical completion.
000271 | The concrete metadata fixes are M1-M3; M4 is optional finer navigation.
000272 | All existing scoped results, current owner and open fundamental objective
000273 | are retained. Missing metadata has not been converted into a physics gap.