Skip to content

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

Merged
jonahgabriel merged 2 commits into
devfrom
jonah/omn-19550-occ-companion-omnimarket-2937
Sep 26, 2026
Merged

jonahgabriel merged 2 commits into
devfrom
jonah/omn-19550-occ-companion-omnimarket-2937

Conversation

@jonahgabriel

Copy link
Copy Markdown
Contributor

Summary

Hand-authored OCC companion for OmniNode-ai/omnimarket#2937 (OMN-19550). occ-preflight/eligibility declined that PR terminally at head 7826cc6baf65117804ec013ee80a7e4f66ea6a10 with skip:NO_RED_DERIVABLE_CHECK (job 108367006588, run 36228505155): 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.

No other companion exists for PR #2937 (search of this repository's open and closed pull requests for "2937" returned 0). OMN-19550 already carries two companions, each bound to a different sibling PR: #11418 (merged, for omnibase_infra#4154) and #11275 (open, for omnimarket#2905). Neither cites #2937.

What this adds

Appends two dod_evidence entries to the existing contracts/OMN-19550.yaml and their receipts:

  • dod-OmniNode-ai-omnimarket-pr-2937: content-bound probe pinned to the PR head. scripts/application-relation-ownership.yaml's new role: session_content field line is present at 7826cc6baf65117804ec013ee80a7e4f66ea6a10 (grep count 1, exit 0) and absent at the merge base cd220fd03a25d0e1c578e98ad3e80f385cf587b7 (count 0, exit 1). Positive control on the merge-base ref (a known pre-existing role) confirms the read returns real content rather than failing closed.
  • dod-OmniNode-ai-omnimarket-pr-2937-scope: product diff scope. The PR's file list carries exactly 3 files and 0 migration SQL files, confirming its own declaration-only claim.

Neither entry binds any of OMN-19550's six acceptance criteria: PR #2937 is step 1 of the forced three-part order (declare ownership, vendor the migration in omnibase_infra#4154, land the node package and migration in omnimarket#2905) and proves none of AC1-AC6 itself.

Purely additive: every existing OMN-19550 entry and receipt is byte-identical. Verified by recomputing contract_entry_sha256 for the three pre-existing entries (dod-OmniNode-ai-omnibase_infra-pr-4154, dod-occ-diff-derived-behavior-proof, occ-self-bind-pr-11418) with the real compute_contract_entry_sha256 function and reproducing each recorded value byte for byte.

Verification

  • check_contract_change_rebinds_receipts.py --staged, check_receipt_hardening.py --staged, check_contract_substance_floor.py and check_contract_dod_authoring.py all pass locally on the changed files.
  • Full pre-commit run over the touched files passes.
  • Behavior proof for the product PR: independently re-ran uv run pytest tests/unit/scripts/test_application_relation_inventory.py -q in a fresh worktree at the PR head (clean, HEAD=7826cc6baf65117804ec013ee80a7e4f66ea6a10) -- 12 passed.

OMN-19550

jonahgabriel and others added 2 commits September 26, 2026 04:48
…market#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
@jonahgabriel
jonahgabriel enabled auto-merge (squash) September 26, 2026 08:54
@jonahgabriel
jonahgabriel merged commit b57d215 into dev Sep 26, 2026
82 checks passed
@jonahgabriel
jonahgabriel deleted the jonah/omn-19550-occ-companion-omnimarket-2937 branch September 26, 2026 09: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