emit: cross-module use emission (E0425 imports)

[gunbai-bot]

Auto-opened by session-dashboard for session cool-carp-66.
Pushing to session/cool-carp-66 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

• Title describes the change (not the session id or branch).
• PR body summarises what and why (replace the TODO below).
• Tests run: name the command (e.g. npm test, cargo test) and the result.
• If this closes a work item, the body contains a Closes #N directive.
• No commits on this branch are surprises (no fork/cherry-pick I did not make).
• No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

• TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

[gunbai-bot]

Closing: this PR commits the full regenerated seed (70 files, incl. unrelated v2/std/reducible.dag deletions) with no .dag emitter change, so it cannot land under the lockstep guardrails (committed seed must stay main's until the green co-land in #5325). Your E0425 diagnosis (SemVerConstraint / List container types leaking into the use-set) is sound and is being authored as an emitter .dag fix in the integration branch. Thank you for the root-cause.