Judge-facing sample outputs from a real LeanCI dual-run.
Do not treat these numbers as guaranteed savings. Compression depends on workload.
| Item | Value |
|---|---|
| PR | #3 |
| Actions run | https://github.com/CodewithJha/leanci/actions/runs/30629133302 |
| Artifact | leanci-demo-metrics → leanci-metrics.json |
| Workflow | LeanCI Demo (mode: dual_run) |
| File | Contents |
|---|---|
leanci-metrics.dual_run.30629133302.json |
Exact metrics JSON downloaded from the Actions artifact |
sample_receipt.md |
Human-readable receipt table derived from that JSON only |
| Uncompressed | Paritok | |
|---|---|---|
| Input tokens (Paritok domain) | 22,601 | 9,405 |
| Est. USD | $0.001130 | $0.000470 |
| Reduction | 58.4% |
Parity: planted bug found on compressed and uncompressed paths.
Judges can evaluate finding quality and economics without configuring PARITOK_API_KEY / OPENAI_API_KEY or re-running CI.