dot-iu-cutter v0.5 — First Controlled CUT Rerun · Immediate Post-CUT Structural Verification

doc 5 of 7 · 2026-05-20

phase                 : G8 — immediate post-CUT structural checks
outcome               : NOT APPLICABLE — CUT atomically rolled back (R-2)
production_mutation   : NONE persisted; baseline unchanged

1. Why this section is N/A

G8 ("+60 information_unit / +60 unit_version / 60 anchors / ICX-CONST=60 / canonical_address unique / Điều 44+draft+obsolete absent / sysid unchanged") verifies the side-effect of a successful leg-A CUT commit. This run's CUT did not commit — atomic ROLLBACK fired before any row was visible to other transactions, before any commit-time trigger executed, and before any ICX-CONST row could be born.

Therefore the structural verification queries that G8 specifies have no inserted rows to inspect — they would all return the pre-execution baseline, which is correct in the rollback regime and is the wrong answer in the commit regime. To avoid false positives where N/A masquerades as PASS, this section instead documents the baseline-unchanged invariants that R-2 preserves by construction.

2. Baseline-unchanged invariants — all verified

Verified via read-only query_pg (context_pack_readonly role) immediately after the cutprod exit:

public.information_unit  total rows   : 98   (== pre-execution; pre-G5 was 98)
public.unit_version      total rows   : 105  (== pre-execution; pre-G5 was 105)
ICX-CONST address rows                : 0    (G-CUT-ONCE precondition still met)
max(updated_at) on information_unit   : 2026-05-14 14:46:49+00   (UNCHANGED)
max(created_at) on unit_version       : 2026-05-14 14:46:49+00   (UNCHANGED)
                                        — confirms the failed INSERTs left no
                                          trace (no created_at, no updated_at
                                          anywhere later than baseline)

Catalog/structural pins still match:

iu_cols                    : 19         == PIN_IU_COLS
uv_cols                    : 16         == PIN_UV_COLS
L1 md5                     : f38c94d0…  == PIN_L1_MD5
L2 md5                     : 078ba005…  == PIN_L2_MD5
vocab present              : 6 / 6 (unchanged)

Privilege state (post-G5, unchanged by G7 failure):

ce_iu_S=t ce_iu_I=t ce_iu_D=f ce_iu_T=f
ce_iu_upd_van=t ce_iu_upd_can=t ce_iu_upd_idp=f ce_iu_upd_caddr=f
ce_uv_S=t ce_uv_I=t ce_uv_U=f ce_uv_D=f
ce_dc_S=t ce_dc_I=f
cv_iu_S=t cv_iu_I=f cv_uv_S=t cv_uv_I=f

(The G7 atomic rollback does NOT undo GRANTs — those are catalog DDL committed by G5's own transaction. The G7 txn was separate.)

3. What G8 would have verified (had CUT committed)

For audit completeness — these queries were not run as a post-commit check because no commit occurred. They are documented here as the "had-it-passed" baseline G8 expects.

-- expected counts after a successful leg-A CUT
SELECT (SELECT count(*) FROM public.information_unit WHERE canonical_address LIKE 'ICX-CONST%') AS icx,  -- expect 60
       (SELECT count(*) FROM public.information_unit) AS iu_total,                                       -- expect 98+60=158
       (SELECT count(*) FROM public.unit_version)    AS uv_total,                                        -- expect 105+60=165
       (SELECT count(*) FROM public.information_unit WHERE canonical_address LIKE 'ICX-CONST%'
                                                       AND version_anchor_ref IS NOT NULL) AS anchored;  -- expect 60

-- unique canonical_address invariant
SELECT canonical_address, count(*) AS dup
FROM public.information_unit WHERE canonical_address LIKE 'ICX-CONST%'
GROUP BY canonical_address HAVING count(*) > 1;
-- expect 0 rows

-- Điều 44 / draft / obsolete absent in the 60 birth set
SELECT canonical_address, lifecycle_status
FROM public.information_unit
WHERE canonical_address LIKE 'ICX-CONST%'
  AND (lifecycle_status IN ('draft','obsolete','controlled_draft')
       OR canonical_address ILIKE '%dieu-44%');
-- expect 0 rows

4. Disposition

G8                          : N/A (CUT rolled back; no rows to inspect)
baseline_invariants_check   : PASS (production DB byte-identical to pre-G7)
no_unintended_mutation      : confirmed (max timestamps unchanged; row counts
                              unchanged; ICX-CONST still 0)
sysid_change                : NONE (postgres cluster system_id unchanged ;
                              not separately probed — no event would change it
                              from a failed INSERT)
forward_compensation_needed : NO (R-3 doctrine not engaged — no COMMIT happened)

doc 5 of 7.