Brandon Schneider 4d25e6f5ac 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
..
artifacts	Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems	2026-05-19 01:52:14 -05:00
data	feat: eigensolid convergence proof + QC flagging tool + full pass/fail review	2026-05-14 00:04:08 -05:00
examples	Add adversarial duals 16D anchor pack	2026-05-17 15:47:38 -05:00
proof_traces	feat(pist): Tier 2 trace canary — 24 multi-tactic Lean theorems	2026-05-26 02:37:22 -05:00
schemas	Add adversarial duals receipt schema	2026-05-17 15:11:34 -05:00
pist_canary_receipts.jsonl	feat(pist): canary batch — 42 real Lean theorems through full pipeline	2026-05-26 02:09:08 -05:00
pist_canary_report.json	feat(pist): canary batch — 42 real Lean theorems through full pipeline	2026-05-26 02:09:08 -05:00
pist_canary_results.jsonl	feat(pist): canary batch — 42 real Lean theorems through full pipeline	2026-05-26 02:09:08 -05:00
pist_trace_canary_report.json	feat(pist): Tier 2 trace canary — 24 multi-tactic Lean theorems	2026-05-26 02:37:22 -05:00
pist_trace_canary_vectors.jsonl	feat(pist): Tier 2 trace canary — 24 multi-tactic Lean theorems	2026-05-26 02:37:22 -05:00
pist_trace_v2_canary_report.json	feat(pist): Tier 2B — instrumented trace bridge with real transition matrices	2026-05-26 02:56:46 -05:00
rrc_pist_exact_validation.json	feat(pist): receipt canonicalization v2 with structural math features	2026-05-26 01:55:09 -05:00
rrc_pist_feature_vectors.jsonl	feat(pist): receipt canonicalization v2 with structural math features	2026-05-26 01:55:09 -05:00
rrc_pist_training_report.json	feat(pist): receipt canonicalization v2 with structural math features	2026-05-26 01:55:09 -05:00