Hợp đồng thông minh và giá trị pháp lý: khi mã nguồn và văn bản nói khác nhau

Khẩu hiệu 'mã nguồn là luật' mô tả đúng cách một hợp đồng thông minh vận hành, nhưng không mô tả đúng cách một tranh chấp được giải quyết. Toà án xử theo ý định của các bên, và ý định ấy được chứng minh bằng nhiều loại chứng cứ, trong đó mã nguồn chỉ là một.

Khi mã và văn bản khác nhau

Tình huống này phổ biến hơn tưởng tượng: hợp đồng viết rằng phí là hai phần trăm, mã tính hai phẩy năm phần trăm do một lỗi làm tròn. Bên bị thiệt sẽ dựa vào văn bản; bên hưởng lợi có thể dựa vào việc bên kia đã chấp nhận triển khai mã ấy. Không có câu trả lời mặc định.

Điều khoản nên có

Hợp đồng nên nêu rõ văn bản nào ưu tiên khi có xung đột, và quy trình xử lý khi phát hiện sai lệch. Một số thoả thuận chọn mã nguồn ưu tiên, chấp nhận rủi ro lỗi; một số chọn văn bản ưu tiên, kèm cam kết điều chỉnh mã. Cả hai đều chấp nhận được; điều không chấp nhận được là không chọn gì.

Cơ chế can thiệp

Khả năng tạm dừng hợp đồng khi phát hiện lỗi nghiêm trọng là điều thường bị phản đối vì đi ngược tinh thần phi tập trung. Nhưng nếu không có cơ chế ấy, một lỗi nhỏ có thể dẫn tới thiệt hại không thể khắc phục. Điểm mấu chốt là ai có quyền tạm dừng, trong trường hợp nào, và quy trình đó có được thoả thuận từ đầu hay không.