Repository navigation

CC engine: charge node lower bound as a default CC rule (GH-157) - #161

Merged

guluchen merged 23 commits into

mainfrom

experiment/gh-157-cc-charge

Oct 30, 2026

Merged

CC engine: charge node lower bound as a default CC rule (GH-157)#161
guluchen merged 23 commits into
mainfrom
experiment/gh-157-cc-charge

Commits on Oct 28, 2026
- CC engine: charge / ecover node lower bounds (GH-157, default off)
  
  authored and
  yfc
  committed
  3a81c88
- GH-157: Part I tests (bounds vs brute force, ladders with charge/ecover, mutants 15/16, driver configs)
  
  authored and
  yfc
  committed
  7894cb0
- GH-157: fix ecover early exit (the cheap filters were inverted) and keep the packing inside U'; in-search charge on the search state with counting fused into the scan; test cross-check hook
  
  authored and
  yfc
  committed
  d5f62f7
- GH-157: drop a development switch
  
  authored and
  yfc
  committed
  4806605
- GH-157: incremental c_j in toggle; local-degree charge fused into the pack scan (no extra pass), raise as a second stage; chgraise counter
  
  authored and
  yfc
  committed
  7eda9c2
- GH-157: soundness proof (MODIFICATIONS.md), credits (NOTICE), README flag row, flag tests, runner
  
  authored and
  yfc
  committed
  aa2d53d
- GH-157: ecover U' selected inside the pack scan (single greedy pass, cheap exits before the matching), evaluated before charge; charge back to on-demand counting (no per-toggle cost)
  
  authored and
  yfc
  committed
  2ceeb6a
- GH-157: gap gate -cc-lb-gap=G (evaluate only where remaining budget - packing <= G, default 0; prunes concentrate at r = p); charge first, ecover U' selection back in lb_prune; tests and flags
  
  authored and
  yfc
  committed
  4377b8d
- GH-157: in-search bounds call lb_charge / lb_ecover on one copy of the candidate sets (early exit in the local charge); -cc-lb-raise=on|off
  
  authored and
  yfc
  committed
  ad29e03
- GH-157: count c_j while copying the candidate sets (lb_charge_counted; one pass less per evaluation)
  
  authored and
  yfc
  committed
  c3c315d
- GH-157: Tier 0 records (tests, identity), Tier 1-4 panel and floor repeat, development probes
  
  authored and
  yfc
  committed
  a49378a
- GH-157: -cc-lb-auto=P (default 45): switch the bounds off for a half after an EMPTY level with >= 1000 evaluations of which < P % pruned
  
  authored and
  yfc
  committed
  014d6d3
- GH-157: auto switch-off defaults 40 % / 100 000 evaluations (early levels are not representative); documentation of the final design
  
  authored and
  yfc
  committed
  06026be
Commits on Oct 29, 2026
- GH-157: S0 per-level table, panel 2 (auto default), witness check
  
  authored and
  yfc
  committed
  0883949
- GH-157: Tier 5 records and REPORT.md
  
  authored and
  yfc
  committed
  4da9d3e
- GH-157: drop ecover (PI decision 2026-10-29): rule, lb_ecover, Edmonds matching, mutant 16, stats fields, tests
  
  authored and
  yfc
  committed
  9702dde
- Merge main (GH-148, GH-152 -cc-aut default) into GH-157
  
  authored and
  yfc
  committed
  b064034
- GH-157: charge in the default -cc-rules (PI decision 2026-10-29, on top of the -cc-aut=on default); docs (README, help, MODIFICATIONS, NOTICE) and tests for the new default
  
  authored and
  yfc
  committed
  25030e3
- GH-157 tests: Part I(a) restores the RNG state, so the other parts see main's instance stream
  
  authored and
  yfc
  committed
  764b011
- GH-157: adoption records (Tier 0 of the charge default on top of -cc-aut=on)
  
  authored and
  yfc
  committed
  de4d5f7
- Merge remote-tracking branch 'origin/main' into experiment/gh-157-cc-charge
  
  yfc
  authored and
  yfc
  committed
  33ef9e6
- GH-157 report: note the merge of main 6083e662
  
  authored and
  yfc
  committed
  5b9e0e3
- GH-157: REPRODUCTION.md - the four new CC lower bounds reproduced with mrv order, original labels (12 h, cores 24-27)
  
  authored and
  yfc
  committed
  2e6891a

Commits

Commits on Oct 28, 2026

Commits on Oct 29, 2026