Repository navigation

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

Commits on Sep 22, 2026
- Seed floor: collection vs nominal product is judged as a relation, not a property of one side
  
  Brian Searls
  and
  claude
  committed
  1393a96
- Authored red for the collection/nominal-product wall, since the corpus specimen is being repaired
  
  Brian Searls
  and
  claude
  committed
  d0d8f7c
- Merge remote-tracking branch 'origin/main' into session/quiet-ibex-229
  Brian Searls
  committed
  efde80e
- Type the record-update `with` by its receiver, and file the census-scope class it exposed
  
  Brian Searls
  and
  claude
  committed
  1227bb3
- Supply InferScope's new field at the two sites my regenerated mirror made obligatory
  
  Brian Searls
  and
  claude
  committed
  db8fe3f
- Enroll the record-update false-refusal control and its genuine-Map discriminator
  
  Brian Searls
  and
  claude
  committed
  279ec56
- Record the `with` two-contract fork as a meaning_fork specimen, not only a comment
  
  Brian Searls
  and
  claude
  committed
  b01c2d3
- Merge remote-tracking branch 'origin/main' into session/quiet-ibex-229
  Brian Searls
  committed
  ba1831f
- Assert the v2 frontier infer() actually returns for the collection-at-product cell
  
  Brian Searls
  and
  claude
  committed
  642bcb0