Skip to content

perf(crosscheck): reuse the Azure reviewer host - #353

Merged
ruby-dlee merged 1 commit into
mainfrom
codex/crosscheck-fast
Aug 26, 2026
Merged

perf(crosscheck): reuse the Azure reviewer host#353
ruby-dlee merged 1 commit into
mainfrom
codex/crosscheck-fast

Conversation

@ruby-dlee

Copy link
Copy Markdown
Owner

Summary

  • admit exact-head semantic findings from cited code instead of launching proof VMs
  • reuse one isolated Azure reviewer host with a unique generation directory and managed run command per review
  • retain four FIFO controller lanes, Ketch lookup, one bounded verdict repair, exact-head binding, staged-blob cleanup, and fail-closed validation
  • simplify operator docs around the supported wrapper and durable review output

Validation

  • bash tests/fm-crosscheck.test.sh
  • bash tests/fm-crosscheck-azure.test.sh
  • python3 -m unittest tests.test_fm_crosscheck_ledger
  • Python, Node, Bash, JSON, and diff syntax checks

@ruby-dlee
ruby-dlee merged commit 2f2297d into main Aug 26, 2026
2 of 4 checks passed
@ruby-dlee
ruby-dlee deleted the codex/crosscheck-fast branch August 26, 2026 18:09
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.

1 participant