Issues

• Validate the factoring mechanism: low-bit residue lifting, carry propagation, and encoding robustness

  benchmarksbranching-rulesexperiment-gateperformance
  OptimalBranching/boolean-inference#57 · Filter by author isPANN opened on Jul 22, 2026

• Freeze the 26–30-bit factoring CnC result with a matched-frontier control

  benchmarksexperiment-gateperformance
  OptimalBranching/boolean-inference#56 · Filter by author isPANN opened on Jul 21, 2026

• Freeze the 26–30-bit factoring crossover and cube-uniformity evidence

  benchmarksexperiment-gateperformance
  OptimalBranching/boolean-inference#55 · Filter by author isPANN opened on Jul 20, 2026

• Evaluate CnC generalization across circuit topologies, CNF encodings, and structured SAT families

  benchmarksbranching-rulesexperiment-gate
  OptimalBranching/boolean-inference#53 · Filter by author isPANN opened on Jul 19, 2026

• Explain the CnC span reduction with a verified residual-structure audit

  branching-rulesexperiment-gateperformance
  OptimalBranching/boolean-inference#52 · Filter by author isPANN opened on Jul 19, 2026