Tau Ceti Atlas

How the atlas works

The atlas is one universe. Zoom in and it becomes more specific; zoom out and it becomes more general. The address bar and breadcrumbs follow the camera.

1. Galaxies are mathematical areas. From the universe you see the areas named and each roadmap as a point.
2. Constellations are roadmaps. Inside a galaxy each roadmap resolves into a small figure of stars.
3. Stars are layers. Inside a constellation each star is a mathematical topic with its name.
4. Planets are the mathematics. A layer's definitions, theorems and constructions orbit its star. Select a planet to read its statement and references.
5. Diamonds are papers. A research paper sits on the rim of the roadmap it builds on most. It fills from the bottom as the layers it needs are formalised and is full once they all are; it unlocks, solid white, when every roadmap it calls for is in the atlas too. Select it to see a line from each roadmap it builds on.

Scroll or pinch to zoom and drag to pan. Click an object to travel to it; the back control above the map steps out one level, and your browser's back button also works. Press ⌘K or Ctrl K to search.

Colours

Progress is brightness. A layer, roadmap or area recorded as not started is grey; once work on it is recorded it is red, warming through salmon to bright white when complete, so a galaxy brightens as its roadmaps fill in. Tau Ceti's own roadmaps take each layer's state (done, partial, untouched or not yet assessed) from the Progress page of the Tau Ceti site, refreshed daily. Objects with no recorded status are open rings and are counted under “no progress data” in Mission status; they are never shown as started or as zero percent. Dashed outlines mark areas that have no roadmap yet. Planets are coloured by kind: definitions, theorems and constructions; a dashed planet is a reviewed refinement read from the primary sources.

Connections

Nothing is linked until you ask. Select a roadmap to see its links to other roadmaps, select a star to see the prerequisites and consumers of that layer, and hover an area heading to see the routes between areas. Select a link to see the two things it joins, the prerequisite first; either name takes you there. The Links tab lists the layer pairs behind each roadmap link. Related-plan links can be switched on and carry no prerequisite claim.

The roadmap texts are embedded, so the page works offline. Administrative tasks stay in the full source and in the totals but are not drawn as stars. Progress changes and pins are saved in this browser only and never edit the Tau Ceti repositories. Recorded statuses are dated snapshots.

Your progress

Open a layer star, choose its status in the details panel and add a note. Updates change its colour and are saved locally. “Use recorded status” removes an override.

An imported file restores local updates. Recorded source reports stay embedded separately. These controls never edit the Tau Ceti repositories.