garywelz/programming_framework

1# Mathematics Database — Next Pass Checklist2 3A prioritized checklist for the next major revision: Cite links, Frontier sections, and uniform color scheme.4 5---6 7## Phase 0: Database Table Page (Intro & Start Here) — DONE ✓8 9- [x] Concise introduction at top (conceptual-framing)10- [x] Move search box into "Start Here" section11- [x] Remove "Named Collections" (avoids who-is-named complaints)12- [x] Start Here: search field + link to Whole of Mathematics13- [x] Describe Whole of Mathematics as "Interactive UI" in link text14 15---16 17## Reference: 5/6-Color Scheme (GLMP)18 19Use this palette across all charts for consistency:20 21| Role | Hex | Semantic |22|------|-----|----------|23| Red | `#ff6b6b` | Triggers, inputs, postulates |24| Yellow | `#ffd43b` | Structures, objects |25| Green | `#51cf66` | Processing, operations, propositions |26| Light blue | `#74c0fc` | Intermediates, states |27| Violet | `#b197fc` | Products, outputs |28| Lavender | `#e6e6fa` | Decision diamonds (algorithms only) |29 30**Axiomatic/dependency chart mapping:**31| Node type    | Hex        | Role                    |32|--------------|------------|--------------------------|33| Axiom        | `#ff6b6b`  | Red — inputs, postulates |34| Postulate    | `#ff6b6b`  | Red — same as axiom      |35| CommonNotion | `#ffd43b`  | Yellow — structures      |36| Definition   | `#b197fc`  | Violet — products        |37| Lemma        | `#74c0fc`  | Light blue — intermediates|38| Theorem      | `#51cf66`  | Green — propositions     |39| Corollary    | `#1abc9c`  | Teal                     |40| Proposition  | `#51cf66`  | Green — same as theorem  |41| Reference    | `#bdc3c7`  | Gray                     |42 43---44 45## Phase 1: Cite Links46 47Add attribution (Cite badge + popover) to charts with identifiable primary sources.48 49### Already have Cite (7)50- [x] Gödel First Incompleteness51- [x] Schemes & Sheaves (Grothendieck)52- [x] Group Representations53- [x] Riemannian Geometry54- [x] ZFC Axioms55- [x] Shannon Entropy56- [x] C*-Algebras57 58### High priority (add Cite)59- [ ] Euclid's Elements charts60- [ ] Peano Arithmetic (Landau, Kirby–Paris)61- [ ] Szemerédi Theorem62- [ ] Green–Tao Theorem63- [ ] Galois Theory (Field Theory charts)64- [ ] Cauchy / Complex Analysis charts65- [ ] Sullivan collection charts66- [ ] Hubbard–Douady collection67- [ ] Devaney collection68- [ ] Kolmogorov axioms, Bayes, CLT (Statistics)69- [ ] NIST DADS algorithms (Binary Search, etc.)70 71### Medium priority72- [ ] PDE charts (Laplace, Heat, Wave)73- [ ] Functional analysis (Banach, Hilbert)74- [ ] Spectral theory charts75- [ ] Representation theory (remaining)76- [ ] Commutative algebra charts77 78### Schema79See `ATTRIBUTION_SCHEMA.md`. Fields: `primary`, `contributors`, `publication`, `year`, `doi`, `url`.80 81---82 83## Phase 2: Frontier of Research Links84 85Add or expand "Recent & Frontier" sections on index pages. Each section: proved results, open conjectures, links to charts, links to arXiv/external.86 87### Already have Recent & Frontier (3)88- [x] Number Theory89- [x] Algebraic Geometry90- [x] Representation Theory91 92### Add Frontier section93- [x] Differential Geometry94- [x] Complex Analysis95- [x] Statistics & Probability96- [x] Partial Differential Equations97- [x] Foundations (set theory, logic)98- [x] Calculus / Real Analysis99- [x] Functional Analysis100- [x] Topology (geometry_topology index)101- [x] Operator Algebras102- [x] K-Theory103 104### Template105Use the pattern from `algebraic_geometry.html`: `.frontier-item.proved` (green border), `.frontier-item.conjecture` (orange border), with `.name`, `.meta`, and chart/external links.106 107---108 109## Phase 3: Uniform Color Scheme110 111Apply the 5/6-color palette to all charts. Replace per-subcategory accent colors with the standard palette.112 113### Algorithm flowcharts (already mostly correct)114- [x] Sieve, Extended Euclidean, Dijkstra, Prim, Kruskal, BFS115- [x] Binary Search, RSA, AES, Merge Sort, Quicksort, BST116- [x] Bisection, Simpson's Rule117- [x] Bioinformatics (BLAST, sequence alignment)118- [x] Verify any outliers use standard colors119 120### Axiomatic / dependency charts121- [x] Gödel / Peano charts — map Def/Lem/Thm/Cor to palette122- [x] Euclid's Elements — align postulate/common notion/proposition colors123- [x] ZFC / Foundations124- [x] Abstract algebra, algebraic geometry, representation theory, differential geometry, spectral theory, symplectic, metric geometry125 126### P3 charts (operator algebras, K-theory, quantum algebra, optimization, information theory, mathematical physics)127- [x] Replace subcategory-specific header/node colors with 5-color palette128- [x] Header: database orange #e67e22129- [x] Mermaid nodes: Def → Violet, Thm → Green130 131### Header / nav consistency132- [x] Standardize header to database orange #e67e22133- [x] Nav link colors: #e67e22134 135---136 137## Phase 4: Optional Enhancements (if time)138 139### Content140- [x] Landmark theorem charts: FLT, Riemann Hypothesis (high-level)141- [x] Modular arithmetic: CRT (Chinese Remainder Theorem)142- [ ] Primality tests (future)143- [ ] `namedCollections` metadata for cross-linking (Euclid, Gödel, Galois, etc.)144 145### Infrastructure146- [x] Formal verification links (Lean, Coq)147- [x] AI mathematics (AlphaProof, AlphaGeometry)148- [x] math.HO (History & Overview) — added to Number Theory, Foundations149 150---151 152## Execution Order153 1541. **Phase 3 (Color)** — Do first; it's a bulk replace across many files. Establishes visual consistency before adding content.1552. **Phase 1 (Cite)** — Add attribution to charts that have clear sources. Can be done incrementally.1563. **Phase 2 (Frontier)** — Add Recent & Frontier sections to remaining index pages. Lower effort, high value.1574. **Phase 4** — As capacity allows.158 159---160 161## Files to Modify162 163### Color scheme164- All `processes/**/*.html` with Mermaid `classDef` blocks165- Generator templates: `generate_p3_charts.py` (P3 charts)166- Possibly: shared CSS or build step for future automation167 168### Cite169- Add attribution HTML + CSS to each chart; or extend generator/template for batch charts170- Update `ATTRIBUTION_SCHEMA.md` if schema changes171 172### Frontier173- Index pages: `processes/<subcategory>/<subcategory>.html` (e.g. `processes/differential_geometry/differential_geometry.html`)174 175---176 177## Completion Criteria178 179- [ ] All charts with identifiable sources have Cite badge180- [ ] All major index pages have Recent & Frontier section181- [ ] All charts use the 5/6-color palette (no stray per-chart accent colors in node fills)182- [ ] Header/nav colors are consistent (or explicitly documented as domain accents)183