bugfix-red-green-proof
Enforce strict ytnova bugfix loop: failing regression first, implementation second, passing proof third.
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
메뉴
Enforce strict ytnova bugfix loop: failing regression first, implementation second, passing proof third.
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
SOC 직업 분류 기준
Prevent and remove high-impact code-quality issues with principle-driven, risk-ranked recommendations and optional implementation.
Plan ytnova changes from behavior to implementation tasks with files, risks, invariants, and acceptance criteria. Use for design and technical-approach questions.
Implement approved ytnova tasks in C with minimal coherent edits, architectural safety, and terminal-verified proof.
Perform adversarial ytnova code review with severity-ranked findings, concrete fixes, and pass-fail gate decision.
Run ytnova C quality gate for feature-sized changes using build, static analysis, valgrind, and pytest per docs/AUDIT.md.
Provide practical conventions and process guidance for ytnova and OSS C/TUI workflows, including personas, skills, review standards, and developer expectations.
| name | bugfix-red-green-proof |
| description | Enforce strict ytnova bugfix loop: failing regression first, implementation second, passing proof third. |
Use this skill for any bugfix work, regardless of persona.