Release 3.2, slim (2026-10-18): proved specialists (veri7vn kernels, Isabelle/HOL, CC0, ember arlynx) as a cross-check; star specialists #214-217; owner-first checked by the question's numbers; decay-r2; read-back writing in the Workbench; sealed test 23 passed on slim (the full release is held); new release hashes anchored on Solana
Head oracle_release_runtime_w555. Changed parts: the admitted fold chain (w551 proved cross-check, w554 star specialists then owner-first, w555 owner-first narrowed), specialists/_gate (standing_stars_v1.txt, standing_owner_v1.txt, decay-r2 in the standing lists), specialists/_proved (19 kernel families for 128 specialists, SHA256SUMS, PROVED.json, NOTICE), new specialists stars, habzone, exoorbits, transits, decay-r2, and the Workbench (read-back writing). Sealed test 23 run once per variant. Anchor: https://explorer.solana.com/tx/3ZUmd7FTw4uNLWUrZa3HMB8UCGLMneiQbDP2kXc3Sf1TFKPkczZntpBbTgtzDnXxCWeA8YFtTG22T9ZH53w3TsW2
Release 3.1 (2026-10-17): fold composition (network v6, operations learned from the specialists' exams), the specialist after a check, 3.1 correctness rules; sealed test 22 passed; new release hashes anchored on Solana
Head oracle_release_runtime_w548. Changed parts: the admitted fold chain, specialists/_gate (network_v6.py, specfold_ops_v1.json, specfold_learn.py) and the Workbench (habitable-zone worked example). Sealed test 22 run once per variant. Anchor: https://explorer.solana.com/tx/4kW4S5V4kHsFKGcxWBn37jPD73nGP17aF8eF9yPv8dEkwzTbWksvYaej2VkiUPMQ9PVdN92mmve4tAqgsr6RZ7s3
3 days ago
Release patch 3 (2026-10-16): specialist network v5, v2-route and unknown-body checks, Workbench essay command; sealed test 21 passed; new release hashes anchored on Solana
Head w545. Changed parts: the admitted fold chain, specialists/_gate (network_v5.py) and the Workbench (essay command, ProseFold). Sealed test 21 run once per variant. Anchor: https://explorer.solana.com/tx/WNEdPhKJZYCh3ZKe7X8zhVehuyskEnKuDbde86W1XdKdBC9izVAJTzbrewtSUQ8keQvT1rZUBumCGnGxjDXyVgU
