# Moxie Changelog

Versions are tagged with `vX.Y.Z` and capture user-visible changes — compiler
features, language rules, runtime additions, and fixes that change observable
behaviour. Point-releases under the same minor typically group related
work; the headline of each entry matches the tag's commit subject.

## v1.2.19

- **WASM GC reverted to leaking** - conservative GC (v1.2.18 commits
  a182665..96e2ab4) caused stack overflows in the recursive mark phase on
  large heap graphs. Leaking GC is correct for short-lived WASM modules
  with explicit cleanup paths. `NeedsStackObjects` disabled, `__heap_base`
  / `__data_end` exports removed, stack size override removed.
- **`trap()` / `moxie_longjmp()` use direct LLVM exports** instead of
  arch-specific wrapper functions (`trap_arch`, `moxie_longjmp_arch`).
- **`llvm_sponentry` intrinsic** added (`llvm.sponentry.p0`) for stack
  pointer on function entry.
- **`gc_stack_portable.mx`** reverted to goroutine-aware stack scanning
  with `swapStackChain` support.
- **Fork error handling** fixed in `os/osexec.mx` - errno checked
  correctly for non-zero pid returns.
- **Pipe stall diagnostic** reduced from 60s to 3s for faster detection
  of stuck spawn channels.
- **Removed `llvm.used` for WASM imports** - not needed without
  conservative GC's LTO preservation requirements.
- **README** corrected: spawn channel retry is indefinite (not 100ms
  timeout), WASM GC column updated.

## v1.2.1

- **Latent v1.1.2 regression fixed** — native stdlib builds now succeed
  end-to-end. Four-stage fix:
  1. `splitConstBlocks` cascade-demotes const specs that depend on
     already-demoted `[]byte` vars (fixed `crc32` + similar patterns).
  2. New `RewriteAddToPipe` AST pass converts `+` to `|` in non-main
     packages so `dnsmessage`-style `s := "a" + "b" + "c"` on `[]byte`
     vars typechecks.
  3. `patch-gotypes.go` patch 12: `matchTypes.mayConvert` allows
     untyped-string ↔ `[]byte` conversion.
  4. `patch-gotypes.go` patch 7 widened: `|` accepted when either
     operand is a slice *or* a string (covers `[]byte(lit | var)`
     where the constant path converts the literal to typed `String`).
  5. `CheckPlusOnText` and `FindPipeConcat` now handle `[]byte(...)`
     wraps correctly — skip pure-literal chains (Go folds them);
     descend into mixed chains (rewrite to `__moxie_concat`).
- **Docs**: CHANGELOG.md added; REFERENCE.md v1.2.0 stdlib / JS runtime
  shim entries; `CLAUDE.md` WASM directive narrowed (native targets
  remain first-class).

## v1.2.0

- **Bitcoin EC crypto** migrated into moxie stdlib (`crypto/secp256k1`,
  `crypto/schnorr`, `base58`) so downstream projects stop carrying the
  BIP340/secp256k1 implementation.
- **p256 runtime** — `crypto/ec/p256` with the host `crypto.subtle.*`
  bridge for `js/wasm` and a pure-Go path for native.
- **AES-128-GCM** runtime — cipher suite support for MLS 0x0001.
- **`node`/`aead`** stdlib additions.
- Runtime/syscall refinements around the p256 and AEAD additions.

## v1.1.4

- **XChaCha20-Poly1305 AEAD** runtime for IndexedDB at-rest encryption.

## v1.1.3

- `dom.Remove` bridge.
- Diagnostic overlay removal in moxiejs runtime.

## v1.1.2

- **Const pipe rewrite**: `|` folded to `+` in const string expressions so
  `const X = "a" | "b"` typechecks as a constant. (Note: a four-stage
  interaction with `splitConstBlocks`, `FindPipeConcat`, and the patched
  `matchTypes.mayConvert` was identified and fixed in the following
  development cycle — native builds of stdlib packages with mixed
  `[]byte`/literal `|` chains now work end-to-end.)

## v1.1.1

- **Enforce `|` for text concat.** `+` on text types is now a compile
  error in user/main-module packages; use `|`. Stdlib and vendor packages
  still accept `+` syntactically (rewritten to `|` by the loader before
  the first typecheck) so pre-v1.1.1 vendored code continues to build.

## v1.1.0

- **`__moxie_secalloc` native landing** — secure-allocation runtime for
  key material, wiped on free.
- **moxiejs**: regabi stack layout, `types.Info.Implicits` tracking, and
  a `copy()` fix that lost slice lengths on same-type-reference copies.

## v1.0.16

- Netpoll fix: `EPOLLOUT` no longer busy-spins when a socket's writable
  side is already drained.
- `PUBLISH_TO` relay routing for targeted publishes.
- Platform-adaptive `ext.mjs` — one signer shim auto-detects
  extension-vs-in-page environment.

## v1.0.15

- `signer.mjs`: check `error` and `sig` fields on `signEvent` resolution.

## v1.0.14

- `signer.mjs` error reporting improved.
- `sw.mjs` `Log` / `SetTimeout` helpers.

## v1.0.13

- `dom.OnPullRefresh` — scroll-to-refresh gesture support.

## v1.0.12

- JS backend: fix string-equality op using `cap` instead of `len`.
- Service worker fallback routing.
- Signer bridge coercion for boolean fields.

## v1.0.11

- `dom.mjs` guards for non-Element nodes.
- `dom.FirstElementChild`.

## v1.0.10

- **moxiejs pipe concat** — `|` lowered to `__moxie_concat` in the JS
  backend.
- Extract `moxie/mxtext` so rewrite logic is shareable between the
  native compiler (`moxie build`) and `moxiejs`.

## v1.0.9

- `makeSlice` deep-clones object zero values so default element state
  doesn't alias across slice slots.

## v1.0.8

- Service-worker hot-update fixes.
- Build stamp embedded in the entry module.
- Closure call dispatch in the JS backend.

## v1.0.7

- `signer.ResetExtension` bridge.

## v1.0.6

- `dom.QuerySelector` / `GetElementById`: return `0` (valid ref) instead
  of `-1` (invalid) when an element is found.
- BigInt runtime fixes.

## v1.0.5

- BigInt `uint64` correctness.
- wNAF schnorr signing (15× faster than naive scalar-mult).
- `js/wasm` build context exposed.

## v1.0.4

- `Sprintf` pool-aliasing fix (output buffer was shared with earlier
  results under `string = []byte` unification).
- moxiejs literal-syntax preprocessor (`[]T{:n}`, `chan T{n}`, etc.).

## v1.0 and earlier

- **v1.0.0–v1.0.3**: JS backend groundwork, Moxie language rules
  (no `goroutines`, no `make`, no `new`, no `+` on text), spawn as
  a builtin, `moxie.Codec` IPC boundary, `secalloc` for key material.
- **v0.x** — initial language (Moxie forks TinyGo), stdlib purification
  (117+ packages compile under Moxie restrictions), `int=int32` on all
  targets, `string=[]byte` unification via patched `go/types`, `spawn`
  for inter-domain concurrency replacing `go`.