No Collatz conclusion follows from the contraction packet

Exact statement

The strongest preserved candidate estimate remains exponential, $2^{0.34416K+o(K)}$ ; none of the guarded-affine, marginal-capacity, or forced-family results proves finiteness of paradoxical sequences, Terras's conjecture, or the Collatz conjecture.

StatusExplicitly established as the program boundary

External reviewNo documented external or specialist review of this FPRD result is recorded.

Context

The program was intended to extract reusable FPRD mathematics, not to imply that Collatz had been solved or substantially approached.

Proof or evidence

The preserved supplement and latest brief both state the exponential bound and the unresolved joint frontier. An exponential upper bound on candidates does not imply finiteness.

Explicit no-Collatz boundary →

Verification notes

All new entries in this batch were checked against this nonclaim. No maturity or wording change promotes the packet to a Collatz result.

Limitations

This boundary does not diminish the exact seam, recovery, and potential results as reusable FPRD tools.
The quoted 0.34416 estimate has its own external logarithmic-form dependency and is not newly audited here.

Open work

Preserve dormancy unless a concrete joint guard–disorder lemma, exact counterfamily, or external audit reopens the route.