Realse v0.2.0

[zaidejjo]

• fix/toml found miscompiles (fix/toml found miscompiles #166)
• Realse v0.1.5
• fix/deterministic warning order (fix/deterministic warning order #167)
• chore/ci release pipeline (chore/ci release pipeline #169)
• Realse v0.1.6
• ci: PAT-created releases so downstream triggers fire; ubuntu base for prebuilts (ci: PAT-created releases so downstream triggers fire; ubuntu base for prebuilts #173)
• feat: multi-platform releases, README refresh, CONTRIBUTING, Apache-2.0 LICENSE
• chore: drop windows from release assets (compiler does not support it yet)
• feat: zz setup, shell completions, auto-heal, install --path, CLI progress UI
• feat/setup fixes (feat/setup fixes #177)
• feat/upgrade doctor pkg tools (feat/upgrade doctor pkg tools #178)
• native: yield tail call/return values from if/else branches (native: yield tail call/return values from if/else branches #179)
• native: heal loop-arena strings at retaining stores
• tests: regression fixtures for arena-string stores + early call-returns
• fuzz: v2 shapes behind --shapes v2 (default mode byte-identical)
• frontend: fold -9223372036854775808 to i64::MIN
• feat: bitwise operators &, |, ^, ~, <<, >>
• fix: review follow-ups for bitwise operators
• native: index-set must not zz_int-wrap string values
• docs: fuzz v2 shape families in README
• pm: opt-in [package] zz minimum-compiler requirement
• docs: VM value-copy design (COW + last-use move)
• docs: v0.1.6 draft release notes (no tag)
• fix: assert dev-build marker on stderr in build_e2e
• bench: move-append elision harness plus pre-optimization baseline
• analysis: shared move-on-self-reassign eligibility plus tests
• feat: tuple indexing, len, and bare destructuring
• fix: formatters preserve bare vs paren destructure form
• perf: move-on-self-reassign append elision (native + VM)
• **feat: compound assignment (+= -= *= /= %= = &= |= ^= <<= >>=)
• feat: generic structs (Box, impl Box[T], inference + methods)
• fix: box unboxed structs and raw scalars in array/tuple literals (AOT)
• perf: linear appends via move-on-self-reassign takes (native + VM)
• fix: raw-scalar fields in unboxed literals + release boxed container temps (AOT)
• docs: AOT parity fix plan for nested [[str]] + UTF-8 measure
• fix: AOT parity for nested [[str]] stores and UTF-8 string measure
• fix: parser typed-decl in while cond, len(dict) native, call-result struct field
• fix: native sqlz row cN aliases plus struct == boxing and deep equality
• feat: trailing commas in call args, func params, closure params
• feat(test): cargo-style grouped output, VM default + AOT engine
• fix(test): review pass — pipe drains, honest skips, float literals
• feat(test): kill all five limitations
• feat(stdlib): native std.term raw-mode primitives
• feat(stdlib): add term.flush for interactive rendering
• fix(codegen): free-function method receivers (Bug 8)
• chore(parity): refresh known-native-failure map
• fix(codegen): method receivers on call/index/literal/field roots (Bug 8b)
• Fix checker/runtime/AOT parity bugs: var collision, default args, indexed receivers
• Default zz build to static; fix native term.flush (dual-buffer deadlock)
• Add zz build --full (max optimization) and -o output naming
• Fix compiler gaps: BIT bool coercion, method-shadow calls, selective native calls
• Fix qualified-alias calls and first-class function values natively
• feat(arena): add zz_arena bump allocator + compiler bench corpus
• feat(arena): track zz_arena in Cargo.lock
• feat(arena): zero-copy lexer tokens (P2a)
• feat(arena): skip no-op decorator re-expansion (P2b)
• feat(arena): checker key sharing + result moves (P3)
• feat(arena): pre-join CallPath dotted names at compile time (P4)
• docs(arena): P0-P6 record, production notes, open gates (P6)
• feat(arena-next): pre-size lexer/parser collections (Q1)
• feat(arena-next): multi-file bench corpus (Q0); mimalloc A/B rejected (Q2)
• feat(arena-next): move loader seeds into checker (Q3)
• feat(arena-next): move entry-point seeds into final check (Q4a)
• bench: single-file 4000-func corpus for loader-overhead isolation
• feat(arena-scale): borrow clean string literals in lexer (S3)
• feat(arena-scale): dep-aware module check cache (S1)
• docs(arena): arena-next record (Q0-Q4, S1, S3, de-scoped S2)
• fix(aot): plug heap leaks in string concat, elvis, loop locals
• feat(stdlib,frontend): pure-ZZ map/set/dec/bytes/csv/time-date + match statement arms
• feat(lang): contextual type aliases with cross-module support
• fix(aot): link libcurl/libsqlite3 only when reachable natives need them
• fix(aot): register pure-ZZ map/set/dec/bytes/csv/str/time gaps in drift census
• fix(fmt): emit import alias before selective item list
• feat(toolchain): managed Zig backend via zz toolchain install
• feat(aot): unboxed scalar calling convention for monomorphic functions
• fix(aot): scope unboxed state out of closures; capture locals in _u bodies
• test(parity): graduate frame_slots to strict parity
• feat(aot): elide loop safepoints without concurrency; forward stack-array indices\n\n- Loop-top zz_safepoint() is a codegen barrier: clang cannot fold a\n loop around the opaque call. Programs without task/chan/spawn now\n omit it (it never suspends, only yields the OS thread, so omission\n is always correct). sum 0..5M: 21ms -> 0ms, matching Rust.\n- arr := [pure scalars]; arr[lit] reads forward to the element's raw\n C expression (SROA): no zz_index_get, arithmetic stays raw end to\n end. alloc bench: 7ms -> 1ms. Sound via eager resolution plus\n kill-on-reassign/mention/call/capture/scope-pop and a totality\n guard for trapping division.\n\n4 new tests: safepoint elided/kept, forwarding shape + value,\nstore/push kill behavior.
• feat(aot): inline str(int/bool) in append chains; elide dead array releases\n\n- New zz_str_append_int/bool runtime helpers: str(i)/str(b) terms in\n s = s + ... chains format straight into the buffer. No cast temp,\n no arena staging, no release. str bench 2-3ms -> 1-2ms.\n- Loop-local stack-promoted arrays that are only read through\n forwarded indices skip zz_release (proven no-op): unpins the dead\n construction for DCE. alloc bench 2ms -> 0ms, matching Rust/Zig.\n- Alias soundness: x = arr kills the source entry (shared-buffer\n mutation through the alias would stale forwarding).\n\n3 new tests: chain shape + value (incl. float fallback), release\nelision, alias push agreement.
• feat(aot): ascii fast path for str char length zz_str_char_len walked the full UTF-8 decode per call: len() on the 1MB bench string cost ~1ms where Rust does O(1) bytes. A word-at-a-time high-bit test returns byte length for pure-ASCII (~0.05ms) and falls back to the precise walk otherwise. One new test for multibyte agreement.
• feat(lang): user-defined enums with erasure to objects
• feat(lang): generic enums, payload chaining, match/if-let hardening
• fix(aot): guard tuple-pattern unpack behind tag+len test
• m0: fixture feature tags, edge corpus, parity sweep extended
• fix(vm): write-through chained index stores
• pre-m1: quad matrix, normalizer gates, modules parity, benches, IR spec draft
• spec: lock closure capture semantics (by-reference, per-iteration bindings)
• fix(aot): parity-safe C flags, explicit NaN guard for int() casts
• fix(aot): copy-on-write struct headers (value semantics for field writes)
• fix(vm): always-wrap integer arithmetic (+ - * neg pow loop counters)
• fix(aot+vm): trap MIN/-1 and MIN%-1 on all legs
• fix(aot): trap negative integer exponents natively
• fix(aot): trap out-of-bounds index reads natively
• WIP: detach-on-mutation for index stores (runtime side)
• fix(aot): value semantics for all index/field stores
• fix(aot): propagate main() Result to the exit code
• fix(aot): fail pg.connect loudly instead of null-handle leniency
• fix(aot): recognize bare scalar globals as already-unboxed
• harness: mark IR-deferred lowering bugs in known-failure notes
• docs: FEATURES edge list matches post-fix strictness
• fix(aot): invalidate SROA forwarding on nested/field store roots
• bench: before/after medians around the flags PR (perf-neutral within noise)
• cleanup close-out: negative-index probe, remaining-divergences report, spec freeze
• fix(aot): canonical float formatting via the Rust core (spec §4)\n\nC float printing (%.17g + strip, lowercase nan, exponent forms)\ndiverged from Rust Display on 1e21, 1e-7, NaN, MAX, subnormals.\nNew zz_native_rt float_fmt exposes zz_float_format_raw (exact VM\nDisplay rule, unit-tested vectors); strings.c routes all six Display\nsites through it via a weak import + fail-closed trap (never silent\ndivergence). Link gate scans typed nodes for Float (sound: no Any\ntype; JSON prints via its own path); -u force-extracts the object.\nNon-float binaries carry no libstd; --static+floats downgrades (or\nerrors explicitly) with a clear message.\n\nedge_float_format pins 16 vectors in-fixture (incl. 300+ char\nexpansions) + strict quad; edge_float_nan_display flips strict.\nSpec §4 frozen with recorded ground truth. ASan+UBSan clean;\n2000-print loop leak-free.
• fix(frontend): parse ** on the RHS of * / and %\n\nparse_multiplicative parsed its right operand with parse_unary,\nskipping the parse_power level, so 2 * 42 stopped after the 4\nand died in the call parser. One-line fix; operators.zz gains\nmixed-precedence pins (all agree natively).**
• fix(aot): recognize raw scalar globals in function bodies (CLASS 2 follow-up)\n\nThe scalar-global fix only covered top-level Decl: function-body\nvalues don't arrive as bare Ident (ident=None), so q8 := v4 still\nemitted (zz_global).i on a raw int64_t. emitted_is_raw_scalar now\nalso matches the emitted C id against scalar globals directly.\nCaught by the fuzz pre-run (member-reference NATFAILs); 60-case\nsample fully green after.
• probes: evaluation-order fixtures + compound single-evaluation fix\n\nord probes: binop/call-arg order agrees (strict edge_eval_order);\ncompound index evaluates each side once (strict\nedge_compound_index_eval); plain index-store order diverges\nVM-value-first vs native-source-order (quad-split\nedge_index_store_order, spec records source order canonical).\n\nFix: AOT compound home path bound the index expression textually\ntwice (get + set) — side effects fired twice. Now bound once in\n_ci. (My feat(lsp): full LSP server with diagnostics, navigation, and refactoring #8-PR regression; VM always evaluated once.)
• docs: evaluation order, closure probe report, OOM close-out\n\nSpec §7 records left-to-right + source-order stores (VM plain-store\ndeviation quad-split, changes post-M1); migration table updated.\nCleanup report: closure probe verdicts per rule, OOM documented\ncontract (no live fixture — hostile to CI), CLASS-2 follow-up,\nmath precision closed. FEATURES edge list extended.
• fix(http): second Ctrl+C force-exits graceful shutdown\n\nFirst press starts the drain; a second press _exit(130)s immediately\nso a keep-alive browser tab can never wedge shutdown. Counter resets\nper listen; drain notice printed on first press. Handler stays\nasync-signal-safe (fetch_add + _exit only).
• fuzz: v4 shapes (floats, precedence, closures, stores, casts, structs) + batch runner\n\nv4 adds 8 families with labeled output lines (real oracle values:\nfloat Display incl. NaN/INF, mixed * / ** precedence incl. the\nreported parse bug shape, agreeing closure forms, nested/aliased\nstores, strings/interp, compound stores, total casts incl.\nexponent-string parsing, plain structs). Known-open divergences\nexcluded by design (spawn, loop-capture, side-effect store order,\nstruct methods/display, rand, OOM shapes).\n\nBatch mode (--batch + run_batch.sh): K cases per clang build with\nmarker demux and manifest-driven bisect fallback into run.sh.\n100-case validation green. 3 fixed-seed v4 smoke fixtures\n(12 float, 13 precedence, 14 struct), strict in e2e + parity.\nAlso drops the never-valid floats tag (fixture_meta gate was red).
• lint: let-else for quad natives (clippy unnecessary-unwrap)
• docs: fuzz README covers v3/v4 shapes + batch mode
• *fix(aot): pg FFI follows zz_index_set pointer signature + refused-trap test\n\nThe feat(lsp): full LSP server with diagnostics, navigation, and refactoring #8 value-semantics PR changed zz_index_set to take the slot by\npointer but missed the Rust declaration in zz_native_rt pg.rs: the\nstaticlib passed the dict CValue by value where C read a pointer —\nSEGV on every AOT pg.query (empty stderr, exit 139). Declaration now\ntakes mut CValue; dict_insert passes &mut. Caught via ASan+UBSan\n(misaligned 0x6 read through the bogus pointer).\n\npg_aot_leniency updated for the feat(lsp): document highlights with read/write classification #10 trap contract (refused connects\nare fatal now): bad-SQL leniency on a live db still asserted\nVM==AOT; new pg_refused_traps asserts both engines trap loudly.
• test: tiered CI, batched parity, parallel quad, cached plugin scaffold
• feat(strings): doubled-brace {{ }} escapes in single + triple strings
• feat(ir): zzc-codec slice — zz_ir crate, bytecode run/dis/emit, source-order stores
• chore: drop zz_ir debug example
• fix: issue sweep — loader seeds, struct globals, shim order, brace-migrated test, cache genesis
• feat(ir): populate function signatures from HIR during lowering
• feat(aot): Chunk->C backend behind --chunk (slice-1)
• Hygiene: fuzz CLASS 1 FIXED (Stale fuzz CLASS 1: tuple-literal boxing now works, remove entry #241) + Rust comparison docs (How is this different from Rust? #197) (Hygiene: fuzz CLASS 1 FIXED (#241) + Rust comparison docs (#197) #259)
• Imports/loader batch: hard errors, plugin selective, re-export loud fail, docs (Imports/loader batch: hard errors, plugin selective, re-export loud fail, docs #260)
• Checker DX + syntax helpers: Sherlock diagnostics batch (244-248) (Checker DX + syntax helpers: Sherlock diagnostics batch (244-248) #268)
• feat(interp): single-line strings expand digit- and paren-led expressions (Semantics: expression interpolation in single-line strings + overflow docs (249, 250) #269)
• Native correctness: short-circuit, selective consts, detailed traps (239, 240, 251) (Native correctness: short-circuit, selective consts, detailed traps (239, 240, 251) #270)
• LSP flags, selective diagnostics, always-on completion (255-257) (LSP flags, selective diagnostics, always-on completion (255-257) #271)
• LSP packages: dep/workspace harvest, full completion, pow census, scan fix (LSP packages: dep/workspace harvest, full completion, pow census, scan fix #272)
• LSP colors that mean something: call classification, paren-free items (LSP colors that mean something: call classification, paren-free items #273)
• Parity gate green: all_funcs mirror; struct-literal completion; editor colors (Parity gate green: all_funcs mirror; struct-literal completion; editor colors #275)
• fix(lsp): advertise inlayHint and references providers (Advertise inlayHint + references providers #281)
• feat(stdlib): positional str search (find/rfind/starts_with_at/ends_with_at/trim_span)
• feat(stdlib): str.bytes / bytes.to_str / bytes.to_ints bridge
• perf(stdlib): memchr scan cores, native str.count
• fix(ci): drop str.count from KNOWN_CODEGEN_GAPS (C impl now exists)
• fix(ci): list str_find/str_bytes fixtures in batched parity inventory
• fix(stdlib): trim_span backward scan usize underflow on short windows
• feat(stdlib): bounded search (find_in/rfind_in/count_in) + memchr find core
• feat(codegen): bounded search C twins (find_in/rfind_in/count_in)
• test+docs: bounded search fixture coverage
• style: clippy needless_as_bytes + cargo fmt
• fix(stdlib): rfind_in empty returns clamped end (matches wrapper semantics)
• feat(stdlib): str.classify native classifier (Rust + registry)
• feat(stdlib+codegen): str.classify native classifier with 6-arg AOT support
• fix(tests): terminate unterminated import-body prints before batch markers
• Realse v0.2.0