Skip to content

Phase 1 dispatch (PR #3959 §11.4 step 4): R1 fixture generator + runner against rustc for rust.dag per merged leaf-model verification doc. Phase 1 scope: R1 (i32 surface spelling) — emit Rust source 'pub fn r1_test() -> i32 { 0i32 }' as fixture; invoke rustc; capture verdict; falsification probe = e - #3972

Merged
briansrls merged 33 commits into
mainfrom
session/quick-lark-396
May 30, 2026
Merged

Phase 1 dispatch (PR #3959 §11.4 step 4): R1 fixture generator + runner against rustc for rust.dag per merged leaf-model verification doc. Phase 1 scope: R1 (i32 surface spelling) — emit Rust source 'pub fn r1_test() -> i32 { 0i32 }' as fixture; invoke rustc; capture verdict; falsification probe = e#3972
briansrls merged 33 commits into
mainfrom
session/quick-lark-396

merge: keep 480s corpus-gate timeout comment with main

dead3f8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar