Documentation Index
Fetch the complete documentation index at: /llms.txt
Use this file to discover all available pages before exploring further.
Code, claim inclusion, complete backing and executable exit are separate assurances.
| Check | Establishes | Does not establish |
|---|---|---|
| Attestation and channel binding | Connection to approved measured code/key under verifier assumptions | Correct economics, full solvency, honest client distribution or continuous availability |
| Claim Merkle inclusion | Your leaf belongs to a specified root | Complete liabilities, asset access or sufficient reserves |
| Reconciliation/backing evidence | Explicitly covered checks at a qualified cut | Immunity to shocks or venue inaccessibility |
| Activated funded recovery | Claims execute under that estate/program’s constraints | Operator-free exit from arbitrary live exposure |
