Skip to content

Model the spawn-coherence relation: producer-absence and never-observed are different states - #9268

Merged
briansrls merged 2 commits into
mainfrom
toolchain-coherence-per-spawn
Aug 26, 2026
Merged

Model the spawn-coherence relation: producer-absence and never-observed are different states#9268
briansrls merged 2 commits into
mainfrom
toolchain-coherence-per-spawn

Apply the model-only merge bar: split producer-absence from never-obs…

4909d06
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar