Assuming a fixed base DAG preserves constant fan-out

Exact statement

Assuming a fixed base DAG preserves constant fan-out. raw operand passes identify a parent input wire directly with a child input wire. Along nested diagonal blocks, the same scalar feeds three new local linear forms at every level, yielding fan-out $3k+1$ .

Statusrefuted for literal standard-Strassen recursion.

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

raw operand passes identify a parent input wire directly with a child input wire. Along nested diagonal blocks, the same scalar feeds three new local linear forms at every level, yielding fan-out $3k+1$ .

Rejected transfers and surviving boundaries →

Verification notes

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

Limitations

raw-pass wiring or an equivalent port-degree transfer must be part of a recursive receipt; bounded fan-out needs explicit buffers.

Open work

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