← Language
Visual course · 8 lessons

Evidence-First Claude Session Mining

Learn to inventory and structurally plan a large Claude Code archive without leaking payloads, while matching every claim to a direct receipt.

U1 LIVE: PROVENU2 LIVE: PROVENSYNTHETIC EXAMPLE
Start lesson 1 →
Evidence path from sealed archive to real proofinventoryU1 · PROVENstructureU2 · PROVENwindowsU2 · PROVENproofU2 · PROVEN

Evidence boundary

Structural manifest

Bounded planning

Proof and continuation