40 lines
4.8 KiB
Markdown
40 lines
4.8 KiB
Markdown
# /day — dậy-nhẹ probe-first (W-1 YC-021 anh chốt @S185 · adopt hub `2026-07-28-Governance-day-wake-probe-first-resume`, floor F1-F4)
|
||
|
||
> **Nguyên tắc: probe-rồi-mới-trả-giá.** Đo delta TRƯỚC (chỉ-đọc, <500ms — ngưỡng owner `stop_point_cheap_ms`), trả đúng giá SAU: **sạch thì dậy nhẹ, bẩn thì tự nâng chạy trọn `/tiep`**. Nghiêng an-toàn: probe lỗi / nghi ngờ = DELTA.
|
||
> 🔴 **KHÔNG thay `/tiep`** — `/tiep` vẫn là đường nối-đầy-đủ (H22); `/day` chỉ mở lối rẻ cho ca **đầu-ngày-sau-điểm-dừng-SẠCH**. Gõ `/day full` = ép chạy trọn `/tiep` bỏ qua probe (cửa thoát cưỡng chế F2).
|
||
|
||
## Thực hiện tuần-tự
|
||
|
||
### 1. BƯỚC 0 — tiền kiểm (không chặn)
|
||
`powershell.exe -ExecutionPolicy Bypass -File scripts/tien-kiem-cua.ps1 -Cua day` → in 1 dòng. Lỗi ⇒ `tien-kiem loi (khong chan)` → đi tiếp.
|
||
|
||
### 2. Probe (F1+F3 — máy, chỉ-đọc)
|
||
`powershell.exe -ExecutionPolicy Bypass -File scripts/day-probe.ps1` → đọc verdict dòng `DAY-PROBE:`.
|
||
- Máy chọn marker cuối bằng **ts TRONG file** (không mtime — Dropbox chạm mtime), anchor = **commit-chốt-dừng** (commit ADD marker; fallback head-sha trong marker — bẫy-một F3), kiểm anchor **sống + tổ-tiên HEAD** (bẫy-hai F3 — SE có squash closeout nên bẫy này THẬT).
|
||
- 4 tín hiệu: commit-sau-anchor · dirty (mọi porcelain — không allowlist, nghiêng DELTA) · (run-folder mới đã phủ bởi 2 tín hiệu trên) · sentinel `closing:` (Sàn-2).
|
||
|
||
### 3. Route theo verdict
|
||
| Verdict | Đường |
|
||
|---|---|
|
||
| **CLEAN** (0-hit toàn bộ) | **DẬY NHẸ** — bước 4 |
|
||
| **DELTA** | in nguyên dòng signals của probe → **TỰ NÂNG**: chạy TRỌN [`/tiep`](tiep.md) §0→§3-ter. KHÔNG dậy nhẹ trên nền có delta |
|
||
| **ANCHOR-LOST** | khai verdict CÔNG KHAI trong report (hỏng-an-toàn phải CÓ TIẾNG — F3) → TỰ NÂNG `/tiep` trọn |
|
||
| *(user gõ `/day full`)* | bỏ probe → `/tiep` trọn |
|
||
|
||
### 4. DẬY NHẸ (chỉ khi CLEAN)
|
||
1. **Nạp LÕI:** đọc `.claude/WAL.md` (trọn, ≤40 dòng) + block TRÊN CÙNG của `_mind-s-<N>.md` (mới-nhất-ở-trên). 🔴 **BỎ** nạp-nền 9-nguồn `tiep_reload` + **BỎ** spawn `ctx-verifier` (tầng kiểm-lúc-đọc) — hợp lệ vì block lớp-mềm đã qua `ctx-curator` kiểm-lúc-ghi tại `/pause`, và 0-delta nghĩa là nó còn nguyên giá trị (**không trả tiền kiểm hai lần** — F1).
|
||
2. **Report dậy ≤10 dòng:** verdict + tóm `next:` WAL + 1 ý sống nhất từ §D `_mind` + **khai rõ 2 khoản SKIP** (nạp-nền + ctx-verifier).
|
||
3. **Marker mỏng (F4):** ghi `_day-<i>.md` vào `.claude/sessions/session-<N>/` (`<i>` = max(_day-*)+1) — ĐÚNG 5 trường như `_tiep-*`: `ts` · `head-sha` · `verdict: CLEAN` · `route: day-nhe` · `jsonl-hint`. KHÔNG khối lớp-mềm, KHÔNG commit tay — **Stop-hook `wal-flush.ps1` tự commit nó cuối turn** (`sessions/` thuộc 4-path hook) ⇒ lượt `/day`/`/pause` KẾ probe thấy cây SẠCH, marker không tự-đầu-độc phép đếm dirty (reviewer F-3 @S185 — mâu thuẫn "không commit riêng ⟂ probe đếm dirty" hoà giải bằng sự thật hook, không phải bằng allowlist).
|
||
4. DỪNG — chờ việc anh giao. Việc tới mà cần nền đầy đủ ⇒ nâng `/tiep` lúc đó.
|
||
|
||
### 5. Falsifier 2 chiều (F4 — cho tầng audit / ring5)
|
||
- **CLEAN-giả:** marker `_day-*` ghi `verdict: CLEAN` mà tồn tại commit thật giữa anchor và ts của nó ⇒ probe sai → FLAG (`git rev-list --count <anchor>..<commit-tại-ts>` > 0).
|
||
- **Luôn-DELTA:** report dậy BẮT BUỘC khai signals/`anchor-lost` mỗi lần tự nâng ⇒ chuỗi tự-nâng dài bất thường soi được từ dãy `_day-*` marker (route toàn `full`), không chết im.
|
||
|
||
## Guard F2 (chống-trùng — mirror ở 2 lệnh cũ)
|
||
- [`pause.md`](pause.md) bước-0: marker cuối đã là `_pause-*` + probe CLEAN ⇒ **no-op** "đã dừng rồi, 0 delta — giữ nguyên" (không sinh thêm marker/lớp-mềm/commit).
|
||
- [`tiep.md`](tiep.md) ghi chú đầu §0: probe CLEAN ⇒ được phép route `/day`-nhẹ thay vì đốt nghi-thức full lần hai (trừ khi user muốn full).
|
||
|
||
## Nấc trung thực @S185
|
||
`executed + dogfood-TAY` (probe chạy thật DELTA-379ms trên repo + fault-inject cây tạm 4/4: CLEAN · DELTA-sentinel · DELTA-thật · ANCHOR-LOST-loud) + **listed-in-session** — lệnh MỚI hiện skill-list NGAY không cần restart (data-point ×2 cùng ngày: `/day` + agent `ring5-audit`; **file .md MỚI hot-reload ⟂ EDIT file cũ thì không** — phép đo no-hot-reload S120/S121 đo trên EDIT, 2 lớp KHÁC nhau). `/day` gõ-thật + self-check ca-3/4/5 thư hub = lượt dậy thật kế tiếp.
|