IU-0 Pilot Round 1 — Walkthrough Pack
IU-0 Pilot Round 1 — Walkthrough Pack
Trạng thái: PLANNING/WALKTHROUGH ONLY — không tạo unit thật, không dispatch Agent Phiên: S191 (2026-05-03) Parent:
08-iu0-pilot-planning-pack.mdInput:08a-iu0-pilot-round1-candidate-slices.mdrev 2 Docs: IU-0 07 + P38-XC 04
Scope
2 walkthrough scenarios sử dụng candidate slices từ 08a. Mục đích: kiểm chứng trên giấy rằng slice editing workflow hoạt động đúng logic trước khi mở G-Pilot-1.
Đây là planning/walkthrough only. Không tạo unit thật, không tạo table, không tạo Qdrant collection, không tạo outbox job, không dispatch Agent, không mở P44-6.
Scenario A: Simple edit — thêm unit_kind vào IU-0 §2
Objective
Thêm design_doc_section vào seed list unit_kind tại IU-0 §2, sau khi OPEN IU-0-γ chốt qua APR. Đây là edit đơn giản: 1 slice, không cross-reference, chỉ thêm 1 row vào bảng.
Input slices
| Slice | canonical_address | Doc | Role |
|---|---|---|---|
| Target | IU-0.§2 |
07-iu0-index-and-core.md | Edit target |
Expected read set
| Step | Action | Data | Tokens (est) |
|---|---|---|---|
| 1 | Read IU-0.§2 |
SELECT body WHERE canonical_address = 'IU-0.§2' | ~450 tokens (~1800 chars) |
So sánh: đọc full file 07 = ~2000 tokens. Read set = ~450 tokens → savings 77%.
Expected edit set
| Step | Action | Detail |
|---|---|---|
| 1 | Agent đọc slice IU-0.§2 |
Body chứa seed table + anti-patterns |
| 2 | Agent thêm row design_doc_section vào seed table |
1 dòng: design_doc_section | Section trong design doc | Seed proposed |
| 3 | Agent xoá entry design_doc_section khỏi dogfooding candidates (đã chốt) |
Sửa text paragraph cuối §2.2 |
| 4 | Write: INSERT version mới + compute content_hash + outbox enqueue | PG local <10ms (IU-HP-2) |
Edit cycle: 1 read + 1 edit + 1 write = 3 steps, ~2 turns (read+edit combined, then write confirm). Đạt target <5 turns.
MUP checklist
→ Xem 08a §3.1 IU-0.§2 placeholder checklist. 15/15 elements = birth gate PASS.
Token estimate
| Metric | Value |
|---|---|
| Read slice | ~450 tokens |
| Edit context (slice + instruction) | ~600 tokens |
| Write confirm | ~100 tokens |
| Total per edit | ~1150 tokens |
| Full file alternative | ~2000 + ~2000 + ~100 = ~4100 tokens |
| Savings | ~72% |
Risk
| Risk | Severity | Mitigation |
|---|---|---|
| Typo trong seed table | Low | Version history — rollback nếu cần |
| Quên update OPEN IU-0-γ status | Low | Post-edit checklist: verify 07c §11 |
Pass/fail criteria
| # | Criteria | How to verify |
|---|---|---|
| PF-A1 | Edit chỉ đụng §2, không ảnh hưởng §1/§3/§4 | Diff version cũ vs mới: chỉ §2.2 thay đổi |
| PF-A2 | Token savings ≥50% | 1150 vs 4100 = 72% ✅ |
| PF-A3 | Edit cycle ≤5 turns | 2-3 turns ✅ |
| PF-A4 | Content hash đổi → outbox enqueue | Verify outbox row created (logical) |
| PF-A5 | Version cũ giữ nguyên (audit trail) | Old version row intact |
Scenario B: Cross-reference edit — sửa UMC invariant P38-XC §5
Objective
Thêm 1 UMC invariant mới vào P38-XC §5.2 (giả sử pilot phát hiện cần thêm "Backward-compatible" invariant). Vì IU-0 §3 kế thừa UMC, phải cross-check IU-0 §3 không mâu thuẫn.
Input slices
| Slice | canonical_address | Doc | Role |
|---|---|---|---|
| Target | P38-XC.§5 |
04-information-unit-profile-schema.md | Edit target |
| Cross-ref (read-only) | IU-0.§3 |
07-iu0-index-and-core.md | Verify kế thừa |
Expected read set
| Step | Action | Data | Tokens (est) |
|---|---|---|---|
| 1 | Read P38-XC.§5 |
SELECT body — §5 UMC | ~1125 tokens (~4500 chars) |
| 2 | Read IU-0.§3 (cross-ref check) |
SELECT body — §3 UMC kế thừa | ~500 tokens (~2000 chars) |
Total read: ~1625 tokens. So sánh: đọc full P38-XC (~7500 tokens) + full IU-0 07 (~2000 tokens) = ~9500 tokens → savings 83%.
Expected edit set
| Step | Action | Detail |
|---|---|---|
| 1 | Agent đọc P38-XC.§5 |
Body chứa §5.1-5.9: UMC definition, 10 elements, invariants, mapping |
| 2 | Agent đọc IU-0.§3 (read-only) |
Verify IU-0 §3.3 invariants list — hiện có 5 invariants |
| 3 | Agent thêm invariant "Backward-compatible" vào P38-XC §5.2 | Invariant mới: "UMC minor change (thêm optional field) phải backward-compatible với existing units." |
| 4 | Agent verify IU-0 §3 không mâu thuẫn | §3.3 đã có "Migration" invariant — mới invariant bổ sung, không conflict |
| 5 | Write P38-XC §5: INSERT version mới + hash + outbox | PG local <10ms |
| 6 | (Sau đó) Cascade update IU-0 §3 nếu cần | Thêm invariant tương ứng vào §3.3 — separate edit cycle |
Edit cycle: 2 reads + 1 edit + 1 write + 1 verify = 5 steps, ~3-4 turns. Đạt target <5 turns.
MUP checklist
→ Xem 08a §3.2 P38-XC.§5 placeholder checklist. 15/15 = birth gate PASS. Note: §5 ~4500 chars — candidate split (OPEN IU-0-δ).
Token estimate
| Metric | Value |
|---|---|
| Read P38-XC §5 | ~1125 tokens |
| Read IU-0 §3 (cross-ref) | ~500 tokens |
| Edit context | ~800 tokens |
| Write confirm | ~100 tokens |
| Total per edit | ~2525 tokens |
| Full file alternative | ~7500 + ~2000 + ~7500 + ~100 = ~17100 tokens |
| Savings | ~85% |
Risk
| Risk | Severity | Mitigation |
|---|---|---|
| Mâu thuẫn P38-XC ↔ IU-0 UMC invariants | Medium | Cross-ref read trước edit. Verify step 4 bắt buộc. |
| Quên cascade update IU-0 §3 | Medium | Post-edit checklist: "IU-0 §3 cần update?" → separate edit cycle |
| P38-XC §5 quá dài (4500 chars) | Low | Acceptable cho read. Nếu edit cycle >5 turns → trigger split (OPEN IU-0-δ). |
Pass/fail criteria
| # | Criteria | How to verify |
|---|---|---|
| PF-B1 | Edit chỉ đụng P38-XC §5, không ảnh hưởng §4/§6 | Diff: chỉ §5.2 invariants thay đổi |
| PF-B2 | Token savings ≥50% | 2525 vs 17100 = 85% ✅ |
| PF-B3 | Edit cycle ≤5 turns | 3-4 turns ✅ |
| PF-B4 | Cross-ref check thực hiện trước write | Step 4 verify completed |
| PF-B5 | No contradiction P38-XC ↔ IU-0 | Invariant mới bổ sung, không conflict |
| PF-B6 | Cascade update identified | Post-edit note: IU-0 §3 cần separate update |
Summary comparison
| Metric | Scenario A (simple) | Scenario B (cross-ref) |
|---|---|---|
| Slices read | 1 | 2 |
| Slices edited | 1 | 1 (+ cascade 1 sau) |
| Total tokens | ~1150 | ~2525 |
| Full file alternative | ~4100 | ~17100 |
| Savings | 72% | 85% |
| Edit turns | 2-3 | 3-4 |
| Risk | Low | Medium |
| Cross-ref | None | IU-0 §3 read-only |
Cả 2 scenarios đạt H1 (savings ≥50%) và edit cycle <5 turns. Cross-ref scenario cho thấy savings cao hơn khi doc lớn (P38-XC 30K).
Decision gate
G-Pilot-1 chưa mở. File này là walkthrough trên giấy. User/GPT review → quyết định mở pilot thật hay adjust design.
Pilot Round 1 Walkthrough Pack | S191 | Scenarios: A (simple) + B (cross-ref) | Planning only