release blocker: restore native-region compiler-output proof

[proggeramlug]

Release evidence

The v0.5.1519 r26 candidate regressed two workloads in the native-region-proof compiler-output suite.

• Candidate: 7c9f6016987ea9fdce2d253fb8666428cf0c6d24
• Full CI: https://github.com/PerryTS/perry/actions/runs/33123474583
• Compiler-output job: https://github.com/PerryTS/perry/actions/runs/33123474583/job/98698056780
• Native-ABI packet job: https://github.com/PerryTS/perry/actions/runs/33123474583/job/98698056833

Failed workloads:

1. h1_buffer_alias_negative: native_reps_negative_closure_capture_access_denied reports every denial case true except closure_capture: false.
2. image_convolution: input_generation has no labels; required unchecked-native BufferView/u8 load/u8 store evidence has zero matches; required MathImul native i32 evidence has zero matches. Affected expected blocks include for.body.36, while.body.40, for.body.56, and for.body.64.

The native-ABI packet passes build, runtime symbols, ABI contract, POD layout, and native async. It fails only on the compiler-output proof/report, so it is a second symptom of this defect.

Reproduction

cargo build -p perry
python3 -m unittest tests.test_compiler_output_regression
python3 scripts/compiler_output_regression.py suite \
  --suite native-region-proof \
  --perry target/debug/perry \
  --benchmark-mode smoke \
  --runs 1 \
  --perf-counters off \
  --gate \
  --print-summary

Packet confirmation:

PYTHON=python3 bash tests/test_native_abi_evidence_packet_smoke.sh \
  target/native-abi-evidence-packet

Required fix

Establish whether CFG/block-label output changed intentionally or native representation/proof information was lost. Restore compiler evidence when behavior regressed. Update proof specifications only if new IR provides equivalent checked guarantees and that equivalence is tested.

Acceptance criteria

• h1_buffer_alias_negative and image_convolution pass.
• Closure capture remains denied in the negative alias workload.
• Image convolution emits equivalent native BufferView/u8/i32 proof evidence.
• Both failing Full CI jobs are green.