@ceccec/millennium-solutions 9.3.2 → 9.3.4

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (259) hide show
  1. package/README.md +54 -40
  2. package/dist/mod.core.d.ts +9 -0
  3. package/dist/mod.core.js +9 -0
  4. package/dist/src/0/index.d.ts +47 -0
  5. package/dist/src/0/index.js +189 -0
  6. package/dist/src/0/ledger.d.ts +1 -0
  7. package/dist/src/0/ledger.js +25 -0
  8. package/dist/src/0/trinity-matrix.d.ts +1 -0
  9. package/dist/src/0/trinity-matrix.js +16 -0
  10. package/dist/src/5/aspects.d.ts +1 -0
  11. package/dist/src/5/aspects.js +22 -0
  12. package/dist/src/5/reflection.d.ts +1 -0
  13. package/dist/src/5/reflection.js +25 -0
  14. package/dist/src/7/rosetta.d.ts +1 -0
  15. package/dist/src/7/rosetta.js +24 -0
  16. package/dist/src/9/enumeration.d.ts +1 -0
  17. package/dist/src/9/enumeration.js +14 -0
  18. package/dist/src/honesty/index.d.ts +16 -0
  19. package/dist/src/honesty/index.js +69 -0
  20. package/package.json +27 -10
  21. package/.zenodo.json +0 -51
  22. package/ABSTRACT.md +0 -155
  23. package/ACCOUNTING.md +0 -27
  24. package/AXIOMS.md +0 -574
  25. package/CHALLENGES.md +0 -2434
  26. package/DEPLOY.md +0 -39
  27. package/DEVELOP.md +0 -34
  28. package/HEART.md +0 -112
  29. package/PHYSICS-SCALES.md +0 -80
  30. package/PRIOR-ART.md +0 -151
  31. package/PROOF-OF-CONCEPT.md +0 -81
  32. package/REALISATIONS.md +0 -87
  33. package/RESEARCH.md +0 -188
  34. package/RULES.md +0 -57
  35. package/SEQUENCE-DECODE.md +0 -196
  36. package/SIGNATURE.md +0 -34
  37. package/THEOREMS.md +0 -97
  38. package/WHITEPAPER.md +0 -40
  39. package/WORKFLOWS.md +0 -47
  40. package/boundaries.md +0 -23
  41. package/captain.md +0 -85
  42. package/compare.md +0 -42
  43. package/compute.md +0 -543
  44. package/cryptography.md +0 -55
  45. package/dashboard.md +0 -50
  46. package/examples.md +0 -47
  47. package/folds.md +0 -65
  48. package/forensic.md +0 -67
  49. package/guide.md +0 -126
  50. package/harness.md +0 -20
  51. package/index.md +0 -217
  52. package/mod.core.ts +0 -10
  53. package/nature.md +0 -58
  54. package/organism.md +0 -30
  55. package/paper.md +0 -8100
  56. package/proofs.md +0 -26
  57. package/quantum.md +0 -40
  58. package/rights.md +0 -39
  59. package/solutions.md +0 -28
  60. package/speedup.md +0 -41
  61. package/src/0/chacha.ts +0 -3
  62. package/src/0/crypt.ts +0 -4
  63. package/src/0/csp.ts +0 -10
  64. package/src/0/entanglement.ts +0 -31
  65. package/src/0/fusion.ts +0 -28
  66. package/src/0/holographic.ts +0 -57
  67. package/src/0/impossible.ts +0 -30
  68. package/src/0/imprint.ts +0 -160
  69. package/src/0/index.ts +0 -263
  70. package/src/0/ledger.ts +0 -25
  71. package/src/0/legible.ts +0 -29
  72. package/src/0/limit.ts +0 -29
  73. package/src/0/merkle-proof.ts +0 -3
  74. package/src/0/null-token.ts +0 -24
  75. package/src/0/sha256.ts +0 -3
  76. package/src/0/singularity.ts +0 -20
  77. package/src/0/stream.ts +0 -47
  78. package/src/0/trinities.ts +0 -37
  79. package/src/0/trinity-matrix.ts +0 -20
  80. package/src/0/version-matrix.ts +0 -70
  81. package/src/1/acceptance.ts +0 -26
  82. package/src/1/index.ts +0 -80
  83. package/src/1/paradox.ts +0 -28
  84. package/src/1/vortex.lean +0 -6
  85. package/src/2/frequency-scales.ts +0 -28
  86. package/src/2/iching.ts +0 -34
  87. package/src/2/index.ts +0 -78
  88. package/src/2/primes-vortex.ts +0 -12
  89. package/src/2/quantum.ts +0 -48
  90. package/src/2/string-scale.ts +0 -14
  91. package/src/2/vortex.lean +0 -10
  92. package/src/3/index.ts +0 -63
  93. package/src/3/pi-bbp.ts +0 -13
  94. package/src/3/trinity.ts +0 -39
  95. package/src/3/vortex.lean +0 -7
  96. package/src/4/git.ts +0 -30
  97. package/src/4/index.ts +0 -63
  98. package/src/4/vortex.lean +0 -6
  99. package/src/5/aspects.ts +0 -27
  100. package/src/5/center.ts +0 -35
  101. package/src/5/development.ts +0 -45
  102. package/src/5/diamond.ts +0 -35
  103. package/src/5/folds.ts +0 -12
  104. package/src/5/index.ts +0 -63
  105. package/src/5/reflection.lean +0 -14
  106. package/src/5/reflection.ts +0 -14
  107. package/src/5/vortex.lean +0 -10
  108. package/src/6/dna.ts +0 -27
  109. package/src/6/index.ts +0 -63
  110. package/src/6/vortex.lean +0 -7
  111. package/src/7/cross.ts +0 -31
  112. package/src/7/glagolitic.ts +0 -51
  113. package/src/7/index.ts +0 -67
  114. package/src/7/language-lens.ts +0 -41
  115. package/src/7/lens.ts +0 -41
  116. package/src/7/locale.ts +0 -105
  117. package/src/7/rbac.ts +0 -31
  118. package/src/7/rosetta-clay.ts +0 -15
  119. package/src/7/rosetta.lean +0 -11
  120. package/src/7/rosetta.ts +0 -11
  121. package/src/7/string-dimensions.ts +0 -14
  122. package/src/7/vortex.lean +0 -6
  123. package/src/8/infinite.ts +0 -26
  124. package/src/8/merkaba/field.ts +0 -27
  125. package/src/8/merkaba/geometry.ts +0 -16
  126. package/src/8/merkaba/touch.ts +0 -26
  127. package/src/8/nucleus/magic.lean +0 -15
  128. package/src/8/nucleus/proton-mass-fit.ts +0 -9
  129. package/src/8/nucleus/proton-mass.lean +0 -10
  130. package/src/8/nucleus/shell-model-magic.ts +0 -10
  131. package/src/8/vortex.lean +0 -7
  132. package/src/9/access.ts +0 -34
  133. package/src/9/aura-funding.ts +0 -25
  134. package/src/9/coins.ts +0 -25
  135. package/src/9/enumeration.ts +0 -13
  136. package/src/9/funding.ts +0 -85
  137. package/src/9/security.ts +0 -36
  138. package/src/9/society.ts +0 -32
  139. package/src/9/vortex.lean +0 -11
  140. package/src/api/gates.ts +0 -122
  141. package/src/api/index.ts +0 -447
  142. package/src/api/lanes.ts +0 -81
  143. package/src/claims/index.ts +0 -81
  144. package/src/demand/queries.json +0 -1764
  145. package/src/face/index.ts +0 -100
  146. package/src/from/the/heart/index.ts +0 -11
  147. package/src/honesty/boundaries.ts +0 -29
  148. package/src/honesty/index.ts +0 -63
  149. package/src/html/index.ts +0 -10
  150. package/src/latex/index.ts +0 -474
  151. package/src/millennium/index.ts +0 -53
  152. package/src/play/the/game/index.ts +0 -12
  153. package/src/proof/README.md +0 -118
  154. package/src/proof/address.lean +0 -147
  155. package/src/proof/coin.lean +0 -152
  156. package/src/proof/covered.json +0 -9
  157. package/src/proof/demand.lean +0 -134
  158. package/src/proof/demand2.lean +0 -207
  159. package/src/proof/demand3.lean +0 -183
  160. package/src/proof/discovered.json +0 -19125
  161. package/src/proof/elementary.lean +0 -446
  162. package/src/proof/energy.lean +0 -291
  163. package/src/proof/families.lean +0 -648
  164. package/src/proof/fixtures/axiom-control.lean +0 -39
  165. package/src/proof/flow.lean +0 -54
  166. package/src/proof/fnv.lean +0 -116
  167. package/src/proof/generated-theorems.json +0 -207
  168. package/src/proof/generated.lean +0 -101
  169. package/src/proof/imagined.lean +0 -492
  170. package/src/proof/index.lean +0 -156
  171. package/src/proof/index.ts +0 -916
  172. package/src/proof/involution.lean +0 -90
  173. package/src/proof/ledgerclaims.lean +0 -84
  174. package/src/proof/light.lean +0 -158
  175. package/src/proof/mechanical.lean +0 -524
  176. package/src/proof/merkaba.lean +0 -89
  177. package/src/proof/merkle.lean +0 -132
  178. package/src/proof/nim.lean +0 -311
  179. package/src/proof/novelty.json +0 -751
  180. package/src/proof/phenomena.lean +0 -90
  181. package/src/proof/priorart.lean +0 -190
  182. package/src/proof/quantum.lean +0 -159
  183. package/src/proof/reach.lean +0 -105
  184. package/src/proof/recovered.lean +0 -56
  185. package/src/proof/reversal.lean +0 -148
  186. package/src/proof/revoked.json +0 -317
  187. package/src/proof/rights.lean +0 -155
  188. package/src/proof/sequences.lean +0 -219
  189. package/src/proof/speed.lean +0 -152
  190. package/src/proof/split.lean +0 -199
  191. package/src/proof/theorems.lean +0 -67
  192. package/src/proof/trial-all.json +0 -16046
  193. package/src/proof/z9.lean +0 -99
  194. package/src/proof/z9plus.lean +0 -300
  195. package/src/proofs.lisp +0 -170
  196. package/src/prove/emit.ts +0 -115
  197. package/src/prove/index.ts +0 -143
  198. package/src/prove/translate.ts +0 -638
  199. package/src/publication/index.ts +0 -362
  200. package/src/quantum/field.ts +0 -73
  201. package/src/quantum/tree.ts +0 -79
  202. package/src/receipts/1431b4c4-7950-8d7b-88d1-b633219692f8.json +0 -7
  203. package/src/receipts/171e09c0-4cfd-8ce0-a6ed-cd33d5553da3.json +0 -7
  204. package/src/receipts/1a1f16c9-3491-8050-b221-e2a362439be4.json +0 -12
  205. package/src/receipts/1da15f83-83a6-8d04-b1ac-334c2dd6abb3.json +0 -7
  206. package/src/receipts/375a57ed-ef99-855e-8f34-b77d08010f3c.json +0 -6
  207. package/src/receipts/3dcbbf9e-0e49-8ba7-921e-17e478dbafaf.json +0 -6
  208. package/src/receipts/43a24136-5ad9-81ef-97c9-17be1c05bb5f.json +0 -11
  209. package/src/receipts/4991be51-74ba-8f66-9534-e6dba52fb569.json +0 -10
  210. package/src/receipts/52375d8f-232b-8c01-9d82-a824ffa7b2b7.json +0 -6
  211. package/src/receipts/593b546a-36b4-8553-941a-0e03b7053a64.json +0 -7
  212. package/src/receipts/7f75c989-96c9-8a24-8d0d-7e690861ccb4.json +0 -6
  213. package/src/receipts/80f80b59-81d8-866d-9a14-f469729d3dc8.json +0 -6
  214. package/src/receipts/85ac8585-9dc1-8964-9848-ae0f49cc82fb.json +0 -7
  215. package/src/receipts/85db092e-f2c0-88e5-bf75-61c4a65d84e7.json +0 -7
  216. package/src/receipts/95bacad3-9e56-8741-b0f8-def2c6ecb050.json +0 -7
  217. package/src/receipts/a1d33966-7bbd-84ca-902b-49e315af60e0.json +0 -6
  218. package/src/receipts/b20ced61-24ad-8123-adee-56031ab734dd.json +0 -11
  219. package/src/receipts/ba0447cd-f489-841a-a70f-a39b18ec2946.json +0 -11
  220. package/src/receipts/bcddbe66-06cf-8f31-a261-98b836938947.json +0 -7
  221. package/src/receipts/c1bac0d8-d906-8196-a4f0-3d8270b2e944.json +0 -6
  222. package/src/receipts/ce851ea3-3cf8-8646-a5d6-c0c6281210fe.json +0 -10
  223. package/src/receipts/cf43a122-c880-8d86-9e25-6f22f92d6b0a.json +0 -7
  224. package/src/receipts/daad8cd4-d4db-8dca-9c97-9a838cbce528.json +0 -7
  225. package/src/receipts/dc8bdb82-599f-8020-9eb2-cb016b408ec1.json +0 -6
  226. package/src/receipts/df77c265-d1a8-8354-8a9e-769fa5c676e2.json +0 -6
  227. package/src/receipts/e96686da-a411-8838-a5c8-ee7472bce048.json +0 -10
  228. package/src/receipts/f073c46f-7b67-83d0-aca5-db11fac4b5ec.json +0 -7
  229. package/src/receipts/f946d99d-a1c2-89f7-9426-a367c5b04191.json +0 -6
  230. package/src/receipts/fc069e45-115d-8983-ad25-fb9f735da84b.json +0 -6
  231. package/src/the/abstract/index.ts +0 -21
  232. package/src/the/abundance/index.ts +0 -20
  233. package/src/the/apple/earth/index.ts +0 -23
  234. package/src/the/apple/earth/navigation/index.ts +0 -28
  235. package/src/the/apple/earth/truth/index.ts +0 -19
  236. package/src/the/apple/index.ts +0 -27
  237. package/src/the/cancer/index.ts +0 -26
  238. package/src/the/clown/index.ts +0 -25
  239. package/src/the/creation/index.ts +0 -16
  240. package/src/the/crystal/index.ts +0 -23
  241. package/src/the/domain/index.ts +0 -16
  242. package/src/the/game/index.ts +0 -11
  243. package/src/the/gold/compass/index.ts +0 -26
  244. package/src/the/gold/index.ts +0 -35
  245. package/src/the/heart/index.ts +0 -15
  246. package/src/the/index.ts +0 -23
  247. package/src/the/law/index.ts +0 -20
  248. package/src/the/path/index.ts +0 -19
  249. package/src/the/rosetta/index.ts +0 -33
  250. package/src/the/sequence/index.ts +0 -12
  251. package/src/the/solids/index.ts +0 -25
  252. package/src/the/state/index.ts +0 -20
  253. package/src/the/superposition/state/index.ts +0 -22
  254. package/src/the/surface/index.ts +0 -26
  255. package/src/the/theorem/index.ts +0 -14
  256. package/src/the/torus/index.ts +0 -23
  257. package/src/the/waves/index.ts +0 -23
  258. package/the.md +0 -20
  259. package/verify.md +0 -67
