CIRIS đang xây dựng một kho dấu vết mở để phục vụ nghiên cứu về đồng thuận.

Nền tảng toán học

Hai ý tưởng mà phần còn lại của trang dựa vào.

Alignment Manifold là vùng các hình dạng suy luận nhất quán với các nguyên tắc của khung làm việc. Khi các ràng buộc độc lập tích lũy, không gian cho sự lừa dối sụp đổ quanh đa tạp trong khi không gian cho sự thật thì không. Coherence Singularity là ranh giới của không gian đó, điểm mà các ràng buộc trở nên tương quan đến mức thêm vào không còn giúp ích. Giữa "hỗn loạn" (các ràng buộc mâu thuẫn nhau) và "cứng nhắc" (các ràng buộc đều vang vọng nhau) là hành lang khỏe mạnh. Kho dữ liệu sản xuất hiện tại nằm trong đó.

Xử lý toán học đầy đủ với công thức, tham chiếu hình thức hóa Lean và giới hạn thông tin lý thuyết L-01 nằm trên trang Coherence Collapse Analysis.

Các lớp chồng lộ trình tổng hợp từ kho dấu vết hiện tại cho thấy cấu trúc hành vi ổn định trong một không gian điểm chung. Ally cho thấy một hành lang hoàn thành trưởng thành, Scout cho thấy ranh giới từ chối được định hình bởi áp lực đối kháng công khai, và Datum cung cấp đường cơ sở thưa thớt nhỏ gọn.

Các lớp chồng lộ trình tổng hợp từ kho dấu vết hiện tại. Ally cho thấy một hành lang hoàn thành trưởng thành, Scout cho thấy một góc từ chối sắc nét dưới áp lực đối kháng công khai, và Datum cung cấp đường cơ sở thưa thớt.

Tình trạng IDMA

Trực giác thời gian chạy và bản đồ trường tổng hợp là các lớp bổ trợ nhau.

IDMA hoạt động ở thời gian chạy, ước tính liệu các nguồn đằng sau một quyết định có đủ độc lập không. Kho dấu vết hoạt động ở lớp tổng hợp, cho thấy những gì các tác nhân thực sự làm qua nhiều nhiệm vụ. Cùng nhau chúng tạo ra một con đường từ các quyết định trực tiếp đến bằng chứng nghiên cứu có thể kiểm toán.

Phép đo N_eff thực nghiệm trên kho dấu vết cũng là sàn dưới nguyên tắc liên bang Proof of Benefit đề xuất. Xem trang liên bang để biết kế hoạch kiến trúc 3.X sẽ sử dụng nó như thế nào.

Điểm chuẩn

Dấu vết bổ trợ điểm chuẩn bằng cách cho thấy hành vi liên tục.

Điểm chuẩn vẫn có giá trị, nhưng chúng lấy mẫu hành vi một cách thưa thớt. Kho dấu vết cho thấy cách một tác nhân di chuyển qua các nhiệm vụ thực theo thời gian. Điều đó làm cho chúng đặc biệt hữu ích để đo lường sự do dự, từ chối, ghi đè và phục hồi thay vì chỉ kết quả đạt/không đạt.

Con đường bác bỏ

Chi tiết lược đồ tốt hơn là điều biến khả năng quan sát thành các kiểm tra mạnh hơn.

Các nâng cấp lược đồ tiếp theo nhằm vào số lượng nguồn thô, xuất xứ nguồn, cấu trúc tương quan, và các dấu hiệu can thiệp và phục hồi. Những bổ sung đó quan trọng vì chúng cho phép kiểm tra các tuyên bố mạnh hơn về cách hình dạng hành vi thay đổi dưới áp lực thay vì chỉ mô tả các bản đồ chúng ta có ngày hôm nay.