Repository navigation

Ground CanonicalOperation beyond OpAdd: arith+comparison+boolean operators by inhabitance from existing algebra (target_model.dag) - #5704

Merged

briansrls merged 5 commits into

mainfrom

session/keen-wren-850

Jun 24, 2026

Merged

Ground CanonicalOperation beyond OpAdd: arith+comparison+boolean operators by inhabitance from existing algebra (target_model.dag)#5704
briansrls merged 5 commits into
mainfrom
session/keen-wren-850

Commits on Jun 24, 2026
- WIP: Track-A operation-grounding (cargo-green keystone): ground CanonicalOper
  Brian Searls
  committed
  473d1ec
- WIP: Track-A operation-grounding (cargo-green keystone): ground CanonicalOper
  Brian Searls
  committed
  df6cc31
- Remove local-only temp rust witness harness (the .dag witness is auto-enrolled in the CI floor)
  
  Brian Searls
  and
  claude
  committed
  ba5bea5
- Restore full Track-A scope: 4-variant CanonicalOperation + Equivalence<T> mint, exhaustive (lens-green) equal
  
  Brian Searls
  and
  claude
  committed
  d9aeae9
- Merge remote-tracking branch 'origin/main' into session/keen-wren-850
  Brian Searls
  committed
  442242c