lin-0185
14.9 Repair admission
LASKO admission must include more than the final artifact score:
the section must be executable under the current tool and schema state;
the anchor prediction must match the realized edit;
the selected order must improve held-out validator behavior;
kernel proxies must not expose hidden trace regressions;
evidence and safety contracts must remain satisfied; and
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.