Cross-module recursive_type_set import-merge fix (04_infer.dag:5422/5551): imported alias names mis-enter the consumer recursive_type_set -> spurious Box on concrete imported-alias fields (BROAD §3 emit/inference correctness, measure the most-visible instance). GATES: design-checkpoint to parent bef

[briansrls]

Auto-opened by session-dashboard for session smart-cat-841.
Pushing to session/smart-cat-841 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 as duplicate — superseded by #5624, which authors the same cross-module recursive_type_set fix (local-restrict detect_type_cycles_kahn) and is held on a parent-signed 04_resolve prerequisite. This session (smart-cat-841) auto-spawned as a duplicate worker on node adhoc-abb8ce1b-10a, now re-bound to the real author (sleek-owl-775). No competing 04_infer change.