Repository navigation
ci: differential oracle lane, test-summary aggregator, copilot-review-posted producer, version 0.10.0 (sq-5reoy) - #102
Merged
Conversation
…t-review-posted producer + version 0.10.0 (sq-5reoy) [SONNET-4.6] - ci.yml: add `differential` job (Rust harness drift-guard + full oracle + self-test, ported from sparq zk-toolchain.yml differential-ieee754 job; SHA-pinned actions, two-level nargo pin, Swatinem cache keyed `ieee754-differential`) - ci.yml: add `test-summary` aggregator job (needs: [test, differential], if: always(), fails if either predecessor did not succeed) — satisfies the ruleset-11111001 required_status_checks context "test-summary" that was previously phantom-blocked - copilot-review-posted.yml: producer workflow (pull_request_review + pull_request synchronize triggers; statuses: write; queries PR reviews API for copilot-pull-request-reviewer[bot]; POSTs success/failure commit status context "copilot-review-posted") — fixes sq-umj0p gap for noir_IEEE754 - Nargo.toml: add version = "0.10.0" (first versioned release of the sparq_ieee754 lineage; no version field existed previously) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
ci.yml—differentialjob: ports thedifferential-ieee754job from sparq'szk-toolchain.ymlto the face repo. Builds the standalone Rust harness (differential/), drift-guards the committed oracle (tests/differential_oracle/src/lib.nragainst the generator), runs the full oracle suite (24 test functions, ~4500 assertions), and runs the inject-fault self-test to prove the harness is non-vacuous. SHA-pinned actions, two-level nargo pin (noirup tagged release + pinned NARGO_VERSION), Swatinem cache.ci.yml—test-summaryaggregator: adds atest-summaryjob (needs: [test, differential],if: always()) that fails loudly if either predecessor did not succeed. This satisfies the ruleset-11111001required_status_checkscontext"test-summary"which was previously phantom-unmet (no workflow produced it), hard-blocking every PR.copilot-review-posted.yml: new producer workflow. Triggers onpull_request_review(submitted) andpull_request(opened/synchronize/reopened). Queries the PR reviews API forcopilot-pull-request-reviewer[bot]and POSTs asuccess/failurecommit status with context"copilot-review-posted". Fixes the sq-umj0p gap for noir_IEEE754 — the other required_status_checks context that was phantom-unmet.Nargo.toml: addsversion = "0.10.0"— the first versioned release of thesparq_ieee754lineage (noversionfield existed in the pre-migration package).Bootstrap note
This PR itself will be hard-blocked by the ruleset until the
copilot-review-postedproducer is running and Copilot has reviewed it. Admin bypass is needed for this one bootstrap merge, exactly as surveyed. Once merged, all subsequent PRs will get the producer from the workflow itself.Test plan
testjob green (nargo tests + generated vectors + API surface + lint)differentialjob green (drift guard + oracle + self-test)test-summaryjob green (aggregator reports success)copilot-review-posted.ymlworkflow appears in Actions tab🤖 Generated with Claude Code