Repository navigation

evidence(OMN-17943): backfill diff-derived behavior proofs onto pre-minter contracts - #10152

Merged

jonahgabriel merged 2 commits into

devfrom

auto/behavior-proof-backfill-35310904454

Sep 18, 2026

Merged

evidence(OMN-17943): backfill diff-derived behavior proofs onto pre-minter contracts#10152
jonahgabriel merged 2 commits into
devfrom
auto/behavior-proof-backfill-35310904454

Commits on Sep 18, 2026
- evidence(OMN-17943): backfill diff-derived behavior proofs onto contracts that predate the minter
  onexbot-occ-writer[bot]
  committed
  77f436a
- evidence(OMN-17943): OCC self-bind for PR #10152
  onexbot-occ-writer[bot]
  committed
  f987709