Skip to content

fix(records): report gate workflow scan faults - #274

Merged
randomparity merged 3 commits into
mainfrom
feat/gate-paths-scan-status-89
Aug 28, 2026
Merged

fix(records): report gate workflow scan faults#274
randomparity merged 3 commits into
mainfrom
feat/gate-paths-scan-status-89

Conversation

@randomparity

Copy link
Copy Markdown
Owner

Summary

  • preserve and classify git grep status while deriving protected workflow paths
  • fail closed with E-GATE-PATHS-SCAN when the base-ref workflow search faults
  • cover scan faults and option-shaped checker basenames with PATH-stubbed regressions
  • keep the shipped tome-of-lore assets byte-identical and bump the plugin patch version

Verification

  • BASE_SHA=$(git merge-base HEAD main) just verify
  • managed pre-push verification

Closes #89

@randomparity

Copy link
Copy Markdown
Owner Author

verdict: approve
exit: none
findings: 0
iterations: 1
security: approve
delivered-head-sha: 7f7bd9a

Forge whole-branch review

forge review: not required (cast mode for the verified governed-small-change)

@randomparity
randomparity merged commit 96fb83e into main Aug 28, 2026
5 checks passed
@randomparity
randomparity deleted the feat/gate-paths-scan-status-89 branch August 28, 2026 11:19
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.

gate_paths discards a git grep status inside a pipeline that has no reporting channel

1 participant