@@ -60,6 +60,45 @@ pub fn text(content: String) -> VNode = VText(content);
 pub fn h(tag: String, attrs: [(String, String)], children: [VNode]) -> VNode =
   VElem(tag, attrs, children);
 
+/// Convenience constructors (#56-A). Thin wrappers over `h` so idaptik's
+/// pilot `Dom.div` / `Dom.h1` / `Dom.p` surface compiles without going
+/// through the low-level tag string.
+pub fn div(attrs: [(String, String)], children: [VNode]) -> VNode =
+  h("div", attrs, children);
+
+pub fn h1(attrs: [(String, String)], content: String) -> VNode =
+  h("h1", attrs, [text(content)]);
+
+pub fn h2(attrs: [(String, String)], content: String) -> VNode =
+  h("h2", attrs, [text(content)]);
+
+pub fn h3(attrs: [(String, String)], content: String) -> VNode =
+  h("h3", attrs, [text(content)]);
+
+pub fn p(attrs: [(String, String)], content: String) -> VNode =
+  h("p", attrs, [text(content)]);
+
+pub fn span(attrs: [(String, String)], content: String) -> VNode =
+  h("span", attrs, [text(content)]);
+
+pub fn button(attrs: [(String, String)], content: String) -> VNode =
+  h("button", attrs, [text(content)]);
+
+pub fn input(attrs: [(String, String)]) -> VNode =
+  h("input", attrs, []);
+
+pub fn a(attrs: [(String, String)], content: String) -> VNode =
+  h("a", attrs, [text(content)]);
+
+pub fn img(attrs: [(String, String)]) -> VNode =
+  h("img", attrs, []);
+
+pub fn ul(attrs: [(String, String)], children: [VNode]) -> VNode =
+  h("ul", attrs, children);
+
+pub fn li(attrs: [(String, String)], children: [VNode]) -> VNode =
+  h("li", attrs, children);
+
 // `len` is not available in the standalone wasm-AOT subset; a `for`-count
 // helper is (proven: tests/codegen/test_for_loop). Monomorphic, not
 // generic, since wasm codegen generic support is not relied on here.
@@ -103,6 +142,12 @@ pub fn mount(selector: String, vnode: VNode) -> Bool {
   }
 }
 
