lin-0185

14.9 Repair admission

LASKO admission must include more than the final artifact score:

  1. the section must be executable under the current tool and schema state;

  2. the anchor prediction must match the realized edit;

  3. the selected order must improve held-out validator behavior;

  4. kernel proxies must not expose hidden trace regressions;

  5. evidence and safety contracts must remain satisfied; and

  6. the expensive validation savings must include all model and tool calls.

Admission contract

Cheap bracket probes may rank candidates but never replace served validation. All calls used to construct, screen, retry, or validate a repair belong in the cost certificate. Similar final Markdown is insufficient when execution traces or future compositions differ.