先定义“不做什么”
把研究对象、来源、环境、允许的观察方式写入任务卡。
WHY THIS DESIGN
逆向的最大成本不是分析，而是误入未授权边界。先锁定公开资料、授权实例、自建开源基线和本地隔离环境，AI 才有安全的搜索空间。
逆向的最大成本不是分析，而是误入未授权边界。先锁定公开资料、授权实例、自建开源基线和本地隔离环境，AI 才有安全的搜索空间。
↳scope.md
↳target-register.json
↳legal-checklist.md
授权边界 → 可观察面 → 退出条件
research concept · 2026
把逆向工程，
变成一条生产线。
不是复制一个功能，而是建立一套可审计、可回归、由 AI Coding 驱动的能力重建工作流：从行为证据出发，收敛为可验证的 CAM 原语。
AI × REevidence → parity
observed behavior
agentic coding
golden fixtures
human gate
local / explainable / replayable
01 / THESIS
这是一条研究假设，
不是已验收的结论。
上一层命题必须先降级：我们目前没有对 SolidWorks、NX 或任何商业 CAM 做过授权实验，因此不能声称流程已经有效。能做的，是把“为什么可能有效”拆成可证伪的实验，并在证据积累前保持怀疑。
核心转变：目标不是源代码，而是可被反驳的行为契约
面对商业软件，只讨论公开、授权或自有样本中的可观察行为。把“输入 → 状态 → 输出 → 约束”写成契约，再用独立实现验证等价性；不追求复制其内部实现，也不把猜测当事实。当前页面的确定性部分，仅来自 REA 源码文档中对本地分析、Evidence、limitations、录制与回放能力的描述；CAM 端的有效性仍然是待验证项。
0商业 CAM 现场实验次数
“没有参考对象的回放，只能证明我们的代码自洽，不能证明兼容。”
02 / WORKFLOW
六个闸门，
把不确定性变成资产。
点击每一步，查看它为什么存在、AI 在哪里发挥杠杆，以及最后留下什么可复用的产物。
HUMAN GATE
让行为留下证据
按场景采集 UI 状态、输入输出、文件差异和运行时轨迹。
WHY THIS DESIGN
AI 不应凭“看起来像”写代码。REA 将本地分析结果与 evidence、limitations 一起返回，允许模型追问、定位和复现，而不是编故事。
AI 不应凭“看起来像”写代码。REA 将本地分析结果与 evidence、limitations 一起返回，允许模型追问、定位和复现，而不是编故事。
↳session.ndjson
↳artifact.sha256
↳trace-map.json
场景录制 → 多视角观察 → 带来源结论
把观察压缩成能力契约
明确几何、刀路、材料和机床约束，不携带不必要的实现细节。
WHY THIS DESIGN
契约是跨软件、跨版本的稳定接口。它让 AI Coding 从“复刻画面”转向“实现可测量的能力”，也让差异可以被定位到输入、规则或输出。
契约是跨软件、跨版本的稳定接口。它让 AI Coding 从“复刻画面”转向“实现可测量的能力”，也让差异可以被定位到输入、规则或输出。
↳feature-contract.yaml
↳edge-cases.md
↳invariants.json
输入域 → 规则 → 输出域 → 不变量
AI Coding 负责快，人负责方向
Agent 读取证据与契约，生成小步实现、测试和解释。
WHY THIS DESIGN
让模型在“受约束的局部问题”里高频试错：每轮只改一个能力，自动生成 fixtures 和回归测试；人的时间留给选择边界、判定风险和处理真正的新信息。
让模型在“受约束的局部问题”里高频试错：每轮只改一个能力，自动生成 fixtures 和回归测试；人的时间留给选择边界、判定风险和处理真正的新信息。
↳plan.diff
↳implementation/
↳generated-tests/
检索上下文 → 小步编码 → 失败自修复
用回放，而不是感觉验收
同一输入在参考行为与独立实现上运行，比较可解释的差异。
WHY THIS DESIGN
几何和刀路容易“视觉相似但数值不同”。黄金样本、容差、失败分类和差分报告，才能让每次迭代形成可量化的反馈。
几何和刀路容易“视觉相似但数值不同”。黄金样本、容差、失败分类和差分报告，才能让每次迭代形成可量化的反馈。
↳golden-fixtures/
↳parity-report.html
↳regression.db
重放 → 差分 → 分类 → 修复
发布的是“可追溯版本”
通过人工门禁后，固化版本、证据、限制条件和撤回路径。
WHY THIS DESIGN
研究成果只有在能解释“来自哪里、验证过什么、不能做什么”时才适合继续传播。版本化和 kill switch 防止实验代码悄悄进入商业链路。
研究成果只有在能解释“来自哪里、验证过什么、不能做什么”时才适合继续传播。版本化和 kill switch 防止实验代码悄悄进入商业链路。
↳release-manifest.json
↳limitations.md
↳rollback.tag
人审 → 许可发布 → 可撤回
03 / VALIDATION
先做小实验，
再扩大叙事。
把工作流拆成三层证据：REA 能力、开源 CAM 基线、授权商业软件对照。每层都有明确的通过条件；未通过就不能进入下一层。
已知依据
REA 能留下可追溯证据FEATURE-LEVEL
REA README 明确描述了本地分析、Evidence 与 limitations；源码中也有 Evidence / fixture / replay 相关测试。它支持“证据优先”的工具链假设，但不等于 CAM 兼容性。
边界：REA 是功能级（feature-level）逆向工具，覆盖评估只在调用方声明的 boundary 内成立，不提供全应用级完整理解——我们只借用它的证据模型。
待验证
契约 → 独立 CAM 原语可收敛
先在 FreeCAD Path Workbench / CadQuery 上完成封闭腔、外轮廓、粗加工三个公开基线，再测量刀路、容差、失败模式和跨版本稳定性。
禁止声称
“已逆向 SolidWorks / NX”
在取得明确授权、完成法务审查并保留原始证据前，不发布兼容性结论，不导出商业软件资产，不把合成 Demo 写成成功逆向。
LOCAL CONTRACT CHECK / SYNTHETIC ONLY
现在就能运行的第一刀
这不是商业软件实验，而是验证“契约、夹具、回放、差分”这四个环节是否能闭环。点击运行 7 个合成夹具。
尚未运行 · 结果不会证明商业兼容性
实验 0REA evidence fixture先验证工具链能否保存来源与限制
实验 1FreeCAD / CadQuery baseline验证公开 CAM 原语与数值回放
实验 2授权软件对照需许可、法务确认、隔离环境、人审
04 / MARKET MAP
免费只是起点，
产业成熟度决定落地。
按授权、CAM 能力、自动化入口、MCP 现状和真实工业使用程度横向比较。产业成熟度是定性判断，不代表市场份额；“AI 友好”表示可被 API/CLI/脚本封装，不代表自带 AI。
| 软件 / 定位 | 免费与许可 | CAM 能力 | AI / API 友好度 | 产业成熟度 | 结论 |
|---|---|---|---|---|---|
| FreeCAD CAM / Path | 开源；LGPL2+；可商用但需审计组件和插件许可。 | 2.5D、标准三轴、部分 3D；后处理与脚本。 | 高 Python、CAM scripting、FreeCADCmd；官方 MCP 未确认。 | 中等 工程设计广泛使用；CAM 生产深度不如主流商业套件。 | 免费自动化首选；先做三轴 PoC。 |
| Kiri:Moto | MIT，免费开源，可自托管。 | Web CAM；2D/3D 刀路与 G-code 导出。 | 高 JavaScript Engine/Frame API；适合封装 MCP。 | 中等 真实 CNC/创客场景有使用，工业覆盖有限。 | 服务化/Agent 首选；需验证无头部署。 |
| PyCAM | GPLv3。 | 主要三轴，STL/DXF 等到 G-code。 | 中高 官方 CLI flow specification；现代依赖需验证。 | 研究/轻量 适合实验与批处理，不宜直接当工业平台。 | CLI 备选。 |
| FabexCNC / BlenderCAM | GPLv3 为主，部分文件有例外。 | Blender 内 2D/3D milling；连续五轴不应默认。 | 中 Blender Python；context/headless 需实测。 | 研究/轻量 网格与 Blender 社区使用，工业 CAM 证据有限。 | 网格加工备选。 |
| OpenBuilds CAM | AGPL-3.0，免费开源 Web CAM。 | DXF/SVG/Bitmap/Gerber 到 G-code，偏轻量 CNC。 | 中低 官方未确认稳定 REST/CLI/headless API。 | 中等 创客和轻型 CNC 有真实使用，工业深度有限。 | 轻量 2D/3D 备选。 |
| LinuxCNC | 开源免费；它是控制器，不是完整 CAM。 | 实时运动控制、G-code 执行、HAL/INI。 | 中 Python filter、MDI、用户 M-code。 | 工业成熟 真实机床和改装设备长期使用；不能替代 CAM 规划。 | 作为 AI 流水线执行端。 |
| Fusion 360 | Personal 仅个人非商业且 CAM 受限；商业版付费。 | 完整 CAD/CAM 生态，2–5 轴能力取决于版本。 | 高 官方 Fusion API；Autodesk FusionMCPSample 是 MCP reference。 | 工业成熟 真实制造广泛使用。 | 集成最强，但免费条件不适合通用商用。 |
| SolidCAM | Maker 免费但仅制造商/爱好者/学生，禁止商业用途；依赖 SOLIDWORKS。 | 工业级铣削/车削，多种模块和后处理。 | 低/未证实 未找到公开 REST/CLI/headless CAM API。 | 工业成熟 真实制造业广泛使用。 | 工业成熟，但不适合免费 Agent 优先选型。 |
| Estlcam | 官方免费版可无限期使用；许可条款按版本复核。 | 2D/2.5D、STL 3D、CNC 控制。 | 低/未证实 未找到公开 API/CLI/headless。 | 中等 业余、小型加工场景真实使用。 | 人工操作友好，AI 自动化弱。 |
| Onshape + CAM Studio | Free 是个人非商业；CAM Studio 主要面向 Professional/Enterprise Beta。 | 云 CAD 强；免费档不能等同免费 CAM。 | 中 REST API/FeatureScript；CAM API 未充分确认。 | 工业成熟 云 CAD 在真实工程使用；CAM 仍需看版本和计划。 | 云协作强，不是当前免费 CAM 首选。 |
| ZW3D / CAXA / 精雕 / 华中数控 | 国产商业软件；试用、教育和授权需逐家核验。 | ZW3D 官方公开 2–5 轴和后处理；其他产品能力较依赖具体版本/行业。 | 未证实 本次未核验到公开 MCP/REST/Python/CLI CAM SDK。 | 工业成熟 国产制造行业存在真实部署，市场覆盖和产品需分开判断。 | 应向厂商索取正式 SDK 和许可，不凭 GUI 推断 AI 友好。 |
证据边界：产业成熟度是公开资料和产品定位的定性分层，不是销量排名；“未证实”表示本次官方公开资料没有确认，不表示功能绝对不存在。完整来源见 完整调研报告（Markdown）。
04 / GUARDRAILS
研究可以大胆，
边界必须保守。
此页面描述的是调研型方法，不构成法律意见，也不建议对未获授权的商业软件、服务或数据执行操作。
风险面默认策略门禁
软件许可 / EULA只使用授权实例、公开资料和自建样本；记录地区与版本。人工确认
著作权 / 商业秘密重建行为契约，不复制源代码、资源、密钥或非公开实现。人工确认
反规避与安全不绕过 DRM、许可校验、访问控制；不触碰真实用户数据。禁止自动化
商业误用demo 只证明方法论，默认不开启生产导出、客户交付或兼容性承诺。隔离运行
05 / SAFE DEMO
一个可复放的
“能力重建”切片。
下面不是对任何商业产品的成功逆向声明，而是用公开、合成的铣削样本演示：输入契约如何经过 AI 辅助实现，变成一份可解释的刀路计划。Demo 的 PASS 只表示合成夹具通过，不表示参考软件等价。
REPLAY RESULT ● PASS
封闭腔 · pocket clearing
识别内腔边界，生成分层清除路径，并保留安全高度约束。
- contract
- pocket.v1
- tool Ø
- 6.0 mm
- stepdown
- 1.2 mm
- replay delta
- 0.08 mm
- evidence
- 7 synthetic fixtures
边界声明：这是方法演示与合成数据，不代表对 SolidWorks、NX 或其他商业软件的兼容性、互操作性或逆向成果。
THE OPERATING MODEL
让 AI 加速
探索，让证据决定
能否前进。
下一步不是安装更多工具，而是完成实验 0 和实验 1：先验证证据链，再验证公开 CAM 基线；只有结果可复放、差分可解释，才讨论授权软件对照。
研究状态HYPOTHESIS / UNVALIDATED
已有依据REA EVIDENCE MODEL
下一门禁OPEN CAM BASELINE
自动化边界NO UNAUTHORIZED ACCESS