Skip to content

docs: add proposed reduction rules verification note (9 reductions) #975

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

Open
zazabap wants to merge 32 commits into
base: main
Choose a base branch
from
Open

docs: add proposed reduction rules verification note (9 reductions) #975

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
32 commits
Select commit Hold shift + click to select a range
647e27c
docs: add design spec for proposed reductions Typst note
zazabap Mar 31, 2026
4b16431
docs: scaffold proposed-reductions Typst note with preamble
zazabap Mar 31, 2026
b211600
docs: add SubsetSum -> Partition reduction (#973)
zazabap Mar 31, 2026
0c7b9d0
docs: add VertexCover -> HamiltonianCircuit reduction (#198)
zazabap Mar 31, 2026
76aef7d
docs: add VertexCover -> HamiltonianPath reduction (#892)
zazabap Mar 31, 2026
0a42345
docs: add MaxCut -> OptimalLinearArrangement reduction (#890)
zazabap Mar 31, 2026
90b4068
docs: add OLA -> RootedTreeArrangement reduction (#888)
zazabap Mar 31, 2026
76251fe
docs: add DominatingSet -> MinMax/MinSum Multicenter reductions (#379…
zazabap Mar 31, 2026
f8219e3
docs: add X3C -> AcyclicPartition reduction (#822) — marked as open
zazabap Mar 31, 2026
1248fcc
docs: add VC -> PartialFeedbackEdgeSet reduction (#894) — marked as open
zazabap Mar 31, 2026
c925559
docs: finalize proposed-reductions note with references
zazabap Mar 31, 2026
4c5b6bc
docs: complete X3C->AcyclicPartition and VC->PFES reductions
zazabap Mar 31, 2026
a5f022a
docs: full rewrite of proposed-reductions note — rigorous proofs
zazabap Mar 31, 2026
6431a8e
docs: add Python verification scripts, mark X3C->AP as incorrect
zazabap Apr 1, 2026
43ad284
docs: add Lean 4 proofs for key algebraic lemmas
zazabap Apr 1, 2026
a18f920
docs: upgrade Lean proofs with Mathlib — structural lemmas
zazabap Apr 1, 2026
f53fc8a
docs: upgrade Lean proofs with graph-structural arguments
zazabap Apr 1, 2026
8a3f2fb
docs: add per-reduction verification scripts
zazabap Apr 1, 2026
088f54d
docs: complete per-reduction verification suite + fix VC→HC edge count
zazabap Apr 1, 2026
d7c3611
docs: add verify_vc_hp.py — HC→HP transformation verification
zazabap Apr 1, 2026
7ce9984
docs: enhance 3 weak scripts + add verification methodology
zazabap Apr 1, 2026
895923d
docs: split DS→Multicenter into two scripts (one per reduction)
zazabap Apr 1, 2026
5419f3c
docs: fix 3 verification gaps + update methodology
zazabap Apr 1, 2026
add9c9f
fix: correct C_4 crossing numbers in MaxCut→OLA example
zazabap Apr 1, 2026
0470b90
docs: add Current Results section to METHODOLOGY.md
zazabap Apr 1, 2026
006f974
docs: add verify-reduction skill + prompting workflow in METHODOLOGY.md
zazabap Apr 1, 2026
76db660
docs: add verify_sat_nontautology.py — tests issue #868
zazabap Apr 1, 2026
169b4ba
docs: rewrite verify-reduction skill as end-to-end pipeline
zazabap Apr 1, 2026
7b4212f
docs: /verify-reduction #868 — SAT → NonTautology VERIFIED
zazabap Apr 1, 2026
79d7cb0
docs: add worktree + PR creation to verify-reduction skill
zazabap Apr 1, 2026
cc01a00
docs: strict verify-reduction skill — zero tolerance for shortcuts
zazabap Apr 1, 2026
736558e
chore: remove docs/superpowers/ directory
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) -- Verify a reduction rule's mathematical proof using Python (exhaustive + symbolic) and Lean (machine-checked algebra). Invoked after writing a reduction rule to ensure correctness.
- [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