Cairn
Docs
Claims
Blog
Packages
Claim ยท cairn 0.5.2
cairn^1022 A secure field shows assistive apps nothing typed
An assumption of cairn 0.5.2.
- Id
cairn^1022- Kind
- assume
- Reads as
- assumed
- Version
- 0.5.2
What it says
A frame node marked secure is an AXTextField with subrole AXSecureTextField, no value, no characters, no selected text and an empty string for every range, whatever its node or the text input holds; no other element shows its text. The debug socket's description of an http request shows no header value, body or secret, and no URL when the request is redact.
Evidence
| assumed | Stated, not proved. The proofs rely on it. | |
| fuzzed | Not shown yet: the trusted-base fuzzer's check ax.secure held. A CI step will publish it (#95). | |
Where it's defined
- Declaration
Cairn.Fuzz.Trusted.Claims.hostAxSecure- Module
Cairn.Fuzz.Trusted.Claims- Source
lean/Cairn/Fuzz/Trusted/Claims.lean:289atv0.5.2- Statement hash
-
Ledger
cairn^1022 is active in this version's claims.lock. An id never moves or changes meaning.