Skip to content

Derive two-write spectator constraints with exact middle-label projection - #6090

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/r18-task04-two-write-spectator
Oct 28, 2026
Merged

Derive two-write spectator constraints with exact middle-label projection#6090
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/r18-task04-two-write-spectator

Check two-write lemma with independent formal permutations and live s…

188cee6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 28, 2026 in 4m 23s