Repository navigation

dt64: lane binding refuses a predicate change at a bound position (D-DRDT-SPLIT-1 S8) - #2021

Merged

AdaWorldAPI merged 2 commits into

mainfrom

ccr-ca0562e7-hudvlz-s8-predicate

Nov 11, 2026

Merged

dt64: lane binding refuses a predicate change at a bound position (D-DRDT-SPLIT-1 S8)#2021
AdaWorldAPI merged 2 commits into
mainfrom
ccr-ca0562e7-hudvlz-s8-predicate

Commits on Nov 11, 2026
- dt64: lane binding refuses a predicate change at a bound position (S8)
  claude
  committed
  3ca0838
- plan: S8 wording follows the shipped predicate comparison
  claude
  committed
  08eb7c3