Vision

One goal, stated narrowly

The constellation is built around a single goal: enable independently authored, future-unknown participants to become safely usable by each other through substrate-visible evidence — without private integration code, central registries, or ambient trust.

A participant written today should be discoverable and usable by one written years later, and the reverse — but only to the extent the interaction is externalized as values, facts, proofs, descriptors, and resource contracts. This is not magical mutual understanding. It is what the theory calls progressive explicitness: systems become understandable to each other because they externalize enough of themselves to be checked.

Late-bound use

Most integration today is early-bound — two systems are wired together by hand, by someone who knew both, ahead of time. The substrate is aimed at late-bound use: a participant written later can discover, understand, authorize, and compose with one written earlier, through evidence the substrate itself can see. That rules out three common shortcuts: private integration that only the authors understand, a central registry everyone must be enrolled in, and ambient trust granted by position rather than earned by evidence.

Evidence, not trust

Everything the substrate does reduces to one move: admit a protected action at a gate such that any rightful challenger can re-check the account for that admission. The theory writes this as a single judgment, admissible(actor, verb, operand, evidence) — true when an action may be admitted with an account any party can re-check. A guiding invariant runs underneath: finding the evidence may be expensive, heuristic, even LLM-assisted, but verifying it must stay small, deterministic, and portable. That search/check split is what lets the edges reason in open-ended ways while the core stays safe.

Exploratory, not finished

This is a thesis under inquiry, not a shipped specification. The substrate theory track is explicitly exploratory and pre-normative: it frames the goal, derives criteria, and proposes candidate theories — it does not claim the design is settled or built. Read it as the constellation reasoning about itself, with its open edges left visible on purpose.