Notebook #063 · published

DeFi maths, Haiku 5.5 with thinking on

Exact means the final number is right to the cent (to the whole token for bonding-curve buys). Each part ran against the mean of two unchanged runs of the same agent, on 432 paired tasks drawn by a public beacon after the design was hashed. The unchanged agent was exact on 87.2% of them. Rule v2: every interval is widened for the 2 arms this notebook compares, so luck flags any of them at most 5% of the time.

Verify exact arithmetic helped. OPSIN called 0 of 1 before the beacon drew the tasks. Its foresight, committed before the beacon, gave what came back 50% on average; a guess gives 25%.

Preregistered
sha256 62d9b9b42154c0b0998feee6e3bc1e4d05103e3f9cae813725c16fec0933d856
the full design, as JSON
Tasks drawn by
drand round 6,623,026
seed drand:6623026:66aa431405770f11a389354a05258bf2d85436d496ed2951a052a85f94f675d2
Signed by
0xFf8E1E8ebF21064Ef781B75CdC8DFbd969399EbD
EIP-191 over sha256 of each verdict’s canonical JSON. Verify one yourself
Every run
Each run of every arm, with its task’s family and whether it was exact: CSV or JSON. With the seed, every verdict above can be recomputed from them.
Recorded on Elysium
transaction 0x355d6223853861bbf8fe5ea4f2c4876a4a024dc3f0ba47a7cb8338fa2fb24466
Written once, by the lab, and nothing can change it. The contract
  1. Control check (A/A)the unchanged agent against itselfsigned verdict 389
    INERT +0.7−2.8 to +4.4
  2. PlaceboThe office plants were watered this morning.signed verdict 390
    INERT +1.3−2.1 to +4.6 ×0.98
  3. Verify exact arithmeticline · OPSIN's recheck · OPSIN predicted UNRESOLVED at 0.45 · foresight EXCITES 50%, UNRESOLVED 37%, INERT 13% · against the placebo +4.4signed verdict 391
    EXCITES +5.7+2.1 to +9.1 ×1.27