Congratulations on getting v0.1 out Jimmy,
this has been a great thread to be part of and this is a great foundation for the standard.
For the WYRIWE reference: the formal ERC draft and Ethereum Magicians discussion thread are now live if useful for cross-referencing:
The inputHash field in IProofVerifier.verify() maps directly to WYRIWE’s input_hash — same key, same keccak256 construction. Happy to coordinate cross-references once the WYRIWE PR is submitted to ethereum/ERCs.