lin-0250
21.4 The cross-application map
System Declared object Obstruction Quotient or cover Repair contract CoLT Maintained reasoning state and transition record Typed failure of a declared commitment Reasoning contexts and decision-null variation Certified admit, reject, or abstain BRIDGE/SKFM Intervention response fields Visible bracket nonclosure Regime, target, and spectral covers Screen plus identified discovery LINCS-KET Direct and Kan routes Route incompatibility Layers, incidence, Cech probes Blockwise post-training gate ALLORA Adapter fields Order-sensitive composition Symmetry and layer structure Capability-safety preservation LASKO Skill sections Anchor, closure, feasibility Kernel/image fibers, workflows Executable skill gate GIRL Bellman factorization Base/tangent Bellman failure Advantage quotient, computation cover Layered policy recovery LINCS-RLHF Preference field Cyclic or unsupported reward Population cover, cycle space Scalar gate or relational fallback RADAR Relational charts Incidence, cocycle, apex failure Private faces and shared joins Sparse decision-preserving descent SID Predictive-state sheaf Compatibility or effectivity Cech cover and tangent equalizer Tangential or transverse update SCoLT Argument sheaf Warrant, source, scope, rebuttal Role and source cover Typed repair certificate Odyssey/Prometheus Maintained foundry Provenance, overlap, argument, freshness Evidence and domain cover Typed admission or quarantine