Established in scope
The operational seed category takes the central data as an input object
In the question: Historical: common source, state and event selection
Applies to the cited operational seed category and its collar completion; it does not claim that no other original selector exists.
Read the exact result, assumptions and evidence
Result
The original definition already assumes (A_loc, tau_t, Theta, omega, [u_Sigma], D_coll); its collar-completion theorem derives B_Sigma and spectral data from them, but does not select those inputs.
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 103–143
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
finding:operational-seed-is-input