Repository navigation
docs(plan): implementation plan for the grammar drift verifier (#643) - #646
Merged
Merged
Conversation
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT
…643 review) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT
Codecov Report✅ All modified and coverable lines are covered by tests. 📢 Thoughts on this report? Let us know! |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Implementation plan for #643, following the merged spec (#644).
Plan:
docs/superpowers/plans/2026-10-20-643-grammar-verifier.mdPRs:
v3): 25 new codes,PRS-083–PRS-107(24 user-facingINT-019sites + the retract-arityINT-000); the 4 unreachableINT-019sites stay.v3): the verifier: lexical and structural levels, the semantic-code list with witnesses,KNOWN_DRIFT.v3): pest → EBNF renderer, generateddocs/GRAMMAR.md, docs-site snapshot PR.main): verifier backport (no new codes) and the scheduled job for both branches.Deviations from the spec, for approval (plan "Deviations"):
grammar.pest'sfactbecomes exact (3 values + optional valid-time map; retract exactly 3). Otherwise the loose rule hides the 5+ element fact bug, and the generated EBNF would be loose too. This moves two corpus files toinvalid/syntax/and makes the fact-shape codes syntax.k ≤ 3replaces the spec's claim that gluing is the lexical level's job (parse_ednand pest both read:find?eas one keyword).min_k.ErrorCodeispub(crate)).Reviewed with Codex: line references, workflows and grammar claims confirmed; drift entries now state their direction and a witness.
Docs only. Part of #643.
🤖 Generated with Claude Code
https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT