Một tài sản suy luận gồm ba phần: kết luận, phạm vi, kiểm chứng
Suy luận thường tạo giá trị nhất thời: trả lời xong là tan. Khung lý thuyết này hỏi: phần nào của một lần suy luận xứng đáng được giữ lại thành nguồn lực cho lần sau? Câu trả lời đề xuất — một kết luận chỉ thành ứng viên tài sản khi nó có đủ ba thành phần:
C
Conclusion — kết luận
Khẳng định hay phán đoán cụ thể, viết tường minh — không phải một đoạn văn mơ hồ, không phải “cảm giác” của mô hình.
S
Scope — phạm vi
Ranh giới áp dụng: đúng trong bối cảnh nào, với dữ kiện nào, và ở đâu thì không còn đúng nữa. Kết luận đúng ở nơi này không tự động đúng ở nơi khác.
V
Validation — kiểm chứng
Căn cứ được tin: ai/cái gì đã kiểm tra, bằng bằng chứng nào, còn hiệu lực tới khi nào. Kiểm chứng cũ, hết hạn thì tài sản phải bị đánh dấu lại.
Một tài liệu được lưu trữ chưa đương nhiên là một tài sản. Khung này đề xuất sáu điều kiện phải có cùng lúc thì một kết luận mới được coi là ứng viên tài sản: kết luận viết tường minh, được đưa ra khỏi đầu người (và khỏi mô hình) thành văn bản, định danh được, truy nguyên được nguồn gốc, duy trì được theo thời gian, và có triển vọng còn phục vụ được trong tương lai. Và khung tách bạch các mức trưởng thành: tài liệu → ứng viên → bản ghi chuẩn → tài sản đã đạt chuẩn → tài sản áp dụng được cho một bối cảnh cụ thể → quyền hành động. Không mức nào được suy ra từ mức trước chỉ vì đã “lưu thành công”.
Vì sao phạm vi và kiểm chứng quan trọng hơn kết luận
Hai tài sản hợp lệ gộp lại không làm kết luận tổ hợp tự động hợp lệ; một kết luận đúng ở kỳ trước không tự đúng ở kỳ này khi dữ kiện đã đổi. Vì vậy khung này đặt nặng: chuyển giao có điều kiện (đúng người, đúng ngữ cảnh, đúng quyền), kiểm chứng lại khi dữ kiện thay đổi, và quyền không kết luận khi bằng chứng chưa đủ. Đây cũng là lý do RI Engine — hệ thống kiểm chứng — tồn tại trước cả RIÊNG: mô hình đề xuất, hệ thống kiểm chứng quyết định.
Khung chương trình và giới hạn bằng chứng
Bao quanh khung lý thuyết này là một khung chương trình: nó quy định các mức bằng chứng cho mọi tuyên bố (từ mức mô phỏng, diễn tập, tới mức có doanh nghiệp thật tham gia) và cấm suy diễn vượt mức — kết quả trên vật liệu diễn tập không bao giờ được gọi là đã chứng minh trên doanh nghiệp thật. RIÊNG là nơi khung này được kiểm thử: kết quả của dự án trên vật liệu mô phỏng bị chặn ở mức diễn tập, và chỉ dữ liệu từ đoàn hệ doanh nghiệp thật mới nâng được mức bằng chứng. Đó là lý do chương trình đi hai đường song song — vừa phát triển mô hình, vừa xây đoàn hệ doanh nghiệp thật — xem trang trạng thái.