Proper crown blocks as cyclic intervals
Abstract
Cutting outside a proper block turns it into a linear interval.
This formal interval argument expands the consecutive-block observation in source Lemma 3.2; source and scope: D5/L/Combinatorics/lundstrom2025crown
For a connected compatible partition of the augmented crown at n at least two, an original block disjoint from the endpoints is connected in the cycle. If a vertex lies outside that block, cutting the cycle at this vertex gives an injective linear rank on the remaining vertices. The block occupies one interval in that rank. This is an independent interval result; no other D5 module imports it, and it declares no public theorem.