Repository navigation

Promotion: cases with their driver, promote.map, pairing choices (R3) - #97

Merged

jcombs-pointblue merged 2 commits into

Oct 26, 2026

Merged

Promotion: cases with their driver, promote.map, pairing choices (R3)#97
jcombs-pointblue merged 2 commits into
masterfrom
promote-r3

Commits on Oct 26, 2026
- promote: cases move with their driver; promote.map; pairing with a map, pending and known
  
  jcombs-pointblue
  and
  claude
  committed
  d5ad54a
- promote.pair: a map as written, comments and all
  
  jcombs-pointblue
  and
  claude
  committed
  13e22ff