docs: PROOF-NEEDS reconciliation 2026-05-30 + profile-doc cleanup

[hyperpolymath]

Summary

Adjacent housekeeping found while waiting on #117 CI. Two unrelated
issues bundled because they're both stale-reference cleanup found in
the same audit pass:

1. PROOF-NEEDS.md — the 2026-05-27 reconciliation banner listed
   "verifier L1-L6 + L13-L16 coverage on emitted wasm" as "in
   progress on PRs docs(proposals): 0001 multi-producer carrier sections for L2–L6 and L15 (Refs #34) #76 / feat(verify): pre-stage typedwasm.regions codec behind cargo feature unstable-l2 #77 in a parallel session". The arc has
   closed. Adds a new `RECONCILIATION 2026-05-30` block at the top
   (above the existing 2026-05-27 block) per the reverse-chrono
   convention. Historical banners preserved unchanged.

2. Profile docs (`spec/{ARG,CRG,FRG,TRG}-PROFILE.adoc`) — all
   four reference `docs/proposals/0001-.md` / `0002-.md` (wrong
   extension — files are `.adoc`, not `.md`). This is a literal
   link-resolution bug, not a status update. Also rewrites
   `CRG-PROFILE.adoc` row 53 (verifier capability description was
   pre-acceptance era) and fixes pinned wasm-tools version 0.250.0 →
   0.251.0 to match `Cargo.toml`.

Why filed separately from #117

#117 was scoped to the load-bearing config files (README, CHANGELOG,
STATE.a2ml, PRODUCTION-PATH, spec doc, Cargo.toml). PROOF-NEEDS +
profile-doc cleanup are adjacent finds, not scope-creep. Per memory
[[feedback_amend_swallows_parallel_staged]] avoiding amend on an
auto-merge-armed PR; separate auditable change.

Test plan

• CI green (docs-only; no source changes)
• PROOF-NEEDS structure preserved (reverse-chrono banner ordering)
• Profile-doc link references resolve to actual `.adoc` files

🤖 Generated with Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 83 issues detected

Severity	Count
🔴 Critical	1
🟠 High	13
🟡 Medium	69

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Action perpolymath/standards/.github/workflows/governance-reusable.yml@main\n needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in boj-build.yml",
    "type": "missing_timeout_minutes",
    "file": "boj-build.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in c5-regenerate.yml",
    "type": "missing_timeout_minutes",
    "file": "c5-regenerate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in cargo-audit.yml",
    "type": "missing_timeout_minutes",
    "file": "cargo-audit.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in codeql.yml",
    "type": "missing_timeout_minutes",
    "file": "codeql.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence