State in C-132 that a mut-param write made before an err is visible to the caller

docs/contracts/README.md

@@ -166,7 +166,7 @@ contemporaneous 156, **retroactive 132** (shrink-only ceiling 132), unmeasured 1
 | C-129 | list.chunk / list.windows non-positive sizes: negative keeps the promoted norm, zero aborts in the T6 form | 0.28.4 | active | fixture | 4 |
 | C-130 | option/map combinators hand back OWNED heap results (no bare pass-through handles) | 0.28.5 | active | fixture | 2 |
 | C-131 | Loop-rebuilt buffers are O(n): COW guards only LIVE aliases, and LICM never hoists heap allocations | 0.28.6 | active | fixture | 2 |
-| C-132 | mut parameters of reallocating containers persist to the caller at every call position | 0.28.6 | active | fixture | 5 |
+| C-132 | mut parameters of reallocating containers persist to the caller at every call position | 0.28.6 | active | fixture | 6 |
 | C-133 | env.get observes the host environment identically on native and wasm | 0.29.0 | active | fixture | 1 |
 | C-134 | Vendored-libm atan / tanh are byte-identical cross-target | 0.30.0 | active | fuzz(3000) | 1 |
 | C-135 | Declared-Unit effect fn ABI agrees between def and every call site | 0.30.0 | active | fixture | 1 |

docs/contracts/conformance.md

@@ -11,7 +11,7 @@
 > (spec-coverage + evidence-class >= fixture for every active contract), so this
 > page cannot legitimately contain an empty Fixtures cell.
 
-132 normative sections; 812 distinct executable fixtures.
+132 normative sections; 813 distinct executable fixtures.
 
 | Section | Contracts | Fixtures (how CI runs each) |
 |---------|-----------|------------------------------|
@@ -96,7 +96,7 @@
 | ALS-M10 | C-106, C-115, C-163, C-165, C-166, C-287, C-288, C-289, C-291 | `spec/wasm_cross/heap_result_if_append.almd` (byte-compare)<br>`spec/wasm_cross/heap_result_if_bind_chain.almd` (byte-compare)<br>`spec/wasm_cross/heap_result_if_match_arm_frame.almd` (byte-compare)<br>`spec/wasm_cross/heap_result_if_record_arm.almd` (byte-compare)<br>`spec/wasm_cross/heap_result_if_str_int.almd` (byte-compare)<br>`spec/wasm_cross/heap_result_tuple_return.almd` (byte-compare)<br>`spec/wasm_cross/heap_result_err_interp.almd` (byte-compare)<br>`spec/wasm_cross/nested_match_heap_arm.almd` (byte-compare)<br>`spec/wasm_cross/result_heap_err_match.almd` (byte-compare)<br>`spec/wasm_cross/result_heap_ok_match.almd` (byte-compare)<br>`spec/wasm_cross/str_result_heap_bind.almd` (byte-compare)<br>`spec/wasm_cross/result_match_rewrap_modcall.almd` (byte-compare)<br>`spec/wasm_cross/variant_pair_result_return.almd` (byte-compare)<br>`spec/wasm_cross/record_pair_result_return.almd` (byte-compare)<br>`spec/wasm_cross/result_option_call_payload_return.almd` (byte-compare)<br>`spec/wasm_cross/closure_rich_list_capture.almd` (byte-compare)<br>`spec/wasm_cross/pipe_lambda_block_value.almd` (byte-compare)<br>`spec/wasm_cross/pipe_chain_scalar_bind.almd` (byte-compare)<br>`spec/wasm_cross/heap_result_if_bind.almd` (byte-compare)<br>`spec/wasm_cross/map_fold_heap_acc_skv.almd` (byte-compare)<br>`spec/wasm_cross/map_interp_string_value.almd` (byte-compare)<br>`spec/wasm_cross/heap_result_if_option_aggregate.almd` (byte-compare)<br>`spec/wasm_cross/list_enumerate_rich.almd` (byte-compare)<br>`spec/wasm_cross/list_float_equality_family.almd` (byte-compare)<br>`spec/wasm_cross/adr0005_operator_equivalence.almd` (byte-compare) |
 | ALS-M11 | C-108, C-369 | `spec/wasm_cross/unwrap_in_callarg.almd` (byte-compare)<br>`spec/wasm_cross/unwrap_in_if_arm.almd` (byte-compare)<br>`spec/wasm_cross/unwrap_in_recursion.almd` (byte-compare)<br>`spec/wasm_cross/unwrap_or_operand.almd` (byte-compare)<br>`spec/wasm_cross/let_unwrap_propagation.almd` (byte-compare)<br>`spec/wasm_cross/destructure_let_unwrap.almd` (byte-compare)<br>`spec/wasm_cross/lambda_failure_channel.almd` (byte-compare) |
 | ALS-M12 | C-045, C-100, C-101, C-147, C-148, C-141, C-164, C-168, C-172, C-218 | `spec/wasm_cross/list_string_param_join_len.almd` (byte-compare)<br>`spec/wasm_cross/list_comprehensive.almd` (byte-compare)<br>`spec/wasm_cross/list_sort_short.almd` (byte-compare)<br>`spec/wasm_cross/string_is_alphanumeric.almd` (byte-compare)<br>`spec/wasm_cross/string_to_upper.almd` (byte-compare)<br>`spec/wasm_cross/split_empty_sep.almd` (byte-compare)<br>`spec/wasm_cross/replace_empty_pat.almd` (byte-compare)<br>`spec/wasm_cross/list_minmax_str.almd` (byte-compare)<br>`spec/wasm_cross/list_modify_heap.almd` (byte-compare)<br>`spec/wasm_cross/list_set_value.almd` (byte-compare)<br>`spec/wasm_cross/list_update_heap.almd` (byte-compare)<br>`spec/wasm_cross/list_sort_str.almd` (byte-compare)<br>`spec/wasm_cross/whilep_str.almd` (byte-compare)<br>`spec/wasm_cross/chunk_str.almd` (byte-compare)<br>`spec/wasm_cross/fold_heap_acc.almd` (byte-compare)<br>`spec/wasm_cross/reduce_str.almd` (byte-compare)<br>`spec/wasm_cross/closure_accumulator.almd` (byte-compare)<br>`spec/wasm_cross/value_object_leak_loop.almd` (byte-compare)<br>`spec/wasm_cross/pop_heap_element.almd` (byte-compare)<br>`spec/wasm_cross/enumerate_unnameable_element.almd` (byte-compare)<br>`spec/wasm_cross/list_of_maps_loop_build.almd` (byte-compare)<br>`spec/wasm_cross/nested_three_level_literal.almd` (byte-compare)<br>`spec/wasm_cross/nested_three_level_loop_build.almd` (byte-compare)<br>`spec/wasm_cross/list_unique_by_str_key.almd` (byte-compare)<br>`spec/wasm_cross/scan_heap_acc.almd` (byte-compare)<br>`spec/wasm_cross/list_zip_with_typed.almd` (byte-compare)<br>`spec/wasm_cross/list_heapelem_rc.almd` (byte-compare)<br>`spec/wasm_cross/list_flatten_borrow.almd` (byte-compare)<br>`spec/wasm_cross/native_wall_shapes.almd` (byte-compare)<br>`spec/wasm_cross/unwrap_or_heap_payload.almd` (byte-compare)<br>`spec/wasm_cross/unwrap_or_tuple_payload_extract.almd` (byte-compare)<br>`spec/lang/unwrap_or_tuple_payload_bind_test.almd` (both-target test)<br>`spec/wasm_cross/unwrap_or_tail_result.almd` (byte-compare)<br>`spec/wasm_cross/pipe_unwrap_or_family.almd` (byte-compare) |
