chore(state): update STATE.a2ml — ADR-009 conformance 12/12 achieved 2026-04-11

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

Author: hyperpolymath

.machine_readable/6a2/STATE.a2ml

@@ -4,19 +4,19 @@
 [metadata]
 project = "affinescript"
 version = "0.1.0"
-last-updated = "2026-04-10"
+last-updated = "2026-04-11"
 status = "active"
 
 [project-context]
 name = "affinescript"
-completion-percentage = 78
-phase = "manhattan-track-a"
+completion-percentage = 80
+phase = "adr-009-conformance-complete"
 tagline = "Rust-inspired language with affine types, dependent types, row polymorphism, and extensible effects"
-note = "Track A (Manhattan plan) in progress — affine enforcement landing T+7d. Headline features partially declared-but-unwired; see [features] for honest status."
+note = "ADR-009 conformance target reached 2026-04-11: 12/12 valid conformance tests parse and match expected output (was 0/12). Six parser/lexer issues fixed: float scientific notation, optional type-decl semicolons, enum leading-pipe syntax, effect op type params, row variable support (type + expression contexts), keyword field names. 68/68 E2E tests: 0 regressions. Next: Priority 2 Faces Architecture (ASS / parser layer faces)."
 
 [components]
-lexer = "complete-minus-affine-tokens (ZERO/ONE tokens for quantity literals NOT emitted; blocks QTT surface syntax)"
-parser = "complete (1245 conflicts; block_terminator rule added for self-delimiting exprs)"
+lexer = "complete-minus-affine-tokens (ZERO/ONE tokens for quantity literals NOT emitted; blocks QTT surface syntax). float_exponent now correctly named sub-regexp — scientific notation crash fixed 2026-04-11."
+parser = "conformance-complete (ADR-009 achieved 2026-04-11). 12/12 valid tests parse. Added: optional SEMICOLON on type aliases/enums, enum leading-pipe syntax, effect op type params, ROW_VAR type params, ty_record_body/expr_record_body recursive rules for row-polymorphic records, field_name contextual keyword rule, struct literal expressions."
 type-checker-rules = "99% (bidirectional inference, Never/bottom, block divergence, variant/constructor/record-spread/mutable bindings all implemented in lib/typecheck.ml)"
 type-checker-enforcement-wiring = "wired (Typecheck.check_program is invoked from bin/main.ml on every check/compile/eval path; Quantity.check_program_quantities runs after typecheck at lib/typecheck.ml:1206; the gating IS live for the rules and quantity annotations that exist today)"
 borrow-checker = "phase-3-in-progress (lib/borrow.ml carries [IMPL-DEP: Phase 3] markers; not yet authoritative)"