Repository navigation

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

Merged

jonahgabriel merged 2 commits into

devfrom

auto/behavior-proof-backfill-36220874059

Sep 26, 2026

Merged

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

Commits on Sep 26, 2026
- evidence(OMN-17943): backfill diff-derived behavior proofs onto contracts that predate the minter
  onexbot-occ-writer[bot]
  committed
  9036f16
- evidence(OMN-17943): OCC self-bind for PR #11416
  onexbot-occ-writer[bot]
  committed
  5e7756e