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) | 1,024 |
| Signed statement receipts | 22 |
| Coins per receipt | 2 |
| Coins on the ledger (theorems × 2) | 2,048 |
| Coins on signed receipts (× 2) | 44 |
| Released versions (git tags) | 585 |
| Tracked, content-addressed files | 272 |
Latest release: v6.3.7. 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: 2,048 bits. This is an accounting bounty in bits/coins — integrity, not a cash prize; the deposit itself claims 0 / 7 of the Clay 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: 31e2d259-a8af-8240-8193-b4b655af0886. Integrity, not truth. entails → 0/7.