Why: the archived card still had a placeholder for its main-record PR
link, and the combo pins pointed at feature-branch commits instead of
the merged submodule main tips.
Evidence: Dev PR #29 merged as c6f5368; submodule PRs Frontend #9, UI
#9, Backend #12 merged (tips 0eb90665, 6068f146, 10f400a2, content
identical to the pinned feature commits).
Impact: one-line card backfill plus three gitlink advances; no code
change.
weichen