fix: align TROWARGMIN tie evidence with U32 destination

[zhoubot]

Summary

• Fix the only failing point from release run 33800725094.
• Remove a stale S32 destination from PTO-AVS-TILE-TROWARGMIN-TIE-001; the accepted TROWARGMIN contract publishes U32 indices only.
• Execute the legal U32 tie case through InstructionContractExecute_TROWARGMIN and preserve the independent S32/S16 negative coverage in the existing shape and decoded-destination tests.
• Refresh commit-scoped release evidence without changing ISA semantics or the 0.58.5.1 encoding projection.

Validation

• Focused ASL point — PASS (1/1)
• make pr-check — PASS (9 checks)
• make repo-check — PASS (7 checks)
• make release-prepare — PASS
• git diff --check — PASS
• Independent code review — APPROVE
• Independent architecture review — CLEAR

After merge, ASL-MODEL will be repinned to the new exact PTO main commit and the complete release workflow will be dispatched again.