Date: 2026-09-18. Score: 63,290, 60 weighted-read units below the published 63,350 record. All 256 matrix outputs are verified as exact integer polynomials by the official scorer and an independent checker.
The final artifact was supplied with a saved structural-search research
bundle. It has SHA-256
3639a6e176d84fe5dddbdafc76f435acf6ce230fa97a8ec5fbdc381a74e40e97.
A saved-edit replay reconstructs the exact bytes from the preceding 63,296
candidate and was independently replayed during submission verification.
| Read source | Published 63,350 | New 63,290 | Change |
|---|---|---|---|
| Copies | 20,666 | 20,590 | −76 |
| Multiplications | 18,344 | 18,321 | −23 |
| Additions | 20,082 | 20,093 | +11 |
| Output reads | 4,258 | 4,286 | +28 |
| Total | 63,350 | 63,290 | −60 |
The new program uses 4,096 multiplications, 3,840 additions, and 2,122 copies, for 10,058 instructions total. Its highest address is 620.
The last six units came from six associative rewrites of single-consumer sums. Those rewrites changed local value lifetimes and storage assignments while preserving the exact arithmetic function. Each rewrite was also checked in isolation against the 63,296 candidate and saved exactly one addition-read unit. Together they reduce addition reads from 20,099 to 20,093, leaving operation counts and the other read costs unchanged.
The earlier search stages are not reproduced here. This submission contains the frozen final artifact and its verifier; the research baseline, saved edits, and search tooling are not included. Verification does not rerun the optimizer. This is an upper-bound improvement only; no global optimality is claimed and the score is not a direct hardware-energy measurement.
The submitted IR is a frozen artifact. Its loader checks SHA-256; the verifier checks the official scorer, the repository’s independent polynomial checker, operation counts, read-cost decomposition, maximum address, and verifier dependencies.
From the repository root:
python3 -S matmul/submissions/best_63290.py
Expected output begins with:
Verified score=63,290; all 256 outputs match exact integer polynomials.
IR: best_63290.ir. Loader and verifier: best_63290.py.
SHA-256: 3639a6e176d84fe5dddbdafc76f435acf6ce230fa97a8ec5fbdc381a74e40e97.