Orthogonal and spin groups route map

The orthogonal and spin groups roadmap as a dependency graph: gray dashed edges are its stated layer order, 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 four layers and the nodes carry its own bullet ids (0A–3H). Siblings: Spin representations route map ·

Goals

The four goals are what the named successor OrthogonalTamagawaAndLatticeMass, the roadmap's named successor (which has no roadmap of its own yet), imports: the spinor norm with its local table and localization, the transvections and their Spin lifts, the adelic point groups with the adelic spinor kernel, and the low-rank cases that stand as acceptance evidence. Nothing downstream of that contract is a node here.

The map (orthogonal and spin groups)

Collected as PRs labelled roadmap/OrthogonalSpinGroups whose changed files touch the orthogonal directories. Node statuses are read from those PRs' own targets — the roadmap publishes no status report yet — so a node with no PR shows as unstarted; the edges are the roadmap's stated supplier order, the only dependency list it publishes.

History window

minimap — one column per non-idle day: height = that day's state transitions, colour = that day's health median 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 · the window is the one both timelines below draw

PR activity timeline (utensil)

hover a column for the activity list

PR health timeline (all orthogonal and spin groups)

median — 3-day rolling (per-day cache) my merged PRs merged by others (band = health) reviewed by us health bands: ≥ 75 ≥ 60 < 60
Siblings: Spin representations route map ·