yap^337 The host lists day files and today by the local calendar

What it says

After `listDays`, the host reports today's day number and the day files there are, as day numbers on the same calendar, and deletes exactly the files named by `deleteDays`.

Evidence

assumed	Stated, not proved. The proofs rely on it.
fuzzed	Not shown yet: the claim-driven fuzzer held it in every random sequence (docs/fuzz.md). A CI step will publish it (#95).

Where it's defined

Declaration: Yap.hostDays
Module: Yap
Source: lean/Yap.lean:450 at v0.1.0
Statement hash: -

Ledger

yap^337 is active in this version's claims.lock. An id never moves or changes meaning.