feat(spec): add ARG + TRG + FRG + CRG profiles for typed-wasm

[hyperpolymath]

Summary

Adds the four-axis maturation grading for typed-wasm, scored against the framework introduced in hyperpolymath/standards#232 (ARG + FRG) and the templates introduced in hyperpolymath/standards#229 (TRG + CRG profile templates).

typed-wasm is treated as a language-shaped compilation target: it has a defined grammar (binary + textual per spec/grammar.ebnf), instruction AST, operational semantics (per spec/type-safety-levels-for-wasm.adoc), a layered type system (L1-L17 per LEVEL-STATUS.md), and a runtime contract. "Adoption" means downstream languages targeting it as a compilation backend (ephapax, AffineScript).

Grades

Axis	Grade	Headline reason
ARG	D	README/EXPLAINME/QUICKSTART + 6 example .twasm + 3 consumer-feature surfaces. No public playground / error-code index / educator curriculum.
TRG	C	Front-end + middle-end + back-end strong; T1-T5 N/A (target, not compiler). 88/88 parser tests pass at v1.5.
FRG	C	22 Idris2 files at src/abi/ with QTT linearity + dependent types, zero believe_me/assert_total in ABI files, A10 closure landed PR #79. Gated below B by absence of explicit L1-L10 preservation lemmas per PROOF-NEEDS.md.
CRG	D	typed-wasm-verify v0.1.0 (workspace-internal, not yet on crates.io). Idris2 ABI surface at C (consumed as source).

Cross-axis rule: ARG ≤ TRG holds (TRG = C ≥ ARG = D). typed-wasm becomes the strongest of the audit cohort on FRG (versus ephapax-D, AffineScript-E, my-lang-X) and ties ephapax at TRG-C.

Honest gaps for grade promotion

• B for TRG/FRG requires per-level preservation lemmas for L1-L10 (currently structural only); L11/L12 still draft.
• C for ARG requires a published error-code index + web playground + VeriSimDB attestation.
• C for CRG requires audits/audit-typed-wasm-verify.md + VeriSimDB attestation.

Test plan

• CI passes
• .adoc renders cleanly
• Grade-line regex from nextgen-languages/language-status-tracker.jl matches each *<GRADE>* correctly
• No SPDX-header lint complaints

🤖 Generated with Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 97 issues detected

Severity	Count
🔴 Critical	8
🟠 High	19
🟡 Medium	70

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Action actions/upload-artifact@v4 needs attention",
    "type": "unpinned_action",
    "file": "release.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action actions/download-artifact@v4 needs attention",
    "type": "unpinned_action",
    "file": "release.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in boj-build.yml",
    "type": "unknown",
    "file": "boj-build.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in c5-regenerate.yml",
    "type": "unknown",
    "file": "c5-regenerate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in cargo-audit.yml",
    "type": "unknown",
    "file": "cargo-audit.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in codeql.yml",
    "type": "unknown",
    "file": "codeql.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "unknown",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "unknown",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "unknown",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "unknown",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

[github-actions]

🔍 Hypatia Security Scan

Findings: 97 issues detected

Severity	Count
🔴 Critical	8
🟠 High	19
🟡 Medium	70

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Action actions/upload-artifact@v4 needs attention",
    "type": "unpinned_action",
    "file": "release.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action actions/download-artifact@v4 needs attention",
    "type": "unpinned_action",
    "file": "release.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in boj-build.yml",
    "type": "unknown",
    "file": "boj-build.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in c5-regenerate.yml",
    "type": "unknown",
    "file": "c5-regenerate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in cargo-audit.yml",
    "type": "unknown",
    "file": "cargo-audit.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in codeql.yml",
    "type": "unknown",
    "file": "codeql.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "unknown",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "unknown",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "unknown",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "unknown",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence