FPRD LabShare an approach

← Claims

Failed approach · scope boundary

MRF-005

Treating 18 additions as optimal for every rank-seven $2\times2$ scheme

Exact statement

Treating 18 additions as optimal for every rank-seven 2×22\times2 scheme. Run 1 fixes the standard Strassen formulas. The Winograd variant and other linear circuits have different additive counts.

Statusfalse framing; excluded.
External reviewNo documented external or specialist review of the FPRD synthesis is recorded.

Context

The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.

Proof or evidence

Run 1 fixes the standard Strassen formulas. The Winograd variant and other linear circuits have different additive counts.

Rejected transfers and surviving boundaries →

Verification notes

The failure status and preserved lesson are recorded in the cumulative failure ledger.

Limitations

  • record the actual input/output linear circuits, not only the seven multiplicative terms.

Open work

Keep this exclusion attached to any future reuse of the corresponding construction.