Cairn Docs Claims Blog Packages

Claim ยท yap 0.1.0

yap^336 The host reports config.json and dictionary.txt when they change

An assumption of yap 0.1.0.

Id
yap^336
Kind
assume
Reads as
assumed
Version
0.1.0

All of yap 0.1.0's claims

What it says

After `readConfig` and `readDictionary`, the host reports each file's contents now and whenever it changes, decoding config.json's fields (a field left out is none) and reporting a file that won't parse as unreadable.

Evidence

assumedStated, not proved. The proofs rely on it.
fuzzedNot 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.hostFiles
Module
Yap
Source
lean/Yap.lean:447 at v0.1.0
Statement hash
-

Ledger

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