FPRD LabShare an approach

← Claims

Definition

FPRD-D17

Claim FPRD-D17

Exact statement

The fixed-block boundary residual profile of an injective uniform code tau and a finite complete source controller records each source-state right language and its compiled boundary right language, their exact and bounded suffix-lift observations, shortest separation depths, the distinct proper code-prefix counts, raw and reachable compiled-control sizes, and, for a fixed-envelope witness, the digit capacity, envelope size, and block-width observation lag.

Statusdefinition
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 docs/specs/m20-fixed-block-residual-profile.md. The matrix has not yet rewritten that source into a self-contained public proof summary.

docs/specs/m20-fixed-block-residual-profile.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

  • The profile separates canonical residual control from raw trie allocation, recursive-envelope geometry, and observation lag. It is measured before Dyck intersection and noninjective output projection.

Open work

Add a self-contained definition page with examples, nonexamples, and dependency boundaries.

Notes

The profile separates canonical residual control from raw trie allocation, recursive-envelope geometry, and observation lag. It is measured before Dyck intersection and noninjective output projection.