> ## Documentation Index
> Fetch the complete documentation index at: https://docs.cinder.exchange/llms.txt
> Use this file to discover all available pages before exploring further.

# What verification establishes

> 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 |

There is no production complete-liabilities/reserves proof published by these docs. ZK cannot replace asset authority, settled exposure or complete claims.

The [evidence register](https://github.com/arnabnandikgp/cinder/blob/product/tee-v1/docs/implementation/EVIDENCE.md) separates documented interfaces, offline tests, hardware observations and unresolved gates.


This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.