Repository navigation
evidence(OMN-15379): OCC companion for omnibase_infra#2540 — lane-scoped fence release (ruling 15) - #5469
Conversation
|
Warning Review limit reachedYou’ve reached a temporary PR review limit under our Fair Usage Limits Policy. Next review available in: 51 minutes Enable usage-based reviews in Billing to review now. Otherwise, wait until the next included review is available. How can I continue?After more reviews become available, a review can be triggered using the To avoid repeated limits, reduce automatic review volume by pausing incremental auto-reviews earlier, using label-based review opt-in, excluding WIP or generated PR titles, or requesting reviews manually when the PR is ready. If your team needs uninterrupted high-volume reviews, an organization admin can enable usage-based reviews. How do review limits work?CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan review availability. For paid Pro and Pro+ PR reviews, CodeRabbit uses adaptive limits for sustained high-volume activity. When a developer's recent PR review activity reaches the 95th percentile or higher among CodeRabbit users, additional reviews become available more gradually as earlier reviews age out of the rolling window. Please refer docs for additional details. Review details⚙️ Run configurationConfiguration used: defaults Review profile: CHILL Plan: Pro Run ID: 📒 Files selected for processing (6)
Comment |
75ebf50 to
9205e4e
Compare
Hand-authored because the machine mint is STRANDED, not bypassed: the occ-companion-effect publisher SUCCEEDED on #2540, but live readback of the .201 dev broker shows onex.cmd.omnimarket.occ-companion-effect-requested.v1 at HIGH-WATERMARK 25 with ZERO consumer groups. The consuming runtime is down, and it is down because of the cold-bring-up failure #2540 fixes. OMN-15247 class. Five dod_evidence items. Every check_value was round-tripped out of the YAML and EXECUTED before this commit; none is a shape-only declaration. fence carries registration 0002 (pinned head SHA): head 2 / origin-dev 0 -> RED proven against the pre-change artifact indicator absent from base compose: base 0 / dev-lane overlay 2 -> discriminates; it is not a file-presence check FORCE RLS live on the lab lane: exit 1 (table absent, cold lane) -> DECLARED acceptance, NOT satisfied. Admissibility proven both ways: the identical probe against stability-test, where node_service_registry IS forced, exits 0. So the RED is a state fact, not a broken command. non-dev lanes unchanged: exit 0 against the true baseline 060 -> asserts UNCHANGED, not zero. stability-test's six forced tables are the pre-existing OMN-15336 breach, deliberately not rolled back here; a zero-expectation probe would go RED for a condition this PR did not cause. A 000 expectation exits 1 (RED control). No Done flip. Net-new file only.
…e-free Three gates fired and all three were right; this commit obeys them rather than working around them. OMN-14051 (hermeticity): two check_values invoked ssh. A CI runner has no ssh and no route to .201, so they could never pass there. Both removed. OMN-12791 (receipt honesty) + OMN-13060 (receipt hardening): the sanctioned substitute for a live probe is a committed receipt that the contract greps. I wrote one - and the gates correctly rejected it: SELF_ATTESTATION, because runner and verifier were the same single lane, and missing contract_entry_sha256 because receipts must be tool-generated. Inventing a second verifier identity or hand-forging the hash would be exactly the self-authored evidence those gates exist to stop, so the receipt is deleted, not patched. What remains are three items, all hermetic, all executed before commit, none reading anything this PR authors: - PR bind for omnibase_infra#2540 - fence carries registration 0002 at the pinned head SHA (head 2 / dev 0) - lane indicator absent from the base compose (base 0 / dev overlay 2) The two live measurements are now recorded as PROSE OBSERVATIONS in the contract summary, not as evidence claims: - blast radius 0/6/0 (prod/stability-test/judge), unchanged from baseline - the ruling-15 FORCE readback, NOT yet satisfied (lab lane is cold) Both land as append-only dod_evidence with tool-generated, independently verified receipts once the lab bring-up is done.
9205e4e to
2c100dc
Compare
OCC companion for OmniNode-ai/omnibase_infra#2540 (operator ruling 15 — lane-scoped node-migration fence release, lab lane is the FORCE proving ground).
Net-new file only:
contracts/OMN-15379.yaml. No Done flip.Why this is hand-authored
The machine producer is stranded, not bypassed.
occ-companion-effect / Publish occ-companion-effect commandreported SUCCESS on #2540, but live readback of the.201dev broker shows:25 companion commands published, none ever consumed. The consuming runtime is down — and it is down because of exactly the cold-bring-up failure #2540 fixes (
0000fenced,0002unfenced →relation "node_service_registry" does not exist→forward-migrationexit 3). That circularity is why this companion is hand-authored. It is an instance of the OMN-15247 orphaned-mint class and is flagged as such, not papered over.Every check_value was executed before commit
Round-tripped out of the committed YAML and run — not shape-only declarations. This caught two real defects in my own evidence, both fixed before commit:
dod-deploy-fence-parity-seven-idsorigin/dev→ 0. RED proven against the pre-change artifact.dod-deploy-lane-indicator-not-in-base-composedod-deploy-force-rls-live-on-lab-lanedod-deploy-non-dev-lanes-unchanged060, not zero.Defect 1 caught: the FORCE probe was inadmissible as first written
The original used nested quotes that the local shell consumed before
ssh, so the remote got a syntax error — it could never have gone GREEN, and its RED would have been vacuous. It also compared againsttwhenboolean::textrenderstrue. Rewritten and admissibility proven in both directions: the identical probe pointed atomnibase-infra-stability-test-postgres, wherenode_service_registryis forced, exits 0; against the cold dev lane it exits 1. So the current RED is a real state fact. Exact-match grep, so RLS-enabled-but-not-FORCED also reads RED — falsifiable against exists-but-wrong, not merely against absent.Defect 2 caught: my blast-radius baseline was a false clean
The first capture rendered booleans via
boolean || text(→true/false) while the summary grepped for|t$, so it reported forced=0 on all three lanes. Re-read directly, the truth is:Those six are the pre-existing OMN-15336 breach, deliberately not rolled back here (that disposition is OMN-15088). So the probe asserts the posture is UNCHANGED (
060), not zero — a zero-expectation probe would have gone RED for a condition #2540 did not cause. RED control: a000expectation exits 1. Fail-closed by construction — ansshfailure yields an empty capture, which does not equal060.Deliberately not done
No Done flip, no status change, no receipt authored, no supersession (this is a net-new contract, not a rebind), and no change to the
omninode_infrak8s staging fence.