Expecting depth-four Strassen to fit the five-register schedule unchanged

Exact statement

Expecting depth-four Strassen to fit the five-register schedule unchanged. all nine pairings of the two four-term outputs fail with five registers and succeed with six.

Statusrefuted for the declared balanced per-output family by exact finite search.

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

all nine pairings of the two four-term outputs fail with five registers and succeed with six.

Rejected transfers and surviving boundaries →

Verification notes

computationally verified, not yet an analytic theorem. Do not generalize to arbitrary cross-output circuits or recomputation.

Limitations

Retain the stated exclusion.

Open work

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