CAPT Proof Portal

A public dashboard for CAPT’s proof surfaces: live sealed-WASM backend checks, deployed game demos, bounded claims, and deterministic memory-eval artifacts.

bioCAPT Chess Arena Checkers Lab Worker Products GitHub Repo

Live Worker Health

Statuschecking

CAPT WASMunknown

bioCAPT WASMunknown

Public-Safe Proof Cards

Artifact IntegrityLocal proof bundle verifies pinned SHA-256 and byte counts.

WASM Zero ImportsWorker product metadata exposes empty import lists.

Safe Export CallsPublic endpoints call explicit safe exports only.

Checkers Legal DisciplineFirst-party checkers lab reports legal move discipline and tactical gates.

CAPT-MEM-7 FixturesDeterministic memory cases cover stale evidence, contradictions, compression, replay, and injection.

Unsupported ClaimsNo model-quality, medical, AGI, or production-memory claim is promoted.

Mini CAPT-MEM Eval

Runs fully in the browser with bundled deterministic fixtures. It performs no model call, stores no user data, and never promotes candidate bubbles.

Casenone

Scorenone

Output Hashnone

Evidence Nodes

Structured Output

Reproduce Locally

capt-context init
capt-context bench benchmarks/capt_mem_7/capt_mem_7_manifest.json \
  --out .capt-context/reports/capt_mem_7_report.json \
  --failure-atlas .capt-context/reports/capt_mem_7_failure_atlas.json
capt-context proof-suite --bundle ~/2clean4u/CAPTLang_WASM/versions/2.1/manifest.json
capt-context proof-matrix