feat(standards): add ARG + FRG language-maturation framework#232
Merged
Conversation
Adds two sibling-tier standards to the existing TRG/CRG family: - adoption-readiness-grades/ — ARG: real-world adoption readiness (community, ergonomics, tooling polish, docs, deployment story) - foundations-readiness-grades/ — FRG: foundational research surfaces (mechanised proofs, papers, verification harnesses, formal artefacts) Estate grade vocabulary X | F | E | D | C | B | A with worst-of aggregation. Cross-axis rule: ARG <= TRG always; ARG-A requires FRG >= B. Includes audit findings doc AUDIT-FINDINGS-2026-05-28.adoc with §7 prover-CI hygiene addendum and §7.5 calibration lessons (~67% sub-agent false-positive rate on the 2026-05-28 sweep). Per-language profiles to land separately in affinescript / ephapax / my-lang. Dashboard wiring to land separately in nextgen-languages. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
🔍 Hypatia Security ScanFindings: 187 issues detected
View findings[
{
"reason": "Issue in affinescript-verify.yml",
"type": "unknown",
"file": "affinescript-verify.yml",
"action": "flag",
"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 casket-pages.yml",
"type": "unknown",
"file": "casket-pages.yml",
"action": "flag",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Issue in casket-pages.yml",
"type": "unknown",
"file": "casket-pages.yml",
"action": "flag",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Issue in changelog-reusable.yml",
"type": "unknown",
"file": "changelog-reusable.yml",
"action": "flag",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Issue in codeql-reusable.yml",
"type": "unknown",
"file": "codeql-reusable.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 deno-ci-reusable.yml",
"type": "unknown",
"file": "deno-ci-reusable.yml",
"action": "flag",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Issue in doc-format.yml",
"type": "unknown",
"file": "doc-format.yml",
"action": "flag",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Issue in echidna-verify.yml",
"type": "unknown",
"file": "echidna-verify.yml",
"action": "flag",
"rule_module": "workflow_audit",
"severity": "medium"
}
]Powered by Hypatia Neurosymbolic CI/CD Intelligence |
This was referenced May 28, 2026
hyperpolymath
added a commit
that referenced
this pull request
May 28, 2026
…#234) - **README.adoc** Overview: add Language-Maturation Grades bullet (ARG/FRG with TRG/CRG templates, pointer to nextgen-languages dashboard). - **ROADMAP.adoc**: bump Current State date 2026-04-04 → 2026-05-28; add ARG/FRG Language-Maturation Framework row to Core Standards table (Complete, PRs #229 + #232 landed 2026-05-28). Doc-only. CHANGELOG.md auto-syncs via git-cliff workflow on conventional commits — no manual update needed. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
hyperpolymath
added a commit
to hyperpolymath/typed-wasm
that referenced
this pull request
May 28, 2026
## 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](https://claude.com/claude-code) Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Lands the ARG/FRG (Adoption-Readiness Grades + Foundations-Readiness Grades) language-maturation framework as a new top-level spec pair under
standards/. Companion to the existing CRG/TRG framework family.This is a rebased version of the original
arg-frg-framework-landingbranch from a parallel session, brought current with main (which now carries the V-lang→Zig migration completion inLANGUAGE-POLICY.adocandCARTRIDGE-FORMAT.adoc— those edits are preserved by this rebase, not reverted).What lands (11 new files, +3315 lines)
Cross-axis invariants (codified in the framework)
ARG ≤ TRGalways — a language can't be more adoptable than its toolchain is readyARG-ArequiresFRG ≥ B— top-tier adoption needs foundational rigourRelationship to the dashboard
nextgen-languagesPR #58 (already merged) added the Language Grades Matrix and a regex-based grade extractor inlanguage-status-tracker.jlthat reads per-languagespec/{ARG,FRG,TRG}-PROFILE.adocfiles following the templates landed here.Test plan
adoption-readiness-grades/README.adocrendersfoundations-readiness-grades/README.adocrendersspec/dirLANGUAGE-POLICY.adoc(rebase preserved standards#227)🤖 Generated with Claude Code