Repository navigation

Rebuild the graph page: Explorer panel, growth filter and Turing toggle - #1211

Merged

GiggleLiu merged 72 commits into

feat/polynomial-comparator-v1from

feat/graph-explorer-overhead-structure

Oct 29, 2026

Merged

Rebuild the graph page: Explorer panel, growth filter and Turing toggle#1211
GiggleLiu merged 72 commits into
feat/polynomial-comparator-v1from
feat/graph-explorer-overhead-structure

Commits on Oct 12, 2026
- feat: SetSplitting to NAE-SAT clause-per-subset reduction (#1100)
  peda-cos
  committed
  309c562
Commits on Oct 17, 2026
- Add Overhead lens to the graph explorer: per-rule growth classes, SCC groups, reachability
  
  isPANN
  and
  claude
  committed
  649e24c
- Redesign the Overhead panel around one headline, a distribution bar and short group chips
  
  isPANN
  and
  claude
  committed
  22aa7ed
- Strip explanatory captions and the options block from the Overhead panel
  
  isPANN
  and
  claude
  committed
  93aed59
- Quiet the Overhead map: faint edges, hub-only labels, neighbourhood on hover
  
  isPANN
  and
  claude
  committed
  be08f42
- Rebuild the graph page as Explore and Directions
  
  isPANN
  and
  claude
  committed
  419f1e7
- Remove the layered view and rebuild the Explore sidebar around one task at a time
  
  isPANN
  and
  claude
  committed
  0985fd4
- Rebuild the graph page as Find, Explore and Navigate with an Explorer panel, one toolbar, Layers view and route objective
  
  isPANN
  and
  claude
  committed
  96cecb2
- Remove the Layers view
  
  isPANN
  and
  claude
  committed
  d229a06
- Redesign the Explorer panel: identity, variant and reductions as separate levels, overhead chips, a dedicated reduction view
  
  isPANN
  and
  claude
  committed
  9089dfb
Commits on Oct 18, 2026
- Replace the Witness/Value/Turing selector with an opt-in Turing toggle
  
  isPANN
  and
  claude
  committed
  0677c0c
Commits on Oct 19, 2026
- Remove the Fewest steps objective and its toggle from the Paths view
  
  isPANN
  and
  claude
  committed
  84035ca
- Drop orphaned segmented-control styles and simplify route partition
  
  isPANN
  and
  claude
  committed
  f32169b
Commits on Oct 22, 2026
- Animate the home-page graph with a live force layout
  
  isPANN
  and
  claude
  committed
  a8d7ff4
- Make the graph page a live force map coloured by proven status
  
  isPANN
  and
  claude
  committed
  9787117
- fix: account for incongruence search period in complexity
  isPANN
  committed
  ccad796
- Show per-step growth on routes and straighten the selected route
  
  isPANN
  and
  claude
  committed
  3d3f81c
- Improve website graph responsiveness and visual balance
  isPANN
  committed
  25ac127
- Merge remote-tracking branch 'origin/feat/graph-explorer-overhead-structure' into fix/simultaneous-incongruences-complexity
  isPANN
  committed
  55823fb
- Add direct QUBO reductions for scheduling and assignment
  isPANN
  committed
  e46a40e
- Reject source arithmetic overflow in direct QUBO reductions
  isPANN
  committed
  37aa878
- Add verified Phase 2 direct QUBO reductions
  isPANN
  committed
  ecc0ad5
- Add conditional Phase 3 direct QUBO reductions
  isPANN
  committed
  01f6e3a
- Defer direct QUBO rules with unresolved target timeouts
  isPANN
  committed
  109985f
- Add verified direct decision QUBO reduction for integer staff scheduling
  isPANN
  committed
  0dd7448
Commits on Oct 23, 2026
- Tighten direct QUBO bounds and replace costly encodings
  isPANN
  committed
  3d3b020
- Add binary decision ILP to SAT reduction
  isPANN
  committed
  c6bfae6
- Fix solution length validation and remove redundant test scaffolding
  isPANN
  committed
  0daa9a8
Commits on Oct 27, 2026
- Count ILP nonzeros per constraint family instead of rows times columns
  
  isPANN
  and
  claude
  committed
  4da646d
- Check ILP nonzero bounds on dense sources
  
  isPANN
  and
  claude
  committed
  f95447a
- Bound scheduling QUBO sizes by worker bits and start windows
  
  isPANN
  and
  claude
  committed
  4ce1d38
- Restate StaffScheduling and SWRTD QUBO sizes in the paper and tests
  
  isPANN
  and
  claude
  committed
  0801132
- Reject negative ConsecutiveOnesSubmatrix bounds at construction
  
  isPANN
  and
  claude
  committed
  8523caa
- Declare exact parameter counts the constructions always produce
  
  isPANN
  and
  claude
  committed
  3de4a67
- Keep 3-SAT literal-dependent counts as upper bounds
  
  isPANN
  and
  claude
  committed
  b8867cf
Commits on Oct 28, 2026
- Test exact construction counts on degenerate graphs
  
  isPANN
  and
  claude
  committed
  0318bfd
- Reduce negative-weight MaxCut to MinimumMatrixCover with an edge gadget
  
  isPANN
  and
  claude
  committed
  f7be538
- Simplify the MaxCut gadget, retype the COS bound, and clean up docs
  
  isPANN
  and
  claude
  committed
  ef18c76
- Remove the KSatisfiability KN variant and short-clause constructors
  
  isPANN
  and
  claude
  committed
  5e512c7
- Declare MonochromaticTriangle counts exact and drop stale short-clause text
  
  isPANN
  and
  claude
  committed
  86d6808
- Bound KSatisfiability by FixedK and tidy the K-SAT reductions
  
  isPANN
  and
  claude
  committed
  eafd02a
- Drop the FixedK trait
  
  isPANN
  and
  claude
  committed
  3c2f9bd
Commits on Oct 29, 2026

Commits

Commits on Oct 12, 2026

Commits on Oct 17, 2026

Commits on Oct 18, 2026

Commits on Oct 19, 2026

Commits on Oct 22, 2026

Commits on Oct 23, 2026

Commits on Oct 27, 2026

Commits on Oct 28, 2026

Commits on Oct 29, 2026