+/// Replace `document.body` contents with `vnode` (#56-A). Equivalent
+/// to `mount("body", vnode)`. Declared below `mount` because codegen
+/// is single-pass in source order.
+pub fn replaceBody(vnode: VNode) -> Bool =
+  mount("body", vnode);
+
 // ── Reconciler: minimal mutation between two VNode trees ─────────────────────
 
 fn attr_has(attrs: [(String, String)], key: String) -> Bool {
 
@@ -176,7 +176,11 @@ The compiler emits to many targets. *Maturity is not uniform; do not claim
 |Target |Status |Notes
 
 |WASM (core) |works |Cross-module imports + `extern fn` → WASM import
-emission. The reference target.
+emission. The reference target. WASI preview1 on-demand imports cover
+clock/env/args/sockets/filesystem (`file_open`/`file_read`/
+`file_fd_write`/`file_close`, `net_recv`/`net_send`/`net_accept`);
+`tools/componentize.sh` defaults to the command adapter (#486). Native
+preview2 import lowering is still the one-way door.
 
 |WASM-GC |partial |Variant-with-args + same-arity `PatCon` destructuring;
 silent-bad-codegen fallbacks eliminated. Mixed-arity matches need uniform
@@ -288,8 +292,11 @@ their own ledger (link:SOUNDNESS.adoc[SOUNDNESS.adoc]), gated by
 * The satellite ecosystem is mixed maturity — see the satellite registry
   in `ECOSYSTEM.adoc`. `affinescript-tea` (INT-07/#182) and
   `affinescript-dom` (INT-08/#183) shipped runtimes; `affinescript-cadre`
-  (INT-09) closed 2026-07-25. `affinescript-pixijs` remains a scaffold
-  (#56). The `-dom-loader` satellite was folded into `affine-js` (#489).
+  (INT-09) closed 2026-07-25. `affinescript-pixijs` in-tree bindings
+  (`stdlib/Pixi.affine` + UI/Sound) plus 56-A `stdlib/Dom.affine` /
+  `stdlib/Console.affine` landed 2026-09-21; full idaptik surface is
+  still open (#56). The `-dom-loader` satellite was folded into
+  `affine-js` (#489).
 
 == Change control
 
 
@@ -77,9 +77,11 @@ Phase-3 (#177); the INT-01..12 integration roadmap; the satellite registry
 made real; #228/ADR-014 module-qualified paths (estate port unblocker). |
 *CLOSED 2026-07-25* |Substrate (INT-01..04 + CORE-01) closed 2026-05-31;
 remaining original #175 children INT-07 (#182) and INT-08 (#183) closed
-2026-07-25. Residual WASI slices live as independent follow-ups (#485 S5
-filesystem, #486 S6c default-flip, #487 sockets); satellite remainder is
-#56. Stage E is now the frontier.
+2026-07-25. Residual WASI follow-ups #485 (S5 filesystem) and #487
+(socket recv/send/accept) have preview1 lowerings + gated smokes in
+tree; #486 flipped the wrap default to `--command` without the one-way
+compiler re-target. Satellite remainder is #56 (56-A Dom/Console + Pixi
+gap-fill landed). Stage E is now the frontier.
 
 |*E* |typed-wasm convergence hardening (the transition runway): the
 AffineScript↔typed-wasm contract widened from L7+L10 toward full
@@ -158,7 +160,10 @@ runtime is *VERIFIED end-to-end* (2026-07-07): `affinescript-dom/e2e/run.sh`
 drives mount + in-place attr patch + text update + surplus-child removal
 against a real Int-handle host DOM, mutation log asserted.
 
-|`affinescript-pixijs` |skeleton |Migration-prerequisite scaffold (#56).
+|`affinescript-pixijs` |in-tree bindings |#56 partial: `stdlib/Pixi.affine`
+(+ UI/Sound) is the operational binding; 56-A also landed
+`stdlib/Dom.affine` + `stdlib/Console.affine`. Remaining: full idaptik
+surface.
 
 |`affinescript-vite` |scaffold |Build-tool integration shell.
 
@@ -192,10 +197,10 @@ object, `typedwasm.ownership` accessor.
 == Integration roadmap — INT-01..12
 
 Critical path: *INT-01..INT-04 are substrate and block most satellites.*
-GitHub index #175 is closed (8/8 original sub-issues complete, owner close
-2026-09-21); severity/blocked-by also in
-link:TECH-DEBT.adoc[TECH-DEBT.adoc]. Residual WASI work is #485/#486/#487;
-satellite remainder is #56.
+GitHub index #175: 8/8 original sub-issues complete; severity/blocked-by
+also in link:TECH-DEBT.adoc[TECH-DEBT.adoc]. Residual WASI work is
+#485/#486/#487 (preview1 FS + sockio + wrap-default in tree; native
+preview2 re-target still the one-way door); satellite remainder is #56.
 
 [cols="1,3,1,2"]
 |===
@@ -245,16 +250,15 @@ dropped; 81d9fc7). Test gates:
 `tests/componentize/{smoke,command_smoke,sockets_smoke}.sh` cover
 the contract end-to-end; ownership section byte-survives every
 wrap; combo-import canonical-order regression. Residual (filed
-2026-05-31): #485 — S5 native `wasi:filesystem`
-(open/read/write/close), unblocks INT-06 (server-side runtime
-profile); #486 — S6c flip default wasm target preview1 →
-component, bundled with native-preview2 cleanup replacing the
-on-demand preview1 shims emitted by S4a/S4b/S6b with direct
-`wasi:clocks` / `wasi:cli` / `wasi:sockets` calls (only pays off
-once preview2 is the default — the one-way door that ends
-reversibility); #487 — socket recv/send/accept primitives
-(byte-level buffer / network-address marshalling, helper mirrors
-`gen_str_at_via_get`). WIT world of record: `wit/affinescript.wit`
+2026-05-31, status 2026-09-21): #485 — S5 native `wasi:filesystem`
+preview1 lowering LANDED (`file_open`/`file_read`/`file_fd_write`/
+`file_close`, Effect `File`, gated
+`tests/componentize/filesystem_smoke.sh`); #486 — S6c wrap default
+flipped to `--command` (S3 reactor smoke now passes `--reactor`);
+compiler still emits preview1 core; native-preview2 cleanup remains
+the one-way door; #487 — `net_recv`/`net_send`/`net_accept` preview1
+lowering LANDED (gated `tests/componentize/sockio_smoke.sh`). WIT
+world of record: `wit/affinescript.wit`
 |INT-04 |Publish compiler + runtime to JSR (then npm) |#181 |runtime
 packaging READY (affine-js + affinescript-tea JSR dry-run green;
 manual-only `publish-jsr.yml`; docs/PACKAGING.adoc). INT-01 dep
@@ -264,7 +268,7 @@ auth). Compiler-binary distribution = design fork #260
 (INT-02 dep cleared 2026-05-31 via #179; no other blockers — next-up
 candidate for an issue-spinout)
 |INT-06 |Server-side runtime profile (on INT-03 WASI p2) |ledger-only
-|planned (blocked by #485)
+|planned (#485 FS slice unblocked 2026-09-21)
 |INT-07 |`affinescript-tea` runtime satellite |#182 **CLOSED 2026-07-25** |runtime + run loop
 shipped (`TeaApp`/`parseTeaLayout`, Linear-msg enforced); INT-01 dep
 cleared (#253). Router/nav = separate INT-09
 
@@ -20,11 +20,14 @@ link:CAPABILITY-MATRIX.adoc[CAPABILITY-MATRIX.adoc].
 
 GitHub index #175: **8/8 original sub-issues CLOSED** as of 2026-07-25
 (#176 DOC, #177 CORE-01, #178 INT-01, #179 INT-02, #180 INT-03,
-#181 INT-04-JSR, #182 INT-07, #183 INT-08). The GitHub ticket itself is a
-closed index (owner close 2026-09-21); this ledger remains the durable
-index. Residual WASI work lives as independent follow-ups (#485 S5
-filesystem, #486 S6c default-flip, #487 socket recv/send/accept);
-satellite remainder is #56.
+#181 INT-04-JSR, #182 INT-07, #183 INT-08). The GitHub ticket is a pure
+index whose children are complete; this ledger remains the durable
+index. Residual WASI follow-ups #485 (S5 filesystem) and #487
+(socket recv/send/accept) have preview1 lowerings + gated smokes in
+tree; #486 flipped the *wrap* default to `--command` without the
+one-way compiler re-target (native-preview2 cleanup still open).
+Satellite remainder is #56 (56-A Dom/Console + Pixi gap-fill landed;
+full idaptik surface still open).
 ====
 
 toc::[]
@@ -409,11 +412,21 @@ export lifting via `_start : () -> ()` shim around parameter-less
 `wasi_snapshot_preview1.sock_shutdown` (command adapter bridges to
 `wasi:sockets/tcp`; 81d9fc7). Gates:
 `tests/componentize/{smoke,command_smoke,sockets_smoke}.sh`.
-Residual (filed 2026-05-31): #485 S5 native `wasi:filesystem`
-(open/read/write/close — unblocks INT-06), #486 S6c flip default
-wasm target preview1 → component + native-preview2 cleanup (one-way
-door), #487 socket recv/send/accept primitives (byte-level buffer
-/ network-address marshalling)
+Residual (filed 2026-05-31, status 2026-09-21):
+#485 S5 native `wasi:filesystem` — *preview1 lowering LANDED*
+(`file_open`/`file_read`/`file_fd_write`/`file_close` →
+`path_open`/`fd_read`/`fd_write`/`fd_close`, Effect `File`,
+dirfd 3, combo canonical-order lock + gated
+`tests/componentize/filesystem_smoke.sh` hermetic `--dir`
+round-trip). Unblocks INT-06's FS slice.
+#486 S6c — *wrap default LANDED* (`tools/componentize.sh` now
+defaults to `--command`; S3 reactor smoke requests `--reactor`
+explicitly). Compiler still emits preview1 core wasm;
+native-preview2 import cleanup remains the one-way door.
+#487 socket recv/send/accept — *preview1 lowering LANDED*
+(`net_recv`/`net_send`/`net_accept` → `sock_recv`/`sock_send`/
+`sock_accept`, Effect `Net`, gated
+`tests/componentize/sockio_smoke.sh`)
 |INT-04 |Publish to JSR/npm |S2 |#181 packaging READY (dry-run green,
 manual workflow); compiler-binary distribution decided = **ADR-019**
 (#260, Releases + thin Deno/JSR shim, staged S1..S4; per-file record
@@ -448,7 +461,8 @@ end-to-end now (was code-correct but inert before today's publish).
 |INT-05 |Loader-driven multi-module app bundling |S2 |planned (INT-02 dep
 cleared 2026-05-31 via #179; candidate for an issue-spinout)
 |INT-06 |Server-side runtime profile (on INT-03 WASI p2) |S2 |planned
-(blocked by #485)
+(#485 FS slice unblocked 2026-09-21; remaining: native-preview2
+clocks/cli/sockets + a real server profile)
 |INT-11 |Browser host parity (`affine-js` loader + `affinescript-dom`
 reconciler end-to-end) |S2 |**CLOSED 2026-07-25**
 |INT-12 |typed-wasm convergence fixtures |S1 |planned (Stage E;
@@ -512,7 +526,10 @@ link:specs/TYPED-WASM-ROADMAP.adoc[TYPED-WASM-ROADMAP] (Tranches B/C/D)
 == Update protocol
 
 * One PR per ledger unit; `Refs #N` (never `Closes` on the #175 epic — only
-  the owner closes it).
+  the owner closes it). Residual follow-ups after the original 8 children
+  are #485/#486/#487/#56 — do not re-open #175 to track them. Owner may
+  close #175 once those residuals are accepted; GitHub write is a PAT
+  capability, not a ledger action.
 * Every capability-affecting PR updates `CAPABILITY-MATRIX.adoc` *and* this
   ledger in the same change; `STATE.a2ml` mirrors after.
 * `dune runtest --force` must stay green (baseline 260, 2026-05-19).