Formal Definitions
The intellectual vocabulary of the Substrate Geometry Research Program. Every term carries a precise definition, an illustrative example, and a note on its significance to the pipeline.
Validated Primitive Substrate
Each entry carries a formal invariant as a computable predicate, a parameter vector defining the shape family, physics regime validation status, and a cross-domain transfer argument. This is the data substrate a real pipeline reads — not prose.
Case Study I · Mechanism Layer · Validated
The anchor primitive. The first fully validated substrate entry. Every novel candidate that passes the four-criterion pass gate earns the same standing. The oloid sets the evidentiary standard the entire program is measured against.
All 4 validation criteria passedMechanics Visualization
The oloid's surface is fully developable (K = 0 everywhere). It has no rotational symmetry axis, yet rolls on a flat surface in a path that eventually covers the entire plane. Surface area: 4πr². Contact: full line-contact at every instant.
The Problem Space
Let O be an oloid of radius r rolling without slipping on plane Π. Define contact locus C(t) as the set of surface points contacting Π at time t. The time-averaged contact measure converges to the uniform distribution over the surface:
The Hertz contact pressure integral distributes across the full surface area as motion accumulates:
For fluid volume Ω with an oloid agitator, the induced velocity field v(x,t) satisfies:
Cross-domain transferability of the invariant
Research Lineage & Forward Path
Active Candidate Zone
Primitives proposed by the synthesis engine that have not yet passed the proving grounds. Each entry shows its readiness checklist — what work remains before it can be stress-tested. Candidates that pass all four criteria move to the substrate library and become search inputs for the next generation.
Oracle Console — Validated Results
Contact Distribution Score (CDS) validation results from both oracle layers. The approximate oracle (composed rotation) was used for initial search; the rigid-body oracle (Euler-equation dynamics) provides defensible confirmation.
Rigid-Body Oracle — Euler-equation dynamics, 3 runs, 600 samples
| Rank | Geometry | CDS Score | vs. Oloid | Surface Area | Contact CV | Status |
|---|---|---|---|---|---|---|
| 1 | Oloid (Schatz 1929) | 8.2e-7 | 1.00× | 12.66 | 0.917 | PASS |
| 2 | Candidate #2 (120°/1.30/0.80) | 8.7e-7 | 1.06× | 11.34 | 0.856 | PASS |
| 3 | Candidate #3 (90°/0.70/0.80) | 1.09e-6 | 1.33× | 9.35 | 0.758 | PASS |
| 4 | Candidate #1 (120°/0.70/0.80) | 1.93e-6 | 2.35× | 9.02 | 0.759 | PASS |
| 5 | Cylinder (conventional) | 4.75e-5 | 58× | 18.83 | 1.610 | FAIL |
Approximate Oracle — Composed rotation, 600 steps (search layer)
| Geometry | CDS Score | Steps | Surface Area | Contact CV | Status |
|---|---|---|---|---|---|
| Oloid | 1.15e-6 | 600 | 4πr² | ~0.03 | PASS |
| Sphere | 1.12e-6 | 600 | 4πr² | ~0.03 | PASS |
| Cylinder | 3.21e-5 | 600 | 2πr(r+h) | ~0.18 | FAIL |
| Reuleaux 3D | 3.31e-3 | 600 | varies | ~0.58 | FAIL |
Scores computed by contact_oracle.py — run locally: pip install trimesh numpy scipy && python contact_oracle.py
Live Oracle: coming in Phase C
Run invariant validation in-browser. WebAssembly port of contact_oracle.py with real-time mesh manipulation and CDS scoring.
Hypothesis Engine
Define a formal invariant and physics regime. The engine returns candidate primitives in the substrate schema format — structured data, not narrative. Novel candidates are flagged with their mathematical construction path and the simulation tooling needed to validate them. Output feeds directly into the Candidate Zone.
Pipeline state: AI reasoning layer active → FEniCS oracle: pending → DEAP evolutionary search: pending → manufacturability filter: pending