Repository navigation
Design
enumeratio edited this page Nov 5, 2026
·
21 revisions
Every design page, by how settled it is. A settled page's own Status: line is the authority
on how far it's built; open questions split off from one live on its Speculative page.
- Boxes: the presentation tree between an expression and its rendering, and its serialisers.
- Benchmarking: how fast enumeratio is, whether it's getting slower, and against what.
- Branding: the names, and when one earns a brand of its own.
- Component Naming: the naming audit, its rule, and the renames it called for.
- Components and Symbols: a symbol is a component; the tags and the controls.
- Computation: how an expression is computed, and what bounds it.
- Domains: carriers, collections and their held constructors.
- Epsil Kernel Performance: why compiled Epsil kernels trail the TS kernels, cost by cost.
- Examples as Data: the reference examples as the home of the math tests.
- Figures: layers in shared frames, queries with screen-blended fills, caption and legend as controls (agreed, not built).
-
Knots: knot invariants and
KnotCurve. - Legacy Port: features from the Postgres-era predecessor not yet brought across.
- Manifest: symbol metadata built from the records.
- Namespaces: how names are scoped.
- Notebooks: the notebook and the worksheet.
- Packages: what each package is, which side of enumeratio/notatio it sits on, how they depend.
- Plausible: the property-based sampler over our value spaces.
- Random: random sampling over collections, intervals and distributions.
- Rendering Environments: an environment as a capability record, and what it changes.
- Structures: generic heads over compute-engine's protocols, after Mathlib's hierarchy.
- Symbols: the symbol catalogue.
- Syntax and Formats: Epsil, the forms (FullForm to DisplayForm) and the format registry.
- Vdom: the component form of an expression.
- Algebras, Units and Places
- Combinatorics Layering and Plausible
- Components and Symbols
- Compute Host
- Docs in Enumeratio
- Domains
- Evaluation
- Flat Encodings for Nested Values
- Foreign Names
- Graphics and Space
- Knots
- Kernel as a Job Store
- Kernels and Front Ends
- Lazy Engine
- Lazy Notation
- Namespaces
- Numeral Naming
- Options, Restrictions and Orders
- Restrictions
- Restriction counts: reference algorithms
- Overloads as Data
- Posets
- Nucleus Facade
- Per-Package Repositories
- Package Scopes
- Plausible
- Prose Pipeline
- Rendering Environments
- Native Rendering
- Box Primitives
- Sessions as Data
- Statistics and Maps
- Symbol Metadata
- Symbols
- Syntax and Formats
- Units and Dimensions
- Vdom Canonical Form (superseded by Vdom Markup)
- Vdom Markup
Carried over because the idea is still open here; each page says what's changed since.