7 Commits

Include renames

Author	SHA1	Message	Date
AskaEth	fa2c6560fd	fix(appearance): M91 r2 —— 真交叉断言 + unsafe 门禁跨行扫描 + α 上取整 ... P2-1「与 design 码值一致」的守门此前不存在 - 新增 crates/app-iced/src/platform/mod.rs::palette_source_codes_match_design_level_codes： 三个格子对照 PaletteSource::as_str() 与 unlucky_design::palette::Level::code()， 并覆盖反方向（from_key_value(level.code()) 必须还原同一档）与「码值在允许值表里」 - core 侧那条测试改名为 value_tables_are_self_consistent，注释改成事实： core 不依赖 design，只能钉自己的字面量；一致性由 app-iced 的那条对照断言守 - 实测：把 design 的 Level::Wallpaper 码值改成 "desktop" → 新断言红（design 自己 178 个测试仍全绿） P2-2 unsafe-scope 门禁：行级正则 → 跨行扫描 - 去注释 + 按方括号闭合把续行并成逻辑行，再逐个属性组判断 allow(...unsafe_code) - 抓得住原来两种绕过：多行属性 #![allow(\n unsafe_code\n)]、同行两属性 #[inline] #[allow(unsafe_code)] - 门禁注释补全已知边界（不再声称「依赖 fmt job 兜底」——已不依赖） O-1 α 量化方向：round → ceil - 0.08×255=20.4，round 得 20 → 实际下发 20/255=0.0784，低于 D36 名义下限 - ceil 得 21 → 0.0824；新增 applied_alpha_is_never_below_the_floor 断言 下发字节/255 ≥ 0.08 O-7 契约测试补三个新键 - appearance_keys_are_all_ai_writable_and_registered 的 audited 清单加 window_opacity / titlebar_mode / palette_source	2026-11-02 14:28:36 +08:00
AskaEth	7406785325	feat(appearance): M91 —— 外观下层三键 + win32 整窗 α FFI + unsafe 落点门禁 ... core（D36/D37/D38 的键与范围） - appearance.window_opacity（0.08..=1.0，默认 1.0，越界钳位且不报错；下限 D36 定案） - appearance.titlebar_mode（auto|always|never，默认 auto；判定逻辑不在本 mission） - appearance.palette_source（background-image|wallpaper|preset，与 design 的 Level::code() 同名） - schema 1.3.0 → 1.4.0：纯增量、不加迁移步骤（新键出厂值 = 老文件缺键） - appearance 拆成目录 mod/modes/tests（单文件 ≤400 行），非法枚举由 diagnostics() 给可读回落说明 presenter（只读语义，不破 M89 零 UI 门禁） - AppearanceBase { window_opacity, titlebar_mode, palette_source } + from_document() - 单测：缺键→出厂值、越界→钳位、非法枚举→回落且合法值照读 app-iced（D36 唯一 unsafe 落点） - platform::effective_window_alpha(backend, requested) 纯函数：≤0/非有限 → None（拒绝整窗穿透）， 其余夹到 0.08..=1.0；CPU 档同样允许窗口级 α（D36 对 D27 的修订），4 组真值表测试 - platform/win32/transparency.rs：SetLayeredWindowAttributes(LWA_ALPHA) 的 FFI + alpha_byte 量化 + apply_window_alpha；非 Windows 同签名空实现返回 Unsupported CI - guards.yml 新增 unsafe-scope job：全仓 allow(unsafe_code) 文件集合必须恰好等于 crates/app-iced/src/platform/win32/transparency.rs（集合相等，不是黑名单命中） 版本号绊线 - isolation_keys / java_install_keys：字面量 1.3.0 → 1.4.0（绊线保留字面量） - store / document 的两个关系夹具改成相对 launcher_version() 构造（「更高 minor 只读」/ 「同 minor 更高 patch 保留 $schema」），下次 bump 不再假绿或假红	2026-11-02 13:58:33 +08:00
AskaEth	dc4fac8391	fix(core/game): M49 —— Java 去重键平台无关归一化（Linux CI 三红） ... `game::java::discover::path_key` 只在 `cfg!(windows)` 分支折分隔符，POSIX 上 把 `C:\a\b\java.exe` 原样留成带反斜杠的键，与 `C:/a/b/java.exe` 不同键 → `dedupe` 不去重。三条用例（Windows 语义无 cfg 门）因此在 `test (ubuntu-latest)` 挂：`path_key_normalises_separators`、 `dedupe_keeps_the_higher_priority_source`、 `java_discover::dedupe_collapses_one_install_found_twice`。 - `path_key`：`\?\` 前缀剥离与分隔符折成 `/` 改为**与平台无关**（同一个 `bin/java[.exe]` 用哪种拼法都是同一个文件，键必须相同）；大小写折叠仍只有 Windows 做——POSIX 上 `Java` 与 `java` 是两个目录，折了会把两份真实安装误并。 已知取舍写进文档：POSIX 上文件名里的字面反斜杠会一并被当分隔符。 - 三条用例：不靠 `#[cfg(windows)]` 跳过。`path_key` 单测改成平台无关断言 + 大小写折叠的双侧断言（Windows 折 / POSIX 不折，两侧都钉住）；集成用例的 「同一路径第二种写法」按平台给（Windows 用大小写+分隔符，POSIX 用分隔符）。 - 回归钉子：新增 `one_install_normalises_to_one_key_whatever_the_spelling` （普通写法 / 反斜杠写法 / `\?\` 前缀写法 / 混合写法 四种拼法同键）与 `path_key_folds_case_only_where_the_filesystem_does`。 验证：Linux（rust:1-bookworm 容器，ull-linux-target 热缓存） `cargo test -p unlucky-core --lib --test game` → 224 + 120 passed / 0 failed （基线是 lib 220/2 failed、game 119/1 failed）； `cargo test --workspace --all-targets --no-fail-fast` → 34 个测试块 1137 passed / 0 failed（该次跑在 M48 launch 修复叠加的临时副本上，因为 M48 尚未合入 main，见报告）。Windows 本机 `cargo fmt --check`、 `cargo clippy -p unlucky-core --all-targets -D warnings`、 `cargo test -p unlucky-core` 全绿（17 个测试块 0 failed）。	2026-11-01 11:00:25 +08:00
AskaEth	6ce825db8d	fix(launch): M48 —— POSIX 组杀假成功导致 stop() 空等超时 ... CI test (ubuntu-latest) 自 M43 起红的根因不是「组杀打到自身进程组」， 而是 procps-ng 的 kill 把裸 `-<pgid>` 当成又一个信号选项吞掉：退出码 0、 什么都没发。旧实现据此提前 return，单 pid 兜底永远不执行，于是 process_smoke::stop_kills_process_tree 与 pipeline_cases::pipeline_stop_records_killed_exit 只能干等 graceful+5s 预算后报「强制结束后进程仍在运行」。 - process.rs：Unix 分支用 CommandExt::process_group(0)（std 1.64+ 安全 API，无需 pre_exec/unsafe）让子进程自成一个进程组，与 Windows 的 CREATE_NEW_PROCESS_GROUP 对称；这也让「树」回收真正覆盖后代。 - tree_kill.rs：组杀改用 `kill -TERM -- -<pgid>`（`--` 不可省），并且 先过 group_kill_target 三重验证——目标必须是自己的进程组组长、必须 读得到我们自己的组、目标组不能就是我们所在的组；单 pid 兜底改为 「永远执行」，kill 缺失（NotFound）返回明确错误而不是静默失败。 pid==0 守卫从 kill_tree 提到 terminate/force_kill 共用入口。 - 测试钉子（Linux 门住）：spawn 后子进程 pgid == 自己的 pid 且 != 测试进程 pgid；组杀只接受验证过的独立组；组杀覆盖孙进程且不碰我们 自己的组；同组子进程靠单 pid 兜底仍能被干掉；pid 0 一律拒绝。 验证：rust:1-bookworm 容器（ull-linux-target 热缓存）cargo fmt --check、 cargo clippy --workspace --all-targets -D warnings、cargo test -p unlucky-core --test launch（82 passed，两条原红灯转绿）、cargo test --workspace --all-targets --no-fail-fast 不再被 SIGTERM 打断；Windows 本机 fmt/clippy/cargo test -p unlucky-core 全绿。	2026-11-01 10:32:18 +08:00
AskaEth	07fd6113a7	fix(core): 回调先校验 state 再处理 error，堵掉伪造取消失效登录 ... reviewer P2（crates/core/src/auth/microsoft/callback.rs）：handle() 先处理 error 参数、 之后才校验 state，于是任意一次 `GET http://localhost:{port}/auth?error=access_denied` （state 随便给甚至不给）都会让 wait_for_code 直接返回 Canceled，登录被静默中止、账户不入库 —— 不需要知道随机 state、不需要 code、不需要任何凭据。违反 RFC 6749 §4.1.2.1 / RFC 9207 （错误响应同样要校验 state），也与本模块「与本次登录无关的请求一律继续等待」的声明矛盾。 - state 校验提到 error 之前：state 不匹配的请求（无论带不带 error）一律 400 后继续等； 只有带**本机 state** 的 access_denied 才判 Canceled。模块文档第 4 条同步改写。 - 顺带采纳 reviewer 的两条非计数观察： * 读头预算改为 accept 之后按 deadline 重算（原来复用 accept 前的 remaining， 总时长可超发 ≤5s）；预算归零直接超时。 * state 由 64 位升到 128 位（两个独立随机种子的 SipHash 输出拼接），对齐 RFC 6749 §10.10 的熵建议；新增单测断言 32 位 hex 且每次不同。 - 新增回归用例（crates/core/tests/auth/microsoft_authcode.rs）： `foreign_state_cannot_cancel_the_login` —— 先发 `?error=access_denied`（无 state） 再发 `?error=access_denied&state=not-our-state`，两次都必须 400 且服务器继续等待， 随后真回调拿到 code；`access_denied_with_our_state_is_still_canceled` 钉住另一半语义。 既有的「陈旧 state 回 400 后继续等」用例保持通过。 门禁：cargo fmt --all --check OK；cargo clippy --workspace --all-targets -- -D warnings exit 0 无告警；cargo test -p unlucky-core -p unlucky-app 18 个 suite 全绿（auth 59 例）。 AskaEth <i@yeij.top>	2026-11-01 08:33:11 +08:00
AskaEth	8194e38bcf	feat(core): 加 MSA 授权码流（本地回调服务器）并接到账户页 ... research/08 方案 A：GUI 的微软登录改走授权码流（HMCL 主流做法），设备码流保留给 CLI/无浏览器场景。两条流只差「怎么拿到 MS access_token」，拿到之后共用 chain::complete_chain 与 MicrosoftSession，落盘/刷新语义没有第二套。 core（crates/core/src/auth/microsoft/） - endpoints：新增 authorize（…/consumers/oauth2/v2.0/authorize），与 token 同租户。 - authcode：RedirectUri 是 http://localhost:{port}/auth 的唯一来源（授权 URL、 token 请求体、实际监听三处共用，坑 5）；AuthCodePolicy（回调超时 300s / 绑定重试 3 次 / 固定端口 / 固定 state）；authorization_url（response_type=code + prompt=select_account + scope=XboxLive.signin%20offline_access）；exchange_code 复用 flow 的 oauth_error/tokens_from。 - callback：本地 HTTP/1.1 回调服务器。内核分配端口（占用按次数退避重试）；非 /auth 路径 （favicon、预连）404 后继续等；state 不匹配 400 后继续等；error=access_denied 归 Canceled； 单条连接读头超时 5s，半开连接拖不垮时间预算。 - MicrosoftAuth::authcode_login(present)：绑端口 → present（宿主开浏览器）→ 等回调 → 换 token → 整链；失败与设备码流一样落 M38 失败日志。 app（crates/app） - AppCommand::StartBrowserLogin + host::accounts::start_browser_login；设备码/授权码共用 LoginJob 取消槽位、收尾入库（store_session）与面板 DTO。 - host::opener 用系统默认浏览器打开授权 URL（Windows rundll32 url.dll,FileProtocolHandler）。 - 账户页：主按钮「微软登录」走授权码流，「设备码登录」作备用；DeviceLoginView::browser_waiting 在面板里给出可复制的授权链接（user_code 留空）。 测试 - crates/core/tests/auth/microsoft_authcode.rs：授权 URL 向量（租户/编码/prompt）、 URI 一致性（授权 URL 与 token 表单同字面量）、mock 全链、favicon+陈旧 state 后仍拿到 code、 端口占用重试文案、超时、access_denied→Canceled、login_with_xbox 403 的 M38 诊断 （detail_code=login_with_xbox_403，真机白名单未批时验收止步于此）。 - 单测：authcode 编码/向量、callback query 解码与错误分流、DTO browser_waiting、conv 面板。 未做/未验证：真机完整登录需 Azure 公共客户端 id（ULL_MSA_CLIENT_ID）与 Minecraft API 许可， 本机只能到「授权页 302 到 login.live.com 且 redirect_uri/scope/prompt 原样保留」这一步。 AskaEth <i@yeij.top>	2026-11-01 08:33:11 +08:00
AskaEth	bc41dfcf7d	Unlucky Launcher v0.0.1-alpha ... Rust 原生单文件 Minecraft 启动器：CLI 完整可用（install/launch/accounts/java/diagnose/agent）， MCP server 接入外部 Agent 工具，GUI 开发中。	2026-10-31 21:54:10 +08:00