Two documents, one spine
Headings from the TFS takeaway and the condensed KB. Shared core, then the takeaway-only expansion. Provisional claims flagged.
Orientation
Mixture, not binary
Smooth and striated from ATP ch. 14: haptic/optical, nomadic/sedentary, and the political caveat. Literature spine — not replaced by the KB.
Five daily one-pagers
Arc 2026-09-29 → 2026-10-03: primary defs, mixture, figures, literature map, form options. The log predates this IA.
Corpus & tiers
KB basis in lit/grant-seed/, ATP primer, and Day 4 citation tiers. Figures are listed as pedagogy, not as a pillar.
Site purpose
Formalize the knowledge base from the documents Grant named as its basis — the Topological Formal Semantics takeaway and the condensed KB — together with ATP definitions of smooth and striated. The base is self-organizing: new structure is added when it is in a source, and it stays marked provisional until Grant locks it. The heat-map look of this page is the visual system. The heat-map and spectrum images are figures inside the knowledge base, not a category of their own.
Status. Mandate confirmed by Grant 2026-09-29. IA updated the same day: Knowledge base is a standing page; Pedagogy is not in the primary nav. No Bridge locked. No joint-field claim.
Two lanes, not one field
Literature spine. Smooth and striated, in the sense this project quotes, come from Deleuze & Guattari, A Thousand Plateaus ch. 14. Working text: Definitions. Acentered, intensive/haptic, nomadic distribution — versus grids, optical measure, sedentary allocation. Mixture, not a binary. Smooth is not automatically liberatory.
Formalization lane. The knowledge base organizes what the two TFS documents actually contain: glyph, hybrid ribbon, seven condensed theorems, linguistic mappings, and — in the takeaway only — heat-map strata and holonomy. Those later sections are flagged. They are not ATP, and they are not a joint field.
What is not on the front door
Pedagogy is not a major category. The figures remain at Knowledge base → Figures (the old Pedagogy URL still opens them). No math has been added beyond what the documents state, and none of that math is treated as proved.