main
feat(harness_init): eager first-run setup with init overlay; pin managed Python to 3.13 (#4021)
feat(theme): runtime theming — semantic tokens, Theme Studio, presets (#4130)