Expecting ASI's hidden DAG resources to change its arithmetic exponent

Exact statement

Expecting ASI's hidden DAG resources to change its arithmetic exponent. canonical linear-map expansion, fan-out-two buffering, and sealed recursion give additions/copies with the same exponent, logarithmic depth, and quadratic pinned scalar storage. Coefficient and precision costs remain finite constants after $\varepsilon$ is fixed.

Statusrefuted in the declared fixed-$\varepsilon$ model.

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

canonical linear-map expansion, fan-out-two buffering, and sealed recursion give additions/copies with the same exponent, logarithmic depth, and quadratic pinned scalar storage. Coefficient and precision costs remain finite constants after $\varepsilon$ is fixed.

Rejected transfers and surviving boundaries →

Verification notes

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

Limitations

the hidden resources materially affect constants, uniformity, bit complexity, and practicality, but Run 14 reveals no new arithmetic-exponent barrier.

Open work

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