Source-bound atom transport with retained context
Reported executable chart/history transport; physical gauge identification and ancestor maps remain open
This page summarizes the linked research at its stated verification level. It is not a new proof certificate or experimental confirmation.
Reported result
A retained-route adapter imports the actual He-3, He-4 and Li-6 phase constructors and command maps. Its five-complex-coordinate fibres are indexed by chart and absolute origin. Each route retains one source, its commands, frames/witnesses, intermediate values and terminal permutation/origin. The source checks 56 certificate routes and 271 route splits; inverse coefficient maps recover payload without erasing realization history. Passive local frame changes give endpoint covariance because the intermediate frame factors cancel.
Controls and exclusions
Forgetting chart/history restrictions, the four five-slot permutations generate S5, not an image of one fixed S4 action alone. This unrestricted coefficient skeleton is not a physical gauge group and does not assert every abstract permutation word is an admitted atom route. A norm-preserving outside-context sign rival leaves immediate geometric coefficients unchanged but becomes visible after an actual continuation; it violates the full source retention rule rather than refuting that rule. Equal endpoint values or origins do not identify retained histories.
First unresolved obligation
Trace the command equivalences and outside-context retention law to their prior source constructors on these actual fibres/routes. An explicit representation/operation map is required before identifying them with the separate 137-record T9 numerical Hamiltonian or scattering operators. Physical gauge dynamics and apparatus readout do not follow from discrete frame covariance.
Verification and sources
The source reports Node route, split, basis, readout, local-frame and hostile checks with overlapping coverage counts. This is not a newly compiled Agda instantiation: the formal interface sources are ancestry comparisons. Its hashes cover immediate sources, not the full transitive import closure. The scientific adapter was not rerun for publication. Actual commands, source contract, context discriminator and reproduction.
Checker: research/kitaev/checkers/check_atom_retained_transport_ancestry.mjs
Publication provenance: Versioned source/checker and historical receipt identifiers. Metadata validation is not scientific replay.