docs: Stage B properly CLOSED (truth the #215 ADR-012 wont-fix; Refs #176 #215)

[hyperpolymath]

Stage B properly CLOSED — truth the #215 ADR-012 won't-fix

The ledger said Stage B "near-closed" with residual #215 families
remaining (one family per PR). Stale and actively misleading.

#215 is CLOSED with an owner-ratified ADR-012 disposition: the
residual ~68 S/R + state-401 R/R conflicts are an intentional
WON'T-FIX. Menhir resolves them correctly, the full gate proves every
accepted parse is the intended one, and eliminating them is exactly the
systemic precedence/left-factoring contortion (estate-wide blast radius,
cosmetic-only payoff) that ADR-012 forbids.

Closure is by disclosure, not surgery — verified present in
justfile: just build masks the benign notices but prints the count +
correctness proof + ADR pointer; just build-loud / dune build reveal
everything. Policy: docs/specs/SETTLED-DECISIONS.adoc "Parser-Conflict
Disclosure".

"near-closed" invited the precise grammar work ADR-012 forbids — a
documentation-drift hazard squarely in scope for DOC-01..09 / #176.

Corrected:

• docs/ECOSYSTEM.adoc Stage B row → CLOSED + the ADR-012
  residual-conflict disposition + disclosure mechanism + explicit
  "do not reopen" note.
• docs/TECH-DEBT.adoc critical-path: Stage B CLOSED (ADR-012 won't-fix).
• docs/CAPABILITY-MATRIX.adoc parser row: Stage B CLOSED; no longer
  "tracked as the Eliminate all Menhir parser conflicts (75 S/R + 10 R/R) — dedicated grammar-conflict workstream #215 workstream".

Docs-only; gate unaffected. Refs #176 #215 — not Closes (#215 is
already closed; this truths the ledger to match its disposition).

🤖 Generated with Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 44 issues detected

Severity	Count
🔴 Critical	12
🟠 High	21
🟡 Medium	11

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Stray AI.a2ml in root -- use 0-AI-MANIFEST.a2ml only",
    "type": "banned",
    "file": "AI.a2ml",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "Superseded by 0-AI-MANIFEST.a2ml",
    "type": "banned",
    "file": "AI.djot",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "Issue in quality.yml",
    "type": "missing_workflow",
    "file": "quality.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in security-policy.yml",
    "type": "missing_workflow",
    "file": "security-policy.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/example/smoke_driver.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/cli.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/mod.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/lib/compile.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/lib/runner.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence