wal: pause
This commit is contained in:
pqhuy1987
@ -1,6 +1,6 @@
|
||||
# Ctx soft-memory — SE-form DRAFT (adopt thư `0df10df4` pause-tiep-upgrade-vong-ctx)
|
||||
|
||||
> **Trạng thái: DRAFT chờ anh chốt 4 câu đánh số — CẤM wire trước khi anh duyệt** (cùng khuôn `session-model-se-draft.md` carry (c); chạm nghi-thức `/pause`·`/tiep` = quyền anh).
|
||||
> **Trạng thái: ✅ RATIFIED + ĐÃ WIRE @S153 (OWNER-VETO).** Anh bác (38)(a)-1-vai-gộp, chốt trực tiếp **"Build đủ 3 vai như hub"** qua AskUser ⇒ 3 vai `ctx-curator`/`ctx-verifier`/`ctx-audit` SỐNG trong roster (23, canonical → STATUS §Sub-agents) + máy `session_ctx.py mind-check` chạy mỗi cửa + wire tại `/pause §2.6(C-bis)` · `/tiep §3-ter` · bookend 2 đầu. Các câu đã định-đoạt: **(36)** hub-form spawn mỗi cửa (vai-1 @mỗi-pause = carve-out duy nhất luật "NGỪNG spawn", mirror hub O-1(a)) · **(37)(b)** nạp NỀN RÚT-GỌN theo khoá `tiep_reload` (`tiep.md §3-ter` cite "quyết (37)(b)") · **(38)(b)** 3 vai tách — marker inline dưới. 🧊 *Header cũ "DRAFT chờ anh chốt — CẤM wire" đứng từ S153→S164 SAU khi đã wire = **wired-but-declared-unwired** (ghost-wire chiều ngược, cùng class `closed.md` S146; ring1+ring2 bắt @S163 "ô xanh thủng"). Thân doc dưới GIỮ NGUYÊN dạng draft làm lineage — đọc "đề xuất" là đề-xuất-lúc-viết, không phải trạng-thái.*
|
||||
> Nguồn: broadcast `2026-07-25-Governance-pause-tiep-upgrade-vong-ctx` (sha `0df10df4` — stamp-verify OK @S153, copy `broadcasts/inbox/` root=pending). Hub tự khai: **build xong + gate xanh, dogfood CHƯA có cửa nào chạy qua** — adopt là adopt KHUÔN chưa-kiểm-chứng, lỗi phát hiện thì gửi về hub (hub-owner Q-1: "có j debug sau cũng đc").
|
||||
|
||||
## 1. Bài toán (đúng SE)
|
||||
@ -35,7 +35,7 @@ Suy-biến vô-hại: KHÔNG áp dụng cho SE (SE dùng pause nhiều — kho
|
||||
- **(35) Trần `mind_ctx_kb` = bao nhiêu?** Hub đặt 32KB (O-4, tự khai "số chủ đặt, không rút từ dữ liệu" — tệp cùng-họ lớn nhất hub mới >12KB). SE `session_ctx_kb`=64. Đề xuất: **32** (theo hub, đổi sau khi có số đo SE).
|
||||
- **(36) Nhịp phóng vai kiểm Ctx — cái núm ĐẮT NHẤT** (hub floor ~100K tok/spawn): (a-nguyên) spawn MỖI pause như hub-owner chốt · (b-tiết-kiệm) **máy-$0 chạy mỗi pause, vai chỉ spawn @2 đầu phiên** (khớp ràng "điểm dừng phải RẺ" thư goi-chot khoản 3 — đo SE: pause hiện ~5ms DÒ; +spawn = +phút+100K). Đề xuất: **(b)** — hub tự dặn "chuẩn bị sẵn núm hạ tần suất".
|
||||
- **(37) Nạp-lại-NỀN mặc định @/tiep?** Hub chọn nạp (nền hub ~110K tok). Nền SE đo tươi @S153 = **596.316B ≈ 149-199K tok** (crystallized-backfill LIVE) — nặng hơn hub. (a) nạp full mỗi tiep · (b) **nạp RÚT GỌN** (STATUS dòng CURRENT + HANDOFF segment mới nhất + WAL + `_mind` — ước ~40-60K) · (c) giữ như nay (không nạp, chỉ `_mind`+`_context`). Đề xuất: **(b)**.
|
||||
- **(38) Số vai kiểm Ctx:** (a) **1 vai `ctx-audit` gộp 3 nhịp** (kiểm@pause-draft · đối-chiếu@tiep · soi-chuỗi 2 đầu — vẫn đạt sàn 7: GHI=lead ⟂ KIỂM=vai) · (b) 3 vai tách như hub. Đề xuất: **(a)** — roster 20 đã dày, sàn chỉ đòi ghi≠kiểm; tách thêm khi lộ nghẽn.
|
||||
- **(38) Số vai kiểm Ctx:** (a) **1 vai `ctx-audit` gộp 3 nhịp** (kiểm@pause-draft · đối-chiếu@tiep · soi-chuỗi 2 đầu — vẫn đạt sàn 7: GHI=lead ⟂ KIỂM=vai) · (b) 3 vai tách như hub. Đề xuất: **(a)** — roster 20 đã dày, sàn chỉ đòi ghi≠kiểm; tách thêm khi lộ nghẽn. 🔄 **OWNER-VETO @S153: anh BÁC (a), chốt (b) 3 vai tách như hub — đã wire cả 3.** *"Roster 20" = số lúc viết; nay **23** (+3 chính vai Ctx này — số canonical → STATUS §Sub-agents). Đề-xuất (a) thua không phải vì sai sàn (ghi≠kiểm vẫn đạt) mà vì owner ưu tiên khớp khuôn hub nguyên bản.*
|
||||
|
||||
## 5. Nấc adopt + việc sau khi anh chốt
|
||||
|
||||
|
||||
Reference in New Issue
Block a user