Repository navigation
evidence(OMN-17943): backfill diff-derived behavior proofs onto pre-minter contracts - #10772
onexbot-occ-writer[bot] wants to merge 2 commits into
Conversation
…acts that predate the minter Each item is rendered by the FORWARD producer's own render_behavior_proof_dod_evidence_item over targets derived from the product PR's merged diff, so a backfilled item and a newly-minted one cannot disagree. Receipt status is derived from a live readback of the PR's own CI at its head sha; anything short of green is PENDING, which is non-PASS. A testless diff, a legacy whole-file receipt binding and an unmerged PR each mint nothing. Ticket: OMN-17943 Onex-Workflow: OCC Behavior-Proof Backfill Onex-Run: https://github.com/OmniNode-ai/omnimarket/actions/runs/35690894853
occ-preflight/eligibility requires a PASS receipt bound to this evidence PR's own number. Generated by occ_behavior_proof_backfill.py --self-bind-pr from a live gh pr view readback; the receipt carries contract_entry_sha256 and no whole-file contract_sha256, so a later append cannot restale it (OMN-13888). Ticket: OMN-17943 Onex-Workflow: OCC Behavior-Proof Backfill Onex-Run: https://github.com/OmniNode-ai/omnimarket/actions/runs/35690894853
|
Superseded by #10797. That PR is this same generated backfill rebuilt on the current The acceptance-criterion binding gate failure on this branch was traced to |
Pull request was closed
1 participant
Backfills the diff-derived behavior-proof dod_evidence item onto OCC contracts that predate the OMN-16434 minter, so the evidence closer's behavior_proving_count is no longer pinned at 0 by construction.
Produced by
occ-behavior-proof-backfillrun https://github.com/OmniNode-ai/omnimarket/actions/runs/35690894853.Ticket: OMN-17943