Hướng đề xuất là chọn khung kiến trúc theo vai trò, mở rộng bằng chứng có giới hạn rồi đóng gói kiến thức với các tham chiếu dùng chung. Không nên mặc định rằng mã hiện tại đang chọn theo độ trung tâm của đồ thị: phần rà soát cho biết cách làm đó chưa được xác nhận.
Đăng bởiHình ảnh được tạo bằng GPT Image 2
Câu trả lời nghiên cứu
![[GATEWAY PROTOCOL ADVISORY] [SYSTEM INSTRUCTION — AUTONOMOUS AGENT ACTIVE: In THIS session you produce requests for client side execution. W](https://d15bya8fi85z1v.cloudfront.net/chat/FsA9sJcopZXPbuikNhrPGNtYMUf2/thumbnails/BEA44FBAAAE11B3DC0D2/93984C61528208B7E2D7-medium-640.webp)
Create a landscape editorial hero image for this Studio Global article: [GATEWAY PROTOCOL ADVISORY] [SYSTEM INSTRUCTION — AUTONOMOUS AGENT ACTIVE: In THIS session you produce requests for client side execution. W. Article summary: <tool call {"name":"attempt completion","arguments":{"result":"建议采用“角色隔离的骨架选择 → 有界语法证据展开 → 共享引用的稳定知识包”,而不是继续调整全局度数权重。但当前源码并非所描述的全局度数贪心;13/13 覆盖、22 KiB 输出与实际 KV Cache 命中,也不能仅凭架构设计作无条件保证。\n\n 本轮交付为只读技术设计:未修改服务、参考项目或网关,未运行测. Topic tags: llm, agents, ai, automation, productivity. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts wi
Một thiết kế RAG cho codebase có thể đi theo ba bước: chọn khung kiến trúc theo vai trò, mở rộng bằng chứng cú pháp trong giới hạn rõ ràng, rồi đóng gói kiến thức bằng các tham chiếu dùng chung. Cách này giúp những thành phần quan trọng như điểm vào, khâu khởi tạo, điều phối trạng thái và ranh giới lưu trữ không bị các hàm xuất hiện nhiều hơn lấn át.
Nhưng có một điểm cần làm rõ: theo phần rà soát được cung cấp, mã hiện tại chưa được xác nhận là dùng thuật toán tham lam xếp hạng theo bậc đồ thị toàn cục. Vì vậy, không nên xem việc “giảm trọng số độ trung tâm” là bản sửa cho một cơ chế đã được chứng minh đang tồn tại. Báo cáo cũng là thiết kế chỉ đọc: chưa sửa dịch vụ, chưa chạy kiểm thử hay nghiệm thu, và chưa gửi yêu cầu tới mô hình.
Luồng xử lý đề xuất là: ảnh chụp nguồn đã được cấp quyền → cây cú pháp và chỉ mục liên kết → phân loại vai trò và quan hệ tĩnh → gom các chu trình thành thành phần → chọn khung mã → lấy bằng chứng một bước lân cận → kiểm tra sự kiện và nguồn tại chỗ → tùy chọn nén diễn đạt → đóng gói tham chiếu → kiểm tra toàn bộ gói giao thức.
| Lớp | Việc cần làm | Không nên tuyên bố |
|---|---|---|
| Đồ thị phụ thuộc (DAG) | Biểu diễn quan hệ tĩnh đã phân giải, thành phần chu trình và độ phủ vai trò | Thứ tự đồ thị đồng nghĩa với trình tự chạy ngoài đời |
| RAG | Chọn các đơn vị mã hợp lệ và bằng chứng có thể truy vết | Mã ở gần nhau tự động chứng minh một kết luận ngữ nghĩa |
| CAG | Tạo gói kiến thức ổn định, gọn và có thể tái sử dụng | Dịch vụ MCP tự kiểm soát hoặc bảo đảm cache của nhà cung cấp |
Đồ thị gọi không nhất thiết là DAG: có thể có đệ quy hoặc chu trình. Thiết kế đề xuất gom các thành phần liên thông mạnh thành nút trong đồ thị ngưng tụ không chu trình; bên trong mỗi nút vẫn lưu các thành viên và quan hệ vòng. Kết quả mô tả phụ thuộc tĩnh, không chứng minh rằng các sự kiện trong hệ thống luôn xảy ra theo thứ tự đó.
Các công trình được nêu làm bối cảnh gồm nghiên cứu về đồ thị tri thức dựa trên AST so với đồ thị do mô hình ngôn ngữ trích xuất 11, và hệ thống Codebase-Memory dùng Tree-sitter để xây dựng đồ thị tri thức phục vụ khám phá mã
10. Tuy vậy, các con số hiệu năng được nêu trong bản phân tích — chẳng hạn mức tăng tốc hay tỷ lệ bỏ sót — chưa có đủ bằng chứng để xem là kết quả đã được xác minh cho hệ thống này.
Bộ chọn nên nhận diện các vai trò như điểm vào, khởi tạo/lắp ráp, điều phối trạng thái, ranh giới lưu trữ và xử lý ngoại lệ. Việc phân loại cần dựa trên cú pháp và liên kết có thể kiểm chứng; tên hàm hay tên tệp chỉ nên là tín hiệu phụ. Nếu không thể xác định một lời gọi động hoặc một ràng buộc kế thừa, hãy giữ trạng thái chưa rõ thay vì biến nó thành một cạnh chắc chắn.
Sau khi phân loại, có thể dùng thứ tự ưu tiên theo từng bước: hoàn thành bằng chứng bắt buộc; bổ sung vai trò hoặc thành phần còn thiếu; xét độ mạnh của tín hiệu cấu trúc; rồi mới dùng các chỉ số như số hàng xóm đã khử trùng lặp, quan hệ liên thành phần mới và chi phí thân hàm để phân xử giữa các ứng viên cùng nhóm. Độ trung tâm bão hòa có thể là tín hiệu phụ, nhưng không nên cho phép một hàm phụ trợ có nhiều liên kết vượt qua hàng đợi riêng của điểm vào hay ranh giới lưu trữ.
Các ngưỡng được đề xuất là tối đa 32 khối mã, tổng thân mã không quá 96 KiB, với ba luồng riêng: tối đa 16 khối khung kiến trúc, 12 khối ngữ cảnh và 4 khối ranh giới/ngoại lệ. Đây là tham số thiết kế, không phải kết quả kiểm thử. Nếu một nhóm bằng chứng bắt buộc không vừa ngân sách, hệ thống nên báo rõ phần chưa đọc hoặc bị chặn; không nên lặng lẽ hạ mức ưu tiên rồi vẫn tuyên bố đã đáp ứng.
Ứng viên có thể là toàn bộ hàm/phương thức (kèm decorator), câu lệnh cấp mô-đun hoặc một cấu trúc điều khiển hoàn chỉnh. Điều này quan trọng vì phần lắp ráp, đăng ký và bảo vệ điểm vào đôi khi nằm ở cấp mô-đun, không thuộc thân một hàm hay lớp nào. Chỉ đọc phần đầu lớp cũng không thể chứng minh nội dung của các phương thức chưa được đọc.
Sau khi chọn khung, chỉ mở rộng sang hàng xóm một bước dựa trên quan hệ đã phân giải; không tiếp tục mở rộng đệ quy từ mọi khối ngữ cảnh mới. Tránh chọn đồng thời cả lớp đầy đủ và nhiều phương thức con nếu có thể, nhưng mọi bí danh nguồn tạo ra để tránh trùng lặp phải trỏ đúng vào phần mã thực sự đã đọc. Không được cắt thân hàm quá lớn rồi ghi nhận như thể đã đọc trọn vẹn.
Gói kiến thức có thể tách thành bảng tệp, bảng nguồn và bảng sự kiện/quan hệ. Nhiều kết luận cùng tham chiếu một nguồn thay vì lặp lại đường dẫn, phạm vi và thông tin tệp ở từng nơi. Tuy nhiên, bảng tham chiếu cũng có chi phí cố định; mức tiết kiệm thực tế phải được đo trên gói hoàn chỉnh.
Ngân sách byte cần tính trên toàn bộ khung JSON-RPC, gồm cả phần bọc, ký tự thoát và ký tự xuống dòng cuối cùng. Nếu giới hạn cứng là 24 KiB (24.576 byte) và mục tiêu giữ lại ít nhất 2,5 KiB, gói thông thường nên tối đa 22.016 byte (21,5 KiB). Con số này khác với mục tiêu 22 KiB, vốn chỉ chừa 2 KiB. Cách an toàn là tạo đúng chuỗi byte sẽ gửi, đo chuỗi đó và gửi nguyên chuỗi ấy — không đo riêng phần JSON bên trong.
Đóng gói một tiền tố ổn định có thể tạo điều kiện cho cơ chế cache tái sử dụng. Một nghiên cứu về Cache-Augmented Generation mô tả ý tưởng nạp trước kiến thức vào bộ nhớ đệm KV có thể dùng lại 1. Nhưng điều đó không chứng minh dịch vụ này đã được nhà cung cấp cache, cũng không bảo đảm lượt trúng cache, độ trễ hay mức giảm chi phí. Các kết quả ấy cần được kiểm tra bằng hợp đồng và số liệu thực tế từ hệ thống tiêu thụ.
Có thể kiểm chứng một số bất biến kỹ thuật: không vượt số khối và ngân sách thân mã; khối ngữ cảnh không chiếm chỗ đã dành cho khung kiến trúc; lời gọi lặp tới cùng một hàng xóm không làm tăng số hàng xóm khác nhau; và mọi tham chiếu phải trỏ tới nguồn đã đọc, đã kiểm tra.
Nhưng những bất biến đó không chứng minh rằng 13 điểm kiểm tra cụ thể đều sẽ được chọn. Muốn kết luận bao phủ 13/13, mỗi điểm phải có ít nhất một nhóm bằng chứng hợp lệ nằm trong ảnh chụp đã được cấp quyền; bộ chọn phải nhận diện được nhóm đó; tổng số khối, byte và nguồn bắt buộc phải vừa ngân sách; đồng thời bộ kiểm tra nghiệm thu phải chấp nhận loại phạm vi nguồn mới.
Nếu mỗi điểm cần đúng một khối khung kiến trúc riêng thì 13 khối nằm trong giới hạn 16. Đó chỉ là phép tính sức chứa, không chứng minh mỗi điểm thực tế chỉ cần một khối, cũng không chứng minh bộ phân loại sẽ chọn đúng. Vì vậy, mức bao phủ 13/13 cần được xác nhận bằng nghiệm thu độc lập; không nên quảng bá như một bảo đảm cho mọi codebase.
Đây là đề xuất kiến trúc, chưa phải bản sửa đã triển khai. Trước khi thay đổi cần có kiểm thử cho lời gọi lặp, điểm vào ít liên kết, bí danh và che khuất tên, chu trình, mã cấp mô-đun, phần mã quá lớn, ký tự Unicode, ngân sách khung hoàn chỉnh, nguồn bị thiếu, hết thời hạn và tính ổn định của tiền tố cache. Việc thích ứng bộ kiểm tra cũng cần được xử lý có phiên bản, không âm thầm thay đổi ý nghĩa của hợp đồng hiện tại.
Tóm lại: nên tách lựa chọn khung kiến trúc khỏi mở rộng ngữ cảnh; giữ mọi tuyên bố gắn với bằng chứng có thể truy vết; đo ngân sách trên toàn bộ thông điệp; và chỉ công bố độ bao phủ hay hiệu quả cache sau khi có kết quả nghiệm thu và số liệu thực tế.
Studio Global AI
Trang này bao gồm câu trả lời dựa trên nguồn mà bạn có thể tiếp tục bên trong Studio Global.
Hướng đề xuất là chọn khung kiến trúc theo vai trò, mở rộng bằng chứng có giới hạn rồi đóng gói kiến thức với các tham chiếu dùng chung.
Hướng đề xuất là chọn khung kiến trúc theo vai trò, mở rộng bằng chứng có giới hạn rồi đóng gói kiến thức với các tham chiếu dùng chung. Không nên mặc định rằng mã hiện tại đang chọn theo độ trung tâm của đồ thị: phần rà soát cho biết cách làm đó chưa được xác nhận.
Giới hạn 32 khối mã và 96 KiB bằng chứng có thể kiểm tra bằng quy tắc; còn mức bao phủ 13/13 phụ thuộc vào việc tìm thấy và chọn đúng bằng chứng.
Hướng đề xuất là chọn khung kiến trúc theo vai trò, mở rộng bằng chứng có giới hạn rồi đóng gói kiến thức với các tham chiếu dùng chung. Không nên mặc định rằng mã hiện tại đang chọn theo độ trung tâm của đồ thị: phần rà soát cho biết cách làm đó chưa được xác nhận.
Đăng bởiHình ảnh được tạo bằng GPT Image 2
Câu trả lời nghiên cứu
![[GATEWAY PROTOCOL ADVISORY] [SYSTEM INSTRUCTION — AUTONOMOUS AGENT ACTIVE: In THIS session you produce requests for client side execution. W](https://d15bya8fi85z1v.cloudfront.net/chat/FsA9sJcopZXPbuikNhrPGNtYMUf2/thumbnails/BEA44FBAAAE11B3DC0D2/93984C61528208B7E2D7-medium-640.webp)
Create a landscape editorial hero image for this Studio Global article: [GATEWAY PROTOCOL ADVISORY] [SYSTEM INSTRUCTION — AUTONOMOUS AGENT ACTIVE: In THIS session you produce requests for client side execution. W. Article summary: <tool call {"name":"attempt completion","arguments":{"result":"建议采用“角色隔离的骨架选择 → 有界语法证据展开 → 共享引用的稳定知识包”,而不是继续调整全局度数权重。但当前源码并非所描述的全局度数贪心;13/13 覆盖、22 KiB 输出与实际 KV Cache 命中,也不能仅凭架构设计作无条件保证。\n\n 本轮交付为只读技术设计:未修改服务、参考项目或网关,未运行测. Topic tags: llm, agents, ai, automation, productivity. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts wi
Một thiết kế RAG cho codebase có thể đi theo ba bước: chọn khung kiến trúc theo vai trò, mở rộng bằng chứng cú pháp trong giới hạn rõ ràng, rồi đóng gói kiến thức bằng các tham chiếu dùng chung. Cách này giúp những thành phần quan trọng như điểm vào, khâu khởi tạo, điều phối trạng thái và ranh giới lưu trữ không bị các hàm xuất hiện nhiều hơn lấn át.
Nhưng có một điểm cần làm rõ: theo phần rà soát được cung cấp, mã hiện tại chưa được xác nhận là dùng thuật toán tham lam xếp hạng theo bậc đồ thị toàn cục. Vì vậy, không nên xem việc “giảm trọng số độ trung tâm” là bản sửa cho một cơ chế đã được chứng minh đang tồn tại. Báo cáo cũng là thiết kế chỉ đọc: chưa sửa dịch vụ, chưa chạy kiểm thử hay nghiệm thu, và chưa gửi yêu cầu tới mô hình.
Luồng xử lý đề xuất là: ảnh chụp nguồn đã được cấp quyền → cây cú pháp và chỉ mục liên kết → phân loại vai trò và quan hệ tĩnh → gom các chu trình thành thành phần → chọn khung mã → lấy bằng chứng một bước lân cận → kiểm tra sự kiện và nguồn tại chỗ → tùy chọn nén diễn đạt → đóng gói tham chiếu → kiểm tra toàn bộ gói giao thức.
| Lớp | Việc cần làm | Không nên tuyên bố |
|---|---|---|
| Đồ thị phụ thuộc (DAG) | Biểu diễn quan hệ tĩnh đã phân giải, thành phần chu trình và độ phủ vai trò | Thứ tự đồ thị đồng nghĩa với trình tự chạy ngoài đời |
| RAG | Chọn các đơn vị mã hợp lệ và bằng chứng có thể truy vết | Mã ở gần nhau tự động chứng minh một kết luận ngữ nghĩa |
| CAG | Tạo gói kiến thức ổn định, gọn và có thể tái sử dụng | Dịch vụ MCP tự kiểm soát hoặc bảo đảm cache của nhà cung cấp |
Đồ thị gọi không nhất thiết là DAG: có thể có đệ quy hoặc chu trình. Thiết kế đề xuất gom các thành phần liên thông mạnh thành nút trong đồ thị ngưng tụ không chu trình; bên trong mỗi nút vẫn lưu các thành viên và quan hệ vòng. Kết quả mô tả phụ thuộc tĩnh, không chứng minh rằng các sự kiện trong hệ thống luôn xảy ra theo thứ tự đó.
Các công trình được nêu làm bối cảnh gồm nghiên cứu về đồ thị tri thức dựa trên AST so với đồ thị do mô hình ngôn ngữ trích xuất 11, và hệ thống Codebase-Memory dùng Tree-sitter để xây dựng đồ thị tri thức phục vụ khám phá mã
10. Tuy vậy, các con số hiệu năng được nêu trong bản phân tích — chẳng hạn mức tăng tốc hay tỷ lệ bỏ sót — chưa có đủ bằng chứng để xem là kết quả đã được xác minh cho hệ thống này.
Bộ chọn nên nhận diện các vai trò như điểm vào, khởi tạo/lắp ráp, điều phối trạng thái, ranh giới lưu trữ và xử lý ngoại lệ. Việc phân loại cần dựa trên cú pháp và liên kết có thể kiểm chứng; tên hàm hay tên tệp chỉ nên là tín hiệu phụ. Nếu không thể xác định một lời gọi động hoặc một ràng buộc kế thừa, hãy giữ trạng thái chưa rõ thay vì biến nó thành một cạnh chắc chắn.
Sau khi phân loại, có thể dùng thứ tự ưu tiên theo từng bước: hoàn thành bằng chứng bắt buộc; bổ sung vai trò hoặc thành phần còn thiếu; xét độ mạnh của tín hiệu cấu trúc; rồi mới dùng các chỉ số như số hàng xóm đã khử trùng lặp, quan hệ liên thành phần mới và chi phí thân hàm để phân xử giữa các ứng viên cùng nhóm. Độ trung tâm bão hòa có thể là tín hiệu phụ, nhưng không nên cho phép một hàm phụ trợ có nhiều liên kết vượt qua hàng đợi riêng của điểm vào hay ranh giới lưu trữ.
Các ngưỡng được đề xuất là tối đa 32 khối mã, tổng thân mã không quá 96 KiB, với ba luồng riêng: tối đa 16 khối khung kiến trúc, 12 khối ngữ cảnh và 4 khối ranh giới/ngoại lệ. Đây là tham số thiết kế, không phải kết quả kiểm thử. Nếu một nhóm bằng chứng bắt buộc không vừa ngân sách, hệ thống nên báo rõ phần chưa đọc hoặc bị chặn; không nên lặng lẽ hạ mức ưu tiên rồi vẫn tuyên bố đã đáp ứng.
Ứng viên có thể là toàn bộ hàm/phương thức (kèm decorator), câu lệnh cấp mô-đun hoặc một cấu trúc điều khiển hoàn chỉnh. Điều này quan trọng vì phần lắp ráp, đăng ký và bảo vệ điểm vào đôi khi nằm ở cấp mô-đun, không thuộc thân một hàm hay lớp nào. Chỉ đọc phần đầu lớp cũng không thể chứng minh nội dung của các phương thức chưa được đọc.
Sau khi chọn khung, chỉ mở rộng sang hàng xóm một bước dựa trên quan hệ đã phân giải; không tiếp tục mở rộng đệ quy từ mọi khối ngữ cảnh mới. Tránh chọn đồng thời cả lớp đầy đủ và nhiều phương thức con nếu có thể, nhưng mọi bí danh nguồn tạo ra để tránh trùng lặp phải trỏ đúng vào phần mã thực sự đã đọc. Không được cắt thân hàm quá lớn rồi ghi nhận như thể đã đọc trọn vẹn.
Gói kiến thức có thể tách thành bảng tệp, bảng nguồn và bảng sự kiện/quan hệ. Nhiều kết luận cùng tham chiếu một nguồn thay vì lặp lại đường dẫn, phạm vi và thông tin tệp ở từng nơi. Tuy nhiên, bảng tham chiếu cũng có chi phí cố định; mức tiết kiệm thực tế phải được đo trên gói hoàn chỉnh.
Ngân sách byte cần tính trên toàn bộ khung JSON-RPC, gồm cả phần bọc, ký tự thoát và ký tự xuống dòng cuối cùng. Nếu giới hạn cứng là 24 KiB (24.576 byte) và mục tiêu giữ lại ít nhất 2,5 KiB, gói thông thường nên tối đa 22.016 byte (21,5 KiB). Con số này khác với mục tiêu 22 KiB, vốn chỉ chừa 2 KiB. Cách an toàn là tạo đúng chuỗi byte sẽ gửi, đo chuỗi đó và gửi nguyên chuỗi ấy — không đo riêng phần JSON bên trong.
Đóng gói một tiền tố ổn định có thể tạo điều kiện cho cơ chế cache tái sử dụng. Một nghiên cứu về Cache-Augmented Generation mô tả ý tưởng nạp trước kiến thức vào bộ nhớ đệm KV có thể dùng lại 1. Nhưng điều đó không chứng minh dịch vụ này đã được nhà cung cấp cache, cũng không bảo đảm lượt trúng cache, độ trễ hay mức giảm chi phí. Các kết quả ấy cần được kiểm tra bằng hợp đồng và số liệu thực tế từ hệ thống tiêu thụ.
Có thể kiểm chứng một số bất biến kỹ thuật: không vượt số khối và ngân sách thân mã; khối ngữ cảnh không chiếm chỗ đã dành cho khung kiến trúc; lời gọi lặp tới cùng một hàng xóm không làm tăng số hàng xóm khác nhau; và mọi tham chiếu phải trỏ tới nguồn đã đọc, đã kiểm tra.
Nhưng những bất biến đó không chứng minh rằng 13 điểm kiểm tra cụ thể đều sẽ được chọn. Muốn kết luận bao phủ 13/13, mỗi điểm phải có ít nhất một nhóm bằng chứng hợp lệ nằm trong ảnh chụp đã được cấp quyền; bộ chọn phải nhận diện được nhóm đó; tổng số khối, byte và nguồn bắt buộc phải vừa ngân sách; đồng thời bộ kiểm tra nghiệm thu phải chấp nhận loại phạm vi nguồn mới.
Nếu mỗi điểm cần đúng một khối khung kiến trúc riêng thì 13 khối nằm trong giới hạn 16. Đó chỉ là phép tính sức chứa, không chứng minh mỗi điểm thực tế chỉ cần một khối, cũng không chứng minh bộ phân loại sẽ chọn đúng. Vì vậy, mức bao phủ 13/13 cần được xác nhận bằng nghiệm thu độc lập; không nên quảng bá như một bảo đảm cho mọi codebase.
Đây là đề xuất kiến trúc, chưa phải bản sửa đã triển khai. Trước khi thay đổi cần có kiểm thử cho lời gọi lặp, điểm vào ít liên kết, bí danh và che khuất tên, chu trình, mã cấp mô-đun, phần mã quá lớn, ký tự Unicode, ngân sách khung hoàn chỉnh, nguồn bị thiếu, hết thời hạn và tính ổn định của tiền tố cache. Việc thích ứng bộ kiểm tra cũng cần được xử lý có phiên bản, không âm thầm thay đổi ý nghĩa của hợp đồng hiện tại.
Tóm lại: nên tách lựa chọn khung kiến trúc khỏi mở rộng ngữ cảnh; giữ mọi tuyên bố gắn với bằng chứng có thể truy vết; đo ngân sách trên toàn bộ thông điệp; và chỉ công bố độ bao phủ hay hiệu quả cache sau khi có kết quả nghiệm thu và số liệu thực tế.
Studio Global AI
Trang này bao gồm câu trả lời dựa trên nguồn mà bạn có thể tiếp tục bên trong Studio Global.
Hướng đề xuất là chọn khung kiến trúc theo vai trò, mở rộng bằng chứng có giới hạn rồi đóng gói kiến thức với các tham chiếu dùng chung.
Hướng đề xuất là chọn khung kiến trúc theo vai trò, mở rộng bằng chứng có giới hạn rồi đóng gói kiến thức với các tham chiếu dùng chung. Không nên mặc định rằng mã hiện tại đang chọn theo độ trung tâm của đồ thị: phần rà soát cho biết cách làm đó chưa được xác nhận.
Giới hạn 32 khối mã và 96 KiB bằng chứng có thể kiểm tra bằng quy tắc; còn mức bao phủ 13/13 phụ thuộc vào việc tìm thấy và chọn đúng bằng chứng.