λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript En02-B@1 · En02-B-v1.tex · section · ca28dee4

Four separate artefacts

Certificate boundaries, negative tests, and open problems › Four separate artefacts · lines 1812–1840

Back to manuscript
ArtefactWhat it establishes or checks
Exact code specificationStabilizer projector, logical conventions, low-weight privacy, and the six-leg perfect state
Decoder certificatePauli intertwiners and exact branch factorizations, determining logical-reference recovery
Occupancy ledgerLegal live names, consumed syndrome registers, returned output, and branchwise peak
Schedule explorerMinimum frontier bound in the declared finite module decomposition

The mathematical proofs are in the main text. The appendix supplies exact finite checks of selected certificates and a complete finite search of one specified schedule class. Neither its success nor its failure certifies statements outside that scope.