From 23c51550141799e68201ef409594ec3eecb0f824 Mon Sep 17 00:00:00 2001 From: Josh Terry Date: Mon, 17 Aug 2026 17:10:43 -0700 Subject: [PATCH] Promote the evidence tiers to their own README section MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The tier ladder was one sentence buried under the harvest table. It is now a section with a table: what each tier means and what passed to earn it, plus the two boundary statements — the probe sets the tier, and a higher tier means stronger evidence, not certainty. Co-Authored-By: Claude Fable 5 Claude-Session: https://claude.ai/code/session_015GeUG1gboWiZSnFyzQghyp --- README.md | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 423f7a6..772d666 100644 --- a/README.md +++ b/README.md @@ -152,9 +152,21 @@ accept/reject test pair. A rule can also demand a measured execution scope | MUST clauses in a normative document | a must-clause claim | no probe is available — the claim stays in the remainder | T0 | | nothing (`-llm`) | LLM proposals, with the mark `[llm-proposed]` | a changed test, only when the model names it and coverage confirms the link | T0 or T1 | -The tiers: **T0** unverified · **T1** one assertion held · **T2** an -accept/reject pair held · **T3** property or model check · **T4** proof, -exhaustive check, or observation. +## The evidence tiers + +Each claim carries a tier. The tier tells you how strong the evidence is. +The probe sets the tier. No model and no person can raise it. + +| Tier | Name | What passed | +|---|---|---| +| **T0** | Unverified | Nothing. No probe ran. The claim stays in the remainder. | +| **T1** | Assertion | One test. | +| **T2** | Adversarial | An accept/reject test pair. The good case passed, and the bad case was rejected. | +| **T3** | Property | A property check or a bounded model check (for example, an Alloy `check`). | +| **T4** | Proof | A proof, an exhaustive check, or a runtime observation. | + +A higher tier means stronger evidence, not certainty. A T1 test can assert +the wrong property. The receipt states the tier, and no more. ## The design and the measurements