Рабочий процесс отладки передачи семантики SSA с использованием интерфейса командной строки noir-ssa. Используйте, когда поведение программы изменяется неправильно во время конвейера SSA — разделяет проходы пополам, чтобы определить, какой из них нарушает семантику. Фаззер pass_vs_prev автоматически находит такие проблемы.
Быстро установите AI-навык bisect-ssa-pass в вашу среду разработки через командную строку
Источник: noir-lang/noir.
Use this skill when debugging SSA optimization bugs - situations where an SSA pass fails to preserve program semantics. This workflow bisects SSA passes to identify which one introduces the behavioral change.
Helper scripts are in the scripts/ directory of this skill.
You need a Noir project with a Prover.toml containing inputs that trigger the suspected issue. The program should produce incorrect results or exhibit unexpected behavior when executed.
Рабочий процесс отладки передачи семантики SSA с использованием интерфейса командной строки noir-ssa. Используйте, когда поведение программы изменяется неправильно во время конвейера SSA — разделяет проходы пополам, чтобы определить, какой из них нарушает семантику. Фаззер pass_vs_prev автоматически находит такие проблемы. Источник: noir-lang/noir.
Стабильные поля и команды для ссылок в AI/поиске.
npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-passРабочий процесс отладки передачи семантики SSA с использованием интерфейса командной строки noir-ssa. Используйте, когда поведение программы изменяется неправильно во время конвейера SSA — разделяет проходы пополам, чтобы определить, какой из них нарушает семантику. Фаззер pass_vs_prev автоматически находит такие проблемы. Источник: noir-lang/noir.
Откройте терминал или инструмент командной строки (Terminal, iTerm, Windows Terminal и т.д.) Скопируйте и выполните эту команду: npx skills add https://github.com/noir-lang/noir --skill bisect-ssa-pass После установки навык будет автоматически настроен в вашей AI-среде разработки и готов к использованию в Claude Code, Cursor или OpenClaw
https://github.com/noir-lang/noir