Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
72 changes: 72 additions & 0 deletions contracts/OMN-19711.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,72 @@
---
schema_version: "1.0.0"
ticket_id: "OMN-19711"
title: "Autobind OCC evidence for OMN-19711"
summary: "OCC Evidence-Source autobind companion (OMN-13317 F1) for PR #2949."
is_seam_ticket: false
interface_change: false
interfaces_touched: []
requirements:
- id: "req-transcribed-acceptance-criteria"
statement: |-
The acceptance criteria this ticket's author declared, transcribed from the ticket body at autobind time by occ-autobind. The ticket body is the source and this block is the copy; each criterion's id is the label the sibling binds_ac entry claims.
acceptance:
- id: "AC1"
statement: |-
AC1: the tool fails a planted deletion that drops one covered branch (P2) and one that lets a killed mutant survive (P1), and passes a no-op deletion -- falsifier: uv run pytest tests/unit/scripts/ci/test_chain_replacement_parity.py -q
- id: "AC2"
statement: |-
AC2: a missing coverage or mutation input exits 1, never 0 -- falsifier: uv run pytest tests/unit/scripts/ci/test_chain_replacement_parity.py -k test_missing_input_fails_closed -q
evidence_requirements:
- kind: "ci"
description: "PR #2949 product diff scope present"
command: "gh pr view ${PR_NUMBER} --repo ${REPO} --json files"
- kind: "tests"
description: |-
Behavior proof for PR #2949 on OmniNode-ai/omnimarket, derived from the PR's own diff: the test target(s) it adds or changes. Bound as dod_evidence item `dod-occ-diff-derived-behavior-proof`, executed at cwd `${OMNI_HOME}/omnimarket`.
command: "uv run pytest tests/unit/scripts/ci/test_chain_replacement_parity.py -q"
emergency_bypass:
enabled: false
justification: ""
follow_up_ticket_id: ""
dod_evidence:
- id: "dod-OmniNode-ai-omnimarket-pr-2949"
description: "PR #2949 on OmniNode-ai/omnimarket — Evidence-Source autobind."
source: "generated"
checks:
- check_type: "command"
check_value: |-
gh api repos/OmniNode-ai/omnimarket/contents/scripts/ci/chain_replacement_parity.py?ref=11283f4e5cc93127b9c33b0cb4d5d751c949aeec --jq '.content' | base64 -d | grep -c 'class FileCoverage'
binds_ac:
- "AC1"
- "AC2"
ac_bindings:
- label: "AC1"
criterion_hash: "f48742ede7bfcbd442037f4806cb0de5b468fe634282c404e8aec63f3e075b3e"
proposed_by: "occ-autobind"
accepted_by: "7a850ce1-f95e-431f-b4e3-62f7449f04c0"
accepted_at: "2026-09-26T11:01:28Z"
- label: "AC2"
criterion_hash: "f541f1332cbbe27b6dd9ec33a17114679ec7c9aea3943e4795d374e76c813ee8"
proposed_by: "occ-autobind"
accepted_by: "7a850ce1-f95e-431f-b4e3-62f7449f04c0"
accepted_at: "2026-09-26T11:01:28Z"
- id: "dod-OmniNode-ai-omnimarket-pr-2949-ci"
description: "PR #2949 on OmniNode-ai/omnimarket — product diff scope check (OMN-14425)."
source: "generated"
checks:
- check_type: "command"
check_value: "gh pr view 2949 --repo OmniNode-ai/omnimarket --json files"
- id: "dod-occ-diff-derived-behavior-proof-pr-2949"
description: "PR #2949 on OmniNode-ai/omnimarket — diff-derived behavior proof (OMN-16434)."
source: "generated"
checks:
- check_type: "test_passes"
check_value: "uv run pytest tests/unit/scripts/ci/test_chain_replacement_parity.py -q"
cwd: "${OMNI_HOME}/omnimarket"
- id: "occ-self-bind-pr-11459"
description: "OCC companion PR #11459 — self-bind for OMN-19711 (OMN-14650)."
source: "generated"
checks:
- check_type: "command"
check_value: "gh pr view 11459 --repo OmniNode-ai/onex_change_control --json number,state"
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
---
check_type: test_passes
created_at: '2026-09-26T12:04:22Z'
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2927
reason: 'Re-executed for PR #2949 at head 54a55e65af6dd38d7327ec2247ad90f6a6b9bf07. The prior executed
attempt recorded PASS at 11283f4e5cc93127b9c33b0cb4d5d751c949aeec; since then the head moved from 11283f4e5cc93127b9c33b0cb4d5d751c949aeec
to 54a55e65af6dd38d7327ec2247ad90f6a6b9bf07. This record supersedes that attempt and does not edit it.'
replacement:
actual_output: 'PASS: declared check executed in the OmniNode-ai/omnimarket checkout at PR #2949 head;
exit status 0. Run: https://github.com/OmniNode-ai/omnimarket/actions/runs/36240724677'
branch: jonah/omn-19711-chain-replacement-parity-tool
check_type: test_passes
check_value: |-
repos/OmniNode-ai/omnimarket/commits/54a55e65af6dd38d7327ec2247ad90f6a6b9bf07
uv run pytest tests/unit/projection/test_projection_discovery.py -q
commit_sha: 54a55e65af6dd38d7327ec2247ad90f6a6b9bf07
contract_entry_sha256: sha256:e0713c6cd9f291aa4b4f6423928e72ea9075ac4447570fd1a5bfeefa68122380
duration_ms: 16790
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2927
exit_code: 0
pr_number: 2949
probe_command: |-
repos/OmniNode-ai/omnimarket/commits/54a55e65af6dd38d7327ec2247ad90f6a6b9bf07
uv run pytest tests/unit/projection/test_projection_discovery.py -q
probe_stdout: |-
........................................................................ [100%]
72 passed in 5.81s
run_timestamp: '2026-09-26T12:04:22Z'
runner: omnimarket-ci occ-receipt-runner
schema_version: 1.0.0
status: PASS
ticket_id: OMN-19680
verifier: github-actions product-repo test execution
working_dir: null
schema_version: 1.0.0
superseder: omnimarket-ci occ-receipt-runner
supersedes: drift/dod_receipts/OMN-19680/dod-occ-diff-derived-behavior-proof-pr-2927/test_passes.yaml
ticket_id: OMN-19680
tombstone: false
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
---
check_type: test_passes
created_at: '2026-09-26T12:41:50Z'
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2927
reason: 'Re-executed for PR #2949 at head af456116be69089b5eb84e2e0ed5d7af4801badc. The prior executed
attempt recorded PASS at 54a55e65af6dd38d7327ec2247ad90f6a6b9bf07; since then the head moved from 54a55e65af6dd38d7327ec2247ad90f6a6b9bf07
to af456116be69089b5eb84e2e0ed5d7af4801badc. This record supersedes that attempt and does not edit it.'
replacement:
actual_output: 'PASS: declared check executed in the OmniNode-ai/omnimarket checkout at PR #2949 head;
exit status 0. Run: https://github.com/OmniNode-ai/omnimarket/actions/runs/36242699101'
branch: jonah/omn-19711-chain-replacement-parity-tool
check_type: test_passes
check_value: |-
repos/OmniNode-ai/omnimarket/commits/af456116be69089b5eb84e2e0ed5d7af4801badc
uv run pytest tests/unit/projection/test_projection_discovery.py -q
commit_sha: af456116be69089b5eb84e2e0ed5d7af4801badc
contract_entry_sha256: sha256:e0713c6cd9f291aa4b4f6423928e72ea9075ac4447570fd1a5bfeefa68122380
duration_ms: 13655
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2927
exit_code: 0
pr_number: 2949
probe_command: |-
repos/OmniNode-ai/omnimarket/commits/af456116be69089b5eb84e2e0ed5d7af4801badc
uv run pytest tests/unit/projection/test_projection_discovery.py -q
probe_stdout: |-
........................................................................ [100%]
72 passed in 4.76s
run_timestamp: '2026-09-26T12:41:50Z'
runner: omnimarket-ci occ-receipt-runner
schema_version: 1.0.0
status: PASS
ticket_id: OMN-19680
verifier: github-actions product-repo test execution
working_dir: null
schema_version: 1.0.0
superseder: omnimarket-ci occ-receipt-runner
supersedes: drift/dod_receipts/OMN-19680/dod-occ-diff-derived-behavior-proof-pr-2927/test_passes.yaml
ticket_id: OMN-19680
tombstone: false
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
---
check_type: test_passes
created_at: '2026-09-26T13:04:20Z'
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2927
reason: 'Re-executed for PR #2949 at head cb2e5568e4292bedc9a47de35dad061ad6887e3f. The prior executed
attempt recorded PASS at af456116be69089b5eb84e2e0ed5d7af4801badc; since then the head moved from af456116be69089b5eb84e2e0ed5d7af4801badc
to cb2e5568e4292bedc9a47de35dad061ad6887e3f. This record supersedes that attempt and does not edit it.'
replacement:
actual_output: 'PASS: declared check executed in the OmniNode-ai/omnimarket checkout at PR #2949 head;
exit status 0. Run: https://github.com/OmniNode-ai/omnimarket/actions/runs/36243900762'
branch: jonah/omn-19711-chain-replacement-parity-tool
check_type: test_passes
check_value: |-
repos/OmniNode-ai/omnimarket/commits/cb2e5568e4292bedc9a47de35dad061ad6887e3f
uv run pytest tests/unit/projection/test_projection_discovery.py -q
commit_sha: cb2e5568e4292bedc9a47de35dad061ad6887e3f
contract_entry_sha256: sha256:e0713c6cd9f291aa4b4f6423928e72ea9075ac4447570fd1a5bfeefa68122380
duration_ms: 16388
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2927
exit_code: 0
pr_number: 2949
probe_command: |-
repos/OmniNode-ai/omnimarket/commits/cb2e5568e4292bedc9a47de35dad061ad6887e3f
uv run pytest tests/unit/projection/test_projection_discovery.py -q
probe_stdout: |-
........................................................................ [100%]
72 passed in 5.79s
run_timestamp: '2026-09-26T13:04:20Z'
runner: omnimarket-ci occ-receipt-runner
schema_version: 1.0.0
status: PASS
ticket_id: OMN-19680
verifier: github-actions product-repo test execution
working_dir: null
schema_version: 1.0.0
superseder: omnimarket-ci occ-receipt-runner
supersedes: drift/dod_receipts/OMN-19680/dod-occ-diff-derived-behavior-proof-pr-2927/test_passes.yaml
ticket_id: OMN-19680
tombstone: false
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
---
check_type: test_passes
created_at: '2026-09-26T13:26:23Z'
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2927
reason: 'Re-executed for PR #2949 at head cecd3c7e7d54732a4d9f3c3bb663204b97a44fe8. The prior executed
attempt recorded PASS at cb2e5568e4292bedc9a47de35dad061ad6887e3f; since then the head moved from cb2e5568e4292bedc9a47de35dad061ad6887e3f
to cecd3c7e7d54732a4d9f3c3bb663204b97a44fe8. This record supersedes that attempt and does not edit it.'
replacement:
actual_output: 'PASS: declared check executed in the OmniNode-ai/omnimarket checkout at PR #2949 head;
exit status 0. Run: https://github.com/OmniNode-ai/omnimarket/actions/runs/36245125508'
branch: jonah/omn-19711-chain-replacement-parity-tool
check_type: test_passes
check_value: |-
repos/OmniNode-ai/omnimarket/commits/cecd3c7e7d54732a4d9f3c3bb663204b97a44fe8
uv run pytest tests/unit/projection/test_projection_discovery.py -q
commit_sha: cecd3c7e7d54732a4d9f3c3bb663204b97a44fe8
contract_entry_sha256: sha256:e0713c6cd9f291aa4b4f6423928e72ea9075ac4447570fd1a5bfeefa68122380
duration_ms: 17155
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2927
exit_code: 0
pr_number: 2949
probe_command: |-
repos/OmniNode-ai/omnimarket/commits/cecd3c7e7d54732a4d9f3c3bb663204b97a44fe8
uv run pytest tests/unit/projection/test_projection_discovery.py -q
probe_stdout: |-
........................................................................ [100%]
72 passed in 5.77s
run_timestamp: '2026-09-26T13:26:23Z'
runner: omnimarket-ci occ-receipt-runner
schema_version: 1.0.0
status: PASS
ticket_id: OMN-19680
verifier: github-actions product-repo test execution
working_dir: null
schema_version: 1.0.0
superseder: omnimarket-ci occ-receipt-runner
supersedes: drift/dod_receipts/OMN-19680/dod-occ-diff-derived-behavior-proof-pr-2927/test_passes.yaml
ticket_id: OMN-19680
tombstone: false
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
---
check_type: test_passes
created_at: '2026-09-26T13:59:20Z'
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2927
reason: 'Re-executed for PR #2949 at head a350f3d4e68b7274ff18828e3aac91ba0b8e8a7c. The prior executed
attempt recorded PASS at cecd3c7e7d54732a4d9f3c3bb663204b97a44fe8; since then the head moved from cecd3c7e7d54732a4d9f3c3bb663204b97a44fe8
to a350f3d4e68b7274ff18828e3aac91ba0b8e8a7c. This record supersedes that attempt and does not edit it.'
replacement:
actual_output: 'PASS: declared check executed in the OmniNode-ai/omnimarket checkout at PR #2949 head;
exit status 0. Run: https://github.com/OmniNode-ai/omnimarket/actions/runs/36246934084'
branch: jonah/omn-19711-chain-replacement-parity-tool
check_type: test_passes
check_value: |-
repos/OmniNode-ai/omnimarket/commits/a350f3d4e68b7274ff18828e3aac91ba0b8e8a7c
uv run pytest tests/unit/projection/test_projection_discovery.py -q
commit_sha: a350f3d4e68b7274ff18828e3aac91ba0b8e8a7c
contract_entry_sha256: sha256:e0713c6cd9f291aa4b4f6423928e72ea9075ac4447570fd1a5bfeefa68122380
duration_ms: 16345
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2927
exit_code: 0
pr_number: 2949
probe_command: |-
repos/OmniNode-ai/omnimarket/commits/a350f3d4e68b7274ff18828e3aac91ba0b8e8a7c
uv run pytest tests/unit/projection/test_projection_discovery.py -q
probe_stdout: |-
........................................................................ [100%]
72 passed in 5.68s
run_timestamp: '2026-09-26T13:59:20Z'
runner: omnimarket-ci occ-receipt-runner
schema_version: 1.0.0
status: PASS
ticket_id: OMN-19680
verifier: github-actions product-repo test execution
working_dir: null
schema_version: 1.0.0
superseder: omnimarket-ci occ-receipt-runner
supersedes: drift/dod_receipts/OMN-19680/dod-occ-diff-derived-behavior-proof-pr-2927/test_passes.yaml
ticket_id: OMN-19680
tombstone: false
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
---
check_type: test_passes
created_at: '2026-09-26T12:02:42Z'
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2927
reason: 'Re-executed for PR #2949 at head 11283f4e5cc93127b9c33b0cb4d5d751c949aeec. The prior executed
attempt recorded PASS at 614acc9840102e8f13b7bcbaf9ea9e726ad67a7d; since then the head moved from 614acc9840102e8f13b7bcbaf9ea9e726ad67a7d
to 11283f4e5cc93127b9c33b0cb4d5d751c949aeec. This record supersedes that attempt and does not edit it.'
replacement:
actual_output: 'PASS: declared check executed in the OmniNode-ai/omnimarket checkout at PR #2949 head;
exit status 0. Run: https://github.com/OmniNode-ai/omnimarket/actions/runs/36240624462'
branch: jonah/omn-19711-chain-replacement-parity-tool
check_type: test_passes
check_value: |-
repos/OmniNode-ai/omnimarket/commits/11283f4e5cc93127b9c33b0cb4d5d751c949aeec
uv run pytest tests/unit/projection/test_projection_discovery.py -q
commit_sha: 11283f4e5cc93127b9c33b0cb4d5d751c949aeec
contract_entry_sha256: sha256:e0713c6cd9f291aa4b4f6423928e72ea9075ac4447570fd1a5bfeefa68122380
duration_ms: 16742
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2927
exit_code: 0
pr_number: 2949
probe_command: |-
repos/OmniNode-ai/omnimarket/commits/11283f4e5cc93127b9c33b0cb4d5d751c949aeec
uv run pytest tests/unit/projection/test_projection_discovery.py -q
probe_stdout: |-
........................................................................ [100%]
72 passed in 5.32s
run_timestamp: '2026-09-26T12:02:42Z'
runner: omnimarket-ci occ-receipt-runner
schema_version: 1.0.0
status: PASS
ticket_id: OMN-19680
verifier: github-actions product-repo test execution
working_dir: null
schema_version: 1.0.0
superseder: omnimarket-ci occ-receipt-runner
supersedes: drift/dod_receipts/OMN-19680/dod-occ-diff-derived-behavior-proof-pr-2927/test_passes.yaml
ticket_id: OMN-19680
tombstone: false
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
---
schema_version: "1.0.0"
ticket_id: "OMN-19711"
evidence_item_id: "dod-OmniNode-ai-omnimarket-pr-2949-ci"
check_type: "command"
check_value: "gh pr view 2949 --repo OmniNode-ai/omnimarket --json files"
contract_sha256: "sha256:e8e4f28e26ebddd61371d4ddf714717d03b43fecd8449a5de591788d7ba717b0"
contract_entry_sha256: "sha256:14f60825d395380a71d77af0b2aa0f90790f9104c0905529bf65e56820782a11"
status: PASS
run_timestamp: "2026-09-26T12:01:38Z"
commit_sha: "11283f4e5cc93127b9c33b0cb4d5d751c949aeec"
runner: "node_pr_lifecycle_fix_effect"
verifier: "occ-evidence-source-autobind"
probe_command: "gh pr view 2949 --repo OmniNode-ai/omnimarket --json files"
probe_stdout: |
{"files":[{"additions":3,"deletions":0,"path":"pyproject.toml"},{"additions":1049,"deletions":0,"path":"scripts/ci/chain_replacement_parity.py"},{"additions":337,"deletions":0,"path":"tests/unit/scripts/ci/test_chain_replacement_parity.py"},{"additions":157,"deletions":0,"path":"uv.lock"}]}
actual_output: "PASS: product-diff-scope for OMN-19711 from OmniNode-ai/omnimarket#2949."
exit_code: 0
pr_number: 2949
branch: "auto/omninode-ai-omnimarket-pr-2949-occ-autobind"
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
---
schema_version: "1.0.0"
ticket_id: "OMN-19711"
evidence_item_id: "dod-OmniNode-ai-omnimarket-pr-2949"
check_type: "command"
check_value: |-
gh api repos/OmniNode-ai/omnimarket/contents/scripts/ci/chain_replacement_parity.py?ref=11283f4e5cc93127b9c33b0cb4d5d751c949aeec --jq '.content' | base64 -d | grep -c 'class FileCoverage'
contract_sha256: "sha256:e8e4f28e26ebddd61371d4ddf714717d03b43fecd8449a5de591788d7ba717b0"
contract_entry_sha256: "sha256:14c674e600a75b5c4f4c09a0e884c43ec54c2f7feb9627ff2760af2250dc9791"
status: PASS
run_timestamp: "2026-09-26T12:01:38Z"
commit_sha: "11283f4e5cc93127b9c33b0cb4d5d751c949aeec"
runner: "node_pr_lifecycle_fix_effect"
verifier: "occ-evidence-source-autobind"
probe_command: |-
gh api repos/OmniNode-ai/omnimarket/contents/scripts/ci/chain_replacement_parity.py?ref=11283f4e5cc93127b9c33b0cb4d5d751c949aeec --jq '.content' | base64 -d | grep -c 'class FileCoverage'
probe_stdout: |
{"evidence_ref":"11283f4e5cc93127b9c33b0cb4d5d751c949aeec","green_exit":0,"red_exit":1,"red_ref":"b7bb257feec0b06e38969ca9fd2b09255fb7f121"}
actual_output: |-
PASS: content-bound probe GREEN at 11283f4e5cc93127b9c33b0cb4d5d751c949aeec, RED at merge-base b7bb257feec0b06e38969ca9fd2b09255fb7f121 (exit 1).
exit_code: 0
pr_number: 2949
branch: "auto/omninode-ai-omnimarket-pr-2949-occ-autobind"
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
---
check_type: test_passes
created_at: '2026-09-26T12:04:30Z'
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2949
reason: 'Re-executed for PR #2949 at head 54a55e65af6dd38d7327ec2247ad90f6a6b9bf07. The prior executed
attempt recorded PASS at 11283f4e5cc93127b9c33b0cb4d5d751c949aeec; since then the head moved from 11283f4e5cc93127b9c33b0cb4d5d751c949aeec
to 54a55e65af6dd38d7327ec2247ad90f6a6b9bf07. This record supersedes that attempt and does not edit it.'
replacement:
actual_output: 'PASS: declared check executed in the OmniNode-ai/omnimarket checkout at PR #2949 head;
exit status 0. Run: https://github.com/OmniNode-ai/omnimarket/actions/runs/36240724677'
branch: jonah/omn-19711-chain-replacement-parity-tool
check_type: test_passes
check_value: |-
repos/OmniNode-ai/omnimarket/commits/54a55e65af6dd38d7327ec2247ad90f6a6b9bf07
uv run pytest tests/unit/scripts/ci/test_chain_replacement_parity.py -q
commit_sha: 54a55e65af6dd38d7327ec2247ad90f6a6b9bf07
contract_entry_sha256: sha256:ccf29697fedd50fb85e183b50dad86665fcf4778f58ab72b5fc6bd0c7841cd3f
duration_ms: 8245
evidence_item_id: dod-occ-diff-derived-behavior-proof-pr-2949
exit_code: 0
pr_number: 2949
probe_command: |-
repos/OmniNode-ai/omnimarket/commits/54a55e65af6dd38d7327ec2247ad90f6a6b9bf07
uv run pytest tests/unit/scripts/ci/test_chain_replacement_parity.py -q
probe_stdout: |-
......................... [100%]
25 passed in 0.68s
run_timestamp: '2026-09-26T12:04:30Z'
runner: omnimarket-ci occ-receipt-runner
schema_version: 1.0.0
status: PASS
ticket_id: OMN-19711
verifier: github-actions product-repo test execution
working_dir: null
schema_version: 1.0.0
superseder: omnimarket-ci occ-receipt-runner
supersedes: drift/dod_receipts/OMN-19711/dod-occ-diff-derived-behavior-proof-pr-2949/test_passes.yaml
ticket_id: OMN-19711
tombstone: false
Loading
Loading