An exact algebraic finite catalogue

This finite-promise statement is stronger than merely observing that a code-only circuit cannot read matter. It does not exclude statistical estimation, stochastic outcomes, additional promised orthogonality, or a separately analysed approximation.