Repository navigation

Shard-A: compile-gate partition totality + cross-shard seam preservation proof - #6290

Merged

briansrls merged 10 commits into

mainfrom

session/jolly-ram-333

Jul 5, 2026

Merged

Shard-A: compile-gate partition totality + cross-shard seam preservation proof#6290
briansrls merged 10 commits into
mainfrom
session/jolly-ram-333

Commits on Jul 5, 2026
- WIP: Shard-A: compile-gate partition proof
  Brian Searls
  committed
  af8160c
- WIP: Shard-A: compile-gate partition proof
  Brian Searls
  committed
  cae2795
- WIP: Shard-A: compile-gate partition proof
  Brian Searls
  committed
  98152b8
- Merge remote-tracking branch 'origin/main' into session/jolly-ram-333
  Brian Searls
  committed
  7eb5ac3
- WIP: Shard-A: compile-gate partition proof
  Brian Searls
  committed
  baa7e9f
- WIP: Shard-A: compile-gate partition proof
  Brian Searls
  committed
  0f42187
- WIP: Shard-A: compile-gate partition proof
  Brian Searls
  committed
  d4560ff
- Add symmetric surplus check to compile-clean partition totality
  Brian Searls
  committed
  3b337f0
- WIP: Shard-A: compile-gate partition proof
  Brian Searls
  committed
  8fd294e
- Merge remote-tracking branch 'origin/main' into session/jolly-ram-333
  Brian Searls
  committed
  126d318