Design
The receipt commits to the unsigned transaction bytes. If one byte changes after approval, verification fails closed before a signature exists.
The current catalog records 37 tests. PSAR/1 v1 does not semantically decode XDR; deeper semantic checks are reserved for PSAR/2.
Status
Built and test-executed. The Freighter integration is a public proposal, not a shipped wallet integration, and no wallet adoption is claimed.