Repository navigation

Refine BehavioralDiscriminator to carry what the row requires to be refused - #10161

Merged

briansrls merged 6 commits into

mainfrom

session/crisp-crane-370-purpose

Sep 3, 2026

Commits on Sep 3, 2026
- Refine BehavioralDiscriminator to carry what the row requires to be refused
  
  Brian Searls
  and
  claude
  committed
  3d5b027
- Add WitnessPurposeBinding, and a separator comma on the roster's former last row
  
  Brian Searls
  and
  claude
  committed
  16d6fb2
- Drop two inert rows my own diff made stale, measured against the live gate
  
  Brian Searls
  and
  claude
  committed
  27700c5
- Cite the taxonomy module by the name it declares, not a dag.-prefixed one
  
  Brian Searls
  and
  claude
  committed
  b1bbe32
- Narrow the binding annotation to what the type constructs
  
  Brian Searls
  and
  claude
  committed
  5270a0a
- Merge remote-tracking branch 'origin/main' into session/crisp-crane-370-purpose
  Brian Searls
  committed
  a6f3d2b