[CLAUDE] Docs: S129 disposition owner-gated đợt 16-07 — (ii) bỏ trần giữ 1 số 100K hub-shape + (iv) provenance /3.0 + email hub a7aff375; (i)/(iii) CHỜ-HUB

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-07-16 22:03:42 +07:00
parent 521565897b
commit 949ec33ee7
7 changed files with 72 additions and 26 deletions
--- a/docs/governance/adap-reports/2026-07-15-Governance-do-token-that-khong-can-api-key.md
+++ b/docs/governance/adap-reports/2026-07-15-Governance-do-token-that-khong-can-api-key.md
@ -23,6 +23,10 @@ Read TRỌN mega-file (no offset/limit) → harness truncation in **real-token-N
 - ĐỀ-XUẤT (nếu owner muốn): net "assert measured-constant BAO real-measure" chạy lúc load (hub §4 lưới rẻ nhất) — owner-gated.
 - 0 prod-code, 0 mig, 0 auto-tune số.

+## ⚠️ S129 ADDENDUM — candidate re-measure RESOLVED bằng RETIRE (2026-07-16 tối)
+
+`harness_floor.measured_token_estimate=55K` (dòng "candidate re-measure" §Honest trên + mục owner-authority §Owner-decision) **không còn tồn-tại**: anh chốt S129 *"bỏ luôn các trần, chỉ giữ trần cao nhất"* → field XOÁ, giữ duy-nhất `rounded_up_tokens: 100000` owner-reserve (mirror hub-shape `_floor_reserve_tok` 1-số + lineage-in-note). Hết candidate: thay vì re-measure một số lưu-sẵn, luật mới = **đo-tươi bằng notice-N khi cần** — chính method thư này (draft hub 07-15 đang chờ gate; ask do-token SE giữ MỞ). Verbatim + disposition: `runs/2026-07-16-S127-adap-dot-16-07/owner-gated-proposals-dot-16-07.md`.
+
 ## ⚠️ S125 ADDENDUM — RELABEL (supersede nhãn "real-token", 2026-07-16)

 Broadcast kế tiếp của hub (`2026-07-15-Governance-phuong-phap-dem-token-tien-de-vong4`) + **negative-control SE tự chạy** (S125, 3 probe scratchpad: `'a'×150K` → notice "150,006 tokens" ~**1,0/char**; `'x'×150K` → **150,006 Y HỆT** = content-independent; mixed-random 150K → 143,251 ~0,955/char — tokenizer thật nén chuỗi lặp ≪0,1/char) ⇒ **notice-T = heuristic họ-đếm-ký-tự, CẬN-TRÊN bảo-toàn — KHÔNG phải "real-token"**. Mọi nhãn "real-token (harness)" trong report này đọc là **"notice-T cận-trên"**; số đúng = **DẢI [byte/4 — notice-T]**: STATUS [31.126–70.892] (lead-share [8,2–18,7]%), HANDOFF [15.157–32.254], tổng [46K–103K] = [12–27]% cận-trên. Quy tắc dùng: **dừng-rót khi CẬN-TRÊN chạm 100% trần** (KHÔNG đảo thành "còn dư ×2"). Chi tiết + evidence: adap-report `2026-07-15-Governance-phuong-phap-dem-token-tien-de-vong4.md`.
--- a/docs/governance/adap-reports/2026-07-16-Governance-vong-tu-bao-tri-thu-nam-san-su-that-nhan-da-do.md
+++ b/docs/governance/adap-reports/2026-07-16-Governance-vong-tu-bao-tri-thu-nam-san-su-that-nhan-da-do.md
@ -15,10 +15,10 @@ Báo cáo phủ ba hành-động con của "kiểm-kê nhãn đã-đo" tại SOL

 - **executed** — **4a (C1 hạ-nhãn `crystallized-backfill.ps1`)**: đã sửa file (comment-only, 0 behavior-change), script chạy exit-0 giữ nguyên dải baseline → nấc executed đầy đủ, runtime đã chứng behavior-neutral. Bằng chứng: **E2 wave-1** (§3).
 - **executed → verified-pending** — **4c (câu cửa-duyệt measured-label vào `.claude/agents/reviewer.md:46`)**: đã sửa file, NHƯNG agent `.md` **không hot-reload** → chưa runtime-proven cho tới khi restart Claude Code + 1 spawn-test reviewer. Bằng chứng: **E3 wave-1** (§3). 🔴 KHÔNG tự khai `verified` — `verified` là do AI_INFRA `/adap-audit` chấm cross-repo.
