Case studies

Real repair reports

Example repairs with actions, verification, and timing — no fabricated usage metrics.

Three detailed proof examples from Early Access — real terminal verification patterns, not invented metrics.