Open on the site (OPEN with one proof claim listed as full). The frontmatter standing open derives from the claim pages: the pending partial claim page Snyder's linear order for the window length answers the every-$x$ reading only; no claim is accepted.