9 Commits

Include renames

Author	SHA1	Message	Date
AskaEth	5d58301e2e	fix(ci): M91 r4 —— 属性内复用主状态机（终结属性内 raw string / 字符字面量盲区） ... 根因：属性外的状态机（普通/行注释/块注释/字符串/raw/字符）只覆盖属性外；属性内另写了一套 「遇 " 跳到下一个 "」，于是属性内的 raw string 与字符字面量完全不认识： - 假绿：`#[doc = r#"a "b"#]` 之后跟一个真 `#[allow(unsafe_code)]` → exit 0（r2 能抓到，是新盲区） - 误红：`#[doc = r#"x" allow(unsafe_code) is banned "y"#]`（纯文档）→ 被报「多出来的 unsafe 落点」 修法（结构性，不是补分支）：把逐字符分派抽成 step()，主循环与属性解析**共用同一个函数**； 属性解析只多保留一层「[ ] 深度决定何时离开属性」。属性内的字符串/raw/字符字面量因此与 属性外同一套识别，两处永不发叉。 - g_plain 标记「该位置是否处于普通态代码」：注释与字符串内容既不参与属性起点判定， 也不参与属性内的 [ ] 计数与文本匹配（所以纯文档里的 allow 文本不会误报） - 回归用例写进 yml 注释：四个形态（含 CRLF）+ 反方向纯文档例，改词法器前先跑 - 已验：gawk 5.4.0 / gawk --posix / mawk 1.3.4（debian:bookworm-slim）三种实现对四个 回归用例与全仓 601 个文件给出完全一致的结果（恰好一个落点）	2026-11-02 15:33:48 +08:00
AskaEth	03ce813c32	fix(ci): M91 r3 —— unsafe-scope 门禁换成词法器（括号字面量/expect/块注释三处假绿根治） ... 必修 1：不配对括号字面量把 r2 的「全文净深度合并」带偏，文件尾部永久不可见 - r2 用「方括号净深度」决定续行合并，但 ['[', '(']、"[2"、starts_with("[2") 这类字面量 会让深度永久偏离 0（实测 601 文件里 10 个扫到 EOF 仍非 0），于是该文件后面的一切都被跳过： 在 gate.rs 尾部追加作用域 allow，r2 门禁 exit 0（假绿） - 换成逐字符词法器：普通 / 行注释 / 块注释（可嵌套）/ 字符串 / raw 字符串 / 字符字面量， 只在普通态认 `#` 或 `#!` 紧跟 `[` 的属性起点，只在这一个属性内部累计到 `]` 配平； 数组字面量跨行不再参与合并 必修 2：`#![expect(unsafe_code)]` 既绕过门禁也绕过 workspace 的 deny - 判据从 allow 放宽到 (allow|expect)：expect 同样放行 unsafe（rustc -D unsafe_code 实测通过） 必修 3：块注释里的属性文本被当成第二个落点（与「注释刻意不算」的承诺相反） - 词法器带块注释状态机（含嵌套），行注释/块注释/字符串里的属性文本都不算 顺带 - 已知边界对齐事实：宏体里直接写出的属性**会**被扫到；真正漏的是「宏在别处定义、这里只调用」； 补两条：注释/字符串里的属性文本刻意不算、manifest 侧 [lints.rust] unsafe_code 不在扫描面 - 候选文件用 git grep -l unsafe_code 预筛（标识符不会被空白拆开，不会漏），整个 job 约 1~2 秒	2026-11-02 15:16:14 +08:00
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	e9034a40c8	fix(guards): design 零依赖门禁覆盖 dev/build 依赖表（M89 复审 p2-2） ... cargo tree --edges normal 看不到 dev-dependencies / build-dependencies，而 design 对外承诺的是「零第三方依赖」，不分 normal/dev/build。新增一步「依赖表必须为空」： 按表头切出 dependencies / dev-dependencies / build-dependencies / target.*.dependencies （含 [dependencies.serde] 子表写法，表头携带包名），有任何一个键即失败；原「依赖树只允许 出现自身」那步保留，两道互补。 实测：基线绿；[dev-dependencies] serde 红（同一时刻 tree step 仍绿，正是原来的盲区）； [build-dependencies] digest 红。老 job（core-no-ui / file-size / licenses）解析后仍与 main 相等。	2026-11-02 11:19:16 +08:00
AskaEth	48061c3f31	fix(guards): presenter 依赖表检查覆盖 [dependencies.slint] 子表写法（M89 复审 p2-1） ... 原判据要求表头是 `[dependencies]`，`[dependencies.slint]` / `[target.'cfg(windows)'.dependencies.slint]` 这类合法子表既不匹配、表头又被 next 吃掉，整段内容完全不查。配合「子表 + optional + 非默认 feature」可让依赖表与 cargo tree 两步同时绿。 - 表头正则加 `(\.[^]]*)?`，并把带子表后缀的表头本身纳入检查（表头携带包名）。 - 实测：基线绿；`[dependencies.slint]` 红；子表+optional+feature 红；target.* 变体红； `[dependencies.serde_json]` 不误报（仍绿）。	2026-11-02 11:19:15 +08:00
AskaEth	56bc52756b	ci(guards): 新增 presenter 零 UI 与 design 零第三方依赖两道门禁（M89） ... - presenter-no-ui：照 core-no-ui 的「依赖表 + cargo tree」双查，名单一致 （slint/egui/eframe/iced/winit/gtk/javafx/tauri/fltk/druid/relm）。 依赖表检查按表头切出依赖表再查键名——presenter 的 description 合法地写着 「Slint 版与 iced 版共用」，core-no-ui 那种整文件 grep 在这里会误报。 - design-zero-dep：cargo tree -p unlucky-design --edges normal 只允许出现自身一行， 把 README 明写的「零第三方依赖」卖点从人肉守变成 CI 守。 - 两条都 fail-closed：cargo tree 自身失败（crate 改名/解析异常）同样红； 失败信息给出命中清单与放哪里的建议。 - 未改任何已有 job 的语义（core-no-ui / file-size / licenses 原样）。	2026-11-02 11:19:14 +08:00
AskaEth	95e8a5ca42	fix(ci): M67 文件行数守门补上 *.py / *.sh —— 脚本不再漏网 ... file-size job 原先只扫 *.rs/*.md/*.slint/*.yml/*.yaml/*.toml/*.json， packaging/ 下的构建辅助脚本（make_artifacts.py、check_screenshot.py、 linux-smoke-docker.sh）完全没有任何行数保护。 - 在 git ls-files 的 pathspec 末尾加 '*.py' '*.sh'，语义不变（>400 行即硬失败） - 保留 LICENSE*/CHANGELOG* 排除；Cargo.lock 等机器生成文件刻意不入列 - 阈值、失败方式（::error + exit 1）均未改动	2026-11-01 16:22:51 +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