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.