Expand description
Proof-carrying account markers.
This is the lightweight capability layer over AccountView checks. Each
method consumes a proof and returns the same account with an extra marker in
the type, so downstream helpers can require OwnerChecked, SignerChecked,
LayoutChecked<T>, or any tuple composition of those markers.