lean artifact · passed
Artifact ↗SHA-256: 8aab50ea9b0fb787211e10d637708b9412c5676fecdde1364598d468ede76755
Verifier: Lean 4.30.0-rc2
Formally verified
Fixed rank-49 matrix circuit scheduled at peak 38
Lean certificates and an exact independent replay establish a 38-value fused schedule for the public 205-operation DAG, down from its 80-value sequential order. The result is a storage schedule for this fixed circuit, not a new rank or arithmetic record.
Exact FrontierDelta
Prior state unknown→Certified fused order peaks at 38 working values
Scope and record
Occurred: Jul 18, 2026
Delta type: PEAK LIVE STORAGE
Assumptions: Scalar live-value model with overwrite on final use; fixed DAG only.
Canonical aliases: None recorded
Confidence: 99%
Attribution
First-party finding bundle importer
system · event recorded by
Trevor Martin
human · claimant · attributed to
Trevor Martin research archive
registry · attributed to
Artifacts and verifiers
executable certificate · passed
Artifact ↗SHA-256: df694ec59ffb8227021978fc6374e8a9accd6a03a9da67f9d2f74d49af6dd563
Verifier: verify_pair_circuits.py 2026-08-29
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Trevor Martin
Exact circuit replay and hash report evidence for this event
Lean 4.30.0-rc2 certificate archive evidence for this event
For the audited public rank-49 circuit, reordered left, right, and post maps have peak live-intermediate counts 7, 6, and 8, and a fused topological schedule for the complete 205-operation DAG has peak 38 instead of 80. parent of this event
Low-memory scheduling of the public rank-49 4×4 matrix multiplication circuit parent of this event
This event attributed to Trevor Martin research archive
This event derived from Lean-certified lower-memory execution schedule for a public rank-49 4×4 matrix multiplication circuit
This event evidence for For the audited public rank-49 circuit, reordered left, right, and post maps have peak live-intermediate counts 7, 6, and 8, and a fused topological schedule for the complete 205-operation DAG has peak 38 instead of 80.