pa-09 — Verification
One command
cd pa-09-reliability-slo && bash scripts/verify.sh
What the tests prove
| Test | Invariant |
|---|---|
TestErrorBudget | error budget = 1 − target (within float tolerance) |
TestBurnRate | burn rate = errorRate / budget (1× sustainable, 10× fast, 0 with no traffic) |
TestMultiWindowPagesOnSustainedBurn | both windows hot → PAGE |
TestMultiWindowDoesNotPageOnBlip | short hot but long cool → NOT a page |
TestMultiWindowTicketsOnSlowBurn | slow sustained burn → TICKET |
TestBulkheadIsolation | a full bulkhead rejects; release frees a slot |
TestBulkheadsAreIndependent | a saturated dependency doesn't starve another |
All under -race.
What "green" does NOT guarantee
- No real metrics pipeline. SLIs come from gw-11; this is the alerting
- governance layer.
- Single window pair. Production uses several burn-rate/window pairs + an error-budget policy.
- Bulkhead only. Breakers/adaptive concurrency/timeouts (gw-06) compose with it; not all wired here.