Context
This result belongs to the reconstruction from algebraic matrix-multiplication certificates to explicit arithmetic dependency DAGs and their resource receipts.
Hypotheses and scope
- All resource conclusions are restricted to the arithmetic, storage, fan-out, coefficient, and precision models named in the source record.
Proof or evidence
Groote–Vaandrager, CWI CS-R9001 / ICALP 1990; van Glabbeek's linear-time--branching-time spectrum. Run 6 supplies only the storage-interface instantiation.
Verification notes
The bibliography retains the primary-source attribution. The public record does not treat publication of the underlying theorem as review of this FPRD synthesis.
Limitations
- The record does not improve the known matrix-multiplication exponent and does not imply that omega equals two.
- Construction bounds are not optimality, communication, I/O, or hardware claims unless the exact statement says so.