Context
The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.
Proof or evidence
the selected mask is the complete class of words with a given type. It has a succinct count-vector description and a deterministic combinatorial unranking generator, despite an exponentially large expanded port list.
Verification notes
The failure status and preserved lesson are recorded in the cumulative failure ledger.
Limitations
- distinguish extensional selector size from an intensional uniform generator receipt.