vietreport-admin/solution-erp
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
fc064bea9425bccfaaf79649717cd60cddd88c7c
solution-erp/docs/governance/ctx-soft-memory-se-draft.md
pqhuy1987 11db5efdf8
All checks were successful
Deploy SOLUTION_ERP / build-deploy (push) Successful in 5m39s
Details
[CLAUDE] Docs: S153 closeout — adopt TRỌN Ctx soft-memory + OWNER-VETO 3-vai + RENAME hub-form (squash 22 wal:) 
Pipeline anh lệnh: /check-email + /adap-apply -> /fable-real invest (spec 9-task/24-checklist)
-> hmw Opus-5-MAX 2 đợt + lead-solo T6-T8 -> checklist verify.

Thư ① 9c909007 (model-default Opus 5 MAX): TRỌN — filing 2-tuyến + probe-sau-restart
2-nguồn claude-opus-5[1m] + thư hub d432f5eab5cd + caveat (e) đóng.

Thư ② 0df10df4 (pause-tiep Ctx soft-memory, sàn 7-khoản): EXECUTED
- máy mind-check: scripts/session_ctx.py +542 dòng (7 phép + 2 phụ, 4 mức, draft/closed/--root/--session PIN, exit 0/1/3)
- template .claude/templates/session-mind-template.md + wire 4 lệnh (pause C-bis+2bis+§1-carve-out, tiep §2.6+§3-ter, session-start Phase 3.5, session-end §L.b(l)+6.3-bis)
- memory-budget: mind_ctx_kb=32 + tiep_reload + ĐÓNG ghost-wire session_ctx_kb (H18 class-2 sống S146->S153)
- fault-inject 18/18 + 2 fix hậu-T4 (FI 6/6): GAP-#9 closed-mode E-0-con-trỏ CỜ->TRƯỢT (chặn gradient
  thưởng xoá-con-trỏ-trung-thực, họ bẫy F-1 của chính thư hub) · secrets-sweep +--root parity
- số ĐO THẬT pause +117ms thay ước lệch 2.2-5.4x

OWNER 2 quyết trong-phiên:
- (38) VETO: 1-vai -> hub-form 3-vai (ctx-curator @pause + carve-out pause §1 · ctx-verifier @tiep · ctx-audit @2-bookend)
- RENAME theo chuẩn hub/sisters để audit chéo: ctx-pause-check->ctx-curator, ctx-reload->ctx-verifier
  (đo đĩa 3 nhà; hub≠sister => SE theo HUB-form, tiền lệ S149). Roster 20->23, VALID_ROLES 23.
  Gap còn lại: ring5-audit (V5 truth-floor) hub CÓ, SE+VIPIX chưa -> slot (41).

Bookend 2 đầu (12 spawn) + trio auto 1 vòng:
- @open: H1 7f · H2 4f · H24 5+3 FLAG · ring1 28Đ/4T · ring2 8/8Đ + M-1 MISS thật · trio eval-MIXED-14/refine-3A-7B-4N/audit-25Đ-3T (re-chạy 7 instrument, 24 số byte-exact)
- @close: H1 6f · H2 8f (baseline S154 = 16/10, tự sửa bản ~23/11) · H24 4+2 FLAG · ring1 47Đ/5T/1KC/53 · ring2 6/6Đ + 21 phép phụ
- lead xử 11 mục: 9 FLAG H24 + 3 RESIDUAL ring2 + F-r2 (plugin 3 hard-site) + M-1 cả 2 persona + M9 14 sổ diary + F-3/F-5/F-6 + nit Sàn-5 + BÁC F-4 (fan-out không vào _index)

#53 x14-cận-dưới, 0 mất dữ liệu (WRITE-lane derive-from-body · Agent-resume · SendMessage-resume x6).
Datum: trio return-only hết miễn nhiễm (3/3 CLEAN -> 1/3). 4-A suýt xảy ra thật (bản committed của 2 file H24 là bản cắt 24%/48%).
completeness-gate: 5 vòng đủ · phép ĐẠT 4 / TRƯỢT 0 / vacuous 0.
State: Mig 67 · 89 bảng · 532 test · gotcha 83 · Sub-agents 23 · counter 27 · bundle FROZEN · governance-only 0 prod-code.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-07-26 16:10:54 +07:00

9.8 KiB
Raw Blame History

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). 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)

SE dùng /pause→/tiep dày (1 phiên-logic = 2-3 cửa-sổ). Việc ĐÃ CHỐT giữ tốt (WAL + _context-s-<N>.md + master-checklist), nhưng 4 lớp MỀM rơi sau mỗi lần nối: gói-turn vừa làm · hướng-làm-tiếp (vì-sao + nhánh đã loại) · kế-hoạch tổng-thể dạng suy-nghĩ · việc-đang-thảo-luận chưa thành quyết-định. Khớp chẩn đoán hub §1.

2. Đối chiếu sàn 7-khoản vs SE hiện có (đo @S153)

# Sàn (bắt buộc, cấu-trúc) SE hiện có Thiếu gì
1 Ghi tươi @cửa mở phiên (nội dung thật xuống đĩa trước pause đầu) scaffold _context-s-<N>.md = STOCK-map thật nhưng KHÔNG chứa 4 lớp mềm tệp mềm _mind-s-<N>.md ghi @CUỐI bootstrap (như hub: "trước tiên" = trước pause đầu)
2 Mỗi pause refresh 4 tầng, mới-nhất-ở-TRÊN, block cũ bất biến /pause §2.6 append FLOW (narrative) — KHÔNG có lớp mềm riêng block A-E vào _mind @pause (mục trống = "(trống — khai)")
3 Mỗi tiep: đối-chiếu + NẠP LẠI, CÓ BẰNG CHỨNG NỘI DUNG /tiep §2.6 đọc context + verify ground-truth — không nạp nền, không bằng-chứng-nội-dung bắt buộc bước nạp-lại ≤15 dòng lead PHẢI nhắc lại trong báo cáo + (tuỳ Q-C) nạp nền
4 Mỗi vai phụ/engine-run → 1 dòng-sống {verdict + con-trỏ} run-folder sub-file + WAL wf: (per-run, không per-spawn-tổng-hợp) mục E trong _mind: 1 dòng/spawn
5 Vòng soi ĐỘC LẬP 2 đầu phiên, quyền phán TRƯỢT ring1/ring2/ring4 soi vòng-đo khác; CHƯA ai soi lớp Ctx vai kiểm Ctx (hub: 3 vai tách; Q-D số vai SE)
6 Ghi ra đĩa trong thư-mục phiên + commit theo luật nhà ✅ hook wal-flush.ps1 path-4 .claude/sessions/ (S146) — tự cover 0 (đã đạt)
7 ≥2 VAI TÁCH: bên GHI ≠ bên KIỂM ✅ lead single-writer ⟂ monitor INFORM-only là khuôn sẵn đạt by-design khi khoản 5 có vai

Suy-biến vô-hại: KHÔNG áp dụng cho SE (SE dùng pause nhiều — khoản 2-3 là ruột).

3. SE-form đề xuất (phần tự quyết — form theo hub, tên SE)

  • Tệp: .claude/sessions/session-<N>/_mind-s-<N>.md (đứng cạnh _context, KHÔNG nhét vào — lý-do đúng duy nhất = trần-và-nén, hub §3).
  • Block: ### MIND-<k> (k = ĐẾM số block hiện có TRƯỚC khi chèn — block gốc @open chiếm số 0; phép kiểm chỉ đòi duy-nhất + mới-hơn). 5 mục A-E: A gói-turn · B hướng-tiếp (+nhánh đã loại) · C kế-hoạch delta-suy-nghĩ (KHÔNG chép checklist) · D việc-đang-thảo-luận + nhãn {mới-nêu|đang-cãi|gần-chốt|treo-chờ-anh} · E dòng-sống per-spawn {verdict + con-trỏ}. Việc ĐÃ CHỐT = con-trỏ về WAL/HANDOFF, CẤM chép.
  • 3 rào đầu tệp: (i) không chép lời anh (chỉ trỏ PAUSE- của _context) · (ii) cấm mọi biến-thể khoá timestamp đầu dòng (máy đọc ts của SE quét _* — phải DÙNG LẠI regex của máy đọc, không cài bản hai) · (iii) cấm literal họ khoá/mật-khẩu; ngoại-lệ duy nhất "[đã che <8-hex>]", quét bản nháp TRƯỚC khi chèn.
  • Máy kiểm $0: scripts/ctx-mind-check.ps1 — 7 phép (3 rào · con-trỏ E 3-trạng-thái {giải-được | đang-chờ [cha có, cờ khi chạy → trượt khi phiên đóng] | hỏng [trượt mọi chế-độ]} — bài F-1 hub: đường-rẻ-nhất-để-xanh không được là xoá-con-trỏ-đúng · số hiệu duy-nhất+mới-hơn · bất-biến |block| ∈ {p, p+1} với p = pause ĐẾM TRÊN ĐĨA (CẤM tin dòng markers: tự khai — hub đo lệch khai-THIẾU thật) · trần/nén) + 4 mức {đạt·trượt·cờ·bỏ-qua-có-khai} + chế-độ draft + chế-độ thư-mục-đã-đóng + tên-sai-phải-NÊU-tên. Fault-inject: fixture-hỏng phải TRƯỢT + đột-biến phải ĐỎ + mồi-ngầm bên-chấm-gieo.
  • Trần: khoá MỚI mind_ctx_kb trong memory-budget.json (B1 — lệnh trỏ khoá, CẤM chép số). Vượt trần → nén block CŨ NHẤT trừ block-0 + block-trên-cùng; còn <3 block → TỪ CHỐI nén + giương cờ.
  • Chỗ cắm: /session-start (ghi _mind block-0 @cuối bootstrap) · /pause §2.6 (+refresh) · /tiep §2.6 (+đối-chiếu-nạp-lại) · /session-end (vai soi-chuỗi + chế-độ đóng). Máy kiểm chạy TRƯỚC khi phóng vai (bắt lỗi rẻ trước, đốt tiền sau).

