From f3239894ac69caaca069905b35f0e24e52755e2c Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Sat, 30 May 2026 17:12:17 +0100
Subject: [PATCH] docs(tw_section): update stale typed-wasm proposal 0001
 reference (accepted + ADR-0002/0003)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The mli header described proposal 0001 as awaiting promotion to
[accepted]. Both proposal 0001 (multi-producer carrier sections)
and proposal 0002 (access-site carrier) reached [accepted] on
2026-05-30 and were promoted to typed-wasm ADR-0002 + ADR-0003
in typed-wasm#116. The forward-compat slot description is unchanged
in substance — the encoders still land here as codegen produces them
— but the gating sentence is updated to reflect the new state and
to point at the active downstream tracking issue affinescript#462
(typed access-sites emission).
---
 lib/tw_section.mli | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/lib/tw_section.mli b/lib/tw_section.mli
index c3dd75b..4a41816 100644
--- a/lib/tw_section.mli
+++ b/lib/tw_section.mli
@@ -8,12 +8,15 @@
     (avoiding a cycle with [Codegen]). Callers map their domain
     types to bytes before invoking.
 
-    Forward-compatibility slot for typed-wasm proposal 0001 (issue
-    hyperpolymath/typed-wasm#34): [Encode.regions] and
-    [Encode.capabilities] land here when the proposal promotes to
-    [accepted]. Sharing the internal LE writers (u8 / u32le / leb128)
-    inside this module prevents the 3-sections × 2-copies = 6-encoder
-    fan-out flagged by hyperpolymath/affinescript#444. *)
+    Forward-compatibility slot for typed-wasm proposals 0001 + 0002
+    (now [accepted] 2026-05-30; promoted to typed-wasm ADR-0002
+    [multi-producer carrier sections] and ADR-0003 [access-site
+    carrier]). [Encode.regions], [Encode.capabilities], and
+    [Encode.access_sites] land here as codegen produces them — see
+    hyperpolymath/affinescript#462 (typed access-sites emission).
+    Sharing the internal LE writers (u8 / u32le / leb128) inside this
+    module prevents the 3-sections × 2-copies = 6-encoder fan-out
+    flagged by hyperpolymath/affinescript#444. *)
 
 module Encode : sig
   (** v1 wire format for [typedwasm.ownership]: