M3a Retry — 06 Behavioral Probes Result

Status

G7_BEHAVIORAL_PROBES_PASS

B-1..B-9 ran rollback-only and did not persist lifecycle mutation. B-10 remains deferred by package design.

Probe target note

The original package B-1..B-8 examples use ICX-CONST/DIEU-0. The retry prompt explicitly forbids running fn_iu_enact on the 60 ICX-CONST rows, so B-1..B-8 used a non-ICX draft IU with invariant pass: D38-DIEU28-ROOT. This preserves the behavioral coverage without violating the stricter retry boundary.

B-1..B-9 output

B-1 dry-run valid non-ICX draft address
probe|status|would_write_rows|addr
B-1|plan_ok|{"unit_version": 1, "information_unit": 1, "iu_lifecycle_log": 1}|D38-DIEU28-ROOT
(1 row)

B-2 invalid target lifecycle
probe|status|field|value
B-2|invalid_target_lifecycle|target_lifecycle|NOT_IN_VOCAB
(1 row)

B-3 nonexistent canonical_address
probe|status|addr
B-3|iu_not_found|NOT_AN_ADDRESS
(1 row)

B-4 review_decision_not_found
probe|status|review_decision_id
B-4|review_decision_not_found|00000000-0000-0000-0000-000000000000
(1 row)

B-5 raw UPDATE still blocked by gateway
NOTICE:  B-5|caught_error|P0001|IU Gateway blocked: direct write to information_unit not allowed. Use canonical functions (fn_iu_create, fn_iu_apply_edit_draft). See README: knowledge/dev/laws/dieu44-trien-khai/readme/iu-create-gateway-readme.md

B-6 NULL review_decision_id
probe|status|field
B-6|invalid_input|review_decision_id
(1 row)

B-7 NULL actor
probe|status|field
B-7|invalid_input|actor
(1 row)

B-8 draft to superseded fsm_denied
probe|status|from_status|to_status
B-8|fsm_denied|draft|superseded
(1 row)

B-9 edit-draft on draft base unchanged
probe|status|lifecycle_status|draft_id|version_seq
B-9|applied|draft|5caf9ea6-cd0a-4983-9e19-7b2ad0f35a66|3
(1 row)

Post-probe safety

probe|lifecycle_log_rows|icx_draft|icx_total|uv_enacted_at_nonnull|iu_enacted_total|uv_enacted_total
post_probe_safety|0|60|60|0|0|0
(1 row)

Probe disposition

B-1: PASS — plan_ok, dry_run true, no rows written
B-2: PASS — invalid_target_lifecycle
B-3: PASS — iu_not_found
B-4: PASS — review_decision_not_found
B-5: PASS — raw UPDATE blocked by gateway
B-6: PASS — invalid_input review_decision_id
B-7: PASS — invalid_input actor
B-8: PASS — fsm_denied draft->superseded
B-9: PASS — draft-base edit apply returns applied/draft inside rollback-only transaction
B-10: DEFERRED by package; requires enacted base / integration path