ADR-0001: Lepton is the company, Vinxi is the kernel

Status: accepted

Lepton is the company. Vinxi is the kernel and base platform: vinxi-* crates, @vinxi/… packages, “Vinxi Kernel” in titles. NetworkAccess, Trafficure, SmartMarket, SmartBuild are Lepton’s vertical products built on Vinxi (“NetworkAccess is powered by Vinxi”). reality kernel, lowercase, is the category term, not a brand. The prior kernel names and code prefixes are retired; the full table lives in Naming. Decision history: the naming evolved lk-* → lepton-* → vinxi-* in the 2026-07-02 design conversation; only the final position is canon.