Merge branch 'main' into feat/wasm-call-extern

Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com>

Author: hyperpolymath

.github/workflows/spark-theatre-gate.yml

@@ -13,11 +13,17 @@ on:
 permissions:
   contents: read
 
-# Actions concurrency pool. Applied only to read-only check workflows
-# (no publish/mutation), so cancelling a superseded run is always safe.
-concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true
+# Note: NO workflow-level `concurrency:` block here. The reusable
+# workflow in standards already declares concurrency on the same key
+# (`${{ github.workflow }}-${{ github.ref }}` — which resolves to the
+# CALLER'S workflow name in reusables). Stacking both blocks causes
+# GitHub to reject the workflow at run-creation time with a
+# `startup_failure`, so no `check_run` is ever emitted and every PR's
+# required `spark-theatre-gate / SPARK Theatre Gate` context stays
+# unsatisfied. Empirically: PR #379 (2026-05-27) added this block; all
+# 410+ runs since have been `startup_failure`, blocking auto-merge
+# across the repo and forcing a 14-PR admin-merge sweep on
+# 2026-05-28. See hypatia#376 BP008 for the class-level detector.
 
 jobs:
   spark-theatre-gate:

CHANGELOG.md

@@ -20,6 +20,8 @@ this project aims to follow [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Added
 
+- feat(stdlib/Http): RSR rewire — surface `hpm-http-rsr` Zig FFI (10 server-side externs: listen / port / free / accept / method / path / header / body / respond / request-free) + opaque `HpmHttpServer` + `HpmHttpRequest` types; native-only (#425)
+- feat(stdlib/json): v0.3 — RSR rewire to `hpm-json-rsr` Zig FFI (11 externs + opaque `HpmJsonValue` + `parse` / `to_json`), Deno-ESM lowering via `__as_hpmJson*` shims (#421)
 - feat(parser): trailing-comma in fn params and expr lists (Refs gitbot-fleet#148) (#370)
 - feat(lexer): underscore-prefix idents `_key`/`_unused` (Refs gitbot-fleet#148) (#373)
 - feat(parser): record-update spread at start `#{ ..base, f: v }` (Refs gitbot-fleet#148) (#376)

affinescript-pixijs/ffi/zig/src/main.zig

@@ -135,10 +135,10 @@ edge-case requirements.
 |Mechanical comparison; ensures cross-language portability of code written against the aLib surface.
 
 |10
-|*Conformance module* — `stdlib/alib.affine` re-exporting the 20 ops under their aLib names
-|`○`
+|*Conformance module* — `stdlib/alib.affine` re-exporting the 22 ops under their aLib names (was "20"; current aggregate.json v0.1.0 has 22 across 6 categories: 5 arithmetic, 6 comparison, 3 logical, 3 string, 4 collection, 1 conditional)
+|`●`
 |T1
-|Single import point for consumers wanting the *aLib surface* rather than the *AffineScript-idiomatic surface*.
+|Single import point for consumers wanting the *aLib surface* rather than the *AffineScript-idiomatic surface*. Landed 2026-05-28.
 |===
 
 == Tier 2 — Conformance runner & infrastructure
@@ -153,9 +153,9 @@ aLib's "method" actually testable for our language.
 
 |11
 |*`aggregate.json` schema loader* — parse aLib's v1.1.0 schema in AffineScript (or via build tool)
-|`○`
+|`●`
 |T2
-|First step; feeds every later runner item.
+|First step; feeds every later runner item. Landed 2026-05-28 as `stdlib/AlibSchema.affine` (Approach A — AffineScript-side parser over the `hpm_json_*` lazy-handle FFI from `stdlib/json.affine`). Public entry points: `parse_schema(src) -> Result<AlibSchema, String>`, `load_schema(path)`, `load_estate_schema()`. Captures `name` / `category` / `signature_string` / `semantics.purpose` / `test_cases[]` (with `description` + `input_count`) per op — sufficient for the #12 dispatch loop.
 
 |12
 |*Test-vector executor* — iterate `operations[].test_cases[]`, dispatch to the corresponding `alib.affine` op, compare output

affinescript-pixijs/package.json

@@ -49,33 +49,33 @@ no further significant ReScript → AffineScript work is tractable.
 
 |1
 |*PixiJS core* (Application, Container, Sprite, Graphics, Text, Ticker, FederatedEvent)
-|`◐` scaffold
-|`affinescript-pixijs`
-|idaptik `src/bindings/Pixi.res`; all 215 `src/app/*.res` files depend on this. Currently 1 `.as` stub + 1 Idris2 ABI + 1 Zig FFI; needs full PixiJS 8.x surface.
+|`◑` partial (Application / Container / Sprite / Graphics / Text / Texture / Ticker landed; FederatedEvent + extensive accessor coverage deferred)
+|`stdlib/Pixi.affine` (eventual home: `affinescript-pixijs` as a separate repo per the SNIFs/typed-wasm precedent)
+|idaptik `src/bindings/Pixi.res`; all 215 `src/app/*.res` files depend on this. Restarted 2026-05-28 — the prior `affinescript-pixijs/` directory used the obsolete `.as` extension + AGPL-3.0-or-later headers + a Zig→C→WASM-import architecture incompatible with the Deno-ESM emitter; it was deleted and the surface rebuilt in `stdlib/Pixi.affine` matching the wasmCall / motion pattern. Test fixture: `tests/codegen-deno/pixi_smoke.{affine,harness.mjs}`. Follow-ups: extensive Container accessors (anchor, scale, pivot, parent, zIndex, eventMode, filters, hitArea); FederatedEvent + on/off pointer-event surface; Point/Rectangle/Circle helper types; sprite atlases.
 
 |2
 |*@pixi/sound* (`Sound.from`, play, stop, volume, setVolume, loop)
-|`○`
-|`affinescript-pixijs` sub-module, or `affinescript-pixi-sound`
-|idaptik `src/bindings/PixiSound.res`; BGM + SFX.
+|`◐` scaffold (from / play / stop / pause / resume / setVolume / setLoop landed)
+|`stdlib/PixiSound.affine` (eventual home: `affinescript-pixijs` sub-module, or `affinescript-pixi-sound`)
+|idaptik `src/bindings/PixiSound.res`; BGM + SFX. Initial surface (`pixiSoundFrom` / `pixiSoundPlay` / `pixiSoundStop` / `pixiSoundPause` / `pixiSoundResume` / `pixiSoundSetVolume` / `pixiSoundSetLoop`) lands in `stdlib/` parallel to Motion / Http / Sqlite / Crypto; consumer provides `globalThis.__as_pixi_sound` (the `Sound` named export from `@pixi/sound`) at module-init time. Test fixture: `tests/codegen-deno/pixisound_smoke.{affine,harness.mjs}`. Follow-ups: `Sound.add` (multi-source registry), sprite atlases, async load (await + onload), `pauseAll` / `stopAll` / `resumeAll`, the `sound` singleton's filter pipeline.
 
 |3
 |*@pixi/ui* (Button, FancyButton, Switch, Slider, Input, ScrollBox)
-|`○`
-|`affinescript-pixijs` sub-module
-|idaptik `src/bindings/PixiUI.res`; all HUD / menu code.
+|`◐` scaffold
+|`stdlib/PixiUI.affine` (eventual home: `affinescript-pixijs` sub-module)
+|idaptik `src/bindings/PixiUI.res`; all HUD / menu code. MVP surface (Button / FancyButton / Slider / Switch — `new` + primary callback + `AsContainer` upcast) lives in `stdlib/` alongside Pixi / PixiSound; consumer provides `globalThis.__as_pixi_ui` at module-init time. Test fixture: `tests/codegen-deno/pixiui_smoke.{affine,harness.mjs}`. Deferred follow-ups: Input (text-entry + focus + value), ScrollBox (scroll position + viewport), full event surface (onHover / onOut / onDown / onUp), FancyButton textures-per-state accessors, Slider min/max/step accessors.
 
 |4
 |*motion* (animate, animateMini, tween, ease, spring)
-|`○`
-|`affinescript-motion`
-|idaptik `src/bindings/Motion.res`; player + UI transitions.
+|`●` usable
+|`stdlib/Motion.affine` (eventual home: `affinescript-motion`)
+|idaptik `src/bindings/Motion.res`; player + UI transitions. Full surface (`motionAnimate` / `motionAwait` / `motionCancel` / `motionAnimateMini` / `motionTween` / `motionSpring` / `motionEase`) lives in `stdlib/` parallel to Http / Sqlite / Crypto; consumer provides `globalThis.__as_motion` at module-init time. Test fixture: `tests/codegen-deno/motion_smoke.{affine,harness.mjs}` exercises every extern. Remaining follow-ups (out of scope for `●`): typed keyframe shapes, typed transform-property surface, migration to a dedicated `affinescript-motion` package.
 
 |5
 |*WASM-exports calling pattern* — invoke individual `exports.fn_name(args)` from a `WasmExports` value
 |`●` usable (Option A landed)
 |`stdlib/Deno.affine`
-|`wasmCall(exports: WasmExports, name: String, args: [Float]) -> Float` lowers to `exports[name](...args)` with `Number` coercion. Round-trip exercised by `tests/codegen-deno/wasm_call.{affine,harness.mjs}`. *Option A (generic) — typed per-Zig-fn shims can layer on top per-consumer if needed.* Closes #414.
+|`wasmCall(exports: WasmExports, name: String, args: [Float]) -> Float` lowers to `Number(exports[name](...args))` on `--deno-esm`. AS-side surface + docstring example landed in `stdlib/Deno.affine`; round-trip exercised by `tests/codegen-deno/wasm_call.{affine,harness.mjs}` against a hand-built 41-byte wasm module exporting `add(i32, i32) -> i32`. *Option A (generic) — typed per-Zig-fn shims can layer on top per-consumer if needed.* Closes #414 via host-side #422 + AS-side this PR.
 
 |6
 |*Phoenix Channels / WebSocket* (Socket connect/disconnect, Channel join/leave/push, presence)
@@ -390,10 +390,12 @@ Build, test, and cross-language surface.
   bindings, four (#1, #2, #3, and #4 by extension) are PixiJS-ecosystem.
   Investing in `affinescript-pixijs` unblocks the largest single chunk
   of idaptik's 215-file `src/app/` tree.
-. *WASM-exports calling is a one-day fix with high leverage.* Item #5
-  — adding `extern fn wasm_export_call(exports: WasmExports, name: String, args: [Float]) -> Float`
-  to `stdlib/Deno.affine` (or 30 per-Zig-fn externs) unblocks idaptik
-  `vm/wasm` *and* every future WASM-host consumer in the estate.
+. *WASM-exports calling LANDED.* Item #5 — `wasmCall(exports, name, args) -> Float`
+  in `stdlib/Deno.affine` ships the generic Option A surface; idaptik
+  `vm/wasm` and every future WASM-host consumer in the estate can now
+  call individual exports without a per-fn extern. Typed per-Zig-fn
+  shims can layer on top per-consumer where the discipline is worth
+  the brittleness.
 . *DOM is closest to done* — issue #255 (for-in / while wasm codegen)
   is the blocker, not the binding surface itself. That's a codegen bug,
   not a binding gap; classified separately so it doesn't get re-scoped

affinescript-pixijs/src/abi/Pixi.idr

@@ -100,16 +100,16 @@ checker accepts code that the runtime can't execute.
 |Same site as #1; the pilot reverted from `++` to `Cons` calls.
 
 |3
-|*`for x in xs` codegen* — wasm codegen for `for-in` (issue #255)
-|`◯` blocked-by-#255
+|*`for x in xs` codegen* — wasm codegen for `for-in` (closed as #257)
+|`●`
 |N/A (codegen)
-|Stdlib-adjacent: any iteration over a `list` triggers this. *Not a stdlib gap — a codegen bug.* Listed so it doesn't get re-scoped as stdlib work.
+|Stdlib-adjacent: any iteration over a `list` triggers this. *Not a stdlib gap — a codegen bug.* Closed by PR #257 (2026-05-19).
 
 |4
 |*`while` + `mut` codegen* — same codegen surface as #3
-|`◯` blocked-by-#255-adjacent
+|`●`
 |N/A (codegen)
-|Same disposition as #3.
+|Same disposition as #3 — closed by PR #257.
 
 |5
 |*Cross-file `use` resolvability* — `use stdlib::Option` works from a single-file standalone check