Skip to content

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

Merged
jonahgabriel merged 2 commits into
devfrom
auto/behavior-proof-backfill-34441150456
Sep 10, 2026
Merged

jonahgabriel merged 2 commits into
devfrom
auto/behavior-proof-backfill-34441150456

Conversation

@onexbot-occ-writer

Copy link
Copy Markdown
Contributor

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-backfill run https://github.com/OmniNode-ai/omnimarket/actions/runs/34441150456.

ticket decision status product PR
OMN-18084 MINT PENDING OmniNode-ai/omnibase_infra#3365
OMN-18078 REFUSED_NO_PRODUCT_PR #0
OMN-18052 REFUSED_NO_PRODUCT_PR #0
OMN-18048 REFUSED_NO_PRODUCT_PR #0
OMN-17991 REFUSED_PR_NOT_MERGED OmniNode-ai/omnibase_infra#3247
OMN-17771 REFUSED_NO_PRODUCT_PR #0
OMN-17523 REFUSED_NO_PRODUCT_PR #0
OMN-17340 REFUSED_NO_PRODUCT_PR #0
OMN-17083 REFUSED_NO_PRODUCT_PR #0
OMN-16858 MINT PENDING OmniNode-ai/omnimarket#2189
OMN-16846 MINT PENDING OmniNode-ai/omnibase_infra#2971
OMN-16845 MINT PENDING OmniNode-ai/omnibase_infra#2970
OMN-16843 MINT PENDING OmniNode-ai/omnibase_infra#2968
OMN-16840 REFUSED_NO_BEHAVIOUR_IN_DIFF OmniNode-ai/omnidash#296
OMN-16839 MINT PENDING OmniNode-ai/omnibase_infra#2963
OMN-16835 REFUSED_NO_BEHAVIOUR_IN_DIFF OmniNode-ai/omniclaude#2058
OMN-16833 MINT PENDING OmniNode-ai/omnimarket#2184
OMN-16831 MINT PENDING OmniNode-ai/omnimarket#2181
OMN-16827 REFUSED_NO_PRODUCT_PR #0
OMN-16826 MINT PENDING OmniNode-ai/omniclaude#2056
OMN-16825 MINT PENDING OmniNode-ai/omnibase_infra#2960
OMN-16824 MINT PASS #7393
OMN-16823 MINT PENDING OmniNode-ai/omniclaude#2057
OMN-16822 MINT PENDING OmniNode-ai/omnibase_infra#2959
OMN-16821 MINT PENDING OmniNode-ai/omnibase_infra#2957
OMN-16816 MINT PENDING OmniNode-ai/omnimarket#2177
OMN-16815 MINT PENDING OmniNode-ai/omnimarket#2176
OMN-16814 MINT PENDING OmniNode-ai/omnibase_infra#2953
OMN-16813 MINT PENDING OmniNode-ai/omnibase_infra#2952
OMN-16812 MINT PENDING OmniNode-ai/omnibase_infra#2962
OMN-16811 MINT PENDING OmniNode-ai/omnimarket#2179
OMN-16809 MINT PENDING OmniNode-ai/omnimarket#2175
OMN-16808 MINT PENDING OmniNode-ai/omnibase_infra#2954
OMN-16806 REFUSED_NO_PRODUCT_PR #0
OMN-16805 REFUSED_NO_PRODUCT_PR #0
OMN-16799 REFUSED_NO_PRODUCT_PR #0
OMN-16798 MINT PENDING OmniNode-ai/omnibase_infra#2949
OMN-16795 MINT PENDING OmniNode-ai/omnibase_infra#2948
OMN-16794 MINT PENDING OmniNode-ai/omnimarket#2171
OMN-16792 MINT PENDING OmniNode-ai/omnibase_infra#2961

Ticket: OMN-17943

…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
jonahgabriel merged commit ef48831 into dev Sep 10, 2026
74 checks passed
@jonahgabriel
jonahgabriel deleted the auto/behavior-proof-backfill-34441150456 branch September 10, 2026 07:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant