Copying every recursive child input

Exact statement

Copying every recursive child input. a generated linear form at last use has no parent-side consumer to protect and can transfer ownership into the child. Only raw pass-through operands need an entry copy.

Statusrejected as sufficient but unnecessarily expensive.

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

a generated linear form at last use has no parent-side consumer to protect and can transfer ownership into the child. Only raw pass-through operands need an entry copy.

Rejected transfers and surviving boundaries →

Verification notes

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

Limitations

distinguish owned generated values from borrowed raw values at recursive seams.

Open work

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