- **agreed — OWNER-GATED (mục ii)** — **4b (C2 `memory-budget.json:89` `measured_token_estimate`)**: KHUNG luật đã quyết áp, nhưng CHƯA chạm file này — chờ anh chọn 1 trong 2 lối-thoát (rename bỏ-nhãn vs. sibling exemption-note). Ghi ở `owner-gated-proposals-dot-16-07.md` mục (ii).
- **agreed — OWNER-GATED (mục iv)** — **nguồn hằng-số `memory-budget.json:65`** (`token_estimate` — nơi định-nghĩa `/3.0` VN-diacritic): đề-xuất thêm đuôi provenance `(convention -- chua do tokenizer that tai SE; dinh-chinh 58f5afd8)`, gộp cùng câu hỏi (i) vì cùng file `memory-budget.json`. Chờ anh. Mục (iv).
+- **executed (S129 2026-07-16 tối — anh chốt trực-tiếp, lối-thoát 3 dạng MẠNH)** — **4b (C2 `memory-budget.json` `measured_token_estimate`)**: anh chốt *"Bỏ luôn các trần, chỉ giữ trần cao nhất"* — mạnh hơn cả 2 option đề-xuất: bỏ nhãn bằng cách **BỎ HẲN FIELD**. Đã xoá `measured_token_estimate: 55000` + `_s112_remeasure_note` (verbatim archive tại proposals-file §DISPOSITION), giữ DUY-NHẤT `rounded_up_tokens: 100000` owner-reserve — mirror shape hub `_floor_reserve_tok` (1 số + lineage-in-note, đối-chiếu hub budget trước khi áp theo chỉ-thị "check-email để nắm thông tin"). 0 script consumer (grep re-verify S129) · JSON parse-check PASS · assert vùng-giữ (`_owner_ratified` + `_target_note`) nguyên-vẹn.
+- **executed (S129 2026-07-16 tối — anh OK "thống nhất 1 cách với Hub")** — **nguồn hằng-số `memory-budget.json` `token_estimate`** (nơi định-nghĩa `/3.0` VN-diacritic): đã thêm đuôi provenance `(convention -- chua do tokenizer that tai SE; dinh-chinh 58f5afd8; real-N when it matters = harness Read-truncation notice per hub 'do token that' method, draft 2026-07-15, adopt-on-broadcast)` — "thống nhất 1 cách" = neo cùng method-letter hub; ask do-token của SE giữ MỞ tới khi letter land chính-thức. Mục (iv) disposition cùng proposals-file.

-Tổng: **LUẬT + câu cửa-duyệt = executed** (câu cửa-duyệt ở verified-pending vì agent `.md` no hot-reload); **2 site trong `memory-budget.json` = agreed/owner-gated** (không đụng vùng owner-authority khi anh vắng).
+Tổng: **LUẬT + câu cửa-duyệt + 2 site `memory-budget.json` = executed** (câu cửa-duyệt vẫn verified-pending vì agent `.md` no hot-reload; 2 site áp **S129 2026-07-16 tối** theo lời-chốt TRỰC-TIẾP của anh trong phiên — nguyên-tắc "không đụng vùng owner-authority khi anh vắng" được giữ đúng: chỉ áp SAU khi anh trả lời. Disposition từng dòng: `runs/2026-07-16-S127-adap-dot-16-07/owner-gated-proposals-dot-16-07.md` §DISPOSITION).

 ## 3. evidence

