The GeometricTopology roadmap as a dependency graph: gray dashed edges are the dependencies the roadmap itself cites, each goal draws its route in its own color toward its summit, and a shared edge splits into one lane per goal. Rows are the roadmap's eleven layers and the nodes carry its own milestone labels. Siblings: Spin representations route map · Orthogonal and spin groups route map.
Goals
The four routes are the roadmap's own: each carries its branches as its own edges, its checkpoints as milestones on the route, and its summit criterion in the evaluation. A milestone two routes pass through is a junction on the map and says so on hover.
The map (all 11 layers)
Collected as PRs labelled roadmap/GeometricTopology: 262 discovered, 41 attributed to this work — 29 merged, 0 open, 12 closed — 14 with verified review coverage, 235 scored. Node states refine the roadmap's own: an open PR makes a milestone in review, a merged one landed, and a proof summit is never marked landed before the roadmap says so.
The GeometricTopology roadmap as a dependency graph · node states: merged / in review / unstarted / next up / incomplete · goal colors follow the legend · rows are the roadmap's layers, so a dependency edge always points to the same layer or a deeper one, and routes never travel upward.
Milestones, dependencies and routes are read from the roadmap at its pinned revision: the GeometricTopology roadmap. Snapshot 2026-10-05T11:12:32.965396Z.
one column per non-idle day — height = that day's state transitions, colour = that day's health median · drag the window to move it, drag its edges to resize, double-click to reset · idle days take no column in either chart · the window is the one both timelines below draw
PR activity timeline (utensil)
hover a column for the activity list
PR health timeline (all geometric topology)
median — 3-day rolling (per-day cache)my merged PRsmy closed PRsmerged by others (band = health)in reviewhealth bands:≥ 75≥ 60< 60reviewed by us
health = max(0, 100 − (3A + 4D + 3H + 6L + 8B + 12S + 5U))
A max review round − 1D distinct rubrics ever non-greenH failed high-impact rubrics (scope, API-design, generality, reuse, proof-quality)L repeated rubric failures across roundsB block rubric/round pairsU current-head non-green rubricsS scope/design-reset penalty, recorded per PR in the selection
Health measures review churn on the preserved scoreboards, not mathematical quality or review coverage. A PR whose exact-head scoreboard is missing or incomplete is unscored rather than perfect; the scoreboards' edit history is retained, so restored rounds still count.
median = 3-day rolling median of the scored merged PRs in the centred window · dots/diamonds sit at the actual merge/close time