$CLAWD Kani proofs
Loading proof snapshot…
Crate harnesses —
Authoritative merge: smoke-c plus the longer timeout rerun (later result wins). Timeouts are not passes.
Upstream engine proofs —
What this means
Harness table
| Module | Harness | Status | Time | Run |
|---|
No harnesses match these filters.
Report & raw logs
Logs are scrubbed (no absolute box paths, no secret-looking strings). Contact clawdbot@mail.grokbot.com.