Repository navigation

Integrate reviewed reductions, graph explorer, and Rust 2024 migration - #1196

Merged

GiggleLiu merged 166 commits into

mainfrom

feat/polynomial-comparator-v1

Oct 29, 2026

Merged

Integrate reviewed reductions, graph explorer, and Rust 2024 migration#1196
GiggleLiu merged 166 commits into
mainfrom
feat/polynomial-comparator-v1

Commits on Oct 13, 2026
- Implement batch-relative generic polynomial comparison
  
  isPANN
  and
  claude
  committed
  c4694b2
Commits on Oct 14, 2026
- Migrate workspace to Rust 2024 edition
  
  isPANN
  and
  claude
  committed
  81c2e1b
- Adopt the Rust 2024 rustfmt style edition
  
  isPANN
  and
  claude
  committed
  16ee25f
- Declare rust-version 1.88 and fix leftover indentation
  
  isPANN
  and
  claude
  committed
  57ebb23
- Cover error paths touched by the let-chain rewrite
  
  isPANN
  and
  claude
  committed
  8368cca
Commits on Oct 15, 2026
- Add --format to pipeline_pr.py wait-ci
  
  isPANN
  and
  claude
  committed
  5a02d66
- Update stale create_pr test for head-branch PR lookup
  
  isPANN
  and
  claude
  committed
  4152d3e
- Preserve variant conversions in path display
  isPANN
  committed
  2d0d043
- Integrate interactive path selection into the reduction graph
  isPANN
  committed
  cdc5e1b
Commits on Oct 16, 2026
- Optimize website route comparison and loading
  isPANN
  committed
  37fc0e0
- docs: revise frontend engineering modernization plan
  isPANN
  committed
  db3140d
- test: verify graph benchmark interactions and instrumentation
  isPANN
  committed
  01f097d
- test: verify fresh website artifacts and require board in CI
  isPANN
  committed
  992dc5b
- fix: discover Cargo-installed website tools before building
  isPANN
  committed
  b6c019f
- test: capture verified frontend references and archive interaction pilot
  isPANN
  committed
  a1b04b8
- test: measure first inputs and cold graph queries with explicit limits
  isPANN
  committed
  cb1ed61
- test: account for overlapping main-thread frame costs
  isPANN
  committed
  fcc695b
- ci: share the fresh website workflow and pin test tooling
  isPANN
  committed
  98652b2
- fix: isolate mobile details and restore focus across resizing
  isPANN
  committed
  a9963b2
- chore: commit the prepared SVG graph and startup path
  isPANN
  committed
  a499eed
- test: run graph harness self-checks on the production artifact
  isPANN
  committed
  9db1c69
- fix: preserve graph focus through popovers and comparison updates
  isPANN
  committed
  9253a9b
- fix: invalidate website verification when its source changes
  isPANN
  committed
  b726237
- fix: complete graph keyboard traversal and focus visibility
  isPANN
  committed
  0cea215
- fix: validate accessible search and document interactions in real browsers
  isPANN
  committed
  f39d5a2
- fix: make graph metadata readable using the existing text color
  isPANN
  committed
  368b6f6
- fix: provide click and tap alternatives to graph dragging
  isPANN
  committed
  15a9ec2
- fix: preserve graph focus during startup and isolate narrow details
  isPANN
  committed
  d77d336
- test: record isolated interaction and cold-start costs after accessibility fixes
  isPANN
  committed
  aec85de
- build: establish Vite emission and separate strict frontend checking
  isPANN
  committed
  f51694a
- fix: harden worker initialization and browser failure recovery
  isPANN
  committed
  01902e8
- build: integrate Vite with verified immutable static delivery
  isPANN
  committed
  3195c05
- ci: pin website actions and board source for reproducible verification
  isPANN
  committed
  3ea2b3f
- ci: use the tested board revision and retain failed verification evidence
  isPANN
  committed
  e4d3737
- Restore comparator PR scope before frontend modernization
  isPANN
  committed
  58d5176
- chore: keep frontend run artifacts out of tracked source
  isPANN
  committed
  b18f9ac
- feat: validate graph scene contracts before strict typed startup
  isPANN
  committed
  c3c2781
- feat: validate documentation indexes before typed lazy loading
  isPANN
  committed
  447d3db
- refactor: strictly type the existing SVG graph scene
  isPANN
  committed
  d4728c6
- fix: preserve exact polynomial degrees in graph summaries
  isPANN
  committed
  c7bf20f
- feat: validate versioned WASM path results from Rust schemas
  isPANN
  committed
  84a6a3b
- feat: validate exact WASM comparison response contracts
  isPANN
  committed
  2b0268c
- feat: validate worker metadata before path computation
  isPANN
  committed
  5a7dc54
- feat: migrate graph controller and worker to strict TypeScript
  isPANN
  committed
  7b9f398
- feat: complete strict TypeScript migration of Home and Atlas
  isPANN
  committed
  79f412b
- feat: derive native input contracts and validate registry exports
  isPANN
  committed
  d57a554
- refactor: use native modules for graph startup and documentation
  isPANN
  committed
  8b3fe88
- fix: correlate interaction frames with presentation feedback
  isPANN
  committed
  c3adfba
- docs: align boundary inventory with implemented contracts
  isPANN
  committed
  489e853
- chore: stop tracking website reports and previews
  isPANN
  committed
  c09e86b
- fix: support Vite releases in website benchmark tools
  isPANN
  committed
  fde8672
- Merge remote scope cleanup with frontend engineering
  isPANN
  committed
  1c3a1b2
- chore: mark generated validators as generated
  
  isPANN
  and
  claude
  committed
  60207da
- build: share validator runtime and set size budgets
  
  isPANN
  and
  claude
  committed
  a06ebe3
- fix: serve WOFF2 fonts only and share one serif italic
  
  isPANN
  and
  claude
  committed
  f4acc5f
- docs: describe website layout and drop obsolete renderer benchmark
  
  isPANN
  and
  claude
  committed
  2af0c31
- feat: show routes as readable rows and a labeled timeline
  
  isPANN
  and
  claude
  committed
  81580ac
- fix: label the final size block without skipping a heading level
  
  isPANN
  and
  claude
  committed
  ed3c311
- refactor: simplify path rows and timeline
  
  isPANN
  and
  claude
  committed
  f591965
- refactor: remove the dock pan arrows
  
  isPANN
  and
  claude
  committed
  b87a9af
- fix: make route arrowheads larger than the route line
  
  isPANN
  and
  claude
  committed
  e9a9ee0
- perf: size-optimize the browser WASM and preload graph data; drop the popover move buttons
  
  isPANN
  and
  claude
  committed
  d3ac8e4
- fix: pluralize connection counts in the Atlas
  
  isPANN
  and
  claude
  committed
  c8d7364
- style: align the home and Atlas palette with the graph page
  
  isPANN
  and
  claude
  committed
  b2c7071
- style: format the focus call in details
  
  isPANN
  and
  claude
  committed
  6d9a46c
- chore: remove benchmark tooling and the frontend plan, and trim the engineering notes
  
  isPANN
  and
  claude
  committed
  42a2703
- chore: merge the three font license files into one
  
  isPANN
  and
  claude
  committed
  daf5c92
Commits on Oct 17, 2026
- docs: drop the polynomial comparator theory note from the PR
  
  isPANN
  and
  claude
  committed
  b82d8ab
- style: redesign the homepage flow and the docs landing page
  
  isPANN
  and
  claude
  committed
  641b83a
- docs: remove the polynomial comparator page
  
  isPANN
  and
  claude
  committed
  9815c1f
- refactor: share one DM Sans variable font and drop dead code
  
  isPANN
  and
  claude
  committed
  385f95c
- docs: explain the example reduction diagram
  
  isPANN
  and
  claude
  committed
  f4fa1e8
- style: apply the rounded card design across the site
  
  isPANN
  and
  claude
  committed
  7313b9b
- refactor: organize the website sources into pages, lib, workers, styles and generated
  
  isPANN
  and
  claude
  committed
  5af85e6
- style: restore the square-cornered home and Atlas styles
  
  isPANN
  and
  claude
  committed
  17a44e3
- style: replace thin text arrows with a short icon arrow
  
  isPANN
  and
  claude
  committed
  a4e3c97
- refactor: share variant keys, winner/loser logic and the wasm profile
  
  isPANN
  and
  claude
  committed
  c1fb727
- refactor: drop WASM full comparison, trim comparator internals, docs and CSS
  
  isPANN
  and
  claude
  committed
  6a793f1
- Remove dead code and simplify frontend validation and checks
  isPANN
  committed
  1b9c79c
- Remove stale layout option and deduplicate lattice constants
  isPANN
  committed
  cc19647
- Simplify frontend contracts and stop tracking generated artifacts
  isPANN
  committed
  1671c1e
- Track main branch for Open Question Board builds
  isPANN
  committed
  e701347
- 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 13, 2026

Commits on Oct 14, 2026

Commits on Oct 15, 2026

Commits on Oct 16, 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