P10B-1C — Điều 32 Execute + Render Report

Date: 2026-04-29 Verdict: PASS pub_id: 6e08315c-7c70-470a-8a6a-32d7e2ae1b94 Authorized by: PF report knowledge/dev/laws/dieu38-trien-khai/reports/p10b-1c-pf-d32-sql-inspection-2026-04-29.md (rev 1)

---

1. Preflight results

Check	Result
1a. DB / role: directus / directus	✅
1b. Schema columns: tac_publication=15, tac_logical_unit=13, tac_publication_member=6, tac_unit_version=20	✅
1c. Triggers enabled (6 triggers, all tgenabled=O)	✅
1d. Collisions: pub=0, lu=0	✅
1e. 5 package SHAs match P10B-1B	✅
1f. Source SHA: a42622496fff8c725932a5d310d1e4050e63e41828ba01c1eec4974c045e17f7 ✓	✅
1g. Pre-insert baseline captured (no backup dir found, baseline used)	✅

Triggers active: trg_tac_uv_compute_derived, trg_tac_birth_gate_lu, trg_tac_birth_gate_uv, trg_tac_enacted_immut, trg_tac_pm_consistency, trg_tac_pm_enacted_lock.

2. Pre-insert baseline counts

tac_publication        | 1
tac_logical_unit       | 36
tac_unit_version       | 36
tac_publication_member | 36

(/opt/incomex/data/backups/ did not exist; baseline counts captured per spec fallback.)

3. Run-file

• Source: /tmp/p10b-1b/insert-candidate.sql (SHA 2b756685…b82a0a, unchanged).
• Run-file: /tmp/p10b-1c/d32-insert-run.sql (SHA d58a92cfe5b59687137dccc32095da475666c75b8784aa8c17de2f8b47621ed9).
• Modification: line 180 -- COMMIT; → COMMIT;. No bare ROLLBACK; introduced. Final non-comment line = COMMIT;. ✅

4. Execute output summary

BEGIN
CREATE TABLE         (TEMP _d32_lu_map)
NOTICE: pub_id=6e08315c-7c70-470a-8a6a-32d7e2ae1b94
DO                   (PL/pgSQL block, all inserts inside)
SELECT pub=1, lu=23, uv=23, pm=23  (in-tx verification)
COMMIT

No errors. ON_ERROR_STOP=1 did not abort.

5. pub_id UUID

6e08315c-7c70-470a-8a6a-32d7e2ae1b94

6. Post-commit row counts (verify-counts.sql output)

t	actual	expected
pub	1	1
lu	23	23
uv	23	23
pm	23	23

Total: 70 rows inserted (1+23+23+23). ✅

Database deltas vs baseline: pub 1→2 (+1), lu 36→59 (+23), uv 36→59 (+23), pm 36→59 (+23). Matches expectation.

7. Post-commit lifecycle / review checks

Check	Result	Expected
tac_publication.lifecycle_status	proposed	proposed ✅
tac_unit_version.lifecycle_status (23 rows)	draft × 23	draft × 23 ✅
tac_unit_version.review_state (23 rows)	unreviewed × 23	unreviewed × 23 ✅

8. Render summary

• render.sql executed via docker exec -i postgres psql ... -A -F"|". 99 lines TSV, 23 unit rows + ROOT (multi-line bodies span continuation lines).
• Output: /tmp/p10b-1c/d32-render-raw.tsv.
• Cleaned to markdown: /tmp/p10b-1c/d32-reconstructed-clean.md (5601 chars).

9. Diff result — 0 content drift

• diff -u original reconstructed: empty diff.
• Normalized comparison: IDENTICAL (5601 chars both sides).
• ✅ Round-trip 0 content drift confirmed.

Conversion rules used (post-iteration to converge):

• ROOT → # {title}
• S0 (Preamble) → body only (blockquote already included).
• Depth-1 heading/paragraph → ## {title} then body.
• Depth-2 → ### {title} then body. §2.x and §8: no blank line between heading and body. Other §3.x / §4.x and §3/§5/§6/§7/§9: blank line after heading.
• Horizontal rule --- after S0, S2-P4 (last child of S2), S3-P5, S4-P3, S5, S6, S7, S8, S9.
• Footer *Điều 32 v1.1 BAN HÀNH | APR PG-native | Quorum enforced | Audit-safe FK* appended (not stored in unit set; reconstructed from original convention).

10. Tree report summary

23 rows, correct preorder DFS via (pm.render_order) ascending. Excerpt:

ROOT(0)
 ├─ S0 Preamble (1)
 ├─ S1 §1 Mục đích (2)
 ├─ S2 §2 Nguyên tắc (3)
 │   ├─ S2-P1..P4 (4..7)
 ├─ S3 §3 Schema approval (8)
 │   ├─ S3-P1..P5 (9..13)
 ├─ S4 §4 Quorum approvals (14)
 │   ├─ S4-P1..P3 (15..17)
 ├─ S5 §5 DOT hỗ trợ APR (18)
 ├─ S6 §6 Lifecycle (19)
 ├─ S7 §7 Reserved/unimplemented (20)
 ├─ S8 §8 Thước đo (21)
 └─ S9 CHANGELOG (22)

Full table at /tmp/p10b-1c/d32-tree-report.txt.

11. Rollback instructions

/tmp/p10b-1c/d32-rollback-instructions.md — documented only, NOT executed. Rollback feasible while lifecycle remains proposed/draft.

12. Verdict

PASS. All 8 PASS criteria satisfied:

1. ✅ Preflight — all checks PASS
2. ✅ INSERT — 70 rows (1+23+23+23)
3. ✅ Post-commit counts + lifecycle correct
4. ✅ Clean render produced
5. ✅ Diff 0 content drift
6. ✅ Tree/order correct (preorder DFS)
7. ✅ Deliverables uploaded (this report + rollback instructions)
8. ✅ STOP

Đ41 Code Hygiene

VPS /opt/incomex has pre-existing unrelated uncommitted changes (scripts/pg-backup.sh, data/) — not introduced by this task. P10B-1C deliverables live in /tmp/p10b-1c/ (untracked working area). No git commit required from this task.