Reduce SSA Reproduction

Minimize an SSA file that triggers a bug in the noir-ssa pipeline. Use after the bisect-ssa-pass skill has identified which passes cause the issue.

Setup

1. Build the noir-ssa CLI as a debug binary:

   cargo build -p noir_ssa_cli
   

   Always use debug builds (target/debug/noir-ssa). Many SSA invariant checks are #[cfg(debug_assertions)]-guarded and compiled out of release builds.

2. Set SKILL_DIR to this skill's directory (for script references):

   SKILL_DIR=<path-to-repo>/.claude/skills/reduce-ssa-repro
   

3. Gather from bisection:

   • The SSA file (input.ssa)