# ColorTrace Safety

Safety in ColorTrace is guaranteed by several *invariants* shown below. For more details and a formal analysis of safety, please read the [whitepaper](https://layerzero.network/publications/ColorTrace.pdf).

### Asset-Circulation Equivalence

The global supply of USDV is never increased or decreased other than by the Vault.

### Delta-Zero Invariant&#x20;

Delta-Zero: sum of delta of all colors on any chain or combination of chains is **zero**. The entire ColorTrace deployment is delta-zero, which guarantees vault share calculation is fair, precise, and accurate.

### Eventual Finality

Every operation in ColorTrace will eventually be reflected in the state of the system. However, some operations may have some latency for crosschain communication.

### Mint-holding preservation

A minter that has minted their TVL at the vault will ***never*** have their vault shares reduced below their TVL.


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://docs.usdv.money/docs/concepts/global-invariants.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.
