Skip to content

evidence(OMN-12939): promote OCC contract + receipts to main - #2462

Merged
jonahgabriel merged 2 commits into
mainfrom
hotfix/omn-12939-occ-main-promote
Jun 11, 2026
Merged

jonahgabriel merged 2 commits into
mainfrom
hotfix/omn-12939-occ-main-promote

Conversation

@jonahgabriel

@jonahgabriel jonahgabriel commented Jun 11, 2026 •

Copy link
Copy Markdown
Contributor

evidence(OMN-12939): promote OCC contract + receipts to main

Promotes the OMN-12939 delegation FSM termination-guard contract and its PASS receipts (already merged to OCC dev via PR #2456) onto main.

Why

The omnimarket deploy-gate checks out OCC contracts at ref: main. Until contracts/OMN-12939.yaml is on main, omnimarket PR #1158 deploy-gate fails with "no contract file in onex_change_control/contracts/". This promotion lands the contract + deploy DoD evidence on main so the deploy-gate resolves it.

Receipts (PASS, command check_values)

  • dod-omnimarket-pr-1158/command.yaml — status PASS, pr_number 1158, 21 delegation escalation tests passed.
  • dod-deploy-assessment/command.yaml — status PASS, pr_number 1158, 'No live deploy' assessment (code-only handler change; gated stability rebuild under user approval).
  • dod-occ-pr-2456/command.yaml — self-binding receipt for the dev OCC PR contract(OMN-12939): delegation FSM termination guard ticket contract #2456.
  • dod-occ-pr-2462/command.yaml — self-binding receipt for this promote PR.

Source landed in dev via PR #2456. This unblocks omnimarket PR #1158 deploy-gate, which checks OCC main.

Closes OMN-12939
Evidence-Ticket: OMN-12939
Evidence-Source: OCC#2456
hotfix-evidence: OCC-2456
backmerge: #2456

@coderabbitai

coderabbitai Bot commented Jun 11, 2026 •

Copy link
Copy Markdown

Important

Review skipped

Auto reviews are disabled on base/target branches other than the default branch.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: 652fa8c3-e8b7-4cba-93fd-b549fb0a9217

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • 🔍 Trigger review
✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Commit unit tests in branch hotfix/omn-12939-occ-main-promote

Comment @coderabbitai help to get the list of available commands and usage tips.

Promotes the OMN-12939 delegation FSM termination-guard contract and PASS receipts (merged to
OCC dev via PR #2456) onto main, so the omnimarket deploy-gate (checks out OCC contracts at
ref:main) resolves contracts/OMN-12939.yaml with its deploy DoD evidence.

Adds dod-occ-pr-2462 self-binding receipt for this promote PR (per OMN-12856 promote pattern).
All 4 receipt check_value greps PASS locally; contract schema-valid; pre-commit clean.
contract_sha256 pinned (sha256:c25510e4).

Evidence-Ticket: OMN-12939
@jonahgabriel
jonahgabriel force-pushed the hotfix/omn-12939-occ-main-promote branch from 2740d95 to 67cad0d Compare June 11, 2026 09:26
@jonahgabriel jonahgabriel reopened this Jun 11, 2026
…onvergence

The OMN-12934 dev→main convergence merges (e24cd6a/41a2bcd21) landed 8 contracts on main in
a pre-yamlfmt shape, so the CI pre-commit job (uv run pre-commit run --all-files, a CI Summary
dependency) fails yamlfmt for every main-targeting PR. Reflow them (whitespace/doc-start only;
no semantic change) so CI Summary passes. OMN-12939 contract + receipts are unchanged.

Affected: OMN-11513, OMN-12564, OMN-12673, OMN-12745, OMN-12765, OMN-12770, OMN-12833, OMN-12856.

Evidence-Ticket: OMN-12939
@jonahgabriel
jonahgabriel merged commit 4d3057b into main Jun 11, 2026
58 checks passed
@jonahgabriel
jonahgabriel deleted the hotfix/omn-12939-occ-main-promote branch June 11, 2026 09:46
jonahgabriel added a commit that referenced this pull request Jun 11, 2026
* evidence(OMN-12950): promote OCC contract + receipts to main

OCC PR #2464 squash-merged the OMN-12950 reducer runtime-profile ownership
contract + dod receipts to OCC dev only. omnimarket PR #1164 (target dev,
receipt-gate policy=legacy) validates Evidence-Source against OCC main, where
contracts/OMN-12950.yaml was absent -> merge_group Receipt Gate failure.

Promotes contracts/OMN-12950.yaml and drift/dod_receipts/OMN-12950/* to OCC
main so PR #1164 Evidence-Source resolves to an OCC main ancestor.

Same promotion pattern as OMN-12939 (#2462).

* ci(OMN-12950): retrigger checks with main base context

* evidence(OMN-12950): add self-binding OCC eligibility receipt for promote PR #2466

OCC preflight eligibility (reason pr_ticket_mismatch) requires a PASS receipt
binding to the promote PR itself. Mirrors OMN-12939 dod-occ-pr-2462.

* evidence(OMN-12950): declare dod-occ-pr-2466 self-receipt + resync contract_sha256

OCC eligibility iterates receipts declared in the contract dod_evidence list and
binds them to the PR by pr_number/commit_sha. The promote PR #2466 needs a
self-binding receipt DECLARED in the contract (not just on disk). Adds the
dod-occ-pr-2466 evidence entry and resyncs contract_sha256 across all four
receipts to the new contract digest b8d8667f. Mirrors OMN-12939 dod-occ-pr-2462.
jake-b-omni pushed a commit that referenced this pull request Oct 2, 2026
AC4 now names Gemini, OpenRouter and OpenAI on the developer's key and Ollama
on the Mac with no key. Its earlier bindings are on merged items the
Append-Only Gate forbids editing; one record beside them re-accepts the
current text, backed by the onboarding tests at omniclaude dev (#2462 merged)
and naming what was proven by hand.
jake-b-omni added a commit that referenced this pull request Oct 2, 2026
* evidence(OMN-20150): re-accept AC4 for the four model choices

AC4 now names Gemini, OpenRouter and OpenAI on the developer's key and Ollama
on the Mac with no key. Its earlier bindings are on merged items the
Append-Only Gate forbids editing; one record beside them re-accepts the
current text, backed by the onboarding tests at omniclaude dev (#2462 merged)
and naming what was proven by hand.

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

---------

Co-authored-by: Jake Brower <jake@bodegalogic.com>
Co-authored-by: onexbot-occ-writer[bot] <onexbot-occ-writer[bot]@users.noreply.github.com>
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