docs(tw_section): update stale typed-wasm proposal 0001 reference (accepted + ADR-0002/0003)

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).

Author: hyperpolymath

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]: