Skip to content

fix(strix): validate finding locations against scan tree - #2089

Open
seonghobae wants to merge 1 commit into
mainfrom
fix/strix-location-integrity-1942
Open

fix(strix): validate finding locations against scan tree#2089
seonghobae wants to merge 1 commit into
mainfrom
fix/strix-location-integrity-1942

Conversation

@seonghobae

Copy link
Copy Markdown
Contributor

Summary

  • validate every reported Strix path:line range against the trusted scan tree
  • classify all-invalid locations as retryable model inconsistency
  • keep mixed valid/invalid locations fail-closed and blocking
  • copy the validator into the shell gate fixtures

Closes #1942

Verification

  • python -m pytest -q tests/test_validate_strix_location_ranges.py tests/test_strix_location_integrity_contract.py (5 passed)
  • bash -n scripts/ci/strix_quick_gate.sh scripts/ci/test_strix_quick_gate.sh
  • all five affected GitHub Models fallback scenarios pass individually
  • git diff --check
  • the full shell harness was attempted with a 900s budget but exceeded that environment limit; affected scenarios were then run individually

@coderabbitai

coderabbitai Bot commented Sep 11, 2026

Copy link
Copy Markdown

Warning

Review limit reached

Next included review available in 14 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Learn how review limits work.

Review configuration:

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Advanced

Run ID: 9dbb70af-e11a-42a9-88e4-4ef8961b7405

📥 Commits

Reviewing files that changed from the base of the PR and between cb0872c and 693e618.

📒 Files selected for processing (8)
  • CHANGELOG.d/20260911-strix-location-integrity.md
  • docs/pr-review-and-merge-procedure.md
  • docs/product-technical-gap-baseline.md
  • scripts/ci/strix_quick_gate.sh
  • scripts/ci/test_strix_quick_gate.sh
  • scripts/ci/validate_strix_location_ranges.py
  • tests/test_strix_location_integrity_contract.py
  • tests/test_validate_strix_location_ranges.py

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

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

@opencode-agent opencode-agent Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

OpenCode reviewed the current-head product diff. Coverage is a separate gate.

Changed files

  • CHANGELOG.d/20260911-strix-location-integrity.md — repository behavior
  • docs/pr-review-and-merge-procedure.md — operator or user guidance
  • docs/product-technical-gap-baseline.md — operator or user guidance
  • scripts/ci/strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/test_strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/validate_strix_location_ranges.py — review and security gate shell path
  • tests/test_strix_location_integrity_contract.py — regression suite
  • tests/test_validate_strix_location_ranges.py — regression suite

Changed behavior

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

Findings

No source-backed product finding is synthesized from the coverage gate. A coverage miss belongs in the status comment.

  • Head SHA: 693e618b6c11cc4e1286734940a1c3b21a50d074
  • Workflow run: 34563899578
  • Workflow attempt: 1
  • Coverage gate: failure

Review outcome

Coverage is a gate, not the review. This body reviews the changed product files.

Changed-File Evidence Map

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

@opencode-agent

opencode-agent Bot commented Sep 11, 2026

Copy link
Copy Markdown
Contributor

OpenCode Review Overview

Coverage evidence did not pass, so approval is blocked. The formal pull-request review is the source-backed diff review, not this status comment.

@opencode-agent opencode-agent Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

OpenCode reviewed the current-head product diff. Coverage is a separate gate.

Changed files

  • CHANGELOG.d/20260911-strix-location-integrity.md — repository behavior
  • docs/pr-review-and-merge-procedure.md — operator or user guidance
  • docs/product-technical-gap-baseline.md — operator or user guidance
  • scripts/ci/strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/test_strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/validate_strix_location_ranges.py — review and security gate shell path
  • tests/test_strix_location_integrity_contract.py — regression suite
  • tests/test_validate_strix_location_ranges.py — regression suite

Changed behavior

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

Findings

No source-backed product finding is synthesized from the coverage gate. A coverage miss belongs in the status comment.

  • Head SHA: 693e618b6c11cc4e1286734940a1c3b21a50d074
  • Workflow run: 34567523470
  • Workflow attempt: 1
  • Coverage gate: failure

Review outcome

Coverage is a gate, not the review. This body reviews the changed product files.

Changed-File Evidence Map

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

@opencode-agent opencode-agent Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

OpenCode reviewed the current-head product diff. Coverage is a separate gate.

Changed files

  • CHANGELOG.d/20260911-strix-location-integrity.md — repository behavior
  • docs/pr-review-and-merge-procedure.md — operator or user guidance
  • docs/product-technical-gap-baseline.md — operator or user guidance
  • scripts/ci/strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/test_strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/validate_strix_location_ranges.py — review and security gate shell path
  • tests/test_strix_location_integrity_contract.py — regression suite
  • tests/test_validate_strix_location_ranges.py — regression suite

Changed behavior

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

Findings

No source-backed product finding is synthesized from the coverage gate. A coverage miss belongs in the status comment.

  • Head SHA: 693e618b6c11cc4e1286734940a1c3b21a50d074
  • Workflow run: 34571333547
  • Workflow attempt: 1
  • Coverage gate: failure

Review outcome

Coverage is a gate, not the review. This body reviews the changed product files.

Changed-File Evidence Map

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

@opencode-agent opencode-agent Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

OpenCode reviewed the current-head product diff. Coverage is a separate gate.

Changed files

  • CHANGELOG.d/20260911-strix-location-integrity.md — repository behavior
  • docs/pr-review-and-merge-procedure.md — operator or user guidance
  • docs/product-technical-gap-baseline.md — operator or user guidance
  • scripts/ci/strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/test_strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/validate_strix_location_ranges.py — review and security gate shell path
  • tests/test_strix_location_integrity_contract.py — regression suite
  • tests/test_validate_strix_location_ranges.py — regression suite

Changed behavior

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

Findings

No source-backed product finding is synthesized from the coverage gate. A coverage miss belongs in the status comment.

  • Head SHA: 693e618b6c11cc4e1286734940a1c3b21a50d074
  • Workflow run: 34575767325
  • Workflow attempt: 1
  • Coverage gate: failure

Review outcome

Coverage is a gate, not the review. This body reviews the changed product files.

Changed-File Evidence Map

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

@opencode-agent opencode-agent Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

OpenCode reviewed the current-head product diff. Coverage is a separate gate.

Changed files

  • CHANGELOG.d/20260911-strix-location-integrity.md — repository behavior
  • docs/pr-review-and-merge-procedure.md — operator or user guidance
  • docs/product-technical-gap-baseline.md — operator or user guidance
  • scripts/ci/strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/test_strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/validate_strix_location_ranges.py — review and security gate shell path
  • tests/test_strix_location_integrity_contract.py — regression suite
  • tests/test_validate_strix_location_ranges.py — regression suite

Changed behavior

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

Findings

No source-backed product finding is synthesized from the coverage gate. A coverage miss belongs in the status comment.

  • Head SHA: 693e618b6c11cc4e1286734940a1c3b21a50d074
  • Workflow run: 34577994255
  • Workflow attempt: 1
  • Coverage gate: failure

Review outcome

Coverage is a gate, not the review. This body reviews the changed product files.

Changed-File Evidence Map

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

@opencode-agent opencode-agent Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

OpenCode reviewed the current-head product diff. Coverage is a separate gate.

Changed files

  • CHANGELOG.d/20260911-strix-location-integrity.md — repository behavior
  • docs/pr-review-and-merge-procedure.md — operator or user guidance
  • docs/product-technical-gap-baseline.md — operator or user guidance
  • scripts/ci/strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/test_strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/validate_strix_location_ranges.py — review and security gate shell path
  • tests/test_strix_location_integrity_contract.py — regression suite
  • tests/test_validate_strix_location_ranges.py — regression suite

Changed behavior

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

Findings

No source-backed product finding is synthesized from the coverage gate. A coverage miss belongs in the status comment.

  • Head SHA: 693e618b6c11cc4e1286734940a1c3b21a50d074
  • Workflow run: 34580945692
  • Workflow attempt: 1
  • Coverage gate: failure

Review outcome

Coverage is a gate, not the review. This body reviews the changed product files.

Changed-File Evidence Map

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

@opencode-agent opencode-agent Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

OpenCode reviewed the current-head product diff. Coverage is a separate gate.

Changed files

  • CHANGELOG.d/20260911-strix-location-integrity.md — repository behavior
  • docs/pr-review-and-merge-procedure.md — operator or user guidance
  • docs/product-technical-gap-baseline.md — operator or user guidance
  • scripts/ci/strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/test_strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/validate_strix_location_ranges.py — review and security gate shell path
  • tests/test_strix_location_integrity_contract.py — regression suite
  • tests/test_validate_strix_location_ranges.py — regression suite

Changed behavior

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

Findings

No source-backed product finding is synthesized from the coverage gate. A coverage miss belongs in the status comment.

  • Head SHA: 693e618b6c11cc4e1286734940a1c3b21a50d074
  • Workflow run: 34582521030
  • Workflow attempt: 1
  • Coverage gate: failure

Review outcome

Coverage is a gate, not the review. This body reviews the changed product files.

Changed-File Evidence Map

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

@opencode-agent opencode-agent Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

OpenCode reviewed the current-head product diff. Coverage is a separate gate.

Changed files

  • CHANGELOG.d/20260911-strix-location-integrity.md — repository behavior
  • docs/pr-review-and-merge-procedure.md — operator or user guidance
  • docs/product-technical-gap-baseline.md — operator or user guidance
  • scripts/ci/strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/test_strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/validate_strix_location_ranges.py — review and security gate shell path
  • tests/test_strix_location_integrity_contract.py — regression suite
  • tests/test_validate_strix_location_ranges.py — regression suite

Changed behavior

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

Findings

No source-backed product finding is synthesized from the coverage gate. A coverage miss belongs in the status comment.

  • Head SHA: 693e618b6c11cc4e1286734940a1c3b21a50d074
  • Workflow run: 34584759129
  • Workflow attempt: 1
  • Coverage gate: failure

Review outcome

Coverage is a gate, not the review. This body reviews the changed product files.

Changed-File Evidence Map

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

@opencode-agent opencode-agent Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

OpenCode reviewed the current-head product diff. Coverage is a separate gate.

Changed files

  • CHANGELOG.d/20260911-strix-location-integrity.md — repository behavior
  • docs/pr-review-and-merge-procedure.md — operator or user guidance
  • docs/product-technical-gap-baseline.md — operator or user guidance
  • scripts/ci/strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/test_strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/validate_strix_location_ranges.py — review and security gate shell path
  • tests/test_strix_location_integrity_contract.py — regression suite
  • tests/test_validate_strix_location_ranges.py — regression suite

Changed behavior

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

Findings

No source-backed product finding is synthesized from the coverage gate. A coverage miss belongs in the status comment.

  • Head SHA: 693e618b6c11cc4e1286734940a1c3b21a50d074
  • Workflow run: 34586111327
  • Workflow attempt: 1
  • Coverage gate: failure

Review outcome

Coverage is a gate, not the review. This body reviews the changed product files.

Changed-File Evidence Map

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

@opencode-agent opencode-agent Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

OpenCode reviewed the current-head product diff. Coverage is a separate gate.

Changed files

  • CHANGELOG.d/20260911-strix-location-integrity.md — repository behavior
  • docs/pr-review-and-merge-procedure.md — operator or user guidance
  • docs/product-technical-gap-baseline.md — operator or user guidance
  • scripts/ci/strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/test_strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/validate_strix_location_ranges.py — review and security gate shell path
  • tests/test_strix_location_integrity_contract.py — regression suite
  • tests/test_validate_strix_location_ranges.py — regression suite

Changed behavior

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

Findings

No source-backed product finding is synthesized from the coverage gate. A coverage miss belongs in the status comment.

  • Head SHA: 693e618b6c11cc4e1286734940a1c3b21a50d074
  • Workflow run: 34587402450
  • Workflow attempt: 1
  • Coverage gate: failure

Review outcome

Coverage is a gate, not the review. This body reviews the changed product files.

Changed-File Evidence Map

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

@opencode-agent opencode-agent Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

OpenCode reviewed the current-head product diff. Coverage is a separate gate.

Changed files

  • CHANGELOG.d/20260911-strix-location-integrity.md — repository behavior
  • docs/pr-review-and-merge-procedure.md — operator or user guidance
  • docs/product-technical-gap-baseline.md — operator or user guidance
  • scripts/ci/strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/test_strix_quick_gate.sh — review and security gate shell path
  • scripts/ci/validate_strix_location_ranges.py — review and security gate shell path
  • tests/test_strix_location_integrity_contract.py — regression suite
  • tests/test_validate_strix_location_ranges.py — regression suite

