SolvaDocs

What a record shows

The fields of a coverage record, the statuses covered, short and stale, and what a record proves and does not prove.

A record is one entry in an institution's registry on Stellar, written only after the proof behind it passes every check. Some of what a record shows is proven, and some still rests on someone's word.

The fields

FieldWhat it means
Proof idThe record's number in the registry. The first record is 1, and each new record adds one.
Reserves totalThe sum of the reserve figures from the institution's reserve source, in the asset's smallest unit.
Liabilities totalThe sum of every customer balance in the committed list, which is what is owed, in the same unit.
Commitment rootOne value that stands for the whole customer list and its total. Holders check their balance against it.
Previous reservesThe reserves total of the record before this one. The proof uses it for the growth bound, and the registry checks it matches.
Ledger and timeThe Stellar ledger that included the record, and that ledger's close time. The time comes from the network, not the institution.

Amounts are whole numbers in the asset's smallest unit, never fractions. For a dollar token with two decimal places, 1000000 means 10,000.00. Assets on Stellar have seven decimal places, so for Testnet USDC 100000000 means 10 USDC.

The registry stores the proof id, both totals, the commitment root and the time. The previous reserves figure is checked when the record is written and equals the reserves total of the record before it. The ledger is part of the publishing transaction on Stellar.

The statuses

Public record pages Coming soon show the status, the percentage and the history for each institution and asset. A status is one of three: covered, short or stale. The registry stores no status. It holds the record's totals and time, and a reader works out the state from those.

StatusMeaningWhat a reader does
CoveredThe latest record shows reserves at or above what is owed, and it is recentRelies on it for that ledger, and checks again after the next cycle
ShortThe latest cycle found reserves below what is owedTreats the asset as not covered until a new record shows it covered
StaleNo new record arrived inside the expected windowTreats coverage as unknown until the next record lands

Coverage as a percentage is reserves divided by what is owed, cut off at two decimal places and never rounded up. Reserves of 99,996.00 against 100,000.00 owed read as 99.99 percent, which is short.

A cycle whose reserves are below what is owed is refused and nothing is written, so there is no proof that day and the last record stays as it was. On record pages, short reports that refused cycle with the size of the gap.

Stale follows a fixed rule: no record inside the expected window. Today you apply that rule yourself from the record's time. How old a record may be before you stop relying on it is your own decision. A missed day is never filled in later.

What a record proves

A contract on Stellar checked the proof behind every record. That proof established all of the following:

  • Every balance in the committed list was counted, and none is negative.
  • The list adds up to the liabilities total.
  • The commitment root stands for exactly that list. A balance cannot be dropped or changed later without the root changing.
  • The reserves total is at least the liabilities total.
  • Reserves grew by no more than 10 percent since the previous record.
  • A holder whose balance is in the list can show it, without seeing anyone else's.

What a record does not prove

A record does not proveWhy
That an attested reserve figure is honestThe proof takes the signed balance as given. If the custodian signs a wrong figure, the record is wrong.
Who holds the reserves' private keysA balance says what an account holds, not who controls it.
That the customer list is completeThe institution supplies the list. A left-out customer fails the inclusion check, which is how the gap shows.
That reserves are free of other claimsA balance does not show if the same money also backs something else.
Anything about a day with no recordA missed day has no proof. It says nothing either way.
That the institution is sound in any other senseA record shows coverage at one ledger. It is not an audit.

The reserve figure rests on the reserve source: the custodian's signature, or the Stellar ledger for reserves read on chain. See Where reserve figures come from.

See a record on Testnet

Three example registries run on Stellar Testnet. Kestrel Anchor, Solstice Exchange and Harbor Wallet are fictional institutions made up for the demo.

Example institutionReserve sourceRegistry contract
Kestrel AnchorAttestedCAFUK25F56VW442VAOHDKGMPYF2BZ3ERVLVAM4H6JTN2WGZPDUQLRTPN
Solstice ExchangeAttestedCDSQ35U2Y3VC44PJC6RRUJVCES2DLBWELDN32AIAEY4J35H4WBEKEUQW
Harbor WalletRead on chainCBOA5AJEMTQ5CSMHE6WFWWBIYYMNSUQGKWE6FCFB2KKNJSJPHBWSCSJK

To read one yourself, see Check a record on Stellar.

On this page