5.0 KiB
sub-task-1 — REPORT BẢN 3 (nhãn "đã-đo", sha 190c11ba)
Wave-2 item 7 + draft §VIỆC-4 (dòng 116-153). Engine: HMW-worker Opus-MAX, run S127-adap-dot-16-07. Trạng thái: HOÀN TẤT — file NEW ghi xong + 4 verify Select-String PASS (paste bên dưới). Ghi TĂNG-DẦN trong lúc làm (chống #53, bài S123).
Deliverable
docs/governance/adap-reports/2026-07-16-Governance-vong-tu-bao-tri-thu-nam-san-su-that-nhan-da-do.md (NEW, REPORT-FORMAT LOCK 5 trường — khuôn adap-report.md:13-19).
Nội dung theo spec (item 7 + draft §VIỆC-4)
Nấc tách 4 hành-động con:
- executed — 4a C1 hạ-nhãn
crystallized-backfill.ps1(comment-only, exit-0, calibrat=0). Evidence E2 wave-1. - executed → verified-pending — 4c câu cửa-duyệt
reviewer.md:46(agent .md no hot-reload). Evidence E3 wave-1. - agreed — OWNER-GATED (ii) — 4b C2
memory-budget.json:89measured_token_estimate(chờ anh rename vs exemption). - agreed — OWNER-GATED (iv) — nguồn hằng-số
memory-budget.json:65(đuôi provenance /3.0).
Crosswalk G-011: "owner-gated" map về agreed (đã quyết áp KHUNG, CHƯA chạm file vì chờ owner chọn lối) — flag rõ "OWNER-GATED" để không lẫn.
Ground-truth verify TỰ MỞ đĩa (paste thật)
E2 — backfill (4a):
grep -c -i "calibrat" scripts/crystallized-backfill.ps1→0:25=# (4) HEURISTIC RANGE (convention, NOT measured): token headroom is a RANGE [bytes/4 .. bytes/3.0], NOT the:117=# heuristic RANGE (invariant 4): divisors = convention char/4 + VN ~3.0-3.5 byte/tok -- CHUA do tokenizer that tai SE (see dinh-chinh letter 58f5afd8 2026-07-16). tok_low = optimistic (bytes/4), tok_high = worst (bytes/3.0)- baseline range [118424..157898] (từ wave-1 sub-w1-task-1).
E3 — reviewer.md (4c):
reviewer.md:46=**Measured-label gate (sàn-sự-thật 190c11ba):** diff chứa con-số mang nhãn đo-lường (measured/empirical/calibrated/đã-đo)? → hỏi: "phép kiểm nào khiến con số này TRƯỢT nếu nó sai?" Không trả lời được → yêu cầu 1 trong 3: phản-chứng chạy được · miễn-trừ lý-do visible · bỏ nhãn.
C2 owner-gated (KHÔNG đụng — xác nhận nguyên trạng):
memory-budget.json:89="measured_token_estimate": 55000,- note :90 = "honest mid estimate (~19K byte-measured + ~36K harness-injected-est)"
_owner_override_note= "NOT actively subtracted by the current scripts" ⇒ 0 consumer tự-động.memory-budget.json:65="token_estimate": "char/4 is NOT real tokenization; VN-diacritic hot-memory ~3.0-3.5 byte/tok; report a RANGE..."(nguồn /3.0).
Sweep 0-ứng-viên-thứ-3 (đĩa):
hmw.jscalibrat/measured = 0-hit.mfe-eval.ps1:176,180= honest RANGE "[bytes/4 .. bytes/3.0]" KHÔNG nhãn calibrated;:266"(MEASURED, not target-then-force)" computed-live → GIỮ.spawn-model-audit.ps1:22,33,45,59-60= MEASURED "this script really reads it, offline, from disk"; probe S126 thật; not-measurable(ii)→FLIP MEASURED → measured-đúng-nghĩa.wal-recovery-test.ps1:35,367-371= EMPIRICAL "declared, not hidden" (ca1/ca2 measured, ca0/ca3 definitional) → measured-đúng-nghĩa.memory-selfimprove-audit.ps1:283,304,322= 3 site "calibration-interim" = miễn-trừ visible sẵn → GIỮ.
Positive-exemplar negative-control:
broadcasts/outbox/ai_infra/2026-07-16-se-to-ai_infra-dinh-chinh-token-label-hash-verify.md(58f5afd8) = SE tự đính-chính nhãn token sai TRƯỚC khi hub phát luật = negative-control đã chạy.
Verify report file (Select-String -Path, PASTE)
Test-Path → True
Select-String "G-011" → 1 (≥1 PASS)
Select-String "58f5afd8" → 3 (≥1 PASS)
Select-String "mention" → 1 (≥1 PASS)
5-trường LOCK: id-broadcast(1) · nấc (G-011)(1) · evidence(1) · tailored(3) · honest-caveat(1)
Tailored / skip
- Port: LUẬT (nhãn đo kèm phép-kiểm-làm-nó-trượt) + 3 lối-thoát + câu cửa-duyệt (reviewer.md:46).
- SKIP có chủ-đích: máy-quét cuối-phiên hub KHÔNG port — broadcast §4 tự khai scanner = tuỳ-chọn, "luật + câu cửa-duyệt mới là phần chuyển được"; §5 khai máy chỉ đo SỰ-CÓ-MẶT. Văn-xuôi docs/ đóng lối cùng lý-do hub §5.
Honest-caveat (đã ghi vào report §5)
- (a) 4c verified-pending — agent .md no hot-reload, spawn-test sau restart.
- (b) văn-xuôi docs/ ngoài scope sweep (hub §5 cũng đóng lối này).
- (c) F11 citation-trap gen-2 (S123): reviewer.md:46 CHỨA chính các nhãn nó săn = mention-not-use; cần exemption-note nếu mai sau port máy-quét tự-động (discriminator = enclosure use ⟂ mention).
- (d) OWNER-GATED (ii)+(iv) = 2 quyết-định của anh cùng file memory-budget.json, worker CHƯA đụng.
Isolation
Chỉ ghi: (1) deliverable report + (2) file sub-task-1.md này. KHÔNG đụng file khác. F5 verify = Select-String -Path. File .md KHÔNG áp #30 (được dùng dấu tiếng Việt).