What's Changed

• ci: Bump actions/cache from 5.0.2 to 5.0.4 by @dependabot[bot] in #4
• ci: Bump softprops/action-gh-release from 2.5.0 to 2.6.1 by @dependabot[bot] in #3
• ci: Bump dtolnay/rust-toolchain from f7ccc83f9ed1e5b9c81d8a67d7ad1a747e22a561 to efa25f7f19611383d5b0ccf2d1c8914531636bf9 by @dependabot[bot] in #2
• ci: Bump actions/setup-node from 4.0.2 to 6.3.0 by @dependabot[bot] in #1
• ci: Bump actions/checkout from 4.1.1 to 6.0.2 by @dependabot[bot] in #9
• ci: Bump dtolnay/rust-toolchain from efa25f7f19611383d5b0ccf2d1c8914531636bf9 to 3c5f7ea28cd621ae0bf5283f0e981fb97b8a7af9 by @dependabot[bot] in #8
• ci: Bump github/codeql-action from 4.31.10 to 4.35.1 by @dependabot[bot] in #7
• ci: Bump trufflesecurity/trufflehog from 3.92.5 to 3.94.1 by @dependabot[bot] in #6
• ci: Bump actions/github-script from 7.0.1 to 8.0.0 by @dependabot[bot] in #5
• ci: Bump actions/deploy-pages from 4.0.5 to 5.0.0 by @dependabot[bot] in #14
• ci: Bump trufflesecurity/trufflehog from 3.94.1 to 3.94.2 by @dependabot[bot] in #11
• ci: Bump erlef/setup-beam from 1.17.5 to 1.24.0 by @dependabot[bot] in #10
• ci: Bump webfactory/ssh-agent from 0.9.1 to 0.10.0 by @dependabot[bot] in #12
• Rename AffineScript file extension from .as to .affine by @JoshuaJewell in #15
• ci: Bump actions/configure-pages from 5.0.0 to 6.0.0 by @dependabot[bot] in #13
• feat: migrate file extension from .as to .affine for GitHub Linguist … by @hyperpolymath in #16
• feat: migrate file extension from .as to .affine for GitHub Linguist … by @hyperpolymath in #17
• refactor(manhattan-recovery): scope recovery + complete grammar refactor + rip dependent-type creep by @hyperpolymath in #19
• ci: bump ocaml/setup-ocaml from 3.4.8 to 3.6.0 by @dependabot[bot] in #24
• ci: bump editorconfig-checker/action-editorconfig-checker from 2.1.0 to 2.2.0 by @dependabot[bot] in #23
• ci: bump actions/github-script from 8.0.0 to 9.0.0 by @dependabot[bot] in #22
• ci: bump actions/upload-pages-artifact from 4.0.0 to 5.0.0 by @dependabot[bot] in #21
• ci: bump trufflesecurity/trufflehog from 3.94.2 to 3.94.3 by @dependabot[bot] in #20
• a2ml: rename runbook out of .launcher.a2ml namespace by @hyperpolymath in #26
• feat: migrate file extension from .as to .affine for GitHub Linguist … by @hyperpolymath in #25
• Pr25 by @hyperpolymath in #27
• ci: bump ocaml/setup-ocaml from 3.6.0 to 3.6.1 by @dependabot[bot] in #32
• ci: bump actions/cache from 5.0.4 to 5.0.5 by @dependabot[bot] in #31
• ci: bump github/codeql-action from 4.35.1 to 4.35.2 by @dependabot[bot] in #30
• ci: bump haskell-actions/setup from 2.10.3 to 2.11.0 by @dependabot[bot] in #29
• ci: bump softprops/action-gh-release from 2.6.1 to 3.0.0 by @dependabot[bot] in #28
• ci: bump trufflesecurity/trufflehog from 3.94.3 to 3.95.2 by @dependabot[bot] in #33
• ci: bump actions/setup-node from 6.3.0 to 6.4.0 by @dependabot[bot] in #34
• docs(guides): add Migration Playbook + frontier-guide v1.0 living-doc header by @hyperpolymath in #36
• docs(playbook): v1.1 — service-locator row + coupled-writes subsection by @hyperpolymath in #37
• docs(lessons): add PlayerHP case study (aspect-decomposition + mut-vs-State) by @hyperpolymath in #38
• fix(ci): resolve five pre-existing main-branch CI failures by @hyperpolymath in #44
• fix(ci): eject rattlescript subtree, document TS exemptions (round 3) by @hyperpolymath in #60
• fix(ci): pass GITHUB_TOKEN to Hypatia scan step by @hyperpolymath in #61
• fix(build): track 23 codegen modules referenced by lib/dune by @hyperpolymath in #68
• fix(build): declare js_of_ocaml deps + install with-test in lint job by @hyperpolymath in #71
• fix(build): track bin/dune (gitignore negation was a no-op) by @hyperpolymath in #72
• fix(test): remove trailing semicolons in test_opt_if_fold if-branches by @hyperpolymath in #74
• fix(test): disable test_string_diff (string arithmetic not allowed) by @hyperpolymath in #75
• fix(test): disable three more string-pointer-arithmetic tests by @hyperpolymath in #76
• fix(build): format js/dune by @hyperpolymath in #77
• fix(build): format lib/dune + track kernel_sublang.ml by @hyperpolymath in #78
• fix(build): add ocamlformat dep by @hyperpolymath in #79
• ci: bump github/codeql-action from 4.35.2 to 4.35.3 by @dependabot[bot] in #43
• docs(AI.a2ml): 4 patterns + 3 directives from idaptik Wave 3 (closes #45 #46 #47 #48 #49 #50 #52) by @hyperpolymath in #62
• feat(parser): accept [T] array/list shorthand in user source (closes #40) by @hyperpolymath in #67
• docs(human-guide): migration chapter + refinement-args + affine-async (closes #51 #53 #54 #55) by @hyperpolymath in #69
• docs(effects): migration-stance for code needing algebraic effect handling (closes #41) by @hyperpolymath in #70
• ci(antipattern): allowlist legit TS bridge/adapter paths by @hyperpolymath in #80
• ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, vscode, deno-*) by @hyperpolymath in #81
• chore(stdlib): dedupe PascalCase Math/Option/Result + add naming guard by @hyperpolymath in #82
• ci(antipattern): TS check reads .claude/CLAUDE.md exemption table by @hyperpolymath in #83
• ci(antipattern): fix top-level dir + benchmark/lsp filename matching by @hyperpolymath in #85
• feat: typed-wasm xmod + Node backend + extern + VS Code (#35, #42) by @hyperpolymath in #90
• docs: clarify codegen environment rules for top-level const and fn bindings by @hyperpolymath in #91
• chore: remove affine-ts package; close #66 won't-do by @hyperpolymath in #95
• docs: %raw concrete examples + codegen environment spec (#54, #89) by @hyperpolymath in #94
• ci: bump actions/upload-artifact from 4.6.2 to 7.0.1 by @dependabot[bot] in #87
• ci: bump actions/checkout from 6.0.1 to 6.0.2 by @dependabot[bot] in #86
• ci: bump github/codeql-action from 4.35.3 to 4.35.4 by @dependabot[bot] in #88
• chore: rename docs/specs/SPEC.md and faces.md to .adoc by @hyperpolymath in #97
• fix: codegen const refs + CI fmt/antipattern blockers by @hyperpolymath in #98
• feat: add extern type / extern fn parsing and codegen by @hyperpolymath in #92
• Revert "fix(codegen): resolve top-level const refs in ExprVar (#73) (… by @hyperpolymath in #99
• docs: .affex face-interop manifest spec draft by @hyperpolymath in #93
• stdlib: add extern binding modules for Grammy, Sqlite, Network, Crypto, Ajv by @hyperpolymath in #100
• fix: CI blockers + const codegen + #92 gen_imports regression by @hyperpolymath in #101
• feat(vscode-bindings): expand surface for rsr-certifier port (#64) by @hyperpolymath in #102
• docs: renew SPEC §8 as real spec; expand codegen-environment to full realisation by @hyperpolymath in #106
• ci(secret-scanner): drop duplicate --fail from trufflehog extra_args by @hyperpolymath in #108
• feat(codegen): thread imported TopConst across module boundaries (closes #107) by @hyperpolymath in #109
• fix(ci): hypatia-scan.yml -- --exit-zero + GITHUB_TOKEN (hyperpolymath/hypatia#213) by @hyperpolymath in #111
• docs: thin SPEC.adoc §8 to forward-reference codegen-environment.adoc by @hyperpolymath in #110
• docs(readme): make build prereqs reproducible from a clean checkout by @hyperpolymath in #112
• docs: clean up the three drift items flagged in #112 by @hyperpolymath in #113
• docs(coc): replace placeholders in CODE_OF_CONDUCT.md by @hyperpolymath in #114
• docs(coc): route conduct reports to OU address by @hyperpolymath in #115
• Codegen: --vscode-extension flag to inline extraImports wiring by @hyperpolymath in #116
• affine-vscode: align docs with --vscode-extension + npm publish manifest by @hyperpolymath in #117
• fix(faces): fix four PseudoScript transformer bugs by @hyperpolymath in #118
• fix(faces): strip trailing ; from module name in JaffaScript imports by @hyperpolymath in #120
• fix(faces): stop appending ; to -- comment lines in LucidScript by @hyperpolymath in #119
• fix(ci): Phase-2 fleet submission must not fail the security gate by @hyperpolymath in #121
• feat: Deno-ESM target + grammar-v2 build-out (Refs #122) by @hyperpolymath in #123
• fix: remove stale banned gen-v-connector V-lang recipe by @hyperpolymath in #124
• fix(typecheck): make len/show truly polymorphic schemes (Refs #122) by @hyperpolymath in #125
• fix(codegen-deno): async-context IIFE wrappers (Refs #122) by @hyperpolymath in #126
• fix: green dune runtest — correct vscode-off-by-default e2e false positive (Refs #116, #117) by @hyperpolymath in #127
• fix(stdlib): seed Some/None/Ok/Err builtins so stdlib/string.affine resolves standalone by @hyperpolymath in #129
• fix(ci): adopt canonical hypatia-scan.yml by @hyperpolymath in #130
• ci: bump actions/github-script from 8.0.0 to 9.0.0 by @dependabot[bot] in #143
• ci: bump github/codeql-action from 4.35.4 to 4.35.5 by @dependabot[bot] in #142
• ci: bump trufflesecurity/trufflehog from 3.95.2 to 3.95.3 by @dependabot[bot] in #141
• ci: bump actions/upload-artifact from 4.6.2 to 7.0.1 by @dependabot[bot] in #140
• chore: tidy repo root — session docs to docs/history, loose tests to tests/scratch (Item 25) by @hyperpolymath in #145
• ci: fix nonexistent actions/upload-artifact SHA pin (Refs standards#48) by @hyperpolymath in #144
• chore: Item 11 — delete duplicate .md docs (keep canonical .adoc) by @hyperpolymath in #146
• chore(ci): prune CI noise — single governance wrapper (verisimiser#59) by @hyperpolymath in #147
• fix(ci): sync hypatia-scan.yml to canonical by @hyperpolymath in #148
• fix(parser): split fused >> when closing nested applied generics (#131) by @hyperpolymath in #149
• docs(stdlib): settle namespace model — real modules + qualified paths (#132) by @hyperpolymath in #151
• fix(stdlib): prelude unwrap/unwrap_result diverge via panic (#134) by @hyperpolymath in #150
• fix(stdlib): single-ownership dedup of prelude/option/result (#133) by @hyperpolymath in #152
• feat(parser): fn(params) => expr lambdas + #135 triage punch list by @hyperpolymath in #153
• feat(parser): slice/range index e[a:b] (#135 slice 2) by @hyperpolymath in #154
• feat(parser): bare effect decl + ADR-008 -> T / E effect row (#135 slice 3) by @hyperpolymath in #155
• fix(stdlib): rename try->attempt, ref->make_ref (#135 slice 6) by @hyperpolymath in #156
• docs: refresh #135 triage punch list after slices 1-3,6 by @hyperpolymath in #157
• fix(stdlib): rename as param -> xs in collections (#135 slice 6b) by @hyperpolymath in #158
• feat(parser): trait method default bodies, left-factored (#135 slice 5) by @hyperpolymath in #159
• fix(typecheck): instantiate generic fn type params (#135 slice 7) by @hyperpolymath in #163
• fix(stdlib): module visibility + imports per ADR-011 (#135 slice 8) by @hyperpolymath in #164
• docs: refresh #135 triage (r2) after slices 5-8 by @hyperpolymath in #165
• fix(resolve): two-pass forward-declaration of top-level names (#135 slice 11) by @hyperpolymath in #166
• fix(stdlib): rename total var to tot (#135 slice 4) by @hyperpolymath in #168
• fix(stdlib): Iterator collect uses list not nonexistent Vec (#135 slice 4-traits) by @hyperpolymath in #169
• docs: session handoff note for #135 stdlib AOT by @hyperpolymath in #171
• fix(resolve): seed trunc builtin in resolver context (#135) by @hyperpolymath in #170
• fix(typecheck): infer Ref kind as arity-1 ctor (#135 slice 10) by @hyperpolymath in #167
• fix: cross-module stdlib imports (ADR-011) + module builtin seeding (#135) by @hyperpolymath in #172
• fix(typecheck): reconcile register_builtins with resolver seed list (#135) by @hyperpolymath in #173
• fix(main): thread imported type schemes into check_program (#135) by @hyperpolymath in #174
• fix(stdlib): math.affine typecheck + borrow (#135 slice 12) by @hyperpolymath in #184
• docs: session handoff (b) — stdlib AOT 13/19 (#135) by @hyperpolymath in #185
• fix(typecheck): zero-arg thunk calls, tuple-destructuring let, RuntimeError catch (#128) by @hyperpolymath in #186
• fix(typecheck): instantiate constructor schemes per use-site in patterns (#128) by @hyperpolymath in #187
• fix(typecheck): generalize parametric enum ctor schemes (import path) (#128) by @hyperpolymath in #188
• fix(stdlib): io.affine reassigned locals need let mut (#128) by @hyperpolymath in #189
• fix(typecheck): lenient deref for ref-mode params (#128) by @hyperpolymath in #190
• fix(stdlib): collections.affine prelude arg-order + let mut (#128) by @hyperpolymath in #191
• fix(stdlib): option.affine — final STAGE-A file, stdlib 19/19 (#128) by @hyperpolymath in #192
• fix(resolve): remove b895374 seed band-aid; recursive cross-module resolution (#138) by @hyperpolymath in #193
• test(stdlib): AOT smoke gate (#136) + multi-module integration (#137) by @hyperpolymath in #194
• fix(effects): pin v1 effect-row registry + reject unknown names (Refs #59) by @hyperpolymath in #196
• fix(parser): braced /{E1, E2} return-position effect row (Refs #59) by @hyperpolymath in #197
• feat(stdlib): async-extern binding surface — Thenable + withProgress/sendRequest (Refs #103) by @hyperpolymath in #198
• feat(affine-vscode): languageClientSendRequest host binding (Refs #103) by @hyperpolymath in #200
• feat(vscode): function-value callback ABI — registerCommand/onDidSave/withProgress (Refs #199) by @hyperpolymath in #201
• fix(affine-vscode): marshal closure-pointer handlers, not table indices (Refs #199) by @hyperpolymath in #202
• refactor(effects): rename stdlib io/state/exn→IO/Mut/Throws, retire aliases (Refs #59) by @hyperpolymath in #203
• feat(effects): thread parametric Throws[E] type argument (Refs #59) by @hyperpolymath in #204
• feat(thenable): wasm-path thenable-resolution primitives (Closes #205) by @hyperpolymath in #206
• docs(history): close STDLIB-AOT-TRIAGE punch list (#128 delivered) by @hyperpolymath in #195
• feat(effects): infer Partial from catch-less try/? + check vs declared row (Refs #59) by @hyperpolymath in #207
• harden(ci): concurrency-cancel guard on canonical check workflows by @hyperpolymath in #208
• feat(stdlib): httpPostJson async-extern for out-of-process JSON POST by @hyperpolymath in #210
• docs(effects): re-land v1 SPEC rule + effect.ml comment (#207 follow-up, Refs #59) by @hyperpolymath in #209
• feat(stdlib): jsonField extern for minimal JSON field extraction by @hyperpolymath in #211
• feat(affine-vscode): implement withProgressNotification runtime adapter (#212) by @hyperpolymath in #213
• fix(parser): remove duplicate [T] array-sugar production (kills never-reduced + 26 R/R conflicts) by @hyperpolymath in #214
• fix(parser): resolve state-41 effect-row MINUS/ARROW S/R conflict (75→72) [#215 family A] by @hyperpolymath in #216
• fix(parser): remove 16 dead precedence declarations [#215 family F] by @hyperpolymath in #217
• fix(parse): map Token.EXTERN in Parse.parse_file token bridge (runtime Match_failure on all extern code) by @hyperpolymath in #219
• feat!: Rust-like record syntax — bare { = block, records use #{ } (#218; resolves #215 C+D) by @hyperpolymath in #222
• docs: document Rust-like #{ } record syntax (#218 step 5) by @hyperpolymath in #223
• feat(grammar)!: return/resume as diverging prefix exprs + ADR-012 + conflict disclosure (#215) by @hyperpolymath in #224
• feat(stdlib): portable Http primitive — Deno-ESM target (Refs #160) by @hyperpolymath in #226
• feat: #225 typed-wasm Http — ADR-013 + PR1 verified Thenable foundation (Refs #160 #225) by @hyperpolymath in #227
• fix(licence): #3 Tranche 2 — clear scaffold-placeholder leak (affinescript) by @hyperpolymath in #232
• feat(codegen): #225 PR2 — WasmGC CPS transform, Async base case (ADR-013) by @hyperpolymath in #233
• feat(codegen): #225 PR3a — WasmGC CPS transform, multi-var live-local capture by @hyperpolymath in #236
• test(borrow): #225 PR3b — affine-capture obligation discharged by composition by @hyperpolymath in #237
• feat(codegen): #225 PR3c — WasmGC CPS transform, Async→Async chaining by @hyperpolymath in #238
• docs: authoritative ledger — CAPABILITY-MATRIX/ECOSYSTEM/TECH-DEBT (Refs #175 #176) by @hyperpolymath in #239
• fix(borrow): CORE-01 — borrow-graph validation; ownership enforced from source (Refs #177) by @hyperpolymath in #240
• feat(parser)!: ADR-014 — module-qualified type/effect paths (Refs #228) by @hyperpolymath in #241
• docs: Stage B properly CLOSED (truth the #215 ADR-012 wont-fix; Refs #176 #215) by @hyperpolymath in #242
• ci(spark): adopt estate SPARK Theatre Gate (#135) by @hyperpolymath in #243
• test(xmod): INT-01 — prove + regression-lock cross-module wasm linking (Refs #178) by @hyperpolymath in #244
• feat(loader): INT-02 host-agnostic loader bridge — fix SAT-02 (Refs #179) by @hyperpolymath in #250
• docs(adr): ADR-015 WASI Preview2 / WASM Component-Model migration (Refs #180) by @hyperpolymath in #252
• feat(dom): INT-08 real VDOM reconciler + .as→.affine rename (Refs #183 #255) by @hyperpolymath in #256
• fix(borrow): CORE-01 pt2 — return-escape of borrow rooted at callee-owned by @hyperpolymath in #254
• fix(codegen)!: wasm for-in/while loop bodies never executed (Closes #255) by @hyperpolymath in #257
• feat(resolve): INT-01 — wire qualified-value path use Mod; Mod.fn(x) by @hyperpolymath in #253
• docs(estate): #229 foundation — post-#228 re-audit, RS inventory, canonical map by @hyperpolymath in #248
• feat(tea): INT-07 host-side TEA runtime + run loop (Refs #182) by @hyperpolymath in #258
• chore(packaging): INT-04 JSR packaging prep — runtime publish-ready, NOT published (Refs #181 #260) by @hyperpolymath in #261
• docs(estate): #229 ledger — record-sigil correction + string ++ (post-ports) by @hyperpolymath in #259
• docs(estate): #229 closure status — completable done, false scope removed, residue gated by @hyperpolymath in #263
• fix(codegen): implement ++ list concatenation (was placeholder I32Add) (Closes #264) by @hyperpolymath in #265
• feat(http): #225 PR3d — typed Response reader (ADR-013) (Refs #225 #160) by @hyperpolymath in #266
• test(loader): INT-02 — prove + regression-lock the host-agnostic loader bridge by @hyperpolymath in #267
• docs(http): #225 PR4 — joint-close #160 + #225 (ADR-013 delivery complete) by @hyperpolymath in #268
• docs(adr): ADR-016 — effect-threaded async-boundary detection (#234 S1) by @hyperpolymath in #270
• feat(stdlib): ESC-02 — portable Json primitive (stdlib/json.affine) by @hyperpolymath in #273
• docs(adr): ESC-01 — ADR-018 no raw/FFI escape (typed extern is the only host bridge) by @hyperpolymath in #272
• feat(parser): CORE-01 pt2 — &mut e exclusive-borrow surface (zero conflict delta) by @hyperpolymath in #269
• feat(stdlib): ESC-03 — Dict/Map keyed container (stdlib/dict.affine) by @hyperpolymath in #274
• docs(adr): ESC-04 — ADR-017 ReScript block-module disposition (one module per file) by @hyperpolymath in #271
• feat(effect-sites): #234 S2a — shared call-site numbering (ADR-016) by @hyperpolymath in #275
• feat(typecheck): #234 S2b — build per-call-site effect side-table (ADR-016) by @hyperpolymath in #276
• feat(codegen): #234 S3 — effect-threaded async-boundary detection (ADR-016) by @hyperpolymath in #277
• feat(codegen): #234 S4 — retire hardcoded async_primitives (ADR-016 complete) by @hyperpolymath in #278
• test(codegen): #235 — engine-validate #199 closure ABI independent of CPS by @hyperpolymath in #279
• feat(tw-verify): #10 — enforce L13 module-isolation on emitted wasm by @hyperpolymath in #280
• licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only) by @hyperpolymath in #281
• docs(adr): ADR-019 — compiler distribution: Releases + thin Deno/JSR shim (#260 S1) by @hyperpolymath in #283
• ci(release): #260 S2 — per-platform compiler binaries + SHA256SUMS (ADR-019) by @hyperpolymath in #284
• feat(cli): #260 S3 — @hyperpolymath/affinescript compiler shim (ADR-019) by @hyperpolymath in #285

New Contributors

• @dependabot[bot] made their first contribution in #4
• @JoshuaJewell made their first contribution in #15

Full Changelog: https://github.com/hyperpolymath/affinescript/commits/v0.1.0

Contributors