Skip to content

Establish RED-3: protocol-blind realization checking - #12

Merged
splashevolution merged 1 commit into
mainfrom
research/semantic-continuity-red3
Oct 7, 2026
Merged

Establish RED-3: protocol-blind realization checking#12
splashevolution merged 1 commit into
mainfrom
research/semantic-continuity-red3

Establish RED-3 protocol-blindness counterexample

5fe4411
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar