Spin representations route map

The SpinRepresentations roadmap as a dependency graph: gray dashed edges are the dependency spine, each goal draws its route in its own color toward its summit, and a shared edge splits into one lane per goal. The goals shown do not cap target selection — uncovered roadmap targets and their direct RepresentationTheory prerequisites qualify as cohesive slices — and a new goal is one entry in the GOALS array.

Goals

The map (all spin representations)

Collected as PRs labelled roadmap/RepresentationTheory whose changed files touch the spin representations directories, plus the lane's goal PRs.
The lane also advances the orthogonal and spin groups roadmap: its PRs (label roadmap/OrthogonalSpinGroups) are listed on the orthogonal and spin groups route map and are not counted here.
The SpinRepresentations roadmap as a dependency graph · node states: merged / in review / unstarted / next up · goal colors follow the legend · rows follow the dependency spine (topological order), not the roadmap's layer numbering: Layer 1's structure theorem sits below the spin module because it is proved forward from it, so every dependency edge points downward and routes never travel upward.
E₈: a scale-specific consumer of the bivector/Lie bridge (route γ), not a target — Zulip thread · msg 580290449
Siblings: orthogonal and spin groups route map

History window

colour: ≥ 75 ≥ 60 < 60 no reading window (both charts below)
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 spin representations)

median — 3-day rolling (per-day cache) my merged PRs my closed PRs merged by others (band = health) in review activity cluster (hover) health bands: ≥ 75 ≥ 60 < 60 reviewed by us
health = max(0, 100 − (3A + 4D + 3H + 6L + 8B + 12S + 5U)) A max review round − 1 D distinct rubrics ever non-green H failed high-impact rubrics (scope, API-design, generality, reuse, proof-quality) L repeated rubric failures across rounds B block rubric/round pairs U current-head non-green rubrics S scope/design-reset penalty (currently 0)
Health measures review churn, not mathematical quality or review coverage. September 24 audit recovered edited scoreboard history and corrected #8245/#8239/#7660/#7620; round-counter resets still undercount cumulative effort. Future refreshes must retain history or report unknown.
median = 3-day rolling median of merge health over a cached per-day sample of up to 6 PRs/day, excluding mine · history is frozen; only new days are sampled on refresh · dots/diamonds sit at the actual merge/close time