Repository navigation

Controls batch 19a: a live level move keeps its own length across a Reposition swap - #1717

Merged

tamashi095 merged 13 commits into

mainfrom

codex/controls-batch-19a

Oct 17, 2026

Merged

Controls batch 19a: a live level move keeps its own length across a Reposition swap#1717
tamashi095 merged 13 commits into
mainfrom
codex/controls-batch-19a

Commits on Oct 17, 2026
- Check the batch 19 specs against main and remove the closed batch 18 specs
  
  tamashi095
  and
  claude
  committed
  d86368c
- Record root's batch 19 rulings in the specs (R19-1 to R19-6, two PRs, the #1713 note)
  
  tamashi095
  and
  claude
  committed
  e22541d
- Compare a free fader stage's ramp target at a Reposition adoption (#1711 F1)
  
  tamashi095
  and
  claude
  committed
  a3ab8b5
- Defer a moved target's jump to a live move's end at a Reposition (#1711 F2)
  
  tamashi095
  and
  claude
  committed
  aad5939
- Gate the owed discharge and delete the conservative level-move flag (#1711 F3, F4)
  
  tamashi095
  and
  claude
  committed
  83113e5
- Gate the owed discharge alike on both hosts (#1711 G4 parity leg)
  
  tamashi095
  and
  claude
  committed
  028db34
- Drop a pending deferral at a discontinuity jump (#1711 U1 fold 1, part 1)
  
  tamashi095
  and
  claude
  committed
  65912a2
- Gate the stale-deferral fix on the C ABI and both hosts (#1711 U1 fold 1, part 2)
  
  tamashi095
  and
  claude
  committed
  9c164c8
- Keep a deferral when a discontinuity emits no jump (#1711 U1 fold 2)
  
  tamashi095
  and
  claude
  committed
  6d0a587
- Correct two #1711 decision-record lines (U1 fold 2 verification NITs)
  
  tamashi095
  and
  claude
  committed
  0bcac82
- Add placeholder TBD53: decide how adoption treats a rounding-only table difference (phase 2)
  
  tamashi095
  and
  claude
  committed
  4889236
- Hold the U1 fold 2 rule with an events.rs test in batch 19a (#1711)
  
  tamashi095
  and
  claude
  committed
  8c2107b
- Number the batch 19a placeholder: #1716
  
  tamashi095
  and
  claude
  committed
  255b9e1

Commits

Commits on Oct 17, 2026