dot-iu-cutter v0.5 — Leg-B Execution Log

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

phase                : G4 execution precheck + G5 execute leg-B governed recording
outcome              : G4 PASS · G5 PASS — leg-B COMMITTED ;
                       126 governed-ledger rows persisted in 1 atomic txn
production_mutation  : +126 rows in cutter_governance.* (intended scope)
                       IU / UV / anchor / source_document state UNCHANGED

1. G4 — rollback-only smoke (execution precheck)

run_at_utc          : 2026-05-20T05:17:40.919514Z
mode                : rollback-only-smoke
exit_code           : 0
sidecar_image       : agent-data-local:latest
sidecar_network     : container:postgres (trust-auth works ; source IP=127.0.0.1)
runner_sha          : 964c85d14d668e2cd2446f35de54b08cb9ac9e4099f1dcc37f4440b7f2964de6
module_sha          : 3270f1df4d52890edcc04e34f8e7c4a58e98d98f7424dc9132d0c4cb108ce2e9

Output (verbatim):

[leg-B] started_utc=2026-05-20T05:17:40.919514+00:00 mode=rollback-only-smoke
[leg-B] G4 principal='cutter_exec' OK
[leg-B] G6 no prior leg-B record OK
[leg-B] G5 live_state meta={"canonical_address_distinct": 60,
                            "content_hash_distinct": 60, "iu_count": 60,
                            "section_type_card": {"article": 42,
                            "principle": 15, "section": 3},
                            "uv_count_v1_anchored": 60}
[leg-B] BEGIN
[leg-B] record() returned status=RECORDED
[leg-B] ids={"change_set_id": "8e1d7bc3-2ad9-486b-b8f8-122020bc49f6",
             "entry_id": "1b32ba40-2e6a-40bb-86d0-74d2dee4aa7e",
             "envelope_id": "98798ede-d649-4887-9a33-9e14af0e95ea",
             "executor_signature_id": "e9cea9c9-2dee-4e22-b349-17d7754ffa1c",
             "history_id": "7c9ebe0f-3cda-4700-99d3-bd0e202bb0f3",
             "review_decision_id": "3a727158-4ce4-4621-85cb-b0308ed33efb"}
[leg-B] counts={"cut_change_set": 1, "cut_change_set_affected_row": 60,
                "decision_backlog_entry": 1, "decision_backlog_history": 1,
                "dot_pair_signature_executor": 1, "manifest_envelope": 1,
                "manifest_unit_block": 60, "review_decision": 1}
[leg-B] ROLLBACK (smoke mode) — DB byte-identical to pre-run
[leg-B] DONE mode=rollback-only-smoke
        payload_hash=7468c7a976ab729c32d19e93001bf724f7cf2b1f59a41f5b8788ac6b627c6cfa

1.1 Post-rollback state verification

Row counts in cutter_governance.* are byte-identical to pre-smoke:

post_rollback_counts :
  decision_backlog_entry             : 1   (unchanged)
  decision_backlog_history           : 5   (unchanged)
  manifest_envelope                  : 1   (unchanged)
  manifest_unit_block                : 1   (unchanged)
  review_decision                    : 1   (unchanged)
  dot_pair_signature                 : 2   (unchanged)
  cut_change_set                     : 1   (unchanged)
  cut_change_set_affected_row        : 1   (unchanged)

  public.information_unit ICX-CONST  : 60  (unchanged ; NOT mutated)

Smoke confirms ALL 126 INSERTs succeed against live constraints (no NOT NULL violation, no UNIQUE collision, no CHECK abort, no FK abort — since no FK is enforced in this schema). ROLLBACK leaves DB state untouched.

2. G5 — committing run (durable write)

run_at_utc           : 2026-05-20T05:18:19.783501Z
mode                 : commit
exit_code            : 0
sidecar_image        : agent-data-local:latest
sidecar_network      : container:postgres

Output (verbatim):

[leg-B] started_utc=2026-05-20T05:18:19.783501+00:00 mode=commit
[leg-B] G4 principal='cutter_exec' OK
[leg-B] G6 no prior leg-B record OK
[leg-B] G5 live_state meta={"canonical_address_distinct": 60,
                            "content_hash_distinct": 60, "iu_count": 60,
                            "section_type_card": {"article": 42,
                            "principle": 15, "section": 3},
                            "uv_count_v1_anchored": 60}
[leg-B] BEGIN
[leg-B] record() returned status=RECORDED
[leg-B] ids={"change_set_id": "456c6830-a747-4b53-ac2f-665e25e12cd0",
             "entry_id": "94b23091-bbee-4bc1-9d75-adf3086ab17a",
             "envelope_id": "638cf363-f45a-4bb3-b9bb-928c5e24c15b",
             "executor_signature_id": "3a249063-e33a-406a-9302-2e9e646a0938",
             "history_id": "3795cd3a-41b6-478f-a6ed-990a2c386241",
             "review_decision_id": "29c88a7b-60f7-41bd-af45-43cc9b9f41c0"}
[leg-B] counts={"cut_change_set": 1, "cut_change_set_affected_row": 60,
                "decision_backlog_entry": 1, "decision_backlog_history": 1,
                "dot_pair_signature_executor": 1, "manifest_envelope": 1,
                "manifest_unit_block": 60, "review_decision": 1}
[leg-B] COMMIT — leg-B governed recording PERSISTED
[leg-B] DONE mode=commit
        payload_hash=7468c7a976ab729c32d19e93001bf724f7cf2b1f59a41f5b8788ac6b627c6cfa

2.1 payload_hash equivalence (smoke vs commit)

payload_hash_smoke   : 7468c7a976ab729c32d19e93001bf724f7cf2b1f59a41f5b8788ac6b627c6cfa
payload_hash_commit  : 7468c7a976ab729c32d19e93001bf724f7cf2b1f59a41f5b8788ac6b627c6cfa
equivalence_proof    : the executor signature's payload_envelope content
                       is deterministic (writer_digest pin + iu_ids_persisted
                       set is identical across runs ; only the per-run UUIDs
                       differ but they are NOT in the payload_envelope).

2.2 Persisted leg-B IDs (the M1 recording)

change_set_id              : 456c6830-a747-4b53-ac2f-665e25e12cd0
review_decision_id         : 29c88a7b-60f7-41bd-af45-43cc9b9f41c0
manifest_envelope_id       : 638cf363-f45a-4bb3-b9bb-928c5e24c15b
executor_signature_id      : 3a249063-e33a-406a-9302-2e9e646a0938
decision_backlog_entry_id  : 94b23091-bbee-4bc1-9d75-adf3086ab17a
decision_backlog_history_id: 3795cd3a-41b6-478f-a6ed-990a2c386241
manifest_unit_block        : 60 rows ; PK (envelope_id, address)
cut_change_set_affected_row: 60 rows ; target_table=public.information_unit

3. Disposition

G4 (execution precheck — smoke)              : PASS (rollback ; DB unchanged)
G5 (execute leg-B governed recording)        : PASS (1 atomic txn ; COMMIT)
production_mutation                          : +126 rows in cutter_governance.*
                                               (1 cs + 1 rd + 1 me + 60 mub +
                                                1 dpe + 1 dbh + 1 dps + 60 ar)
production_mutation_outside_leg_B_scope      : NONE
                                               · public.information_unit unchanged
                                               · public.unit_version unchanged
                                               · source_document/version_registry untouched
                                               · lifecycle_status of all 60 IUs still 'draft'
                                               · no deploy/restart/merge/tag
next                                         : G6 post-recording verification (doc 5)

doc 4 of 7.