法律散文使用 Corda

这是之前回答的后续问题法律散文乔尔提出的问题。（根据要求创建了单独的问题）

@LegalProseReference(uri = "foo.bar.com/my-legal-doc.html")
public class MyContract implements Contract {
    @Override
    public void verify(LedgerTransaction tx) {
        // Contract logic.
    }
}

正如答案所示，我得到了这个法律文档 my-legal-doc.html。那么如果 verify 方法没有抛出异常会发生什么？如果验证确实引发异常，我是否向阅读该法律文档的用户显示该法律文档，会发生什么情况？那这就是合同失败的原因吗？正如回答中提到的，法律合同优先->所以如果验证方法抛出异常，那么法律文档如何优先？我浏览此文档找出问题所在并手动验证交易？还怎么手动？

理想情况下，合同代码和法律文字应该完美一致。它们应该是相同的，只是一个以代码形式表达合同，而另一个以法律术语表达合同。

但是，假设您发现合同代码中存在错误，这意味着合同代码实际上并未完全反映法律散文。这个想法是，您可以在法庭上使用法律散文文件来撤销交易，因为您实际上是根据法律散文文件签订了协议，并且该文件没有正确反映在合同代码。

例如，假设您发现AssetContract治理AssetStates允许交易对手在未经您同意的情况下转移您的资产（实际上，我们预计合约代码错误不会比这更明显）。你可以去法庭并使用法律散文文件来证明这是合同中的错误，而不是其真实意图。

然而，究竟是合同法还是法律文本优先，最终取决于各个国家的法律体系。目前，我们希望法律散文能够定义合同条款。随着法院越来越接受代码即法律的理念，这种情况将来可能会发生变化。