4. 🔢 4 câu chờ ANH (trả lời bằng số — mọi con-số/vai/nhịp = quyền anh)

  • (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.

5. Nấc adopt + việc sau khi anh chốt

Nấc hiện tại: gửi→ĐỒNG-THUẬN (draft này); thực-thi = sau khi anh trả lời (35)-(38) → build tệp mẫu + máy kiểm + fault-inject + wire 4 lệnh + persona vai (nếu (38)) + restart-verify + adap-report 0df10df4 + thư báo hub (kèm số đo nền SE 596KB để hub đối chiếu — hub xin số này ở §8).

6. 🔄 RESOLVED @S153 (cùng ngày — qua pipeline anh lệnh "/fable-real invest → spec → hmw Opus 5 MAX xử lý")

🔴 NHÃN TÁCH ĐÔI, đừng đọc gộp (vá @S153 FLAG-9): (35)(36)(37) = OWNER-DELEGATED → ENGINE-PROPOSED (fable-real deep-pass) → LEAD-DECIDED @S153 (anh ra lệnh pipeline trọn gói; khuôn hmw_width._ratified_by; anh veto = 1 edit từng mục) · (38) = OWNER CHỐT THẬT (anh hỏi "còn thiếu 2 vai ctx?" rồi chốt AskUser "Build đủ 3 vai như hub") — CẤM gộp (38) vào nhãn delegated, đó là xoá quyền tác-giả của owner, cùng lớp C8b chiều ngược:

  • (35) mind_ctx_kb = 32 (KB) — vết + lý-do: memory-budget.json → _mind_ctx_kb_set.
  • (36) (b) máy-$0 mỗi pause · vai ctx-audit CHỈ @2 bookend ⇒ KHÔNG cần carve-out O-1, pause.md §1 giữ nguyên.
  • (37) (b) nạp NỀN RÚT-GỌN @tiep — khoá tiep_reload (danh sách + phạm-vi trong khoá, B1).
  • (38) (a) 1 vai ctx-audit gộp 3 nhịp → 🔄 OWNER-VETO cùng ngày @S153 (anh: "còn thiếu 2 vai ctx?" → chốt AskUser "Build đủ 3 vai như hub" — owner chốt THẬT): hub-form 3-vai = ctx-curator (vai-1 @mỗi-pause, carve-out pause.md §1) · ctx-verifier (vai-2 @mỗi-tiep) · ctx-audit (vai-3 chuỗi @2-bookend, hồi-tố = fallback). Hệ quả: carve-out O-1(a) mà (36)(b) từng né nay CÓ THẬT trên đĩa (pause.md:15 §1 + :48 bước 2-bis) ⇒ 🧊 câu "KHÔNG cần carve-out O-1 / pause.md §1 giữ nguyên" ở §6 dòng ngay trên (mục (36), câu duy nhất còn sống — đo grep -n carve-out toàn file = 2 hit: chính nó + dòng này) = SUPERSEDED @S153 (giữ chữ làm vết, đừng đọc thành hiện-hành). [🔄 vá R-2 — ring2-audit bắt: bản đầu tuyên blanket "mọi câu ở §3-§4" nhưng thân §3+§4 RỖNG câu đó ⇒ phủ 0 câu, bỏ đúng 1 câu cần phủ; class "vắng-mặt trông giống ổn". Bài: mệnh-đề supersede phải neo vào VỊ-TRÍ ĐO ĐƯỢC, không neo vào vùng đoán.]; (36) máy-$0-mỗi-pause GIỮ (máy vẫn chạy TRƯỚC vai). Đề-khác so draft §3 (engine thắng, lead ACCEPT): máy = extend session_ctx.py (1-nguồn _SECRET_RES/_TS_KEY_RE) thay .ps1 mới — draft mục 3 dòng "Máy kiểm $0: scripts/ctx-mind-check.ps1" superseded. Thi hành: spec runs/2026-07-26-S153-ctx-adopt/spec-ctx-adopt-26-07-2026.md (9 task, T1-T8 land @S153 · T9 = phiên sau restart) + checklist 24 phép (T4 fault-inject). Trạng thái chi tiết = adap-report 0df10df4.