Repository navigation

The exclusive row set becomes a keyed collection over a closed key - #11374

Closed

gunbai-bot[bot] wants to merge 14 commits into

mainfrom

session/deep-cat-655-rowset-reshape

Closed

The exclusive row set becomes a keyed collection over a closed key#11374
gunbai-bot[bot] wants to merge 14 commits into
mainfrom
session/deep-cat-655-rowset-reshape

Commits on Sep 13, 2026
- Name the per-module relay span, and correct the row that was credited with it
  
  Brian Searls
  and
  claude
  committed
  422b406
- Name the four folds by id; drop the "per-module constant" the fourth refutes
  
  Brian Searls
  and
  claude
  committed
  182cc87
- Two candidates measured, two refuted: the residual is unnamed and the template stops transcribing
  
  Brian Searls
  and
  claude
  committed
  ed2da14
- regenerated mirrors
  
  Brian Searls
  and
  claude
  committed
  4c27b1d
- Delete the transcribed figures from the annotation instead of moving them
  
  Brian Searls
  and
  claude
  committed
  248aa42
Commits on Sep 14, 2026
- The exclusive row set becomes a keyed collection over a closed key
  
  Brian Searls
  and
  claude
  committed
  a688068
- Witnesses construct through the roster, exhaustively
  Brian Searls
  committed
  4e22131
- Route the driver and the Rust tests through the constructor; keep the receipt's wire format
  Brian Searls
  committed
  f6f2dfd
- Install the reshape mirrors; drop the double Rc wrap in the two Rust tests
  Brian Searls
  committed
  43cec20
- Delete a shell-redirect artifact and the dangling zero base (review 66243)
  Brian Searls
  committed
  2e76589
- Remove the double Rc from the emitted driver (review 66249)
  Brian Searls
  committed
  9ec7ec5
- Drop the now-unused NativeDriverExclusiveRows import (review 66269)
  Brian Searls
  committed
  8689aeb
- Drop NativeDriverExclusiveRows from the emitted driver's imports (review 66296)
  Brian Searls
  committed
  ebfebda
- Retract the structural-totality claim; make every key discriminating (review 66333)
  Brian Searls
  committed
  1586623

Commits

Commits on Sep 13, 2026

Commits on Sep 14, 2026