Repository navigation
Conversation
… groups, reachability Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…nd short group chips Fade ILP edges on the map, frame the dense core, and lead with the finding that most reductions are at most quadratic. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…n hover Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Explore is a map-style search over problems and rules with place cards, a layered view by distance from SAT, and a growth legend. Directions is its own mode. Drop italics and the mutually-reducible default panel. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…sk at a time Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
… panel, one toolbar, Layers view and route objective Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…rate levels, overhead chips, a dedicated reduction view Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Witness and Value rules share one view (Value is a subset of Witness); Turing rules, which call the target several times, are shown on request as dash-dot edges. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The static hero illustration becomes a small force simulation over problem families, drawn with the existing hero classes and palette. Hovering lights a problem's direct reductions; nodes can be dragged. It pauses off-screen and settles without animation under reduced motion. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- Layout: one deterministic force model (lib/force-layout.mts) replaces the fCoSE build layout. Rules into ILP and QUBO pull weakly, so the map shows clusters instead of a star around ILP. The page reuses the same model live: dragging a problem pulls its neighbours, and the "Without ILP & QUBO" and "NP-hard only" views settle in place. - Colour: nodes show whether a problem is proven NP-hard (reached from SAT) and whether it reaches ILP, with a legend and a status line on the card. Problem categories are no longer shown. - Panel: folds to its search bar when idle; a labelled Directions button and a labelled Growth filter replace the bare icon and chips. - Details: rules stay neutral until in focus, labels try four sides to avoid collisions, formulas print as tidy polynomials, the intro unfolds the map, and phones get a one-row header with a peeking search bar. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Every route step, including variant changes inside one problem, now shows its rule's growth badge in the timeline, and each route edge on the map takes the same growth colour. The selected route is laid out as an evenly spaced chain from start to end, with the rest of the map relaxing around it; labels sit across the chain, and other best routes are no longer drawn. Returning to explore restores the published map. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Defer the path engine until Directions opens, warm it before search, and settle graph layouts in cancellable batches. Fix the mobile panel transition and replace oversized focus outlines with a thin circular ring. Remove unused layout dependencies and homepage highlights, and update existing browser and build checks for the current behavior.
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Stacked on #1196 (base:
feat/polynomial-comparator-v1).What
P → Decision<P>edges, solved by binary search on the bound) sit behind an off-by-default Turing toggle and are drawn dash-dot. Directions never routes through them.activeRulesaccepts one scope or a list, with a test for the combined view.Checks
tsc,eslint,npm run test:frontend-contracts(41 pass) andscripts/build_website.pysucceed. The Playwright site tests were not run.🤖 Generated with Claude Code