Claim FPRD-T10

Exact statement

Every well-formed finite unary-polynomial recognition-action presentation has a compact invariant orbit closure canonically homeomorphic and action-conjugate to the inverse limit of its finite bounded orbits, with each bounded orbit equal to the projection of the exact closure and with exact remaining-suffix behavior recovered by a uniform thread readout.

Statusinformal proof

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

Context

This row is imported exactly from the governed FPRD claims ledger. The matrix assignment records normalized inventory coverage; it is not a new proof or a promotion of the ledger status.

Proof or evidence

The ledger points to OPEN_PROBLEMS.md. The matrix has not yet rewritten that source into a self-contained public proof summary.

OPEN_PROBLEMS.md →

Verification notes

Reviewed on 2026-08-25 for identifier, status, provenance, evidence-link presence, and dependency import only. Mathematical proof audit remains the next action unless separately documented.

Limitations

Finite shadows need not stabilize and the exact dynamic need not be finite. The theorem concerns direct polynomial presentations and a canonical observational inverse system, not minimization, finite-dimensional coordinates, or literal semi-algebraic geometry.

Open work

Audit the proof against its dependencies and publish a self-contained evidence summary before increasing maturity.

Notes

Finite shadows need not stabilize and the exact dynamic need not be finite. The theorem concerns direct polynomial presentations and a canonical observational inverse system, not minimization, finite-dimensional coordinates, or literal semi-algebraic geometry.