App
StrataCore V4.13 · Bridge V86
Graph integrity kernel, agent tool catalog, mamajama product surface, SAT CLI kernel. 13 636 244 bytes.
sha256 5a345dba…30663df5ff
Releases · closed alpha
App zip and website zip are separate.
CLI lives in the app zip. Photography and public routes live in the website zip. SHA-256 on the MANIFEST. Not a public launch.
Website
Public Site W12
Integrity, agent-tools, learn stills, campaigns, status copy. 10 849 946 bytes. Independent of the operator console.
sha256 b56a6425…247cecda
Host02 solvers are the live farm at /opt/pvsnp/solvers/bin. V86 does not replace Kissat/CaDiCaL binaries; it binds the product lineage and mamajama control plane to those certifiers.
verify: sha256sum -c SHA256SUMS.txt