FPRD LabShare an approach

← Claims

Failed approach · scope boundary

MRF-007

The disjoint-output-frontier proof of the five-register bound

Exact statement

The disjoint-output-frontier proof of the five-register bound. before fan-out has been consumed, one live Strassen product can serve two output trees. Four logical output partials therefore need not be four distinct live values.

Statusrejected during hostile audit.
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

before fan-out has been consumed, one live Strassen product can serve two output trees. Four logical output partials therefore need not be four distinct live values.

Rejected transfers and surviving boundaries →

Verification notes

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

Limitations

  • keep the five-register lower bound at verified-computational status until an analytic pebbling proof is supplied.

Open work

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