Ctrl+K

1 contributor

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

256d01e verified 3 days ago

data
Add files using upload-large-folder tool 6 days ago
examples
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 3 days ago
prosefold
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 3 days ago
static
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 3 days ago
template
Add files using upload-large-folder tool 6 days ago
README.md

18.7 kB
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 3 days ago
cli.py

16.1 kB
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 3 days ago
exam.py

18.4 kB
Add files using upload-large-folder tool 6 days ago
mcp.py

13.2 kB
Add files using upload-large-folder tool 6 days ago
registry.py

10.3 kB
Add files using upload-large-folder tool 6 days ago
sensors.py

19 kB
Add files using upload-large-folder tool 6 days ago
server.py

70.3 kB
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 3 days ago
sources.py

22.4 kB
Add files using upload-large-folder tool 6 days ago
verify.py

5.46 kB
Add files using upload-large-folder tool 6 days ago