Why: module PRs merged (documents #30, backend #30, ui #22, frontend #23; core #11/#12 earlier); Dev tracks merged tips. Evidence: per-module main tips after merge. Impact: gitlink-only.
ui
@ 241bdedad7
Why: module PRs merged (documents #30, backend #30, ui #22, frontend #23; core #11/#12 earlier); Dev tracks merged tips. Evidence: per-module main tips after merge. Impact: gitlink-only.