feat(stdlib): portable Http primitive — Deno-ESM target (Refs #160)

[hyperpolymath]

What

The C-spine Http stdlib primitive (#160), Deno-ESM target.

stdlib/Http.affine: typed Request/Response, assoc-list headers [(String, String)], Option<String> body, fetch/get/post/request/is_ok. Effect row / { Net, Async } using the reserved built-in Net (cross-module-sound; no per-module effect decl needed).

Design decisions (from the issue thread)

• Assoc-list headers, not Dict — lets stdlib: portable Http.fetch (body/headers/methods/response) #160 land independently of stdlib: Dict / Map primitive (keyed associative container) #162 while preserving spine order stdlib: portable Http.fetch (body/headers/methods/response) #160 → stdlib: portable Json primitive (parse/stringify/access, target-agnostic) #161 → stdlib: Dict / Map primitive (keyed associative container) #162. Upgrading headers to Dict later is source-compatible for callers using the helpers.
• Deno-ESM target only here — the typed-wasm target is the convergence ABI shared with Ephapax (i32-boundary marshalling + async-over-sync-import design), tracked as the next slice in stdlib Http: typed-wasm target (convergence ABI; shared with Ephapax) #225. AffineScript is not coupled to typed-wasm; this does not constrain Ephapax.

Compiler change (general, not a one-off)

codegen_deno.ml gains a real Async-effect lowering that serves the whole migration spine:

• functions whose effect row mentions Async → async function;
• async free-fn calls awaited at the call site;
• __as_httpFetch runtime (assoc-list ↔ header object, Option body, explicit globalThis.fetch to avoid the module-level function fetch shadow);
• http_request extern → (await __as_httpFetch(...)).

Tests

• tests/codegen-deno/http_fetch.{affine,harness.mjs} — e2e through the real flattened stdlib/Http.affine, globalThis.fetch stubbed (no network): GET/POST/headers/body/404/is_ok all asserted.
• Full tools/run_codegen_deno_tests.sh suite green; dune test --force = 258 tests pass (+1 = the auto-picked-up AOT Http smoke case).

Also migrates two pre-existing baseline-rot fixtures (class_basic.affine, ref_fields.affine) from the retired Type { f: x } to Type #{ f: x } (#218 record syntax — the estate sweep skipped in-tree test fixtures). Confirmed present on origin/main; not a #160 change, but required for the Deno suite to be green.

Issue linkage

Refs #160 (deliberately not Closes: #160 stays open until the typed-wasm target also lands — joint-close). Companion: #225 (typed-wasm Http ABI / Ephapax convergence).

🤖 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