The surface · and what runs on it
One core, two ways to solve it, five benches that consume it.
Counted by walking the tree and reading the store, not by remembering. One ModelIR sits between the external formats and everything downstream, and nothing is allowed to bypass it; from there the same model is solved classically — ODE, SDE, SSA, FBA, PBPK — or learned, as a PINN or a neural ODE. The two are held together by a protocol method: a bridge that implements validate_against_classical cannot ship a drifted trace, because exceeding tolerance raises instead of returning a quiet failure flag. Five benches install csb and consume it as a scoring oracle — RAPL for regulatory work, and the CLDD, CLMD, CLND and CLCD design loops for drugs, devices, nutrition and cosmetics. csb imports none of them. And what crosses that boundary is the marker, not just the number: where a cited absence makes csb compute a zero it cannot stand behind — rofecoxib's heart — the evidence: lower_bound flag survives into RAPL and turns that zero into not_assessed, never a clean bill of health.