TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/WEBSITE-AND-PAPER-RECOVERY.txt
Original file SHA-256: 257c06667fce61e528deca1fdb128aa55db2e7b7bbbe0f58522e453e9f089c30
Inclusive original lines: 1-78
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 | ACTUAL PUBLIC PAPERS AND RECOVERED SOURCE RESULTS
000002 | ================================================
000003 | 26 October 2026. Source review, not a new all-archive theorem.
000004 | 
000005 | 1. Public bytes checked directly
000006 | --------------------------------
000007 | The clean public download URLs were fetched directly and compared with the
000008 | local website/public/papers copies, not merely read through search snippets.
000009 | 
000010 | https://www.fixpoint-theory.com/papers/introduction.pdf
000011 |   bytes3515706
000012 |   SHA256 d564ea7bb15a23d518388b8d8d36daa47578e9d7c746b44ef31442658128c7b9
000013 |   local website/public/papers/introduction.pdf: exact byte match.
000014 | 
000015 | https://www.fixpoint-theory.com/papers/tfpt_research_contracts.pdf
000016 |   bytes2317201
000017 |   SHA256 5c08d5858ac1ae944c65da671a7d42051deacb6dfaa6364407dd19276ebb9b93
000018 |   local website/public/papers/tfpt_research_contracts.pdf: exact byte match.
000019 | 
000020 | Their public paper pages identify release5.4,18October2026 and the same hash
000021 | prefixes. Search-engine PDF views initially returned older versions, then
000022 | different page counts after another request. Those views are unsuitable as
000023 | the sole version identity. No deployment mismatch is inferred from them.
000024 | The clean old technical_companion.pdf URL returned404. Its archived modular
000025 | sources remain available in the local document registry.
000026 | 
000027 | 2. Strongest existing closure claims reviewed manually
000028 | ------------------------------------------------------
000029 | The current public verification page explicitly leaves SEAM.EQUIV.01 open
000030 | and distinguishes conditional target-net reductions from identification of
000031 | the actual microscopic charged seam:
000032 | https://www.fixpoint-theory.com/verification
000033 | 
000034 | The public research-contract page also retains the physical parent and
000035 | states that ALG-EXH/FE-GEN remain open:
000036 | https://www.fixpoint-theory.com/papers/research-contracts
000037 | 
000038 | The corresponding ORIGINAL modular source was read directly:
000039 |  documents/tfpt_research_contracts/sections/018-source.tex:138-180,327-339.
000040 | The charged scaling-limit contract is explicitly open. The later binding
000041 | ALG2 correction withdraws a Vandermonde-to-generated-algebra inference.
000042 | It retains the positive estimates and identifies the missing independent
000043 | FE-GEN or gauge/code-projected algebra argument. Thus that passage cannot
000044 | supply the actual P1 field map merely by reusing full-CAR compression.
000045 | 
000046 | The technical companion section found by semantic search was also read:
000047 |  documents/archive--tfpt-45--source_extracts--technical_companion_source/
000048 |  sections/002-source.tex:1-190.
000049 | It concerns CMB source-state/transfer obligations and an actual negative
000050 | SMICA compression outcome, rather than a construction of the local P1 CAR
000051 | kernel. It is not evidence for the missing source identification.
000052 | 
000053 | 3. A real recovered positive connection
000054 | ----------------------------------------
000055 | The older original current/stress formula and the exact Möbius winding
000056 | dictionary DO compose. They reconstruct the local current net on the
000057 | transported cover factor. The all-mode formula and the local-algebra proof
000058 | are in QUARTER-STRESS-CURRENT-RECOVERY.txt. The independent review checks
000059 | the same source operators and retains the global rank-one sea carry.
000060 | This reuses existing mathematics instead of declaring a new comparison map.
000061 | 
000062 | 4. What has and has not been searched automatically
000063 | --------------------------------------------------
000064 | The existing Atlas already records a calibrated CEGIS operator-word search,
000065 | exact simultaneous linear/antilinear intertwiners and previous kernel-search
000066 | controls under problem:automated-operator-source-synthesis. Those runs were
000067 | read before starting new computation; they are not counted as new searches.
000068 | 
000069 | The new search solves the actual affine CAR coefficient constraints over
000070 | the rationals. It finds the unique(2,-2) stress combination on the same
000071 | generators and exhaustively rejects the real linear two-independent-factor
000072 | replacement. This is complete for those precisely declared classes. It is
000073 | not a search over all possible quantum fields, states or continuum actions.
000074 | 
000075 | The updated atlas records the recovered connection, its joint premises and
000076 | its precise remaining P1 localization/Theta/collar/reference obligation.
000077 | Neither matching source hashes nor more retrieved papers establishes a
000078 | complete physical TFPT theory.