2.1 KiB
name, description, metadata
| name | description | metadata | ||
|---|---|---|---|---|
| proxy-predicate-blind-measure | Máy đo chọn mẫu bằng vị-từ HÌNH-DẠNG-ĐƯỜNG-DẪN sẽ mù câm khi hạ tầng đổi đường ghi, mà vẫn in "0 lệch" — phải hỏi PHỦ ĐƯỢC BAO NHIÊU, không chỉ hỏi CLAIM CÓ ĐÚNG |
|
Khi soi một máy đo (audit/detector/gate), đừng dừng ở "hằng-số của nó có đồng bộ không". Phải hỏi thêm: nó chọn mẫu bằng vị từ gì, và vị từ đó có còn đúng không?
Why: S180 scripts/spawn-model-audit.ps1:251-254 chọn phiên bằng
Test-Path (subagents\workflows) — một đại-diện (proxy) cho "phiên này có spawn". Khi lane đi qua
Agent/Task tool thay vì Workflow tool, bản ghi rơi phẳng vào subagents/agent-*.jsonl, vị từ trả
false, máy im lặng tụt về phiên cũ hơn 26,5 giờ rồi vẫn in scope = CURRENT session only
(:262), 0 mismatch, TOTAL FLAGS: 0. Đo thật: 0/17 lane của phiên hiện tại được nhìn, trong
đó có 168 bản ghi claude-fable-5 — đúng cái mô-hình-đắt mà máy sinh ra để canh.
Điểm đắt: các claim "0-mismatch" dựa trên nó không bị chứng minh là SAI, chúng mất chỗ dựa. Đó là khác biệt giữa "đã đo và bằng không" với "chưa đo gì" — hai thứ in ra trông y hệt nhau.
How to apply:
- Với mỗi máy đo, đòi mẫu số:
n đơn vị đã đo / m đơn vị tồn tại. Không in mẫu số = đèn xanh giả. - Đòi control cho vế DÂN SỐ, không chỉ control cho vế so-sánh. Máy này có control chống grep ngây thơ (khối A) nhưng không có control "mẫu có rỗng không".
- Nhãn tự-mô-tả (
CURRENT session only) phải kiểm được, không được in vô điều kiện. - Phản chứng bắt buộc khi vá: chạy trên phiên chỉ có lane phẳng ⇒ máy phải thấy, không được rơi về phiên cũ.
- Liên hệ: ranking-claim-needs-two-denominators — cùng gốc bệnh "đếm-về-tổng".