Repository navigation

CC engine: redundant sparse checks (sparse, sparseov, sparsemrv) and XOR unit propagation (GH-181, opt-in; do not merge before PI says merge) - #203

Merged

guluchen merged 12 commits into

mainfrom

experiment/gh-181-cc-sparse-rows

Oct 30, 2026

Merged

CC engine: redundant sparse checks (sparse, sparseov, sparsemrv) and XOR unit propagation (GH-181, opt-in; do not merge before PI says merge)#203
guluchen merged 12 commits into
mainfrom
experiment/gh-181-cc-sparse-rows

Commits on Oct 29, 2026
- GH-181 WIP: CC rules sparse, sparseov, xorunit (opt-in)
  
  authored and
  yfc
  committed
  cd28884
- GH-181 WIP: sparse pack scan by weight class; redundant rows ordered by weight
  
  authored and
  yfc
  committed
  6e34787
- GH-181: sparsemrv token, flag checks, runner (copied from GH-162)
  
  authored and
  yfc
  committed
  a6cb07c
- GH-181: two instantiations of the search (no GH-181 work on halves without rows or xorunit)
  
  authored and
  yfc
  committed
  091c105
- GH-181: pair_sums counts row overlaps first (no per-pair allocation; start-up cost on codes without qualifying pairs)
  
  authored and
  yfc
  committed
  9930c67
- GH-181: docs (MODIFICATIONS, NOTICE, README) and experiment records (Tier 0, Tier 1-4 panel, ablation, exploration, sparse+tiebreak panel)
  
  authored and
  yfc
  committed
  70f43ad
- GH-181: Tier 5 records (TN_496 main vs candidate, two relabelled cross-checks), full test-cc output
  
  authored and
  yfc
  committed
  c9eac7e
Commits on Oct 30, 2026
- GH-181: TN_496 lb 27 cross-check (sparse alone, sparse+tiebreak merge, sparse+sparsemrv; 8 h each)
  
  authored and
  yfc
  committed
  f0afded
- Merge GH-206 stack (GH-162, GH-183, GH-206 and main c94d390b with GH-157) into GH-181
  
  authored and
  yfc
  committed
  aa64110
- Merge main (a516ef07: GH-162 merge, stem renames #216) into GH-181
  
  authored and
  yfc
  committed
  6eb377e
- GH-181 merge: restore the closing fi of the GH-206 flag section
  
  authored and
  yfc
  committed
  79a62a9
- Merge main (30ce62ab: GH-162, GH-183, GH-206 merges) into GH-181
  
  authored and
  yfc
  committed
  10fa542

Commits

Commits on Oct 29, 2026

Commits on Oct 30, 2026