Artifact hashes:
0278d04c131640b6aeb89064c30f942b520308fd715247846ffea7506a04489dadacbc0294afc94d5a839dd90daebcf461d97f776a9c29cc51980994d6ba605839c0373c3755d98ed6f9f98dcd55b47f9f576df47b34587a074838ee107adab6Environment boundary: exact proof and NumPy spectral reconstruction were completed. The present environment did not contain QuTiP, so repository execution of the corrected module is an explicit next gate. The failed original assertions remain attached to the provenance packet.
Canonical Drive monograph and agent transit charter
Car ID: E47-EXEC-TRANSIT-20260727.
The car carries one deduplicated executable lineage: carrier → Casimir → selector → kernel → projector → continuous/discrete contraction → certificate pipeline. Correction history, QEC boundary, and finite-dimensional claim scope travel with the packet and may not be detached at downstream stations.
The monorail now carries a single manifest for the CITY-58 contraction family:
commit SHA → source modules → tests → CLI → JSON certificate → Markdown passport → Notion evidence record.
CITY-58 is the executable anchor. Optimal Contraction, Levinthal, and Babylonian Closure are derivative cars attached to that manifest. Their movement does not create independent canonical code.
Open reproducibility defect: seed labels and reported iteration-1000 residuals conflict. The manifest remains incomplete until the script, seed, initial vector, norm, projector construction, arithmetic mode, stopping definition, and environment are bound to one execution record.
The deliberately minimal repository README remains unchanged. Invocation contracts must live in executable scripts, tests, provenance documents, or certificate metadata rather than forcing decorative repository changes.
KKP-PQC receives a separate candidate manifest only after exact source, arbitrary-precision backend, dependencies, deterministic outputs, Kraus completeness, failure-path behavior, and commit SHA are supplied.
Every proof-born citizen must preserve parent links, dependency versions, evidence class, executable environment, correction lineage, reviewer state, and claim boundary across all transfers. The monorail carries lineage; it does not confer truth. Duplicate identities reconcile to one canonical citizen record. Existing archive and registry destinations remain the only authorized surfaces.