-| ALS-M13 | C-061, C-110, C-132, C-136, C-324, C-325, C-326 | `spec/wasm_cross/mut_map_param.almd` (byte-compare)<br>`spec/wasm_cross/bytes_push_inplace.almd` (byte-compare)<br>`spec/wasm_cross/mut_heap_param.almd` (byte-compare)<br>`spec/wasm_cross/bytes_param_writeback.almd` (byte-compare)<br>`spec/wasm_cross/mut_param_effect_never_err.almd` (byte-compare)<br>`spec/wasm_cross/effect_mut_generic_port.almd` (byte-compare)<br>`spec/wasm_cross/mut_param_effect_can_err.almd` (byte-compare)<br>`spec/wasm_cross/place_mutation.almd` (byte-compare)<br>`spec/wasm_cross/mut_param_branch_forward.almd` (byte-compare)<br>`spec/wasm_cross/sql_highlight_tokens.almd` (byte-compare)<br>`spec/wasm_cross/bytes_push_growth.almd` (byte-compare)<br>`spec/wasm_cross/gzip_inflate_members.almd` (byte-compare) |
+| ALS-M13 | C-061, C-110, C-132, C-136, C-324, C-325, C-326 | `spec/wasm_cross/mut_map_param.almd` (byte-compare)<br>`spec/wasm_cross/bytes_push_inplace.almd` (byte-compare)<br>`spec/wasm_cross/mut_heap_param.almd` (byte-compare)<br>`spec/wasm_cross/bytes_param_writeback.almd` (byte-compare)<br>`spec/wasm_cross/mut_param_effect_never_err.almd` (byte-compare)<br>`spec/wasm_cross/effect_mut_generic_port.almd` (byte-compare)<br>`spec/wasm_cross/mut_param_effect_can_err.almd` (byte-compare)<br>`spec/wasm_cross/mut_param_err_write_visible.almd` (byte-compare)<br>`spec/wasm_cross/place_mutation.almd` (byte-compare)<br>`spec/wasm_cross/mut_param_branch_forward.almd` (byte-compare)<br>`spec/wasm_cross/sql_highlight_tokens.almd` (byte-compare)<br>`spec/wasm_cross/bytes_push_growth.almd` (byte-compare)<br>`spec/wasm_cross/gzip_inflate_members.almd` (byte-compare) |
 | ALS-M14 | C-173, C-179, C-180 | `spec/wasm_cross/unsigned_literal_domain.almd` (byte-compare)<br>`tests/diagnostics/e024-unsigned-negative-literal/broken.almd` (checker)<br>`spec/wasm_cross/uint64_upper_half.almd` (byte-compare)<br>`spec/wasm_cross/sized_int_overflow_wrap.almd` (byte-compare) |
 | ALS-M15 | C-221 | `spec/wasm_cross/effect_slot_carrier.almd` (byte-compare)<br>`spec/wasm_cross/effect_fn_value.almd` (byte-compare)<br>`spec/lang/fallible_user_hof_test.almd` (both-target test) |
 | ALS-R1 | C-035 | `spec/wasm_cross/int_div_by_zero.almd` (byte-compare)<br>`spec/wasm_cross/match_result.almd` (byte-compare)<br>`spec/wasm_cross/option_result.almd` (byte-compare)<br>`spec/wasm_cross/early_return_control_flow.almd` (byte-compare)<br>`spec/wasm_cross/effect_main_guard_err.almd` (byte-compare)<br>`spec/wasm_cross/effect_main_guard_ok.almd` (byte-compare) |