Proof report
Every verifiable claim behind this project, grouped by epistemic status, each with a source you can check — 9 claims, 9 source-linked.
Project status: Beta · last verified 2026-06-22
← SUM — Verifiable Bidirectional Knowledge Distillation overview Repository ↗ Live ↗
Mathematically or formally proved. Typically a deterministic invariant.
Three-runtime byte-symmetric Ed25519 over JCS bytes (Python ↔ Node ↔ browser)
Canonical round-trip reconstruct(parse(canonical_tome(S))) == S — 0.00% drift on every CI run
Measured under a reproducible harness; numbers cite the corpus and command.
Slider fact preservation median 1.000 (p10 0.769 long n=16 / 0.818 short n=8) — measured; same-commit replay receipt pending (bench-hardening T2/T3)
Extraction F1 1.000 on seed_v1; precision 1.000, F1 0.762 on seed_v2
T1 iterated round-trip K=10 stability — STABLE on all three corpora (seed_v1, seed_v2, seed_long_paragraphs)
The named artifact (test, doc, code path) exists in the repo today and is runnable. Per-claim, not per-project — a claim can be shipped while the parent project is still in development.
Render receipt format sum.render_receipt.v1 (Ed25519 / JCS / detached JWS) — verifier in three runtimes
Transform substrate (sum.transform_receipt.v1 + registry: slider / extract / compose) — 20-fixture cross-runtime K-matrix locks accept + reject across Python ↔ Node ↔ browser; T4 source-chain binding, T5 ShareableRender, T6 multi-school extract shipped in v0.7.0
sum verify --explain layered output (sum.verify_explained.v1) — seven per-dimension checks each tagged with epistemic_status; truth-of-content always not_asserted (test-locked invariant)
Compliance validators across six regimes (EU AI Act Art. 12 / GDPR Art. 30 / HIPAA §164.312(b) / ISO 27001 A.8.15 / SOC 2 CC 7.2 / PCI DSS v4.0 Req 10) — sum compliance check emits sum.compliance_report.v1