Problem
EIP-712 digest construction + ecrecover ordering is currently a per-contract local obligation in downstream ports rather than a reusable typed pattern, even though hashing/EIP-712 helper ECMs are shipped.
Goal
A typed signature-flow surface: declare an EIP-712 struct type, get domain-separator/digest construction and an ecrecover-based authorization check as a standard pattern with a generic correctness lemma (signer-binding given the ECM contracts), instead of each contract restating the digest/recover ordering facts.
Depends on the dynamic/nested ABI codec (#1982 P0-1) for abi.encode of rich struct types. Lower priority; filed for tracking after the 2026-06-12 Morpho fidelity analysis.
Problem
EIP-712 digest construction + ecrecover ordering is currently a per-contract local obligation in downstream ports rather than a reusable typed pattern, even though hashing/EIP-712 helper ECMs are shipped.
Goal
A typed signature-flow surface: declare an EIP-712 struct type, get domain-separator/digest construction and an
ecrecover-based authorization check as a standard pattern with a generic correctness lemma (signer-binding given the ECM contracts), instead of each contract restating the digest/recover ordering facts.Depends on the dynamic/nested ABI codec (#1982 P0-1) for
abi.encodeof rich struct types. Lower priority; filed for tracking after the 2026-06-12 Morpho fidelity analysis.