Repository navigation

R1C-C T-Sub fixture - #879

Merged

briansrls merged 18 commits into

mainfrom

session/jolly-stag-413

Apr 26, 2026

Merged

R1C-C T-Sub fixture#879
briansrls merged 18 commits into
mainfrom
session/jolly-stag-413

Commits on Apr 26, 2026
- WIP: R1C-C T-Sub fixture
  briansrls
  committed
  5da78ed
- WIP: R1C-C T-Sub fixture
  briansrls
  committed
  ed988f6
- WIP: R1C-C T-Sub fixture
  briansrls
  committed
  3124deb
- WIP: R1C-C T-Sub fixture
  briansrls
  committed
  2c673d1
- WIP: R1C-C T-Sub fixture
  briansrls
  committed
  a998bef
- WIP: R1C-C T-Sub fixture
  briansrls
  committed
  6e99b02
- WIP: R1C-C T-Sub fixture
  briansrls
  committed
  e6fa73a
- WIP: R1C-C T-Sub fixture
  briansrls
  committed
  b804bb8
- Merge remote-tracking branch 'origin/main' into session/jolly-stag-413
  briansrls
  committed
  49225c8
- Merge remote-tracking branch 'origin/main' into session/jolly-stag-413
  briansrls
  committed
  630e00f
- Merge remote-tracking branch 'origin/main' into session/jolly-stag-413
  briansrls
  committed
  caaeefe
- merge: origin/main into session/jolly-stag-413
  briansrls
  committed
  8f61e53
- Merge remote-tracking branch 'origin/main' into session/jolly-stag-413
  briansrls
  committed
  d56ebb8
- fix(v3): refresh parse corpus manifest for verification.dag
  briansrls
  committed
  ec3f06c
- Merge remote-tracking branch 'origin/main' into session/jolly-stag-413
  briansrls
  committed
  6c9e826
- WIP: R1C-C T-Sub fixture
  briansrls
  committed
  d6e3d71
- Merge remote-tracking branch 'origin/main' into session/jolly-stag-413
  briansrls
  committed
  be7615a
- fix(v3): import R1C-C refinement predicate
  briansrls
  committed
  026e22f