Test Tiers

%% Test tiers — fast DST loop, real-backend loop, human loop; bugs feed regression graph TB subgraph t0["Tier 0 — DST properties & abuse-cases (M0+, no containers)"] prop["Property tests<br/>(edge-independence, V5/V6/V7/V9)"] abuse["Abuse-case tests<br/>(attacks asserted to fail)"] end subgraph t1["Tier 1 — integration & adversarial (M1+, containers)"] integ["Real backends · conformance suites"] load["Load / fault · Jepsen-style · fuzzing"] end subgraph t2["Tier 2 — community & ecosystem validation (continuous + pre-release)"] disc["Disclosure program · OSS-Fuzz · CodeQL · Scorecard"] cert["Free OpenID conformance suite"] end regress["Permanent regression test<br/>(every found bug / fixed vuln)"] t0 --> t1 --> t2 t0 -. seed-found violation .-> regress t1 -. failure .-> regress t2 -. finding .-> regress regress -. re-runs forever .-> t0