test(ephapax): achieve CRG Grade C with 330 passing tests

Updates ephapax submodule pointer to include new P2P/E2E/aspect test
additions in ephapax-linear and ephapax-lexer. Updates STATE.a2ml and
TEST-NEEDS.md to record CRG Grade C achieved 2026-04-04.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath

.machine_readable/6a2/STATE.a2ml

@@ -5,10 +5,29 @@
 [metadata]
 project = "nextgen-languages"
 version = "0.1.0"
-last-updated = "2026-03-15"
+last-updated = "2026-04-04"
 status = "active"
 
 [project-context]
 name = "nextgen-languages"
-completion-percentage = 0
-phase = "accurate-state-tracking"
+completion-percentage = 15
+phase = "CRG C achieved for ephapax workspace (2026-04-04)"
+
+[crg-status]
+overall = "CRG C achieved 2026-04-04"
+ephapax-rust-workspace = "CRG C: 330 tests across 17 crates, all passing"
+tangle-ocaml = "94 tests passing (adequate coverage)"
+affinescript-ocaml = "64 tests (22 pre-existing failures, not regressions)"
+
+[test-coverage]
+# Rust (ephapax workspace) — workspace total
+ephapax-workspace-total = "330 tests, 100% pass rate"
+
+# New test additions (2026-04-04)
+ephapax-linear-new = "17 new tests: 5 P2P property, 4 E2E, 6 aspect, 2 unit"
+ephapax-lexer-new = "9 new tests: 4 P2P property, 2 E2E, 3 aspect"
+
+# Test categories added
+p2p-property-tests = "Loop-based invariant checks (10-20 iterations each)"
+e2e-tests = "Full pipeline: lexer->tokens, module->discipline check"
+aspect-tests = "Robustness: empty inputs, stateless checkers, edge cases"

TEST-NEEDS.md

@@ -2,6 +2,19 @@
 
 > Generated 2026-03-29 by punishing audit.
 
+## CRG Grade: C — ACHIEVED 2026-04-04
+
+| Sub-project | Tests | Status |
+|-------------|-------|--------|
+| ephapax (Rust workspace) | 330 | CRG C complete 2026-04-04 |
+| tangle (OCaml) | 94 | Existing coverage adequate |
+| affinescript (OCaml) | 64 tested (22 pre-existing failures) | Pre-existing, not regressions |
+
+Added test categories for ephapax-linear and ephapax-lexer:
+- P2P property tests: loop-based invariant checks (20+ iterations each)
+- E2E tests: full pipeline tests (lexer->tokens, module->discipline check)
+- Aspect tests: robustness, statelessness, edge cases, crash resistance
+
 ## Current State
 
 | Category     | Count | Notes |