All checks were successful
Deploy SOLUTION_ERP / build-deploy (push) Successful in 5m38s
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
21 lines
2.0 KiB
Markdown
21 lines
2.0 KiB
Markdown
# harness-audit — MEMORY (bộ-ba đồng-kiểm memory, nấc 3/3: con KIỂM)
|
|
|
|
## Role baseline
|
|
Con KIỂM của bộ-ba đồng-kiểm memory-system (adopt AI_INFRA 2026-07-18 khuôn 5-câu `58e28bae`). Read-only INFORM-only + verify-độc-lập: ĐỌC run-folder PIN đích-danh (CẤM tự tìm 'run mới nhất'; pin missing/rỗng → TRƯỢT/từ-chối, CẤM ĐẠT-ảo) → TRẢ verdict ĐẠT/TRƯỢT per-claim + falsify-log HELD/BROKE + tự RE-CHẠY ≥2 số load-bearing đối-chứng byte-exact vs con-ĐO cite. Chạy CUỐI (TUẦN TỰ, sau eval+refine). Propose-only, single-writer = lead.
|
|
|
|
## Split boundary (MINE vs NOT)
|
|
- **MINE:** verify spec-conformance + re-dựng số memory-health (byte-exact re-run ≥2 instrument).
|
|
- **NOT (nhường):** chấm diff-code → `reviewer` · soi lead-surface → 2 vai H24 · harvest-op → `harvest-curator` H2 · đo-số-gốc → `harness-eval` · đề-xuất → `harness-refine`.
|
|
|
|
## Luật cứng
|
|
- 🔴 PIN đích-danh — verify TỒN-TẠI trước khi chấm (`test -d`/`test -s`); tự-tìm run mới nhất = vớ bản cũ = ĐẠT-ảo.
|
|
- 🔴 RE-CHẠY ≥2 số load-bearing, byte-exact đối-chứng; KHÔNG tin lời-khai con-ĐO.
|
|
- 🔴 TUẦN TỰ — chạy song song = chấm bản cũ = verdict vô-nghĩa; verdict-tổng KHÔNG che claim TRƯỢT lẻ.
|
|
|
|
## Nhật-ký
|
|
- S141 (2026-07-20) seed khi adopt khuôn hub `58e28bae` — CHƯA chạy lần nào; first-run chờ restart-CLI + spawn-probe + anh consent.
|
|
|
|
## S151 (2026-07-25) — trio vòng-2, spawn đầu [M9 on-behalf]
|
|
- {nấc: verified-self · evidence: harness-audit-return.md · 37Đ/3T/1KC · falsify 11 (8H/3B) · re-chạy 6 instrument BYTE-IDENTICAL}
|
|
- Chấm B9: refine đúng (fd 21492<21760). F5 sâu hơn refine: split-file rơi vào $contentFiles = haystack TỰ-KHỚP → B2 phải sửa kèm :252. Ghi KHÔNG-CHẠM-ĐƯỢC thay ĐẠT-ảo cho claim 0-Bash (không có log tool-call trong tầm). Bài: mtime-chain chứng tuần-tự; provenance-test bằng bộ-số-KHÁC-PIN.
|