Restored the Action Envelope instructions with a clear, complete example showing how to write envelope.yaml for rulespec verification.