FPRD LabShare an approach

← Claims

Theorem · ghost limit

QA-RA-S6-T06

Separated-flank inverse-limit ghost

Exact statement

The separated-flank receipt inverse limit contains a compatible point whose every finite prefix is realized but which has no single finite separated-flank realization.

StatusProved; finite prefixes checked
External reviewNo documented external or specialist review of this Quotient Arsenal result is recorded.

Context

The fixed-length mirror quotient extends across adjacent length charts with one seam bit, but complete growth responses require infinitely many states and separated-flank inverse limits contain non-realizable ghosts.

Proof or evidence

Exact gap depletion proves non-realizability and 858 prefixes corroborate the construction.

Quotient Arsenal synthesis →

Verification notes

The exact written argument and available certificate were inspected; the public maturity level reflects whether import-time replay was complete.

Limitations

  • The ghost is not claimed for the parity-only response quotient.

Open work

Specify the completion doctrine before using inverse-limit points as states.