Repository navigation

Accepting wildcards cut 3: name the two wet-step exit gates - #13411

Closed

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

accepting-wildcards-2from

accepting-wildcards-3

Closed

Accepting wildcards cut 3: name the two wet-step exit gates#13411
gunbai-bot[bot] wants to merge 5 commits into
accepting-wildcards-2from
accepting-wildcards-3

Commits on Oct 6, 2026
- Accepting wildcards cut 3: name the two wet-step exit gates
  Brian Searls
  committed
  f10c343
- Extract both exit decisions into pure classifiers with hermetic claims
  Brian Searls
  committed
  da54835
- Import PlacementAbortedAt in the finalized-passes claim
  Brian Searls
  committed
  39d1981
- Repair the cut-3 rebase: restore main's named arms, drop markers
  Brian Searls
  committed
  0629b83
- Correct the unread-outcome claim comment: the decision was already loud on base
  Brian Searls
  committed
  5d6412a