dot-iu-cutter v0.5 — Leg-B Post-Recording Verification

doc 5 of 7 · 2026-05-20 · M1 macro

phase                : G6 — post-recording verification (read-only)
outcome              : PASS — all referenced rows present + linked correctly ;
                       live IU/UV state byte-identical to pre-leg-B ;
                       no triggered side-effects ; no unintended mutation
production_mutation  : NONE this phase (read-only probes)

1. Delta on cutter_governance.* tables (pre-leg-B → post-leg-B)

delta_inserts (per table) :
  decision_backlog_entry             : 1 → 2     ( +1 )
  decision_backlog_history           : 5 → 6     ( +1 )
  manifest_envelope                  : 1 → 2     ( +1 )
  manifest_unit_block                : 1 → 61    ( +60 )
  review_decision                    : 1 → 2     ( +1 )
  dot_pair_signature                 : 2 → 3     ( +1 — executor only ;
                                                  verifier deferred to write-VERIFY )
  cut_change_set                     : 1 → 2     ( +1 )
  cut_change_set_affected_row        : 1 → 61    ( +60 )

total_inserts                        : +126     (matches recorder plan)

2. Cross-reference integrity of the M1 row set

2.1 cut_change_set (change_set_id = 456c6830-a747-4b53-ac2f-665e25e12cd0)

rollback_key          : rbk:canonical:constitution-first:d99a31d4a4be907c:
                         456c6830-a747-4b53-ac2f-665e25e12cd0      (UNIQUE OK)
manifest_id           : 638cf363-f45a-4bb3-b9bb-928c5e24c15b       (envelope)
manifest_version      : d99a31d4a4be907c510ae15965e9f7bb3387e9e28676e9f32adf463828b1aa28
                                                                    (PIN_WRITER_DIGEST)
review_decision_id    : 29c88a7b-60f7-41bd-af45-43cc9b9f41c0       (review)
executor_signature_id : 3a249063-e33a-406a-9302-2e9e646a0938       (executor sig)
state                 : committed
affected_unit_count   : 60
emitted_by            : cutter_exec/DOT-991/constitution-cut
scenario_ref          : v0.5-first-controlled-canonical-cut

2.2 cut_change_set_affected_row × 60

count                                                       : 60
distinct target_row_id                                      : 60
WHERE target_table = 'public.information_unit'              : 60 / 60
WHERE operation_kind = 'insert'                             : 60 / 60
JOIN to live information_unit (ICX-CONST prefix)            : 60 / 60
   ⇒ every affected_row.target_row_id is a real ICX-CONST IU id.

2.3 manifest_unit_block × 60

count                                                       : 60
distinct unit_local_id                                      : 60   (canonical_address)
distinct target_unit_id                                     : 60
JOIN to live information_unit (ICX-CONST prefix)            : 60 / 60
   ⇒ every unit_block.target_unit_id is a real ICX-CONST IU id.

2.4 dot_pair_signature (executor)

signature_kind                       : executor                        ✓
signer_dot_id                        : DOT-991                          ✓
signer_tool_revision                 : iu-cutter@f20c79c+canonical-A4-
                                       patch+autocommit-fix             ✓
validation_state                     : pending                          ✓
cross_reference_change_set_id        : 456c6830-…                       ✓ (matches cs)
cross_reference_verify_result_id     : NULL                             ✓ (XOR)
scenario_ref                         : v0.5-first-controlled-canonical-cut ✓

2.5 review_decision

review_decision_id                   : 29c88a7b-60f7-41bd-af45-43cc9b9f41c0
governance_event_kind                : cut_first_controlled_canonical
manifest_id                          : 638cf363-… (= envelope_id)
manifest_version                     : <PIN_WRITER_DIGEST>
review_scope                         : manifest
status / verdict                     : decided / approve
reviewer_class                       : sovereign
reviewer_identity                    : { reviewer:'GPT/User',
                                          kb_doc_id:<M1 ruling KB doc> }
cross_signed_by_dot_verifier         : false  (DOT-992 deferred to write-VERIFY)
cut_change_set_ref                   : 456c6830-… (= change_set_id)
decision_at                          : 2026-05-20T03:00:00Z

3. Live production-state invariants (NOT mutated)

public.information_unit (ICX-CONST scope) :
  count                                            : 60   (unchanged)
  anchored UV count                                : 60   (unchanged)
  lifecycle_status = 'draft'                       : 60 / 60    (A-3 uniform ; NOT mutated)
  any non-'draft'                                  : 0    (no enactment)
  unit_kind = 'law_unit'                           : 60 / 60
  identity_profile.publication_type_ref = 'law'    : 60 / 60    (A-4)
  section_type cardinality NT15·KT3·DIEU42         : ✓
  birth_registry entries for ICX-CONST IUs         : 60   (unchanged ; created at CUT)

public.information_unit (global) :
  total IUs                                        : 158   (unchanged)
  recent mutations                                 : 0     (no rows added/removed)

source_document / source_document_version_registry : UNTOUCHED
  ⇒ verified by privilege check (cutter_exec INSERT on those tables : no)
  ⇒ and by recorder's emitted-SQL audit (only the 8 leg-B target tables).

4. Audit-debt window

CUT_committed_at                    : 2026-05-20T04:18:21.854512Z
leg_B_committed_at                  : 2026-05-20T05:18:19.78Z (≈ 60 min later)
audit_debt_budget                   : 24h from CUT commit → 2026-05-21T04:18:22Z
remaining_at_G6_close               : ≈ 23h
status                              : COMFORTABLY INSIDE WINDOW

5. Disposition

G6 (post-recording verification) : PASS
   · 126 rows persisted (matches recorder plan)
   · all cross-references resolvable + consistent
   · 60 affected_rows + 60 unit_blocks reference the 60 ICX-CONST IUs
   · executor signature XOR cross-reference satisfied
   · live IU/UV state byte-identical (no unintended mutation)
   · lifecycle_status uniform 'draft' (no enactment)
   · source_document state untouched
production_mutation_this_phase : NONE (read-only probes)
next : G7 (rollback / compensation status — doc 6) + final report (doc 7)

doc 5 of 7.