Repository navigation

U2 (D-RU-2): let-bound planes over the contract set algebra - #1649

Merged

AdaWorldAPI merged 4 commits into

mainfrom

ccr-d3ce1263-ied9yh

Oct 21, 2026

Merged

U2 (D-RU-2): let-bound planes over the contract set algebra#1649
AdaWorldAPI merged 4 commits into
mainfrom
ccr-d3ce1263-ied9yh

Commits on Oct 21, 2026
- U2 (D-RU-2): let-planes over the contract set algebra
  claude
  committed
  fff6774
- U2: pin nested and distinct lets (D1/D3 disables were green)
  claude
  committed
  9423b32
- U2: board, benchmark tail fix, CI smoke run
  claude
  committed
  f0612c0
- set_program: refuse ids past u32 instead of overflowing (Codex P2)
  claude
  committed
  7422305