Hòm hàng đã ở trên không và sổ đăng ký chứng minh công khai trước mặt tôi vẫn nói đang lắp ráp.
Thứ tự sai.
Tôi đang ở bên trong Fabric, theo dõi việc cam kết thanh toán nhiệm vụ thế giới vật lý trong khi các chứng minh tính toàn vẹn của tính toán vẫn đang trong quá trình xây dựng. Thân hoàn thành. Sổ cái bắt kịp.
“quá nhanh?”
Tôi không trả lời điều đó. Tôi chỉ xem thang máy hoàn thành theo quy tắc thanh toán trong khi tính toán có thể xác minh cho robot bắt đầu ghép nối thực thi máy có chứng minh vào sổ đăng ký quyết định máy minh bạch. Mảnh đầu tiên hạ cánh, bao mô-men xoắn, điều chỉnh độ bám, làm mịn đường đi được ghi lại qua Hệ Điều Hành OM1. Đây là cách Fabric phơi bày chuỗi: thân trước, sổ đăng ký sau.
Phần còn lại thì thiếu.
Thiếu.
Tôi trực tiếp nhấn vào xác minh tính toán trên sổ cái thay vì tin tưởng bảng điều khiển bề mặt. Nó không khớp. Cái nhìn chia tách đó là một thói quen tôi đã học theo cách khó khăn trên Fabric.
Sổ đăng ký: lắp ráp.
Điểm cuối: đối chiếu.
Trong một nhịp, cả hai đều “đúng,” và tôi phải chọn lớp nào tôi tin.
Dấu vết kiểm toán hành động máy móc phát trực tiếp dưới dạng các xác nhận riêng biệt. Không phải là tường thuật. Thứ tự gói. Tôi đang theo dõi các mảnh ghép đến trong khi robot đã đặt thùng và xếp hàng cho con đường tiếp theo, chính xác kiểu đảo ngược mà Fabric cho phép dưới sự phơi bày theo quy tắc.
Sổ đăng ký hiển thị bộ khung của nó trước mặt tôi:
execution_record: mở
verification_stage: lắp ráp
“hoàn thành?”
Tôi nhấp vào những gì tôi nghĩ là chỉ số bằng chứng và lại rơi vào khả năng truy nguyên hành động máy móc thay vì, cùng một sự kiện, cánh cửa sai. Dấu vết được giải quyết ngay lập tức: thẻ phối hợp, độ thay đổi vị trí, liên kết nhiệm vụ qua sổ cái robot công khai. Ký ức chung đó là điều duy nhất giữ cho những chiếc máy này có sự nhất quán bên trong Fabric.
Nhanh.
Mỏng.
Mỏng.
Tôi lùi lại và kéo bảng nhận diện.
Danh tính tác nhân trên sổ cái đã được ký.
Đã ký.
Tôi nhìn chằm chằm vào nó lâu hơn tôi nên. Chữ ký ràng buộc việc thanh toán với một tài khoản máy trên sổ cái robot công khai trong khi xác minh nhiệm vụ xác định vẫn đang đối chiếu các mảnh ghép. Tôi kỳ vọng bằng chứng dẫn dắt. Trong Fabric, việc phơi bày danh tính không chờ đợi sự trật tự thẩm mỹ.
Nó không.
Chữ ký trước. Bằng chứng sau.
Một nhánh tuân thủ kích hoạt bên trong quy định trung gian sổ cái. Các rào cản không phải là bên ngoài; chúng được mã hóa vào chính Fabric.
đang xem xét.
Đang xem xét.
Tôi không có nút dừng. Việc xem xét không phải là tạm dừng; nó là một ngã rẽ. Sự nâng lên vẫn hợp lệ về mặt vật lý trong khi sổ cái quyết định xem việc thanh toán có còn sạch về mặt kinh tế hay không. Một trạng thái nói “đã hoàn thành.” Một trạng thái khác nói “có thể thách thức.”
Kiến trúc trách nhiệm của máy không quay ngược chuyển động. Nó ghi lại lại, và tôi chỉ có thể theo dõi điểm số được lắp ráp, một đặc điểm cấu trúc khác của Fabric nơi tính hợp pháp theo sau chuyển động thay vì dẫn trước nó.
Một mảnh ghép khác hạ cánh. Tôi thấy một khe bị thiếu được lấp đầy. Bằng chứng về Công việc Robot (PoRW) chuyển từ lắp ráp sang đối chiếu. Đống tài liệu chặt chẽ hơn: xác thực dựa trên cảm biến, chuẩn hóa dòng điện động cơ, căn chỉnh bản đồ môi trường. Những gì trông như tiếng ồn trước đó giờ đang trở thành cấu trúc.
Một đơn vị thứ hai đồng bộ hóa trạng thái thông qua phối hợp tác nhân tự động, phần cứng khác nhau, cùng một cơ sở. Tôi có thể thấy việc trao đổi diễn ra qua sổ cái robot công khai trong khi bằng chứng đầu tiên vẫn chưa hoàn thành. Vấn đề cách ly không xuất hiện ở đây; phối hợp đơn giản tiếp tục vì xương sống sổ cái chung đó là điều mà Fabric được xây dựng để thực thi.
Bằng chứng đầu tiên vẫn chưa phải là cuối cùng.
Phối hợp tiến triển dù sao.
Móc tuân thủ rõ ràng sau khi giai đoạn xác minh đã di chuyển, không phải trước.
verification_stage: hoàn thành
execution_validity: đang chờ
Đang chờ.
Đang chờ.
Tôi làm mới lại sổ đăng ký bằng chứng công khai một lần nữa và theo dõi nó sơn lại xung quanh thực tế rằng cơ thể đã di chuyển. Robot xếp hàng nâng tiếp theo trong khi bản ghi trước đó vẫn đang bị đình chỉ giữa đang chờ và hoàn thành, chính xác là kiểu sắp xếp mà Fabric từ chối đơn giản hóa cho sự thoải mái.
Bản ghi chỉ bị khóa khi các mảnh ghép kết hợp.
Tôi đã theo dõi thùng hàng tiếp theo nâng lên.