Skip to content

Seed floor: collection vs nominal product is judged as a relation, not a property of one side - #12045

Merged
briansrls merged 9 commits into
mainfrom
session/quiet-ibex-229
Sep 23, 2026
Merged

Seed floor: collection vs nominal product is judged as a relation, not a property of one side#12045
briansrls merged 9 commits into
mainfrom
session/quiet-ibex-229

Assert the v2 frontier infer() actually returns for the collection-at…

642bcb0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar