From ba862980823833b99ca2a8ee24daf2fb9a503006 Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Thu, 28 May 2026 13:45:13 +0100 Subject: [PATCH] =?UTF-8?q?chore(state):=20bump=20proposal=200002=20comple?= =?UTF-8?q?tion=2015=E2=86=9230=20+=20refresh=20critical-next-actions?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit PR #86 landed 2026-05-28: proposal 0002 (access-site carrier) authored as [draft] specifying typedwasm.access-sites with Encoding B per the issue #78 size measurement. Updates: - route-to-mvp[Access-site carrier]: 15 → 30 (proposal authored) - critical-next-actions: dropped "author proposal 0002" (done); inserted "cross-repo review of proposal 0002"; kept the gated verify_region_binding follow-on. Co-Authored-By: Claude Opus 4.7 (1M context) --- .machine_readable/6a2/STATE.a2ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.machine_readable/6a2/STATE.a2ml b/.machine_readable/6a2/STATE.a2ml index cf7f478..cbdb2c9 100644 --- a/.machine_readable/6a2/STATE.a2ml +++ b/.machine_readable/6a2/STATE.a2ml @@ -67,7 +67,7 @@ milestones = [ { name = "L2-L6 carrier ABI proposal (proposal 0001)", completion = 30 }, # PR #76 filed 2026-05-27; [draft], blocked on affinescript+ephapax review { name = "L2 region-binding codec pre-stage (unstable-l2 feature)", completion = 100 }, # PR #77, 2026-05-27 — codec only, no verifier pass yet { name = "L15 capability carrier ABI", completion = 30 }, # bundled into proposal 0001 (typedwasm.capabilities section) - { name = "Access-site carrier (proposal 0002)", completion = 15 }, # issue #78 resolved option A; size measurement done (Encoding B recommended); proposal not yet authored + { name = "Access-site carrier (proposal 0002)", completion = 30 }, # PR #86 filed + merged 2026-05-28 — proposal authored as [draft] specifying typedwasm.access-sites with Encoding B per issue #78 measurement; next gates: cross-repo affinescript+ephapax review → promote to [accepted] → land unstable-l2-access-sites codec + verify_region_binding pass { name = "C5.1 real-AffineScript fixture corpus", completion = 100 }, # PR #81, 2026-05-27 — 4 fixtures + regenerate workflow ] @@ -88,8 +88,8 @@ issues = [ [critical-next-actions] actions = [ "Phase 2: cross-repo review of proposal 0001 carrier-section ABI — externally gated (affinescript#402 + ephapax#165 sit in maintainers' queues).", - "Phase 2: after proposal 0001 [accepted], author proposal 0002 (access-site carrier — option A); use Encoding B per the size measurement on issue #78.", - "Phase 2: after proposal 0002 [accepted], unstable-l2 codec gets the verify_region_binding pass (deliberately omitted from PR #77).", + "Phase 2: cross-repo review of proposal 0002 access-site carrier (PR #86, [draft]) — affinescript + ephapax codegen-path maintainers gate promotion to [accepted].", + "Phase 2: after proposal 0002 [accepted], unstable-l2-access-sites codec + verify_region_binding pass land in crates/typed-wasm-verify/ (closes the deliberate PR #77 omission).", "Track A: extend tree-sitter grammar from region-decls v0 to full spec/grammar.ebnf parity.", "Track A: Idris2 parser at 188-test parity with the ReScript parser.", "Track A: ReScript cut single PR (auto-closes anti-pattern policy red).",