End-to-end workflow for debugging SSA fuzzer failures from CI. Regenerates a reproduction from the CI seed with `just fuzz-repro`, then bisects SSA passes to identify the bug. Use when a `pass_vs_prev` or similar fuzzer test fails in CI.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
A direct command skips the review prompt. Inspect the source before running it.
End-to-end workflow for debugging SSA fuzzer failures from CI. Regenerates a reproduction from the CI seed with `just fuzz-repro`, then bisects SSA passes to identify the bug. Use when a `pass_vs_prev` or similar fuzzer test fails in CI.
Debugging SSA Fuzzer Failures
This skill provides the complete workflow for debugging SSA optimization bugs discovered by CI fuzzers. It combines two sub-skills:
extract-fuzzer-repro — Regenerate a Noir project from the CI seed with just fuzz-repro
bisect-ssa-pass — Bisect SSA passes to find the one that breaks semantics
When to Use This Skill
Use this when:
A pass_vs_prev fuzzer test fails in CI
You have a GitHub Actions URL showing a fuzzer failure
You need to go from "CI is red" to "I know which SSA pass has the bug"
Note: This workflow is tailored for pass_vs_prev failures, which detect SSA passes that break semantic preservation. Other fuzzers exist that test different properties and may require different debugging approaches. Identify the fuzzer type from the failing test name in the GitHub logs — it follows the format targets::<fuzzer_type>::tests::fuzz_with_arbtest. If the failure comes from a fuzzer other than pass_vs_prev, ask the developer for guidance on how to proceed.
Workflow Overview
Regenerate the reproduction case from the CI seed (extract-fuzzer-repro)
Verify the failure reproduces locally
Bisect, analyze, and fix (bisect-ssa-pass)
Step 1: Reproduce from the Seed
Use the extract-fuzzer-repro skill to get a local Noir project. The AST fuzzers are seeded, so the reliable path is to pull the seed (and the failing target) out of the CI log and regenerate the program with just fuzz-repro, rather than copying the printed AST by hand.
src/main.nr — The generated program that triggered the failure
Prover.toml — Input values that cause the bug
Quick reference:
# Pull the seed (Seed: 0x... / NOIR_AST_FUZZER_SEED=0x...) and target# (targets::<target>::tests::fuzz_with_arbtest) from the CI log, then:
just fuzz-repro 0x<seed> <target> ./repro
Reproduce on the same commit CI ran on, since the seed→program mapping can drift as the generator changes. The extract-fuzzer-repro skill has the full details and a log-scraping fallback for when the seed no longer reproduces.
Step 2: Verify the Failure Reproduces Locally
Before bisecting, confirm the issue reproduces:
cd repro
nargo execute
If using experimental features (like enums/match), add the appropriate flags:
nargo execute -Zenums
Step 3: Bisect and Fix
Use the bisect-ssa-pass skill to:
Identify which optimization pass breaks semantics
Analyze the incorrect transformation
Create a regression test
Fix the bug
Tips
The pass_vs_prev fuzzer compares interpretation results before and after each pass, so failures indicate semantic preservation bugs
Keep the extracted project around until the fix is merged — you may need to re-test
If the SSA is complex, focus on the specific function/block where the semantic change occurs
Related Skills
extract-fuzzer-repro — Detailed instructions for reproducing from the CI seed with just fuzz-repro
bisect-ssa-pass — Detailed instructions for SSA bisection and regression tests
