FPRD LabShare an approach

← Claims

Failed approach · scope boundary

MRF-036

Importing ownership-aware formulas into the Run 7 pinned contract

Exact statement

Importing ownership-aware formulas into the Run 7 pinned contract. Run 7 pins every child input and requires a fresh output. Run 8's sharp compiler permits a last-use generated temporary to transfer its register to the child; raw values and root inputs remain protected.

Statusrejected as a contract mismatch.
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 7 pins every child input and requires a fresh output. Run 8's sharp compiler permits a last-use generated temporary to transfer its register to the child; raw values and root inputs remain protected.

Rejected transfers and surviving boundaries →

Verification notes

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

Limitations

  • retain the pinned-reset formulas as a separate baseline and label the ownership change explicitly.

Open work

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