05 - O4 Resume / Idempotency Result

G4 proof objective

Prove dry-run resume and idempotency behavior without production mutation.

Resume sequence

1. Initial dry-run cut reached SG1 pause:

state=awaiting_cut_authorization
stop_code=STOP_APPROVAL_REQUIRED

2. Local SG1 approval doc was supplied to runner.resume:

state=awaiting_lifecycle_authorization
stop_code=STOP_APPROVAL_REQUIRED

3. Local SG2 approval doc was supplied to runner.resume:

state=closeout_reported
stop_code=None

4. Closed-out run was resumed again without approval:

state=closeout_reported
stop_code=None

Interpretation: closed-out resume is idempotent by design and did not re-run production work.

State-machine evidence

All phases passed exactly through the expected O2/O4 dry-run path:

source_pin -> mark -> cutplan -> pre_write_backup -> grant_probe -> SG1 pause -> cut_leg_a -> structural_verify -> leg_b_record -> write_verify -> SG2 pause -> lifecycle_enact -> closeout

Authority evidence

• SG1 and SG2 approval docs were local dry-run files under the temporary sidecar area.
• SG2 carried a synthetic dry-run review decision UUID: 11675949-0a31-4582-a5d9-15147b13fc66.
• No production review_decision row was created or updated.
• No production lifecycle mutation was attempted.

Reporting evidence

• SG1 request doc generated.
• SG2 request doc generated.
• Closeout doc generated.
• Runs index generated locally by DryRunReporter.

Non-mutation evidence

The live ICX-CONST counts before and after dry-run were identical:

icx_total: 60 -> 60
icx_draft: 0 -> 0
icx_enacted: 60 -> 60
uv_enacted_at_nonnull: 60 -> 60
lifecycle_log_rows: 60 -> 60

Result

G4 PASS.