Conversation
Use exact integer CVP and a bipartite solver for K2 coloring. Validate derived model state and report reference-solver size and interval failures explicitly. Correct signed vertex-cover weights and prize-collecting Steiner gadget costs, with regression tests and updated proofs.
Register value mappings beside their implementations and share constructed results across witness and aggregate recovery. Enforce decision thresholds, correct reduction edge cases, and verify typed errors and multi-step mappings.
…panic - QUBO sparse loader reserves the dense matrix fallibly, returning a ConstructionError instead of aborting on huge num_vars. - KColoring -> PartitionIntoCliques maps k = 0 on a nonempty graph to a NO instance instead of panicking in PartitionIntoCliques::new. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The project no longer relies on the GitHub project board. Board queues, card moves, and the pipeline orchestrators are removed; agents instead pick up concise how-to-* guides while working, and a human merges. - Add guides: how-to-code, how-to-verify, how-to-write-manual, how-to-review, how-to-triage-issue, how-to-ship. They absorb 17 old skills and fix stale APIs (transform=, dimensions(), extract_solution signature, pred reduce --via, parameters key, removed paper helpers). - how-to-verify posts a verification certificate on the PR; how-to-ship requires a fresh-context review subagent before merge-ready. - Trim propose, find-solver, find-problem, dev-setup, release, update-papers; dev-setup confirms before installing, release is guarded. - Delete board scripts, worktree helper, make_helpers.sh and the run-*/board-*/worktree-* make targets; trim remaining pipeline_*.py helpers to the subcommands the guides use. - make release refuses unless on a clean, up-to-date main and runs make check. - community-call agenda now comes from open PRs and Good issues via GITHUB_TOKEN instead of the project board. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Codecov Report❌ Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## main #1173 +/- ##
==========================================
+ Coverage 96.22% 96.75% +0.52%
==========================================
Files 1070 1069 -1
Lines 133605 138852 +5247
==========================================
+ Hits 128564 134343 +5779
+ Misses 5041 4509 -532 ☔ View full report in Codecov by Harness. 🚀 New features to boost your workflow:
|
GiggleLiu
marked this pull request as draft
September 25, 2026 05:16
Reduction-rule entries created their source with a bare name or
problem-spec(ex.source), which yields the source *model* example, not
the rule fixture that the following --config refers to (24 entries
produced a different instance; MaximumClique and QUBO/f64 failed
outright; one used invalid 'MVC {weight: One}' syntax).
- Add keyed-spec() and rule-spec(ex) helpers; rule-spec renders
`Src/k=v/... --to Tgt/k=v/...`. Keyed tokens reproduce all 289 rule
fixtures; positional specs fail on 84 (e.g. ambiguous ILP/i64/bool).
- Use rule-spec in all 128 rule create commands.
- Use problem-spec(x) in the MaximumClique model entry (its example is
on the i64 variant) and in the MIS/MVC gold-standard entries.
- how-to-write-manual documents rule-spec.
- CLAUDE.md: aggregate mappings register via #[aggregate_reduction];
manual ReductionEntry remains only for Turing and metadata-only edges.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Strategy change: the repo no longer relies on the GitHub project board. Pipelines (run/review/auto/final) are removed; agents auto-invoke short
how-to-*guides while working, and a human merges.Skills: 23 → 12 (~6,700 → ~1,500 lines)
how-to-code,how-to-verify,how-to-write-manual,how-to-review,how-to-triage-issue,how-to-shippropose,find-solver,find-problem,dev-setup,release,update-papersBehavior changes (agreed during design)
how-to-verifyposts a## Verification certificatePR comment (verdict, counts, seeds, scripts)how-to-shiprequires a fresh-context review subagent (## Agentic Review Report) before merge-ready; the agent pushes (never force) and replies on addressed threads; a human mergespred path --limit all(the removedfind_dominated_rulesis no longer referenced)make run-planremoveddev-setupconfirms once before installing;release(skill + Makefile) requires clean, up-to-datemainandmake checkfind-solver/find-problemusepred reduce --viaandpred inspectInfrastructure
pipeline_board.py,pipeline_worktree.py,project_board_{poll,recover}.py,make_helpers.sh+ tests;run-*,board-*,worktree-*,issue-*,pr-*make targets; Codex runner variablespipeline_pr.py,pipeline_checks.py(issue-context),pipeline_skill_context.py(review-implementation)community-call.yml: agenda from open PRs (CI green / needs work) +Goodissues without a PR, viaGITHUB_TOKEN(tested locally against the live repo). ThePROJECT_READ_TOKENsecret can be deleted.Test plan
test_create_pr_uses_gh_pr_create_and_returns_current_context) is pre-existing onmainand left unmodifiedmaketarget,scripts/*.pysubcommand,predsubcommand, and guide cross-reference named in skills/CLAUDE.md resolvesmake helpandmake -n releaserender correctlymake checkPaper and docs fixes (second commit)
pred createcommands now use a newrule-spec(ex)helper (Src/k=v/... --to Tgt/k=v/...), which recreates the rule fixture's source instance so the documented--configapplies. Before, 24 rule entries created a different instance,MaximumCliqueandQUBO/f64failed outright, and one used invalid syntax. Keyed specs reproduce all 289 rule fixtures (positional specs fail on 84, e.g. ambiguousILP/i64/bool). Verified withmake paperand by running every command.problem-spec(x).#[aggregate_reduction]; manualReductionEntryremains only for Turing and metadata-only edges.Not changed
fix-pr/issue-to-pr(in~/.claude, outside the repo) may compete withhow-to-shiphere.🤖 Generated with Claude Code