Skip to content

docs(spec): correct six claims about behaviour the code does not have - #4

Merged
tactino merged 1 commit into
mainfrom
docs/audit-corrections
Sep 11, 2026
Merged

tactino merged 1 commit into
mainfrom
docs/audit-corrections

Conversation

@tactino

@tactino tactino commented Sep 11, 2026

Copy link
Copy Markdown
Member

SPEC.md is the normative document, so a clause the implementations do not honour is worse there than anywhere else. An adversarial audit read every clause against the three codebases; six did not hold.

The examples/README.md two-terminal recipe also did not run as written. That matters more than it looks: the recipe is how a stranger grades their own client, so a broken one turns the conformance story back into a claim.

Corrections are recorded in the document rather than applied silently, which is this specification's convention for anything it previously got wrong.

🤖 Generated with Claude Code

SPEC.md is the normative document, so a claim in it that the implementations
do not honour is worse than the same claim anywhere else. An adversarial
audit read every clause against the three codebases and six did not hold.

The examples README's two-terminal recipe did not run as written, which
matters more than it looks: that recipe is how a stranger checks their own
client, so a broken one turns the conformance story into a claim again.

Corrections are recorded in the document rather than applied silently, which
is this specification's convention for anything it previously got wrong.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@tactino
tactino merged commit f725e85 into main Sep 11, 2026
3 checks passed
@tactino
tactino deleted the docs/audit-corrections branch September 11, 2026 21:17
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.

1 participant