Repository navigation

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

Merged

jonahgabriel merged 2 commits into

devfrom

auto/behavior-proof-backfill-37269014060

Oct 5, 2026

Merged

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

Commits on Oct 5, 2026
- evidence(OMN-17943): backfill diff-derived behavior proofs onto contracts that predate the minter
  onexbot-occ-writer[bot]
  committed
  5cfda31
- evidence(OMN-17943): OCC self-bind for PR #12866
  onexbot-occ-writer[bot]
  committed
  da3a4a4