diff --git a/current/CHECKPOINT-FIBERS.md b/current/CHECKPOINT-FIBERS.md index 85c40002..48110997 100644 --- a/current/CHECKPOINT-FIBERS.md +++ b/current/CHECKPOINT-FIBERS.md @@ -140,6 +140,14 @@ fibers/Io/scheduler code yet. Grounded floor facts: boundary; a sharper sx diagnostic for it is a candidate polish, not a blocker. ## Next step +**DECISION (user, 2026-06-20): B1.2 async = LAMBDA workers only for now; named-fn workers +(`async(read_a, conn)`) are DEFERRED.** Named-fn support needs a new `::` callable-parameter +language feature (`fn :: (..$args) -> $R` param) that doesn't exist yet — it failed 3 worker +attempts; the partial WIP (parser+scaffolding done, type-pack/return inference INCOMPLETE — +panics on every form) is saved at `.sx-tmp/wip-callable-params/patch.diff` for a dedicated +future effort. So B1.2 ships with the lambda idiom below; call sites use +`context.io.async((c) => read_a(c), conn)` until the `::` feature lands. + **B1.2 — resume now (UNBLOCKED, no compiler fix needed).** Re-land from the saved WIP (`.sx-tmp/b12-wip/`): keep the verified-working parts — the `Io` protocol on `Context`, both `__sx_default_context` materializers (protocol.zig + comptime_vm.zig), the push-inherit-omitted