Skip to content

evidence(OMN-19550): OCC Evidence-Source autobind for OmniNode-ai/omnimarket#2905 - #11275

Merged
jonahgabriel merged 3 commits into
devfrom
auto/omninode-ai-omnimarket-pr-2905-occ-autobind
Sep 26, 2026
Merged

jonahgabriel merged 3 commits into
devfrom
auto/omninode-ai-omnimarket-pr-2905-occ-autobind

Conversation

@onexbot-occ-writer

Copy link
Copy Markdown
Contributor

Autobind OCC evidence for OMN-19550.

Triggered by node_pr_lifecycle_fix_effect OCC companion emitter on OmniNode-ai/omnimarket#2905 (OMN-13317 F1 / OMN-14285).

Evidence-Ticket: OMN-19550

@onexbot-occ-writer onexbot-occ-writer Bot added ci:ready Full CI runs on this PR (OMN-15731 label-gated CI pilot) occ:machine-minted labels Sep 25, 2026
@onexbot-occ-writer
onexbot-occ-writer Bot force-pushed the auto/omninode-ai-omnimarket-pr-2905-occ-autobind branch from 78da5a4 to 6e29980 Compare September 26, 2026 07:54
jonahgabriel added a commit that referenced this pull request Sep 26, 2026
…market#2937 (#11438)

* evidence(OMN-19550): hand-authored OCC companion for OmniNode-ai/omnimarket#2937

occ-preflight/eligibility declined PR #2937 terminally with
skip:NO_RED_DERIVABLE_CHECK: the diff is a db_io.db_tables ownership
declaration in scripts/application-relation-ownership.yaml plus its
regenerated evidence json and a test-count assertion, none of which is
a code path the producer can derive a RED from. Per OMN-15247 the
remedy is hand-authored evidence.

Appends two dod_evidence entries to the existing OMN-19550 contract
(which already carries entries for omnibase_infra#4154, merged via
#11418, and omnimarket#2905, open via #11275) plus their receipts:

- dod-OmniNode-ai-omnimarket-pr-2937: content-bound probe. The
  session_content ownership declaration (role: session_content) is
  present at the PR head 7826cc6baf and absent at the merge base
  cd220fd03a. No AC of OMN-19550 is bound: #2937 is step 1 of the
  forced three-part order (declare, vendor, create) and proves none of
  AC1-AC6 itself.
- dod-OmniNode-ai-omnimarket-pr-2937-scope: product diff scope, 3
  files, 0 migration SQL files, confirming the PR's own declaration-
  only claim.

Purely additive: every existing OMN-19550 entry and receipt is
byte-identical (verified: recomputed contract_entry_sha256 for the
three pre-existing entries and reproduced their recorded values byte
for byte). Local checks: check_contract_change_rebinds_receipts.py,
check_receipt_hardening.py, check_contract_substance_floor.py and
check_contract_dod_authoring.py all pass; full pre-commit run over the
touched files passes.

OMN-19550

* evidence(OMN-18921): mint the owed OCC self-bind for PR #11438

---------

Co-authored-by: onexbot-occ-writer[bot] <onexbot-occ-writer[bot]@users.noreply.github.com>
…2905

OCC companion by node_pr_lifecycle_fix_effect (OMN-13317 F1 / OMN-13990 / OMN-14285). Product PR head b4a647d6c6269023b7b90785530bfa10145986a2.
@onexbot-occ-writer
onexbot-occ-writer Bot force-pushed the auto/omninode-ai-omnimarket-pr-2905-occ-autobind branch from c7bae98 to 2037bb0 Compare September 26, 2026 14:11
omnimarket-bot and others added 2 commits September 26, 2026 14:11
…nimarket#2905

The declared checks were executed for real in the OmniNode-ai/omnimarket checkout at the PR head by the product-repo OCC receipt runner, and the results written append-only into this companion. Producer-minted PENDING receipts are superseded by a net-new record; no existing receipt was edited.

Ticket: OMN-16859 (AC3b)
Onex-Workflow: OCC Receipt Runner
Onex-Run: https://github.com/OmniNode-ai/omnimarket/actions/runs/36247632443
@jonahgabriel
jonahgabriel merged commit ed1dbbd into dev Sep 26, 2026
81 checks passed
@jonahgabriel
jonahgabriel deleted the auto/omninode-ai-omnimarket-pr-2905-occ-autobind branch September 26, 2026 14:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci:ready Full CI runs on this PR (OMN-15731 label-gated CI pilot) occ:machine-minted

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant