Repository navigation

Port std.reducible to v2.std.reducible - #5391

Merged

briansrls merged 4 commits into

mainfrom

session/quick-lynx-211

Jun 20, 2026

Merged

Port std.reducible to v2.std.reducible#5391
briansrls merged 4 commits into
mainfrom
session/quick-lynx-211

Commits on Jun 20, 2026
- WIP: Port std.reducible to v2.std.reducible
  briansrls
  committed
  49ca8a0
- fix(reducible): import int_compare from v2.std.integer authority
  
  briansrls
  and
  cursoragent
  committed
  a76f1fa
- fix(ci): bump coexistence ratchet baseline for std/reducible port
  
  briansrls
  and
  cursoragent
  committed
  d7abdd7
- fix(reducible): drop untagged Ordering predicate helper in verdict_eq
  
  briansrls
  and
  cursoragent
  committed
  9776fef