fix: recover main's red CI gates + `perry check` false pass - #6891

Merged

proggeramlug merged 7 commits into

mainfrom

fix/linux-verification-sweep

Jul 30, 2026

Commits on Jul 27, 2026

fix: recover main's red CI gates + `perry check` false pass

Ralph Kuepper
and
claude
committed
docs: add changelog.d fragment for #6891

Ralph Kuepper
and
claude
committed
fix(readline): address CodeRabbit review findings on the moved code
Ralph Küpper
committed

Commits on Jul 29, 2026

fix: address review and important test failures
Ralph Küpper
committed
test(codegen): describe sloppy-mode PIC coverage
Ralph Küpper
committed
Merge main and harden readline GC safety
Ralph Küpper
committed
fix(ci): align compiler proofs with moving GC
Ralph Küpper
committed