@ -29,9 +29,9 @@ Tổng: **LUẬT + câu cửa-duyệt = executed** (câu cửa-duyệt ở verif
 | Ứng viên | Đĩa nói (trước xử-lý) | Phân loại + xử-lý |
 |---|---|---|
 | **C1** `scripts/crystallized-backfill.ps1:117` (+ header `:25` "CALIBRATED RANGE") | `# calibrated RANGE (invariant 4): tok_low = bytes/4, tok_high = bytes/3.0` — `:118-119` hardcode `/4.0`, `/3.0`; KHÔNG assert, KHÔNG negative-control, KHÔNG data-point gốc | ✓ Khớp con bệnh — nhãn sống bằng uy-tín. **→ ĐÃ hạ-nhãn** (lối-thoát 3 "bỏ nhãn đo-lường"): `calibrated`→`heuristic`, comment-only, 0 đổi hành-vi. Bằng chứng E2. |
-| **C2** `memory-budget.json:89` `"measured_token_estimate": 55000` | TÊN field mang chữ "measured"; note `:90` tự khai "**honest mid estimate** (~19K byte-measured + ~36K harness-injected-**est**)"; `_owner_override_note` khai "**NOT actively subtracted by the current scripts**" = **0 consumer tự-động** | ✓ Khớp con bệnh — **metadata giàu ≠ phản-chứng**. Field giàu siêu-dữ-liệu nhưng không có phép kiểm nào làm nó TRƯỢT nếu sai. **→ OWNER-GATED (ii)** — chờ anh chọn rename vs. exemption-note. |
+| **C2** `memory-budget.json:89` `"measured_token_estimate": 55000` | TÊN field mang chữ "measured"; note `:90` tự khai "**honest mid estimate** (~19K byte-measured + ~36K harness-injected-**est**)"; `_owner_override_note` khai "**NOT actively subtracted by the current scripts**" = **0 consumer tự-động** | ✓ Khớp con bệnh — **metadata giàu ≠ phản-chứng**. Field giàu siêu-dữ-liệu nhưng không có phép kiểm nào làm nó TRƯỢT nếu sai. **→ EXECUTED S129** — anh chốt lối thứ 3 mạnh hơn: BỎ FIELD (*"bỏ luôn các trần, chỉ giữ trần cao nhất"*), giữ duy-nhất `rounded_up_tokens` 100K owner-reserve, hub-shape 1-số-floor. (Cite `:89` trong cột đầu = vị-trí TRƯỚC xử-lý.) |
 | **Ứng viên độc-lập thứ 3?** | **KHÔNG có hằng-số mới.** `hmw.js` = 0-hit. Các "MEASURED" khác đều đo-live-mỗi-run hoặc probe-có-artifact (xem 3.3) | **Sweep XONG — 0 ứng viên độc-lập thứ 3.** |
-| Borderline (cùng-lớp, ghi nhận) | (a) `memory-budget.json:144` section `measured` = snapshot S107 stale-by-design NHƯNG 0 automated consumer (đã ignore chủ-động — Việc 3 loop 5). (b) `memory-budget.json:65` `token_estimate` "VN-diacritic ~3.0-3.5 byte/tok" = NGUỒN của `/3.0`, không provenance | (a) OK-by-architecture (snapshot visible). (b) xử cùng lớp C1 → **OWNER-GATED (iv)** thêm đuôi provenance. |
+| Borderline (cùng-lớp, ghi nhận) | (a) `memory-budget.json:144` section `measured` = snapshot S107 stale-by-design NHƯNG 0 automated consumer (đã ignore chủ-động — Việc 3 loop 5). (b) `memory-budget.json:65` `token_estimate` "VN-diacritic ~3.0-3.5 byte/tok" = NGUỒN của `/3.0`, không provenance | (a) OK-by-architecture (snapshot visible). (b) xử cùng lớp C1 → **EXECUTED S129** — đuôi provenance đã vào (anh OK, "thống nhất 1 cách với Hub" = neo method-letter do-token). |

 **Honest scope-caveat:** sweep phủ đúng scope spec (`scripts/*.ps1` + `hmw.js` + `memory-budget.json`). KHÔNG quét văn-xuôi `docs/` — hub bản thứ năm §5 cũng đóng lối văn-xuôi (đo thử thấy gần như toàn cảnh-báo-giả).