Accounting — the real numbers, computed
Every figure recomputes from src/ and the git tree on each build; nothing is entered by hand. This page carries its own content-address — change any number and the address moves. Integrity, not valuation: a coin proves the bytes, not their worth.
| Quantity | Value |
|---|---|
| Decidable theorems (chained receipts) | 2,925 |
| Signed statement receipts | 32 |
| Coins per receipt | 2 |
| Coins on the ledger (theorems × 2) | 5,850 |
| Coins on signed receipts (× 2) | 64 |
| Released versions (git tags) | 0 |
| Tracked, content-addressed files | 547 |
Latest release: v0. The fair-exchange unit is 2 coins = 2 bits (110 − 108 = 2 = −χ genus-2) per receipt. One 64-bit harmony coin is minted per fused src report() module — see the state dashboard for the harmonic root.
Bounty — denominated in bits
The bounty for each accepted contribution is 2 bits (2 coins) — the same fair-exchange unit, earned by the deed (a gate-passing, receipted contribution) and owed by commercial use. Total bounty accounted on the ledger so far: 5,850 bits. This is an accounting bounty in bits/coins — integrity, not a cash prize. Heroes and traitors by deeds, not claims.
Not tracked here: tokens. This repo measures coins (2 per receipt) and 64-bit harmony coins; it does not measure tokens, so no token count or token-to-coin rate is shown — measuring an unmeasured quantity would be an assertion without a receipt. Measure, do not assert.
Page content-address: c8347bf8-d636-85f5-a3dd-eb719c7670fb. Integrity, not truth.