Established in scope
A minimal defect value does not yet select a unique source
In the question: Historical: common source, state and event selection
Audit of the cited proof only; not a general impossibility theorem for P1/P2 or a revocation of declared unit winding.
Read the exact result, assumptions and evidence
Result
The original argument first states that uniqueness needs classification of the minimal stratum, then asserts it without that classification. Well-ordering N4 yields a minimal value, not a unique operator fiber. Nonzero spectral flow alone also does not prove attainability of one.
Required assumptions
- P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
- Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Original evidence
- 002-section-intrinsic-closed-branch-and-canonical-rigid-obje.tex lines 166–306
Source checked at this snapshot
Original location and fingerprint
documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/002-section-intrinsic-closed-branch-and-canonical-rigid-obje.tex
1de90a4a7379bef804cc7815d72c0f86bb398a5771e9b00997c4bb15e8815f9e
- PROOF.txt lines 20–49
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-source-character-search-20261015/source_reconstruction/PROOF.txt
424e2f8eaf021cae575e479ccca4fcd2b8a34df1e5d5410371a86144f07ddb5d
finding:minimal-defect-uniqueness-not-proved