Measured boundary
~115 ns / decision on the documented 22-model synthetic catalog. This is kernel latency, not end-to-end service latency.
SYSTEM 01 / STABLE / 0.6.1
Calybris Core
A deterministic, fixed-point decision kernel that emits an auditable decision bundle from a catalog, policy, and request.
Correctness boundary
No floating-point arithmetic in the decision path. Budget transitions are exercised with Loom and Miri. The WAL is hash-chained and replay-verifiable.
Reproduce
cargo add calybris-core@0.6.1