Cairn Docs Claims Blog Packages

Claim ยท yap 0.1.0

yap^334 The host transcribes the samples it was asked for

An assumption of yap 0.1.0.

Id
yap^334
Kind
assume
Reads as
assumed
Version
0.1.0

All of yap 0.1.0's claims

What it says

A transcription reply's text is the transcript of the whole clip (or of the samples asked for), from the model asked for, with the prompt given.

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.hostTranscribes
Module
Yap
Source
lean/Yap.lean:441 at v0.1.0
Statement hash
-

Ledger

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