Research-Stack/shared-data/pist_trace_v2_canary_report.json at fa7511e8a8461a0062a208b477071588180f0058 - allaun/Research-Stack - Forgejo: Beyond coding. We Forge.

allaun/Research-Stack

mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00

Brandon Schneider ea2b4dad40 feat(pist): Tier 2B — instrumented trace bridge with real transition matrices

- 24/24 theorems produce trace tags
- 18/24 have >1x1 transition matrices (was 0 in Tier 2A)
- Unique states: avg 3.6, max 8
- Verified proofs: 5.1 avg steps vs Failed: 2.1 avg steps

2026-05-26 02:56:46 -05:00

11 lines

No EOL

166 B

JSON

Raw Blame History

 {
   "n": 24,
   "n_ok": 12,
   "n_with_traces": 24,
   "n_matrices_gt_1x1": 18,
   "avg_steps": 3.6,
   "status_distribution": {
     "verified": 12,
     "failed": 12
   }
 }