feat(codegen): #225 PR2 — WasmGC CPS transform, Async base case (ADR-013)

[hyperpolymath]

#225 PR 2 — WasmGC CPS transform, Async base case (ADR-013)

Transparent async on the WasmGC backend for the base case: an Async fn whose body is let r = <async-call>; <cont> with no live-local capture beyond the result binder. The author writes no thenableThen/closure plumbing — the backend synthesises it. Pure/unrecognised fns are untouched (verbatim old lowering — zero behaviour change).

What's here

• eff_*_has_async/fn_is_async, detect_async_base_case (expr-let + block-stmt forms; conservative fallback), gen_async_base_case (continuation via the existing Deno source-to-source host→guest callback ABI (blocks withProgress/registerCommand/onDidSave) #199 ExprLambda path; once-resumption trap per ADR-013 obligation 1), wired into gen_function behind the trigger gate.
• Two root-cause fixes in the Deno source-to-source host→guest callback ABI (blocks withProgress/registerCommand/onDidSave) #199 closure path — static-verified only until now (PR1 skeleton was pure pass-through); PR2 is its first real end-to-end wasm exercise: (a) export the table as __indirect_function_table (host ABI dispatches through it); (b) closure_code LocalTee→LocalSet (dangling-pointer / 2-value stack imbalance). Both guarded/minimal.
• stdlib/Http.affine: + pub extern fn thenableThen (wasm-path continuation-registration primitive, mirrors proven Wasm-path thenable-resolution: guest consuming a host Thenable result (blocks #103 pilot data path) #205).

Conformance

Conforms to typed-wasm ADR-005 / spec/async-convergence-abi.adoc as amended on 2026-05-19 (accessor model, (env_ptr)->i32; PR #32 merged to typed-wasm main; typed-wasm#31 closed). See that spec's Conformance — AffineScript section for the section-by-section marry-up. Typed Response reader + live-local capture + Async→Async chaining are PR3 (strict ADR-013 PR2 scope, owner-confirmed).

Verification

• New e2e tests/codegen/http_cps_base.{affine,mjs}: host re-enters the continuation, reads settled scalar via a minimal accessor (=200), fires exactly once, second entry traps.
• tools/run_codegen_wasm_tests.sh fully green; dune test --force 258, zero regression.

Refs #225 #160 (NOT Closes — joint-close is PR4).

🤖 Generated with Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 44 issues detected

Severity	Count
🔴 Critical	12
🟠 High	21
🟡 Medium	11

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Stray AI.a2ml in root -- use 0-AI-MANIFEST.a2ml only",
    "type": "banned",
    "file": "AI.a2ml",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "Superseded by 0-AI-MANIFEST.a2ml",
    "type": "banned",
    "file": "AI.djot",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "Issue in quality.yml",
    "type": "missing_workflow",
    "file": "quality.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in security-policy.yml",
    "type": "missing_workflow",
    "file": "security-policy.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/example/smoke_driver.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/cli.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/mod.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/lib/compile.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/affinescript/affinescript/affinescript-deno-test/lib/runner.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence