THE BITSPARK CONSTELLATION
A semantic substrate for late-bound software
Software written later should be able to safely use software written earlier — through evidence the substrate can check, not private integration, central registries, or ambient trust.
The constellation — generated from topology/constellation.json by atlas diagram gen.
How it fits together
The Bitspark constellation is a family of systems that together form a semantic substrate for software. Each system owns one idea and builds on the ones beneath it: ontos holds what is — the shared vocabulary of values; logos reasons over them; horos bounds what counts as a well-formed value of a kind; thesmos lays down who may; stele keeps the public record, admitting each fact by checking a proof anyone can re-check.
They don't sit side by side — they stack. The substance systems build on one another in a single vertical order that the dependency graph alone can't derive, ontos at the floor and stele at the top. Two orthogonal layers sit underneath the whole stack: design owns how it looks and reads, and atlas owns how it is built and relates — the topology, the typed dependencies (build, runtime, contract), the cross-repo diagrams and the decisions.
This site is the rendered projection of that structure. The pages are generated directly from atlas's source of truth, not a hand-kept copy, so they can't drift from the systems they describe.
New here? Start with the vision and the examples. Then explore the systems and read the stack floor to top.
Explore the constellation
UNDERSTAND
The vision
Why this exists: future-unknown participants becoming safely usable through substrate-visible evidence.
Architecture
One promise, a stack of questions, the evidence loop, and the component lifecycle.
Theory
The exploratory substrate-theory track — pre-normative reasoning, not specification.
EXPLORE
15 systems, one map
Every member, grouped by layer, with its gloss, repository, and typed dependencies.
Interactive graph
The constellation as a graph — hover to trace edges, filter by kind, open any system.
Dashboard
The live evidence ledger — each member's channel, release, wiring, conformance, and docs.
Roadmap
What's shipped, in progress, candidate theory, and waiting.
Built openly — atlas on GitHub.