Cairn
Docs
Claims
Blog
Packages
Claim ยท cairn 0.5.2
cairn^971 A secret is read from the environment or its file, and never shown
An assumption of cairn 0.5.2.
- Id
cairn^971- Kind
- assume
- Reads as
- retired
- Version
- 0.5.2
Evidence
retired Reissued as ^975 for environment secrets: a secret can now also be a Keychain item (^972, #205); a published claim keeps its statement.
Where it's defined
- Declaration
Cairn.Fuzz.Trusted.Claims.retired_971- Module
Cairn.Fuzz.Trusted.Claims- Source
lean/Cairn/Fuzz/Trusted/Claims.lean:124atv0.5.2- Statement hash
-
Ledger
cairn^971 is retired in this version's claims.lock. An id never moves or changes meaning.