法律文书中的使用Corda

Question

这是对Joel之前回答的法律条款问题的后续提问（应请求创建了单独的问题）。

@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方法没有抛出异常会发生什么？如果verify抛出异常会发生什么，我要向阅读该法律文件的用户展示这份法律文件吗？也就是说，这就是合同失败的原因？如答案中所述，法律合同具有优先权->所以如果verify方法抛出异常，那么法律文件如何具有优先权呢？我需要查看这份文件以找出问题并手动验证tx吗？还有，手动验证的方式是什么？

- Kid101

Answer 1

理想情况下，合同代码和法律条文应该完全一致。它们应该相同，只是一个用代码表达合同，另一个用法律术语表达合同。

然而，假设您发现合同代码中存在错误，这意味着合同代码实际上并没有完全反映法律条文。这样，您可以使用法律条文文件在法庭上撤销交易，理由是您实际上是根据法律条文文件进入协议的，而且这个文件没有正确地反映在合同代码中。

例如，假设您发现管理资产状态的AssetContract中存在漏洞，允许交易对手在未经您同意的情况下转移您的资产（实际上，我们预计合同代码漏洞会比这个不明显）。您可以去法院，并使用法律条文证明这是合同中的一个漏洞，而不是其真正意图。

然而，合同代码或法律条文优先的问题最终取决于各个国家的法律制度。目前，我们期望法律条文定义合同条款。随着法院逐渐接受代码即法律的概念，这种情况可能会改变。

- Joel