Equation & sets
ACBP(F,c) := ∧r∈R r(F,c)
D = { (F,c) ∈ {0,1}^B × C | ACBP(F,c) }
M = { F | ∃ c : ACBP(F,c) } = πF(D) (strict in SQL).
Compiler → SQL
- Validators (`acbp_is_valid__*`).
- *_decision_space_mat + unique keys.
- *_valid_masks_mat := SELECT DISTINCT mask FROM *_decision_space_mat.
- Verifier: soundness/coverage/dedup.
Empirical latency (n=1,680/model)
| Model | P50 | P95 |
|---|---|---|
| Clinic | ~818 ms | ~937 ms |
| Inpatient | ~614 ms | ~750 ms |
Daily SLO: Clinic ≥95% ≤920 ms; Inpatient ~83–91% ≤700 ms (Wilson lower bound).
Determinism & safety
- Keys enforce unique `(F,c)`; δ is functional.
- Present-only monotonic; diagnostics track dead masks.
- All theorems checked on-DB (0 violations).