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,029 |
| Signed statement receipts | 29 |
| Coins per receipt | 2 |
| Coins on the ledger (theorems × 2) | 2,058 |
| Coins on signed receipts (× 2) | 58 |
| Released versions (git tags) | 594 |
| Tracked, content-addressed files | 292 |
Latest release: v6.4.6. 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,058 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: 28b2d906-1e9b-8303-8aa5-3d28298e2753. Integrity, not truth. entails → 0/7.