分析栈已交付 · M9 商业化进行中
OEM–供应商 AUTOSAR 工作流一个工作台， 看清整套交付。
Autarx 是一个 AUTOSAR 集成工作台：直接打开 OEM 交付物——System Description、System Extract、ECU Extract、ECUC 与通信 ARXML——让集成工程师在进入 vendor 工具链之前，先完成检查、检索、引用追踪与结构校验，再用语义 diff 与 ECU 影响分析看清每个变化，每条发现都带证据与修复路径。
先看清交付物，再开展 AUTOSAR 集成。
文件、引用、差异与报告如何关联？用工作流程说明，而非陈旧的原生窗口截图。
架构与工作流程概念图，非软件截图；具体能力以已验收版本为准。
交付接手后的缺口， 一个窗口补齐。
直接打开 ARXML
System Description、System Extract、ECU Extract、ECUC 与通信 ARXML——流式解析器直接读多文件交付包，无需 vendor 配置器。
工作区语义索引
每个 SHORT-NAME 都是可索引对象，带来源文件信息与跨文件引用图（*-REF / *-TREF）。
交付检查
一条 inspect 命令回答「这次 OEM 给了什么」：包清单、ECU 列表、网络与集群清单、SWC 与通信计数。
检索、引用、追踪
定位任意 signal、PDU、SWC 或 ECU 元素，跨文件追踪其引用。断链引用就地报告、不会被藏起来，每条发现附修复路径：追踪引用链、在 Objects 中打开、复制绝对路径。
语义 diff 与 ECU 影响分析
按路径身份对比两版交付——参数变化以 DEFINITION-REF 表述，绝非行号。影响分析把每个变化归类为「与本 ECU 相关/无关」，并给出可进 CI 的 breaking 发现。
通信链路投影
从引用图推导 Cluster → Frame → PDU → Signal 链路，并报告未挂接的孤儿对象——只陈述结构，不虚构收发方向。
厂商交接与受控编辑
校验中继给 DaVinci/tresos/ISOLAR，只归一化 vendor 自己的结论。编辑走 plan → review → apply → undo 步进：diff 未审阅前不落盘；apply 确认同屏说明改动范围、自动备份位置与 Undo 入口。
三平台原生工作台
macOS（SwiftUI）、Windows（WinUI 3）与 Linux（GTK4）原生宿主共用同一 Racket 语义引擎，已在三平台发布；界面样式当前为系统默认，品牌化界面已按设计契约定稿，随后续版本落地。
AI 与自动化的同一入口
autarx mcp 通过 Model Context Protocol 暴露完整工具 API——不存在裸写工具，agent 无法绕过审阅边界，每次调用都进审计日志；同一工作流也能在 CLI/CI 以稳定 JSON 运行。
不是配置器， 是工作台。
Autarx 不替代 DaVinci Configurator、EB tresos 或 ETAS ISOLAR。它补上的是收到 OEM 交付到打开 vendor 工具链之间的工程缺口——vendor 侧的校验与代码生成仍是权威路径。
| 桌面端 | 三平台原生宿主（macOS SwiftUI / Windows WinUI 3 / Linux GTK4）+ Racket 语义引擎 |
|---|---|
| 平台 | GUI：macOS 14+（Apple silicon / Intel）· Windows 10+（x64）· Linux（x64 / arm64）· CLI：macOS / Linux / Windows |
| 输入 | ARXML — System Description / System Extract / ECU Extract / ECUC / 通信，多文件交付包 |
| 自动化 | CLI 稳定 JSON 输出（CI / AI agent 友好）+ MCP 服务器 |
| 许可 | 源码可见，专有许可（source-available, proprietary） |
| 里程碑 | 分析栈已交付：语义引擎、语义 diff、ECU 影响分析、通信投影、厂商交接、受控编辑、MCP；三平台 GUI 宿主已上线；M9 商业化加固（授权、签名 / 公证、性能画像）进行中 |
先用合成 OEM 交付件试运行导入和索引；检查未解析引用、诊断与差异，再处理真实项目。遇到歧义结果应继续核查。
一个工作台， 三个桌面。
GUI 与 CLI 同一个引擎：macOS 以 dmg 交付，Windows 以 MSI 交付，Linux 以 deb / rpm / AppImage 交付；CLI 另有全平台自包含 zip。
更新机制：CLI 用 autarx update 自更新；三平台 GUI 都内置「检查更新」（macOS ⌘U / Win Ctrl+U / Linux Help 菜单），走同一条 Ed25519 签名的 update feed。Linux 的 deb / rpm / AppImage 副本按安装形态引导更新。每个资产都带 .sha256 校验文件。
从一次有效使用开始。
工程预览；完整官方工作台规划为买断，目前尚未开放付费购买。
提供 macOS、Windows、Linux Rivet 桌面预览；CLI 和 MCP 共用 Racket 领域核心。AUTOSAR 支持范围由产品契约规定，不代表支持所有 ARXML。
先打开合成 OemDelivery 夹具，再处理机密交付件。
检查未解析引用，对比两个副本，阅读影响分析；unknown 和歧义结果需要继续核查。
需要修改时，先生成 patch plan 和语义差异，审阅后仅在可丢弃的工作区副本中应用。
大型交付件性能预算和完整支持范围验收仍待完成（#22）。历史 .NET 发行版不是当前 Rivet 实现。