Naming
The hierarchy
Lepton builds vertical operating systems on Vinxi.
| Name | Is | Never is |
|---|---|---|
| Lepton | The company | The kernel |
| Vinxi | The kernel / base platform (vinxi-*, @vinxi/…) | A product customers buy directly |
| NetworkAccess · Trafficure · SmartMarket · SmartBuild | Lepton’s vertical products, built on Vinxi | The platform itself |
Sentence forms: “NetworkAccess is powered by Vinxi.” “Lepton builds vertical operating systems on Vinxi.”
Package & crate law
vinxi-kernel-*, vinxi-plane-*, vinxi-port-*, vinxi-adapter-*, vinxi-worker-*,
vinxi-sdk-*, vinxi-ir-*, vinxi-resource-*, vinxi-ontology-*. Bare names for folders,
prefixed names for crates/packages. Do not mix prefixes. Product SDKs and userland may use
@lepton/… (e.g. a product SDK), never for kernel/platform packages.
Retired terms
Using a left-column term in a live room is an error (Stage C lints for the bold ones).
| Retired | Current |
|---|---|
| Lepton Kernel | Vinxi Kernel / the Vinxi kernel |
| Reality Kernel (proper noun) | Vinxi Kernel (reality kernel, lowercase, stays as the category term) |
lk-*, lepton-* (code prefixes) | vinxi-* |
leptond | vinxi-kernel-server (+ vinxi-worker, vinxi-cli) |
| Lepton Infrastructure Cloud | dead era name — no successor |
| Entity-Trait-Link (three-primitive model) | Entity/Trait + link as one of the nine kind constructors |
| Capture→Observe→Resolve | Statement → ResolvedValue fusion |
| Sanjaya (as an architecture plane) | the agent surface (agents are Actors at the seam). Sanjaya remains live as the assistant persona in product surfaces. |
| Lens | projection / serving view |
| Serving Store | the Serving plane (“truth of nothing”) |
| Reality Store | dead |
| Object / Object Store | Entity / Entity Store |
| Entity Kind (as the type of an entity) | Entity Type (entity_type; “kind” is reserved for the value-kind constructor layer) |
| data fabric | dead (external vocabulary; we say planes and ports) |
| “Vinxi OS” (the pre-2026-07 TS substrate) | historical artifact — distinct from the Vinxi kernel |
Naming traps
- “NetworkAccess” also names the legacy SmartInventory product (demo at
networkaccess.st.leptonsoftware.com). Legacy usages live only under Reference → Legacy SmartInventory, behind a banner. - “SmartMarket” is both the legacy Java platform (being left behind) and a future product on Vinxi. Era context required; prefer “SMP” for the legacy platform.