fake-assumptions-conformance
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
The transaction kernel against the fake backend, once per docs/assumptions.md entry and injected outcome. Each run must satisfy the entry’s contract and reach a terminal state (I12).
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | invariants: I6, I12, I15; reports: AssumptionHeld(<assumption>) | fake: PASS |