FPRD LabShare an approach

← Claims

Corollary · resource bound

QA-RA-S6-C04.1

Finite-horizon gap certificate

Exact statement

An initial separated gap G≥2hG\ge2h guarantees hh exact causal updates.

StatusProved
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

Induction on the exact gap recurrence gives the bound.

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 condition is sufficient, not claimed necessary.

Open work

Determine sharp survival times for special flank families.