Repository navigation
evidence(OMN-15651): OCC companion for OmniNode-ai/omninode_infra#809 - #6035
Merged
jonahgabriel merged 3 commits intoAug 4, 2026
Merged
Conversation
onexbot-occ-writer
Bot
force-pushed
the
auto/omninode-ai-omninode_infra-pr-809-occ-autobind
branch
from
August 3, 2026 23:22
5b199eb to
522e182
Compare
…e append-only The node_occ_companion_effect autobind for OmniNode-ai/omninode_infra#809 generated 14 command.supersede.809.yaml files that rebound unrelated, already-merged evidence items (market#2012/#2014/#2015, core#1541, and prior OCC self-binds) to a single generic `gh pr view 809` probe. That violates the OMN-15459 supersession ratchet on both axes: S1 (one probe cannot be authoritative proof for 13+ distinct evidence items) and S2 (the probe references nothing the superseded item's own dod_evidence entry declares). It also edited the merged `dod-occ-evidence-admissibility-validator` receipt in place, tripping the OCC append-only gate (merged receipts are immutable; corrections must be net-new supersede files). Repair: drop all 14 spurious supersede files (infra#809 does not need to rebind prior consumers' evidence — it only needs its own), and restore the admissibility-validator receipt to its merged (dev) content. This matches the shape of the merged #6031/#6021 companions, which only add new evidence items for their own PR rather than rebinding history. Kept: the genuine new items (dod-OmniNode-ai-omninode_infra-pr-809, occ-self-bind-pr-6035) and the contract's occ-self-bind-pr-6035 entry. Verified locally: validator_occ_append_only (0 violations), check_receipt_hardening.py --supersession-corpus (2344 == 2344 baseline, matches frozen), tests/unit/scripts/test_supersession_binding_gate.py (20 passed), tests/test_evidence_admissibility.py (76 passed).
jonahgabriel
deleted the
auto/omninode-ai-omninode_infra-pr-809-occ-autobind
branch
August 4, 2026 00:06
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.
Deterministic OCC evidence companion for OmniNode-ai/omninode_infra#809, authored by node_occ_companion_effect (RSD-3, OMN-14622) from the node_occ_companion_compute plan. Every byte is a pure function of the compute plan (attestation-oracle reproducible).