Dependency maps

58 items across 7 chapters.

fully proved6Proved, and every prerequisite is fully proved too.ready to state15Nothing it needs is blocked, so the statement can be written in Lean.planned37Described in the blueprint only.

graph LR n0["Background prerequisites<br/><small>14 items · 2 fully proved · 12 ready to state</small>"]:::scope n1["Sheaf categories and homotopy invariance<br/><small>10 items · 1 ready to state · 9 planned</small>"]:::scope n2["A bounded lattice on the test sphere<br/><small>8 items · 1 fully proved · 7 planned</small>"]:::scope n3["Localization, germs, and dense subcategories<br/><small>7 items · 1 ready to state · 6 planned</small>"]:::scope n4["Preparing local tests<br/><small>8 items · 3 fully proved · 1 ready to state · 4 planned</small>"]:::scope n5["Character classes and the contradiction<br/><small>8 items · 8 planned</small>"]:::scope n6["Main theorems<br/><small>3 items · 3 planned</small>"]:::scope n0 -. 2 .-> n5 n0 -. 8 .-> n4 n0 -.-> n3 n0 -. 3 .-> n6 n0 -. 7 .-> n1 n0 -. 2 .-> n2 n5 -.-> n6 n4 -. 6 .-> n5 n4 -.-> n6 n3 --> n5 n3 -. 3 .-> n5 n3 -. 7 .-> n2 n1 -. 3 .-> n5 n1 -->|5| n3 n1 -. 4 .-> n3 n1 -->|7| n2 n1 -. 7 .-> n2 n2 --> n5 n2 -. 3 .-> n5 click n0 "dependencies/chapters/background.html" "Background prerequisites — 14 items · 2 fully proved · 12 ready to state" click n1 "dependencies/chapters/sheaf-categories.html" "Sheaf categories and homotopy invariance — 10 items · 1 ready to state · 9 planned" click n2 "dependencies/chapters/sphere-lattice.html" "A bounded lattice on the test sphere — 8 items · 1 fully proved · 7 planned" click n3 "dependencies/chapters/localization.html" "Localization, germs, and dense subcategories — 7 items · 1 ready to state · 6 planned" click n4 "dependencies/chapters/local-tests.html" "Preparing local tests — 8 items · 3 fully proved · 1 ready to state · 4 planned" click n5 "dependencies/chapters/character-classes.html" "Character classes and the contradiction — 8 items · 8 planned" click n6 "dependencies/chapters/main-theorem.html" "Main theorems — 3 items · 3 planned"