Research Contract — SEAM.MILNOR.LOCALRING.01 (canonical identification of the seam collar with the reduced Milnor algebra)
Research contracts
Typing. A research contract \ (ledger row SEAM.MILNOR.LOCALRING.01), registered 2026-08-30 from review wave 6. ( v1004_ milnor_ frobenius_ gray.py.) Demand. A canonical identification between the raw seam collar / [formula in source] transition bus and the reduced Milnor algebra [formula in source] preserving simultaneously the dual-number action, the Frobenius pairing, the Gray torsor, the deck action and CP. Accept
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_research_contracts/sections/019-source.tex · lines 201 to 279
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v4_flavor_matrix.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1005_relative_pencil_bridges.py
literal source filename/path in TeX
- explicit file citation v1014_bridge_refinements.py
literal source filename/path in TeX
- explicit script identifier v1014_bridge_refinements.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1010_simplicity_bridge_census.py
literal source filename/path in TeX
- cross reference join AnchorLadder.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v1005_relative_pencil_bridges.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v106_review_validation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v119_review_validation_2.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v1004_milnor_frobenius_gray.py
literal source filename/path in TeX
- cross reference join YukawaPrimitive.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v1004_milnor_frobenius_gray.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1015_axiom_core_closure.py
literal source filename/path in TeX