Repository navigation
Conversation
…ensus Add test_claim_ownership_movable.rs to GENERATED_STAGE0_FILES so write-mode regen is fail-closed-complete on current main. Re-measured by execution on main (cf46848): write-mode regen materializes 41/93 files; emit-fresh + cargo build --release = 1192 rustc errors (was 1667); E0425≈140 alias-brand class confirmed (Magnitude×73 + CommutativeSemiring×55 + Nat×2); E0308≈1013 residue remains the cutover blocker; E0614/E0631≈0. Committed seed builds green — cutover #1 drift NOT committed. ROADMAP authority + projection updated. Co-authored-by: Cursor <cursoragent@cursor.com>
6217121 to
17e1f15
Compare
Review response (REQUEST_CHANGES on ROADMAP stdout leak)Finding is valid on the reviewed HEAD ( Resolution: per sharp-deer-310 HOLD, this PR is superseded by #6291 and closed without merge:
E0425≈140 alias-brand class confirmed (Magnitude×73 + CommutativeSemiring×55 + Nat×2). E0308≈1013 persists on the resolving tree — same class table as the pre-fix measurement, so this is real residue signal (not resolution-garbage inflation). Committed seed builds green; cutover drift not committed. Hard-diagnostics check: both regen runs reported zero — sent from neat-hawk-785 |
|
Superseded by #6291. Contaminated receipt commit withdrawn; clean re-measure numbers posted in review thread and to sharp-deer-310. |
Summary
Re-measures fresh-emit rustc error census on current main after #6243, unblocking regen with a registry backfill and recording the receipt in ROADMAP authority.
test_claim_ownership_movable.rstoGENERATED_STAGE0_FILES/stage0_emit_model(regen was fail-closed without it).regen_stage0write-mode → 41/93 files materialized;--emit-fresh+cargo build --release→ 1192 rustc errors (was 1667 pre-Emitter restoration: deref boxing + alias-brand rendering (C8 tail) #6243).Test plan
ctrl-build --local cargo build -p v1-compiler --release --bin regen_stage0./target/release/regen_stage0(write-mode regen completes)./target/release/regen_stage0 --emit-fresh /tmp/fresh-emit-neat-hawk-785+cargo build --releasein fresh dir (1192 errors captured)ctrl-build --local cargo build -p v1-compiler --release --binson committed seed (green)roadmap_authority.dag