Foundation 04 · Authority order
The truth hierarchy
Stronger truth governs weaker projection. A lower layer may display, index, synchronize, or extend stronger truth; it cannot replace it.
What this enables
The solved state
You can decide which source governs a conflict and stop a database, session, network response, or interface cache from downgrading stronger verified truth.
- 01Receiz law and product invariants
- 02Sealed artifact truth and embedded proof
- 03Deterministic proof object state
- 04Verified local truth and durable local truth
- 05Verified register block and verified append
- 06Authenticated snapshot
- 07Server distribution, synchronization, indexing, and publication
- 08Database and session state
- 09Interface cache and temporary render state
- 10External references for mechanics only
- 11Generic application convention
Forbidden direction: a lower level never replaces a higher level.
Governing statement
Replacement may move upward, never downward
Weaker layers may decorate, synchronize, index, hydrate, or display stronger truth. History extends only through a separately verified successor or verified register addition against the exact predecessor or head. No weaker layer may replace, erase, rename, delay, or outrank stronger truth.
A lower layer can help you use what is already proven. It cannot make the proven object less real.
- What was broken
- Background hydration and partial responses can make a settled surface flicker, empty, or revert to weaker state.
- What is established
- The no-downgrade rule protects settled truth and permits only verified additions.
- What you can do now
- You can design first paint and synchronization so the person sees known truth immediately while a separately verified successor against the known head may extend it behind that settled surface.
- Why it matters
- Speed and correctness become the same rule: reuse stronger known truth first.
A background response with less complete data cannot clear a held proof object; only a separately verified successor against the known head can extend its history.
AGENTS.mddocs/truthful-speed-invariants.mddocs/deterministic-surfaces.md