Repository navigation

feat(planar-SAT): certify paired compiler occurrence and resource bounds - #1178

Merged

SamuelSchlesinger merged 10 commits into

mainfrom

feat/parsimony-paired-resources

Oct 26, 2026

Merged

feat(planar-SAT): certify paired compiler occurrence and resource bounds#1178
SamuelSchlesinger merged 10 commits into
mainfrom
feat/parsimony-paired-resources

Commits on Oct 26, 2026
- doc(roadmap): record ASP framework follow-up
  edemaine
  committed
  209dd3c
- feat(CNF): preserve model counts under occurrence splitting
  edemaine
  committed
  5b65c48
- doc(references): cite parsimonious planar SAT
  edemaine
  committed
  2ef9557
- feat(planar-SAT): certify paired wires and unique gadget extensions
  edemaine
  committed
  8286009
- feat(planar-SAT): certify the paired crossover drawing
  edemaine
  committed
  55e49e5
- refactor(planar-SAT): extract shared path certificates
  edemaine
  committed
  8d9988a
- feat(planar-SAT): prove paired compiler model-count preservation
  edemaine
  committed
  de6e8d7
- feat(planar-SAT): certify paired compiler occurrence and resource bounds
  edemaine
  committed
  2ba82f8
- Merge origin/main after base squash (coordinator restack)
  
  SamuelSchlesinger
  and
  claude
  committed
  faf3399
- chore: regenerate Complexity.lean
  
  SamuelSchlesinger
  and
  claude
  committed
  31bb8a2