You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Fixed
Corrected all authored docs (README.md, docs/) to use shipped command surfaces after the lean-core and modules split. Removed or replaced stale syntax families (project plan, project import from-bridge, backlog policy, spec contract, spec sdd, spec generate prompt subcommands) with current equivalents (code import from-bridge, backlog verify-readiness, spec validate, spec generate-tests, govern enforce sdd).
Added docs parity tests that fail when removed syntax families reappear in authored docs, guarding against future regression.
