Commit e401f84
docs(governance): CRG v2.0 STRICT audit — C (declared) -> E (honest)
Two-grade demotion with three independent D-floor breaks, any one of
which would defeat D on its own:
1. Justfile stubs — build/test/clean/fmt/lint recipes are literal
`echo "TODO"` placeholders. `just crg-grade` reads from a
non-existent READINESS.md, so it silently always returns X.
2. Banned-language violation — all 66 declared tests (15 unit + 11
property + 9 e2e + 31 aspect + 15 benchmark) are TypeScript (.ts).
Policy requires ReScript.
3. Workflow gamed to hide self — .github/workflows/rsr-antipattern.yml
line 32 patched locally with `grep -v '^./tests/'` to exclude the
repo's own test dir from the antipattern sweep. More cynical than
double-track-browser's HEAD~1 grandfathering window.
Plus the HYP-S005 canary condition: completion-percentage=100 at
version=0.1.0 while ROADMAP declares "v0.0 (Alpha)" and core modules
are marked "Stub only" / "Partial" — the completion claim contradicts
the repo's own roadmap.
Surprises:
- User's bulk-triage test count (35) under-reported STATE.a2ml's actual
claim of 66 (the +31 aspect and +15 benchmark suites weren't in the
triage view).
- Two working-tree copies diverge: the top-level modshells/ has the
gamed workflow, the verification-ecosystem/modshells/ nested copy
has the ungamed one but lacks .machine_readable/policies/. Needs
canonicalisation pass.
- Positive counterweight: zero dangerous-pattern uses in Ada source,
EXPLAINME.adoc is genuinely well-written. The E grade is earned on
real substance, not on nothing-there-at-all.
Priority D-floor recovery actions (ordered):
1. (S) Fill in Justfile stubs with real recipes.
2. (L) Port 66 TypeScript tests to ReScript.
3. (S) Revert the rsr-antipattern.yml self-exempting grep to the
canonical template, then fix whatever it was hiding.
4. (S) Canonicalise the two working-tree copies — pick one as source
of truth, mirror from it.
5. (M) Recompute completion-percentage honestly against ROADMAP.
STATE.a2ml updates recommended (not executed): crg-grade C->E,
completion-percentage 100->~25 (ROADMAP-aligned), add [blockers]
section naming the 5 above.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>1 parent be6e810 commit e401f84
1 file changed
Lines changed: 690 additions & 0 deletions
0 commit comments