Indexed metadata
Lean-certified lower-memory execution schedule for a public rank-49 4×4 matrix multiplication circuit
Unknown author
Source abstract
A topological reordering lowers peak scalar live storage from 20/19/17 to 7/6/8 in the three linear maps and from 80 to 38 for the complete 205-operation DAG, without changing the 49 products, 156 additions, or 4,096 Brent identities.
Evidence graph
- ←Fixed rank-49 matrix circuit scheduled at peak 38
derived from · event · frontier delta
- →Trevor Martin
attributed to · actor · human
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.