← PocketAgent · Spec · Vision

The proof

Every claim pocketagent.html makes is bound to exactly one assertion in a machine-readable ledger. The deterministic claims run in CI on every push — the build fails red the moment one stops being true. The behavioral claims are proven by a real in-browser LLM taking on an installed agent's persona. This page renders that ledger. Audit “as advertised” for yourself.

— advertised claims with a green, currently-passing assertion

How to read this. ✅ = proven. ci claims are enforced by scripts/ci/check-pocketagent-proof.js in verify.sh against scripts/pocketagent/tests/pocketagent-pipeline.test.js — they cannot regress without failing the build. behavioral claims reflect the last run of the behavioral ring (a headless/real-Chrome WebLLM install); ⏳ means that ring hasn't been run since the page was deployed.

Loading the ledger…

Ledger: scripts/pocketagent/claims-ledger.json · Deterministic ring: scripts/pocketagent/tests/pocketagent-pipeline.test.js · Behavioral ring: scripts/pocketagent/proof/run-behavioral.mjs. Reproduce locally: npm run check:pocketagent.