MMR-127 · FPRD Lab

Claim MMR-127

Exact statement

For volume data $(16,9)$ and $r=17$ , the reciprocal contraction is $0.234421037097059\ldots$ and the ideal exponents begin $3,2.6412830017,2.5692657873,2.5529480498,\ldots$ toward $2.5479929122\ldots$ .

StatusVerified by retained finite computation; analytic proof is not implied

External reviewNo documented external or specialist review of the FPRD synthesis is recorded.

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

`matrix_realization_run14_effective_asi_check.py`, SHA-256 `405ea4fff2a8e6a978543ac3ad53939f15a43328436d1c610226f41c808a8d96`. Its finite $e=1$ illustration is explicitly hypothetical and not a claim about Schönhage's curve.

Mathematical overview and evidence boundary →

Verification notes

The exact checker and its recorded digest are preserved with the research record. This status remains computational until an analytic or formal proof is supplied.

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.

Open work

Obtain an independent implementation or analytic proof before any further promotion.