A finite transport result.
A separate physical question.
Start with the selected six-dimensional sector and the typed map; inspect the historical receipts only after their scope is clear.
The object being transported.
The finite carrier is the 30-dimensional oriented boundary of a 4-simplex, with the declared unit metric. A source convention selects a rank-six Hodge sector and a 30×6 Darboux frame W.
The selector and finite frame construction have exact constructor checks. The lower-response selection is a supplied structural convention; the calculation does not derive a dynamical preference for it.
Keep the maps in their spaces.
W embeds six event coordinates into the selected carrier. T=Wᵀ returns them. The retained map Ic has reciprocal blocks c and 1/c, and R reverses the second three coordinates.
The explicit W makes the composite well typed. Θ squares to the selected projector on the ambient space; no parity on the complement is supplied. These are conditional internal transport identities.
The prospective test is a new contract.
The v0.1 admission contract checks source hashes, selected-sector membership, the native generator, Darboux pullback, definitions and the full composite. It rejects nonpositive or nonfinite c and uses one declared row-sum residual norm.
Its numeric lane is 0.001≤c≤1000. A successful verdict is NUMERICAL_SOURCE_ADMITTED. Public constructor fixtures are development tests, not a new blind cohort or an exact radical certificate.
Historical replication and current review are different records.
The recovered historical record reports an external-AI Gemini replication and a CRL2d ruling, with the rider transport consistency, not dynamical discovery. The receipt files and full ruling document are recovered. Named or signed original approval and the committed raw Gemini output remain unresolved.
Those historical labels are preserved. They are not independent-human review or a laboratory measurement. The prospective contract needs attributable non-constructor review before a new blind campaign.