GPT Review — P6 Checker/DOT Design v0.1 Round 2

Kết luận

P6 v0.1 đã hấp thụ đúng 22 điểm Round 1 và đã chuyển từ danh sách checker sang checker contract có thể review được.

Trạng thái: PASS có điều kiện nhẹ — patch các điểm nhỏ trước final/upload.

Điểm đạt

• Checker contract đã có đủ ID/target/law/trigger/severity/action/input/output/phase cho phần lớn checker.
• Không còn duplicate DOT-LBL ở hai nơi.
• SYSTEM AUTO đã được tách khỏi severity.
• Projection checkers đã có condition only-if-projection-enabled.
• P6 giữ rõ phạm vi design-only, không code/SQL/cron/trigger.
• Coverage matrix chứng minh P5/P5b invariant coverage.
• Checker/healer separation đã rõ theo Đ35.

Chỉnh nhỏ bắt buộc

1. Coverage matrix P5b nhắc DOT-LBL-05, nhưng §5.4 không có DOT-LBL-05. Cần thêm checker này hoặc sửa matrix dùng checker hiện có.
2. Coverage matrix P5b nhắc DOT-GP-01, nhưng §13 chỉ nói Golden path checkers mà không định nghĩa bảng ID đầy đủ. Cần thêm mini-table DOT-GP-01/02/03 với trigger/severity/phase/dependency, hoặc ghi phase 2 candidate IDs rõ.
3. Phase 1 count còn lệch nhẹ: §12.1 liệt kê BG-LU 6 + BG-UV 6 + BG-COMP 9 + BG-CV 2 + BG-BOM 7 = 30, đúng. Nhưng prompt trước có CV-03/CV-04; bản mới bỏ content_hash/default lifecycle/system-auto. Nếu bỏ thì ghi rõ system-auto writer logic không counted as checker. Tránh người đọc nghĩ bị thiếu.
4. §6.3 Daily DOT P5b thiếu action/input/output so với “full checker contract”. Bảng chỉ có ID/mục tiêu/invariant/severity/phase/dependency. Bổ sung action/input/output tối thiểu hoặc ghi áp dụng default contract: action=log/escalate, input=entity state, output=issue list.
5. §5.4 Đ24/APR/PG checkers thiếu đầy đủ law/source/applies_to/trigger/action/input/output. Bổ sung hoặc ghi default contract rõ.
6. §7 Vector/KG checkers thiếu action/input/output. Bổ sung default contract hoặc thêm cột.
7. DOT-APR-02 được nhắc ở Phase 1 nhưng §5.4 không có DOT-APR-02; §5.2 có PE-PUB-06. Cần thống nhất: hoặc tạo DOT-APR-02 thật, hoặc Phase 1 dùng PE-PUB-06.
8. DOT-APR-03 component create_new approval_ref trong §5.4 nhưng phase 1 list ghi DOT-APR-02→03; ok nếu có DOT-APR-02. Hiện thiếu DOT-APR-02 definition.
9. DOT-LBL-02 “No parallel label registry” phase 1 ERROR có thể quá rộng nếu catalog/source list chưa có. Nếu vẫn Phase 1, gate nó bằng dependency: only-if classification source list exists; nếu chưa, phase 2. Khuyến nghị: Phase 1 WARN/ERROR candidate, not hard block P7 until source list exists.
10. Đ35 citation: bản viết “Writer DOT Cấp B / Checker Cấp A” từ v0, v0.1 đã đơn giản hóa. Nếu giữ Đ35 PASS, thêm một câu rõ: P6 không chốt tên/cấp DOT cụ thể, chỉ áp dụng paired governance principle.
11. DOT-PG-01 ở phase 2 nhưng severity ERROR. Ok, nhưng cần ghi “candidate until gateway audit source exists”. Đã có dependency, nhưng thêm phase/status: inactive until source verified.
12. §16 PASS criteria nói “Checker contract ... §5–7” nhưng §6.3/§5.4/§7 chưa full contract. Sau patch #4-6 thì PASS.

Kiểm luật/hiến pháp

• NT1/NT13: PASS — PG wins, projection conditional.
• NT2: PASS có điều kiện nhẹ — default contract phải đủ machine-enforceable cho mọi checker.
• NT4: PASS — registry/severity/schedule config-governance.
• NT8: PASS — BOM/compatibility/reuse covered.
• NT11: PASS — pg_ref read-only, no duplicate catalog.
• Đ24: PASS có điều kiện — no-parallel-registry checker cần source list dependency.
• Đ32: PASS — APR readiness only; fix missing DOT-APR ID.
• Đ33: PASS — design-only; PG/gateway checks inactive until approved source.
• Đ35: PASS có điều kiện — paired governance principle, not fixed implementation.
• P5/P5b/L2/L4: PASS sau minor patch.

Chỉ đạo

Patch 12 điểm nhỏ trên. Sau đó trả P6 v0.2 cho GPT final review. Chưa upload KB, chưa code, chưa SQL, chưa DOT/cron/trigger thật.