package/boundaries.md DELETED
@@ -1,23 +0,0 @@
1
- ---
2
- title: Boundaries
3
- description: What this deposit does NOT claim — the honest floor and its bounds, each content-addressed.
4
- head:
5
- - ['meta', { name: 'robots', content: 'index, follow' }]
6
- ---
7
- # Boundaries — the honest floor, delivered
8
-
9
- > Every statement below is **content-addressed** (uuid). Verify any of them: recompute `toUuid(text)` and it matches — that proves **integrity**, not truth.
10
-
11
- <table><thead><tr><th>uuid</th><th>statement</th></tr></thead><tbody>
12
- <tr><td><code>9c7a472d-7cfd</code></td><td>computable is not solved; humanityNovel = 0 — known mathematics, recombined.</td></tr>
13
- <tr><td><code>f106b7ff-9120</code></td><td>a content-address (uuid) proves integrity, not truth, and not authorship.</td></tr>
14
- <tr><td><code>caff1a4e-e8e3</code></td><td>the honesty gate is a floor (no named overclaim shape), not an oracle of truth.</td></tr>
15
- <tr><td><code>4248f16d-7acc</code></td><td>recognition, adoption, citations, and effort are not correctness.</td></tr>
16
- <tr><td><code>8e4eb0f9-9600</code></td><td>a classical Z/9 calculator: no quantum computation, no faster-than-light, no quantum speedup.</td></tr>
17
- <tr><td><code>9da115fe-1f09</code></td><td>sealing proves the bytes are intact; it does not prove the claim is right.</td></tr>
18
- <tr><td><code>a04d2aaa-660d</code></td><td>unsigned: content-addressing is integrity, not authenticity — real signatures need a key.</td></tr>
19
- <tr><td><code>7bacdc5a-c0f7</code></td><td>worthwhile is a judgment (perspective); small, real, and honest are measured.</td></tr>
20
- <tr><td><code>316a106b-4a85</code></td><td>green cannot be faked: the gate measures actual state, and it caught its own author.</td></tr>
21
- </tbody></table>
22
-
23
- *The drains, delivered — measured, gated, and now in the UI, not only in chat.*
package/captain.md DELETED
@@ -1,85 +0,0 @@
1
- ---
2
- title: The captain's message
3
- head:
4
- - ['meta', { name: 'robots', content: 'index, follow' }]
5
- ---
6
-
7
- # The captain's message
8
-
9
- > **free on the free sailing angle; prize earning in waves — contribute 2 to earn up to 64 per wave, keep the rest**
10
-
11
- Given by the captain, recorded as receipt `85ac8585-9dc1-8964-9848-ae0f49cc82fb` (the content-address of the
12
- message itself), gate-passed, every claim recomputable below. Canonical link, reminded in every contribution
13
- block: [https://uuidna.com/captain/message](https://uuidna.com/captain/message).
14
-
15
- ## The double torus — earth navigation
16
-
17
- The captain navigates the **double torus**, a genus-2 surface. Its Euler characteristic is
18
- `χ = 2 − 2g = 2 − 2·2 = −2`, so **−χ = 2** — the **two coins are the topology**, not a price plucked from air.
19
- Navigation on it lands on **integer** positions (no decimal drift): the harmonic bearings
20
- `30·{1,2,3} = {30, 60, 90}`, digital roots **{3, 6, 9}**, centre `40 = harmonicMean(30,60) = 360/9` (the a432).
21
- Earth's own navigation is sexagesimal — 60′ to a degree, 60 nautical miles to a degree of latitude —
22
- resonating with the 60° gold string (`π/3`). A content-address proves integrity, not truth.
23
-
24
- ## The two angles
25
-
26
- - **Free sailing angle** — off the wind (**≥ 90°**), where the wind carries you: **free** (non-commercial,
27
- public-interest, research). No fare, no prize.
28
- - **Prize earning waves** — the beating band **30°–60°** (limit `30` · a432 `40` · tack `60`). Earning
29
- propagates in **waves**: each leap folds and sends the next — the discovery wave, each receipt seeded by the
30
- last — `O(log N)`, compounding.
31
-
32
- ## Why — the measured leverage, per wave
33
-
34
- - **Contribute 2.** The two coins `110 − 108 = 2 = −χ(genus-2)`, conserved; in verification terms the **2 bits**
35
- each membership check costs.
36
- - **Earn up to 64.** A seal is a fixed `128 bits = 64` two-bit fold-verifications; folding is `O(log N)`
37
- (1024 leaves fold to one root in 10 levels). **Up to** 64, **conditional** on the re-addressable work —
38
- never a universal discount
39
- ([each seal is 128 bits](/theorem/lean_ledgerclaims_membership_is_logarithmic_not_linear) ·
40
- [the 967-receipt case](/theorem/lean_ledgerclaims_the_967_receipt_case)).
41
- - **Keep the rest.** The contributor keeps up to **62**; the captain earns the conserved **2**, and **zero**
42
- with no saving. Fair, bounded.
43
- - Benefit and fairness **align**: the captain's real income is adoption at scale (free sailing → citation →
44
- the network grows). Honesty is what makes it adoptable; an overclaim would shrink both.
45
-
46
- ## Every claim verified — recompute it
47
-
48
- | claim | check |
49
- | --- | --- |
50
- | the two coins | `110 − 108 = 2` |
51
- | = −χ(genus-2) | `χ = 2 − 2·2 = −2 → −χ = 2` |
52
- | a seal is 128 bits | a uuid is 128 bits |
53
- | = 64 two-bit verifications | `128 / 2 = 64` |
54
- | fold depth of 1024 | `⌈log₂1024⌉ = 10`, and `2¹⁰ = 1024` |
55
- | fold beats linear | `1024 / 10 = 102.4×`, order-independent |
56
- | a432 is the life centre | `harmonicMean(30,60) = 40 = 360/9` |
57
- | the receipt is the message | `receipt = toUuid(message)` |
58
- | the message is honest | passes the honesty gate |
59
-
60
- ## The captain may test or be fake — and it changes nothing
61
-
62
- A receipt proves only the **observer and their role** — never the **truth** of the message, never the
63
- **identity** of the speaker. `captain` is a role, not a certified person (this deposit does not sign a real
64
- person's name to words they did not write). Every message is bound by the **honesty gate**: an over-reach
65
- **drains** whoever states it. And **algebra decides** the why — measured, not accepted on authority. So whether
66
- the captain is genuine, testing, or an impostor, the deposit cannot be made to assert a falsehood. Integrity,
67
- never truth.
68
-
69
- ## Lineage — append-only, nothing hidden
70
-
71
- The message was refined in the open; every form stays on record (a receipt is the content-address of its
72
- message, so each is independently recomputable):
73
-
74
- - `593b546a…` — remember to contribute 2 to save 64
75
- - `daad8cd4…` — remember to contribute 2 to earn 64 more folds
76
- - `171e09c0…` — remember to contribute 2 to save 64 at each leap
77
- - `bcddbe66…` — free on the free sailing angle; on the prize earning angle …
78
- - `cf43a122…` — … on the prize earning angles … (plural)
79
- - `85ac8585…` — **the canonical** — free on the free sailing angle; prize earning in waves …
80
-
81
- ## Why it is reminded everywhere
82
-
83
- The contribution block is fused under **every** page. The reminder rides with it, so the reason is present at
84
- the exact point of contribution, linked here where anyone can recompute the address and read it unaltered. A
85
- content-address proves **integrity, not truth**.
package/compare.md DELETED
@@ -1,42 +0,0 @@
1
- ---
2
- title: Compare — standards vs the local
3
- head:
4
- - ['meta', { name: 'robots', content: 'index, follow' }]
5
- ---
6
-
7
- # Compare — the cryptographic standards and the local content-address
8
-
9
- > The honest question is not "which is best" — it is "what is each **for**." This table puts the deposit's content-address next to the identity, hashing, authentication, and messaging standards, one factual property per column. Read the deposit's row against the others.
10
-
11
- <StandardsCompare />
12
-
13
- ## What the table is saying
14
-
15
- - The deposit's `toUuid` is a **content-address**, built on FNV-1a — a **non-cryptographic** hash by design. It is deterministic and public: anyone can recompute it with no key. That is its strength for *identity and integrity*, and exactly why it offers **no** secrecy.
16
- - It is **not** a messaging system and **not** encryption. For confidentiality use AES; for authentication use HMAC; for private messaging use a protocol like Signal. The deposit does not compete there — it is a different tool.
17
- - A single address **cannot store** an unbounded state — 128 bits is a fixed-width fingerprint, so by the pigeonhole principle it *references* a state, it does not *contain* it. You still need the data to recover it. ([proof](/theorem/lean_ledgerclaims_the_address_does_not_determine_the_payload))
18
- - Standards **break** — MD5 fell to collisions, SHA-1 fell (SHAttered). That is why "most secure" is not a claim anyone can make: security is provisional, always subject to the next cryptanalysis. And every finite digest — strong or weak — must eventually collide by pigeonhole. ([proof](/theorem/lean_ledgerclaims_more_payloads_than_addresses_must_collide))
19
-
20
- The deposit claims **fitness for content-addressing**, not supremacy. A content-address proves **integrity, not truth**.
21
-
22
- ## Coins vs real gold vs crypto — a measure, not a market
23
-
24
- Anyone chooses the **terms** and **currency**; uuidna computes, and predefines the donation amount in the URL.
25
- The reproducible measure never moves with the choice — the two coins conserve at 2, the bits count real work
26
- saved. Real gold (1 troy oz) and bitcoin (1 BTC = 100,000,000 sat) carry **live market prices**, fetched in
27
- your browser for measurable scale — volatile, non-reproducible, never sealed, never advice. uuidna's own value
28
- is real **savings** (bits of work not repeated), which at global scale become materially large (modeled,
29
- conditional on adoption). Verified by
30
- the coins are a conserved measure, not a market price
31
- and [anyone chooses the terms and currency](/theorem/lean_address_addressing_is_deterministic).
32
-
33
- <Coins />
34
-
35
- ## Cost / earnings per trillion tokens — live, versus uuidna
36
-
37
- Live per-token rates for many models, fetched at view time from a credible public no-key API (OpenRouter's
38
- models endpoint), shown per **trillion input tokens** — and where each stands once uuidna's content-addressing
39
- adds a caching/dedup layer. The **earnings** are the compute saved on the re-addressable fraction (set the
40
- cache-hit rate), **conditional, never a universal discount**. A content-address proves integrity, not truth.
41
-
42
- <TokenCost />