This squashes all local history (768 commits) onto the scrubbed PR #90 baseline. Individual commits were lost during filter-repo corruption; the working tree content is preserved intact. Build: N/A (working tree state only)
- lean_trace_bridge.py: captures Goal_i → tactic → Goal_{i+1} transitions - Builds ProofTraceReceipt v1 with step deltas, transition matrix, flexure joints - Handles single-line by-blocks, semicolon-separated, and indented multi-line - pist_trace_decompose.py: spectral analysis of transition matrix - Power iteration for eigenvalue estimation - Spectral gap, rank, density, Laplacian zero count - Tactic family distribution, delta statistics - Full pipeline: Lean theorem → trace → transition graph → spectral features
