From 56b5b0cd8ed80b9a4dae395ce7b68606bc89f154 Mon Sep 17 00:00:00 2001 From: Sollan Systems Date: Wed, 29 Jul 2026 12:39:55 -0400 Subject: [PATCH] docs(adr): erratum - loop verdict refuses on a missing terminal, not a missing store The limits-that-become-tests list said the verb refuses on 'a workspace with no event store or terminal record'. The shipped semantics - per the plan's binding predicate shape, the nullable chain.head schema, Task 4/5's tests on the store-free example, and the action's own empty-head skip guard - refuse only on a missing or invalid terminal record; a store-less workspace projects honestly with a null chain head. Adjudicated during the slice 4a whole-branch review (PR #106 body, point 3); section 23 already documents the shipped behavior, this aligns the ADR sentence with it. Claude-Session: https://claude.ai/code/session_01JK76jSm45nHcoRoP1SdxXF --- docs/adr/0002-ci-attested-verdict.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/adr/0002-ci-attested-verdict.md b/docs/adr/0002-ci-attested-verdict.md index d822945..5aba364 100644 --- a/docs/adr/0002-ci-attested-verdict.md +++ b/docs/adr/0002-ci-attested-verdict.md @@ -188,8 +188,9 @@ gate, and should be described that way. ### Limits that become tests Following the project's habit of shipping defeat conditions as passing tests: -`loop verdict` refuses, typed, on a workspace with no event store or terminal -record; `--compare` reports `signature_checked: false` across every branch; +`loop verdict` refuses, typed, on a workspace with no terminal record (a +store-less workspace projects honestly, with a null chain head — the shipped +semantics `reference/repo-os-contract.md` §23 documents); `--compare` reports `signature_checked: false` across every branch; head disagreement fails with a typed code and agreement passes as the negative control; predicate conformance is machine-pinned; the field allowlist holds; import purity and the no-signing / no-environment assertions hold repo-wide; and