Changelog

All notable changes to this project are documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

Unreleased

Refactored the encoder internals for clarity and maintainability with no behavioral change: decomposed encode_elem and encode_gc_type_immediates into focused helpers, replaced natural_align_standard's cond chain with an override table plus a digit fallback, flattened parse_hex_rational into a linear pipeline, and reduced nesting in top_level_index. The full spec suite (4868/4868) continues to pass byte-for-byte, and mix credo --strict reports no issues.

Quoted-string identifiers ($"...") now lex as single identifier tokens, resolving identically to $name.
Hex float literals with a trailing dot and no p exponent (0x0123456789ABCDEF., 0xa0_ff.f141) are supported.
Nan payload lanes in v128.const f32x4 / v128.const f64x2 are encoded with their sign and payload bits preserved.

Spec vectors refreshed from a pinned upstream WebAssembly/spec commit (bdd7164, 2026-07-28) via a rewritten scripts/extract_spec_tests.exs. The suite now contains 4,868 vectors (2,162 ok / 2,706 fail) and all pass with bit-for-bit parity to the pinned wasm-tools 1.255.0, with no known failures.
v128 load/store natural alignments corrected for splat/extend/zero variants.
v128.const f32x4/f64x2 lanes and f32.const/f64.const now round decimal and hex literals through exact rational arithmetic, including overflow-to-max-finite handling.
Bare -0 is lexed as a float literal so negative zero keeps its sign bit (integers have no signed zero).
Decimal integer detection requires at least one digit, so annotation atoms such as -- no longer raise.
Identifiers and atoms no longer swallow trailing ;; line comments.
Trailing newlines are normalized on every generated .wat vector.

Full Garbage Collection proposal support: recursive/sub-typed type groups, struct and array types, and GC/ref instructions.
br_on_cast / br_on_cast_fail cast immediates with source/target nullability flags.
GC array operations: array.new, array.new_default, array.new_fixed, array.new_data, array.new_elem, array.get/array.get_s/array.get_u, array.set, array.len, array.copy, array.fill, array.init_data, array.init_elem.
GC/ref valtypes and reference instructions: ref.null, ref.eq, ref.test, ref.cast, any/extern conversions, ref.i31, and abstract heap types.
Implicit func types for untagged functions, reusing declared top-level types only (explicit rec-group types are never reused, matching the reference encoder).
Named struct field index resolution.

Element and table segment encoding aligned byte-for-byte with wasm-tools.
Type-section encoding for recursive groups, sub types, and final-subtype markers aligned with wasm-tools.
Full spec-suite parity: all 5,146 official spec vectors now pass against the pinned wasm-tools 1.255.0 reference, with no remaining known failures.
The spec-test harness now treats fail/ vectors that wasm-tools validates as valid as byte-parity cases instead of expecting invalidity.

wasm-tools (bytecodealliance) as the spec-test reference encoder and validator, replacing the previous scratch tooling.
Leading type-use blocktypes; else is always emitted explicitly for if.

Aligned element-section, import, table, and element/reftype encoding with wasm-tools output.
Reduced the known-failure count substantially across the spec-suite vectors.

Watusi.Patcher for binary patching of pre-compiled WASM templates (data segments and global initializers).

Fixed-width SIMD extension and endianflip test coverage.
Threads/Atomics extension, sign-extension operators, and the name custom section.
Multi-value blocks and Tail Calls.
Reference Types support with dbg-stories samples.
Inline import support and expanded SIMD instruction coverage.