Changed behavior

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

Findings

No source-backed product finding is synthesized from the coverage gate. A coverage miss belongs in the status comment.

  • Head SHA: 693e618b6c11cc4e1286734940a1c3b21a50d074
  • Workflow run: 34588378965
  • Workflow attempt: 1
  • Coverage gate: failure

Review outcome

Coverage is a gate, not the review. This body reviews the changed product files.

Changed-File Evidence Map

flowchart LR
  PR["PR changed files"] --> Evidence["OpenCode bounded evidence"]
  Evidence --> S1["Repository file: 20260911-strix-location-integrity.md"]
  S1 --> I1["repository behavior"]
  I1 --> R1["Review risk: Repository file: 20260911-strix-location-integrity.md"]
  R1 --> V1["required checks"]
  Evidence --> S2["Docs: pr-review-and-merge-procedure.md (2 files)"]
  S2 --> I2["operator or user guidance"]
  I2 --> R2["Review risk: Docs: pr-review-and-merge-procedure.md (2 files)"]
  R2 --> V2["docs review"]
  Evidence --> S3["CI script: strix_quick_gate.sh"]
  S3 --> I3["review and security gate shell path"]
  I3 --> R3["Review risk: CI script: strix_quick_gate.sh"]
  R3 --> V3["bash -n plus Strix self-test"]
  Evidence --> S4["CI script: test_strix_quick_gate.sh"]
  S4 --> I4["review and security gate shell path"]
  I4 --> R4["Review risk: CI script: test_strix_quick_gate.sh"]
  R4 --> V4["bash -n plus Strix self-test"]
  Evidence --> S5["CI script: validate_strix_location_ranges.py"]
  S5 --> I5["review and security gate shell path"]
  I5 --> R5["Review risk: CI script: validate_strix_location_ranges.py"]
  R5 --> V5["bash -n plus Strix self-test"]
  Evidence --> S6["Test: test_strix_location_integrity_contract.py (2 files)"]
  S6 --> I6["regression suite"]
  I6 --> R6["Review risk: Test: test_strix_location_integrity_contract.py (2 files)"]
  R6 --> V6["targeted test run"]
Loading

@seonghobae

Copy link
Copy Markdown
Contributor Author

HIGH finding on exact head 693e618b6c11cc4e1286734940a1c3b21a50d074: location_state() accepts paths outside the trusted scan tree.

Reproduction in the isolated PR worktree:

scan = tmp/scan
outside = tmp/outside.py
records = ../outside.py\t1\t1
location_state(tmp, scan, records) == 2

scan/link -> tmp/target
target/secret.py exists
records = link/secret.py\t1\t1
location_state(tmp, scan, records) == 2

The validator joins untrusted path values directly with scan_target and repo_root, then checks is_file()/is_symlink() only on the final candidate. .. traversal escapes the scan root, and a symlinked ancestor redirects the scan-tree path while the final file itself is not a symlink. This defeats the trusted scan-tree location contract. Please reject absolute paths, normalize and require the candidate to remain under the intended root, and reject symlinked ancestors (or use an equivalent no-follow traversal), with regressions for ../outside.py and scan/link/secret.py.

@seonghobae

Copy link
Copy Markdown
Contributor Author

Reproduction patch prepared in an isolated worktree (not committed or pushed):

  • Add _regular_source(root, relative_path) that rejects absolute paths, .. components, symlinked/missing ancestors, and non-regular files.
  • Use it for both scan-target and repository fallback candidates.
  • Add regressions for ../outside.py and scan/link/secret.py where scan/link -> target.

Verification: uv run pytest tests/test_validate_strix_location_ranges.py tests/test_strix_location_integrity_contract.py -q -> 7 passed; git diff --check passes. The original implementation returned valid state 2 for both hostile paths; the patch returns invalid state 0. Other PR changes were not modified, committed, or pushed.

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.

Strix gate treats findings whose cited path:line does not exist in the scanned tree as blocking vulnerability evidence

1 participant