Skip to content

docs(adr): erratum — loop verdict refuses on a missing terminal, not a missing store - #108

Merged
SollanSystems merged 1 commit into
mainfrom
docs/adr-0002-erratum
Jul 29, 2026
Merged

SollanSystems merged 1 commit into
mainfrom
docs/adr-0002-erratum

Conversation

@SollanSystems

Copy link
Copy Markdown
Owner

One-sentence correction to ADR 0002's limits-that-become-tests list, adjudicated during the slice 4a whole-branch review and disclosed in PR #106 body point 3: the shipped (and normatively documented, §23) semantics refuse only on a missing/invalid terminal record; a store-less workspace projects honestly with a null chain head. Docs-only — not a CODEOWNERS gate-defining path.

https://claude.ai/code/session_01JK76jSm45nHcoRoP1SdxXF

…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
Copilot AI review requested due to automatic review settings July 29, 2026 16:40
@SollanSystems
SollanSystems enabled auto-merge (squash) July 29, 2026 16:40

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@SollanSystems
SollanSystems merged commit eec0851 into main Jul 29, 2026
13 checks passed
@SollanSystems
SollanSystems deleted the docs/adr-0002-erratum branch July 29, 2026 16:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants