Repository navigation

Self host fixes - #5

Merged

cuzzo merged 38 commits into

masterfrom

self-host-fixes

Aug 13, 2026

Merged

Self host fixes#5
cuzzo merged 38 commits into
masterfrom
self-host-fixes

Commits on Aug 12, 2026
- Compiler fixes from the self-hosting effort
  
  cuzzo
  and
  claude
  committed
  9d342f0
- Specs and transpile tests for the self-hosting fixes
  
  cuzzo
  and
  claude
  committed
  32924a2
- Tooling, runtime and docs from the self-hosting effort
  
  cuzzo
  and
  claude
  committed
  639ba63
- Sync the fuzz README cell count for curated_gap_corpus
  
  cuzzo
  and
  claude
  committed
  cae098e
- Decide owned-branch sources by construction, not by naming reads
  
  cuzzo
  and
  claude
  committed
  5e09abd
- Reject frame frees of memory the arena never allocated
  
  cuzzo
  and
  claude
  committed
  fed2220
- Always emit a struct's __clear_drop and __clear_clone, even when nothing is owned
  
  cuzzo
  and
  claude
  committed
  1129eb0
- Fuzz the provenance round trip: read a value back out and let it drop
  
  cuzzo
  and
  claude
  committed
  a924175
- Benchmark symbol interning: lock elision vs a shared pool, against Rust
  
  cuzzo
  and
  claude
  committed
  1fc122a
- Add an optimized test lane: clear test --safe, fuzz --safe
  
  cuzzo
  and
  claude
  committed
  1684431
- Give String@symbol its own type instead of spelling it []const u8
  
  cuzzo
  and
  claude
  committed
  5990c6e
- Ask a MIR node whether it materializes a value, instead of listing the ones that do
  
  cuzzo
  and
  claude
  committed
  2cd6d6d
- Match the Symbol key by name, not by having a `bytes` field
  
  cuzzo
  and
  claude
  committed
  3ca3886
- Say when the frame free check turns itself off
  
  cuzzo
  and
  claude
  committed
  96c5b74
- Thread the fuzz --safe flag instead of passing it through a global
  
  cuzzo
  and
  claude
  committed
  134a813
- Prove the provenance matrix detects the bug it was built for
  
  cuzzo
  and
  claude
  committed
  91280b9
- Reconcile the rebase with master's newer pipeline and test expectations
  
  cuzzo
  and
  claude
  committed
  65653dd
- Decide the symbol-widening cast from the Type, not the rendered Zig string
  
  cuzzo
  and
  claude
  committed
  7b4b17f
- Widen a Symbol at every String coercion boundary, not just CAST and placement
  
  cuzzo
  and
  claude
  committed
  6005438
- Track retired arena storage as an envelope, not a table -- the table blew fiber stacks
  
  cuzzo
  and
  claude
  committed
  e847b5e
- Delete the interned container variants the Symbol type made dead
  
  cuzzo
  and
  claude
  committed
  9115d6c
- Pin symbol widening per boundary in the spec suite; fix lower_cast's signature
  
  cuzzo
  and
  claude
  committed
  2b4034d
- Name the widening target: Type#byte_string?
  
  cuzzo
  and
  claude
  committed
  24754b6
- Unit-test CheatArena.owns: current, retired, and foreign storage
  
  cuzzo
  and
  claude
  committed
  3260f5d
Commits on Aug 13, 2026
- Widen a Symbol at the registry-call boundary too
  
  cuzzo
  and
  claude
  committed
  63ffa1b
- Coerce an OR_ELSE fallback to the merge type while its stamp is in hand
  
  cuzzo
  and
  claude
  committed
  bd4fd2a
- Print the rejected bytes in the frame free check
  
  cuzzo
  and
  claude
  committed
  cd81ada
- Drop the fact-mine alias analysis this branch swept in by accident
  
  cuzzo
  and
  claude
  committed
  1cd9fb3
- Restore the @node handle payload fix the rebase reverted
  
  cuzzo
  and
  claude
  committed
  1cf10f6
- Prune the build cache by age, not by entry count
  
  cuzzo
  and
  claude
  committed
  0729d82
- Widen a Symbol at the equality-assert boundary too
  
  cuzzo
  and
  claude
  committed
  e839ba1
- Make the compiler type-check under Sorbet again
  
  cuzzo
  and
  claude
  committed
  5ea2c91
- Run instrumented tests from the invocation directory again
  
  cuzzo
  and
  claude
  committed
  5013495
- Restore two more `clear test` fixes the rebase dropped
  
  cuzzo
  and
  claude
  committed
  c331e4e
- Take master's matrix specs back: the runtime lanes live in the fuzz harness
  
  cuzzo
  and
  claude
  committed
  e29ab2b
- Release a union inline-variant payload that owns through a capability
  
  cuzzo
  and
  claude
  committed
  ba18651
- Sync the fuzz README cell count for the new transpile test
  
  cuzzo
  and
  claude
  committed
  ee9a5e0
- Report a leaking fuzz bundle as a leak, and show the end of a silent failure
  
  cuzzo
  and
  claude
  committed
  5bc6052

Commits

Commits on Aug 12, 2026

Commits on Aug 13, 2026