Repository navigation
evidence(OMN-17943): backfill diff-derived behavior proofs onto pre-minter contracts - #9468
Merged
Merged
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
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
jonahgabriel
enabled auto-merge (squash)
September 14, 2026 05:35
Patel230
pushed a commit
that referenced
this pull request
Sep 16, 2026
…inter contracts (#9468) * evidence(OMN-17943): backfill diff-derived behavior proofs onto contracts 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 * evidence(OMN-17943): OCC self-bind for PR #9468 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 --------- Co-authored-by: onexbot-occ-writer[bot] <onexbot-occ-writer[bot]@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
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/34809824733.Ticket: OMN-17943