Skip to content

docs: verify reduction #841 — NAE 3-SAT → Set Splitting #983

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
isPANN wants to merge 5 commits into from
Closed

docs: verify reduction #841 — NAE 3-SAT → Set Splitting #983

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
647e27c
docs: add design spec for proposed reductions Typst note
zazabap Mar 31, 2026
aa57353
feat: add verify-reduction skill for mathematical verification of red…
zazabap Apr 1, 2026
83e3931
style: add YAML frontmatter + professional tone to verify-reduction s…
zazabap Apr 1, 2026
d09823d
feat: adversarial multi-agent verification in verify-reduction skill
zazabap Apr 1, 2026
e489546
docs: /verify-reduction #841 — NAE 3-SAT → Set Splitting VERIFIED
isPANN Apr 1, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .claude/CLAUDE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@ These repo-local skills live under `.claude/skills/*/SKILL.md`.
- [propose](skills/propose/SKILL.md) -- Interactive brainstorming to help domain experts propose a new model or rule. Asks one question at a time, uses mathematical language (no programming jargon), and files a GitHub issue.
- [final-review](skills/final-review/SKILL.md) -- Interactive maintainer review for PRs in "Final review" column. Merges main, walks through agentic review bullets with human, then merge or hold.
- [dev-setup](skills/dev-setup/SKILL.md) -- Interactive wizard to install and configure all development tools for new maintainers.
- [verify-reduction](skills/verify-reduction/SKILL.md) -- End-to-end verification of a reduction rule: generates Typst proof (with YES+NO examples), Python verification script (7 mandatory sections, ≥5000 checks, exhaustive n≤5), and Lean lemmas (non-trivial required). Iterates until all checks pass. Creates worktree + PR.
- [tutorial](skills/tutorial/SKILL.md) -- Interactive tutorial — walk through the pred CLI to explore, reduce, and solve NP-hard problems. No Rust internals.

## Codex Compatibility
Expand Down
Loading
Loading