Self host fixes - #5

Merged

cuzzo merged 38 commits into

self-host-fixes

Aug 13, 2026

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