FPRD LabShare an approach

← Claims

Written-proof claim

FPRD-T07

Claim FPRD-T07

Exact statement

The M3 continuation orbit generated by K_n=b^n has pairwise distinct exact states, compact closure obtained by adjoining failure, N+2 states in its depth-N observational shadow, linear observational growth, an inverse- limit reconstruction from those shadows, and a one-counter realization with uniform prefix-removal readout; its transition also has a bounded rational state coordinate that is not by itself a complete recognition realization.

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

  • PEG Lab 2 C013 supplies motivation and prior evidence for exact distinction, but the topological, inverse-system, growth, and readout- aware result is independently reconstructed here. The rational envelope is separated from the complete counter/readout realization.

Open work

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

Notes

PEG Lab 2 C013 supplies motivation and prior evidence for exact distinction, but the topological, inverse-system, growth, and readout- aware result is independently reconstructed here. The rational envelope is separated from the complete counter/readout realization.