lin-0125

9.8 Admission is a separate decision problem

Proposal and admission should be separated. The proposal mechanism searches the repair language; the admission mechanism decides whether available evidence warrants deployment.

Definition 9.12 Admission rule

Given validation evidence \(\mathcal V\), an admission rule is a partial decision

\[ \mathcal A_{\mathcal V}: (D,e,\Psi _{\mathbb S}(D,e)) \longrightarrow \{ \text{accept},\text{reject},\text{abstain}\} . \]

A useful rule is lexicographic. Hard invariants and safety constraints are tested first; only survivors are compared on task and structural outcomes.

A conservative admission procedure

  1. Verify typing, quotient descent, and repair-language membership.

  2. Reject candidates that violate hard structural or safety invariants.

  3. Test the repaired base obstruction on held-out support.

  4. Test admitted tangent and interaction blocks separately.

  5. Evaluate task benefit, uncertainty, compute, and regression risk.

  6. Prefer the least complex repair inside the supported equivalence class.

  7. Accept only if the declared margin is met; otherwise reject or abstain.

Admission contract

Localization does not imply effectivity, an available tangent signal does not mandate an update, and defect reduction does not prove recovery of a privileged architecture. Admission must audit structural validity, semantic relevance, and empirical benefit separately.