fix(migrate): pass shaped its unique flag for a script's out parameter

[devin-ai-integration]

What and why

develop does not build since #791 merged (76599c2): internal/translate/migrate/activity.go:2341 still calls shaped(mult, r, true) while 7a60fd2 in the same PR gave shaped a fourth parameter, unique. go build ./... fails in internal/translate/migrate, which takes cmd/sysml, cmd/sysml-grpc and every PR's "Build binaries", conformance and WebAssembly jobs with it (seen on #757 after merging develop in). develop runs no CI on push, so nothing flagged it.

-a.m.w.line("out " + writeName(pname) + shaped(mult, r, true) + " = " + expr + ";")
+a.m.w.line("out " + writeName(pname) + shaped(mult, r, true, false) + " = " + expr + ";")

false is what the other pin and parameter call sites pass (activity.go:1558, behavior.go:296, parameterShape): a script's out parameter is not a usage that must be written unique, so the rendered text is what it was before 7a60fd2.

How it was verified

• go build ./..., go vet ./internal/translate/migrate, go test ./internal/translate/migrate pass on this branch; on origin/develop the build fails with not enough arguments in call to shaped.
• gofmt -l . prints nothing; python3 scripts/changelog.py check passes. No changelog fragment: this restores a change that is itself still unreleased (fix(migrate): declare script locals, keep read-pin multiplicity, ledger instant waits, UI stimuli and absent arguments #791).

Checklist

• make test and make lint pass locally (build gate; the package's tests pass)
• Tests added or updated for the change — compile-time break, covered by the build
• Documentation extended where it already covers the surface (none covers this)
• Changelog entry added as changes/unreleased/<slug>.<section>.md, not as an edit to CHANGELOG.md (not needed, see above)
• baselines regenerated and make docs-counts run if a gate count moved (no count moved)
• No internal work-item labels (waves, slices, F4, K5) in the body, docs, or changelog

Link to Devin session: https://nasa-jpl-demo.devinenterprise.com/sessions/6133aceea157486ca9ebddf387b4959d
Open in Devin Desktop: https://nasa-jpl-demo.devinenterprise.com/desktop/session/6133aceea157486ca9ebddf387b4959d?variant=devin
Requested by: @HuiJun

[devin-ai-integration]

I'll fix CI failures and address comments from users with write access. I'll skip comments containing "(aside)".

• Disable automatic comment, CI, and merge conflict monitoring

[devin-ai-integration]

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no bugs or issues to report.

[devin-ai-integration]

Superseded: develop already carries the identical one-line fix via #800 (d178d2b), so this is no longer needed.