Repository navigation

CC engine: MRV branching and seed-anchored reversed-BFS row order (GH-183, opt-in; do not merge before PI says merge) - #204

Merged

guluchen merged 6 commits into

mainfrom

experiment/gh-183-cc-roworder

Oct 30, 2026

Merged

CC engine: MRV branching and seed-anchored reversed-BFS row order (GH-183, opt-in; do not merge before PI says merge)#204
guluchen merged 6 commits into
mainfrom
experiment/gh-183-cc-roworder

Commits on Oct 29, 2026
- GH-183: CC -cc-roworder=index|bfs (seed-anchored reversed-BFS row order) and -cc-tbbase=desc|asc, opt-in
  
  authored and
  yfc
  committed
  d26070d
- GH-183: runners, Tier 0 records (oracle, identity, witnesses, flags) and Tier 1-4 seed panel
  
  authored and
  yfc
  committed
  2652599
- GH-183: Tier 5 (6 h) results and LP / TN diagnostics
  
  authored and
  yfc
  committed
  60209c1
Commits on Oct 30, 2026
- GH-183: cross-check of the PLAUSIBLE lower bounds with relabeled seeds 1-3 (9/9 runs reproduce)
  
  authored and
  yfc
  committed
  a8e4532
- Merge GH-162 branch (with main c94d390b, GH-157 charge default) into GH-183
  
  authored and
  yfc
  committed
  69d3831
- Merge main (a516ef07: GH-162 merge, stem renames #216) into GH-183
  
  authored and
  yfc
  committed
  e8aeab7