§4.3 — Compliance engine. C: E → {0,1} as the conjunction of all in-scope rule predicates, evaluated in ascending priority order, first blocking rule terminating (§4.5). Enforces Invariant I₂ (§10.6): any FALSE blocks.
C: E → {0,1}
§4.3 — Compliance engine.
C: E → {0,1}as the conjunction of all in-scope rule predicates, evaluated in ascending priority order, first blocking rule terminating (§4.5). Enforces Invariant I₂ (§10.6): any FALSE blocks.