Skip to content

feat(spec): add TRG + CRG profiles for My#78

Merged
hyperpolymath merged 1 commit into
mainfrom
feat/spec-trg-crg-profiles
May 28, 2026
Merged

feat(spec): add TRG + CRG profiles for My#78
hyperpolymath merged 1 commit into
mainfrom
feat/spec-trg-crg-profiles

Conversation

@hyperpolymath
Copy link
Copy Markdown
Owner

Summary

Completes the four-axis maturation grading for My, following the ARG + FRG profiles landed in #77 and the templates introduced in hyperpolymath/standards#229.

  • spec/TRG-PROFILE.adoc — Toolchain Readiness profile, grade TRG-D
  • spec/CRG-PROFILE.adoc — Component Readiness profile, grade CRG-D

Grades

TRG-D — 14-crate Rust workspace with the bulk of the compiler in crates/my-lang/ (parser 2867 lines, checker 1792, interpreter 955, stdlib 1931, ast 833, lexer 540), plus separate HIR (my-hir, 666 lines), MIR (my-mir, 1596 lines), LLVM backend (my-llvm, 1077 lines using inkwell), LSP scaffold (my-lsp, 515 lines), formatter (my-fmt, 456), linter (my-lint, 352), package manager (my-pkg, 377), CLI driver (my-cli, 764), DAP/debugger scaffolds, AI scaffold (my-ai, 778), test runner (my-test).

Worst-of:

  • M5 semantics document partial (grammar.ebnf + system-specs.md cover surface syntax only)
  • B5 ABI/FFI not yet declared (Idris2 ABI + Zig FFI per estate convention)
  • T3 REPL not separately discoverable

The non-load-bearing crates/my-parser scaffold (41 lines with TODO) is called out explicitly; the real parser lives in crates/my-lang/src/parser.rs.

CRG-Dmy binary + 14 workspace crates at version = "0.2.0". None yet published to crates.io. No per-crate v2.2 STRICT audits, no VeriSimDB attestation.

Axis chain

Axis Grade Source
ARG D-leaning-E spec/ARG-PROFILE.adoc (landed #77)
TRG D this PR
FRG X spec/FRG-PROFILE.adoc (landed #77; template ABI honestly retracted 2026-03-29)
CRG D this PR

Cross-axis rule: ARG ≤ TRG holds.

Test plan

  • CI passes
  • .adoc renders cleanly
  • Grade-line regex from nextgen-languages/language-status-tracker.jl matches *D* correctly in both profiles
  • No SPDX-header lint complaints

🤖 Generated with Claude Code

Completes the four-axis maturation grading for My, following the
ARG + FRG profiles landed in #77 and the templates introduced in
hyperpolymath/standards#229.

Grade:
- TRG-D — 14-crate Rust workspace covering F1-F4/F6/F7, M1/M2/M5,
  B1-B6, T1-T8 with the bulk of the compiler in crates/my-lang/
  (parser 2867 lines, checker 1792, interpreter 955, stdlib 1931).
  Worst-of: M5 canonical semantics document partial (grammar.ebnf
  + system-specs.md cover surface syntax only), B5 ABI/FFI not yet
  declared (Idris2 + Zig), T3 REPL not separately discoverable.
- CRG-D — `my` binary + 14 workspace crates; none yet published to
  crates.io. No per-crate v2.2 STRICT audits, no VeriSimDB
  attestation. The non-load-bearing crates/my-parser scaffold is
  marked separately as E (the real parser lives in
  crates/my-lang/src/parser.rs).

Both profiles cite spec/ARG-PROFILE.adoc (D-leaning-E) +
spec/FRG-PROFILE.adoc (X, with the honestly-retracted 2026-03-29
template ABI scaffolding) for the full axis chain.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@hyperpolymath hyperpolymath enabled auto-merge (squash) May 28, 2026 12:06
@hyperpolymath hyperpolymath merged commit a30ea07 into main May 28, 2026
14 of 16 checks passed
@hyperpolymath hyperpolymath deleted the feat/spec-trg-crg-profiles branch May 28, 2026 13:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant