KB-5207
M3a Retry — 02 Bundle E Narrow Patch and Command Integrity
3 min read Revision 1
dot-iu-cutterv0.5m3a-retrybundle-ecommand-integritypassdieu442026-05-20
M3a Retry — 02 Bundle E Narrow Patch and Command Integrity
Status
G2_G3_PASS
Bundle E was patched narrowly to preserve the live parameter default:
p_review_note text DEFAULT NULL::text
No architecture change. No OQ default change. No Phase 7 command included.
Exact prior gap
Previous failed execution proved live full args were:
p_draft_id uuid, p_actor text, p_review_note text DEFAULT NULL::text
Original Bundle E omitted the default, causing:
ERROR: cannot remove parameter defaults from existing function
HINT: Use DROP FUNCTION fn_iu_apply_edit_draft(uuid,text,text) first.
Retry command integrity
execution_order:
TXN-1: Bundle A — vocab + log tables + indexes + grants
TXN-2: Bundle B — immutability functions + triggers
TXN-3: Bundle C — fn_iu_enact SECURITY DEFINER
TXN-4: Bundle D — gateway dot_config + grants
TXN-5: Bundle E — fn_iu_apply_edit_draft patch, header default preserved
bundle_deltas:
A: same approved package semantics
B: same approved package semantics
C: same approved package semantics
D: same approved package semantics
E: same approved package semantics; only header compatibility fix preserves DEFAULT NULL::text
excluded:
- no Phase 7 enactment statement
- no fn_iu_enact(..., false) on ICX-CONST
- no lifecycle draft->enacted mutation
- no deploy/restart/merge/push/tag
Bundle E post-apply proof
probe|post_md5|post_len|prosecdef|full_args|proconfig|has_new_status|still_has_global_check
E.V1|42e96b6c9e81a2d0a28b30644d178a26|4826|t|p_draft_id uuid, p_actor text, p_review_note text DEFAULT NULL::text|{"search_path=pg_catalog, public"}|t|f
Interpretation:
- Post md5 changed from prepatch
22875ce25b2e2d1751cc4f3d1757252eto42e96b6c9e81a2d0a28b30644d178a26. SECURITY DEFINERpreserved.search_path=pg_catalog, publicpreserved.- Existing default
p_review_note text DEFAULT NULL::textpreserved. base_version_enactedsentinel present.- Global
count(DISTINCT lifecycle_status)check absent.