MathCanvas 桌面版 v0.2.0（Windows x64）

MathCanvas 桌面版 v0.2.0（Windows x64）

免安装 mathcanvas-desktop.exe、NSIS 安装包 MathCanvas_0.2.0_x64-setup.exe、MSI MathCanvas_0.2.0_x64_en-US.msi。
本机实测：npm --workspace @draw/desktop run bundle exit 0；免安装 exe 真的启动过（10 秒后仍存活、窗口标题 MathCanvas、47 个 WebView2 进程、随后干净退出）。

自 v0.1.0 以来的 37 个提交

四份 2026-09-21 计划（设计真源：docs/superpowers/specs/2026-09-21-incremental-geometry-agent-and-conversations-design.md）

• 统一 Solid 与拉伸式 Prism：Prism(basePolygon, vector) 为真源，规范里「底面平面 + 二维多边形」的写法在编解码边界抬升为世界坐标后接受；拓扑纯函数生成、子对象 id 确定性、id 取文档占用集；外接球 / 内切球 / 截面返回 exact/undefined/degenerate/approximate 四态；旧 .mgeo 可读。
• Reactive DAG：纯 evaluator 图（拓扑增量、先拒环、结构化诊断）、参数化宿主约束、三角形五心与外接 / 内切圆、切线 / 截面 / 测量 / 轨迹（自适应采样，临时 Trace 不入历史，一次拖动一步撤销）。
• Agent DSL 与参数审计：六层编译（传输解析 → 字段审计 → 引用解析 → 参数补全 → 几何语义校验 → 隔离草稿动作编译）、欠定特值选择保留符号参数、一次性修复、版本化系统提示。
• 多会话上下文：SQLite 迁移 v3（会话 / 消息 / 事实三表）、8 条具名 IPC、会话绑定 project/document/workspace、上下文按 §5.3 预算组装并在一次运行内固定、摘要按文档存放。

收口轮：Solid 派生读数进属性面板与模型观测（approximate 与 exact 可区分、超限时模型看得见 truncated_derived）；编译阶段的一次性修复回路真正接通（只修一次、与运行预算共享、提交的是通过编译的那一份）；会话事实 stale/retracted 与摘要落盘诊断。

外部审查发现的修复（2 Critical / 14 Important / Minor 16 条中 15 条）：桌面文档仓储不再用随机 id 探针（SQLite 重新成为文档真源）、一次性同意绑定草稿基 handle、批量提交、附件引用登记与单事务导入、内容哈希校验、删除目标接受棱柱、事务校验当前文档、棱柱朝向与描述符重对齐、三角形心与轨迹采样、引用字段全覆盖、等待相位说清缺什么、空操作走成功通道等；逐条见 docs/project-progress.md 的「已知缺陷清单」与 docs/research/external-audit-2026-09-22/。

新能力：正四面体切片（内核构造器 → solid.create_tetrahedron 动作 → 传输层 / 能力表 / 技能清单 / 提示词 + 本地规划器）。

现场缺陷修复：棱锥不再套用立方体形状；工作区判据不再由第一笔动作决定（平面文档里也能建立体）；流式工具调用参数按 index 攒分片（不再把半截 JSON 当字符串发下去）；信封不是对象时说清实际形状并把模型原文（有界）留在开发者详细视图。

验证（本机实跑）

npm test 215 个测试文件 / 2611 用例通过 + 1 todo；npm run typecheck 6 个 workspace exit 0；npm run lint 0 error / 14 warning；npm run test:e2e 140/140；npm run test:rust 232 例通过 + 3 ignored。