操作与能力契约
区分操作发现、已安装能力报告、预检、执行及服务端授权。
概述
CLI 提供操作清单、离线预检、已安装能力发现及显式原生命令。0.1.9 引导程序创建能力检查所需的已签名安装布局。这些输出回答不同问题;任何一个都不能作为其他项的证明。
客户操作清单
带版本的清单包含 25 个操作:
22 个操作标记为
executes=true;altifigence.analyze.run,altifigence.evolve.launch,以及altifigence.verify.run是三个仅规划操作。
executes=true 表示该操作定义为可执行。实际命令仍可能需要本地引擎、账户权限或远程服务。仅规划操作验证并返回计划,不运行作业。
使用 alti commands 检查当前二进制程序随附的清单。请勿复制其他版本的命令列表。
离线预检回执
离线 job validate 工作流验证一个有界的 CPU RTL 封装及安全的工作区相对源码。成功回执明确说明 submitted: false 和 server_authority_verified: false。它不运行本地引擎,也不联系托管服务。参阅 CLI 首次成功运行。
已安装引擎能力契约
对于正确安装且有回执支持的版本,能力格式定义以下状态:
状态 | 含义 |
|---|---|
| 已安装版本提供文档中的本地接口 |
| 仅报告的子集可用 |
| 已安装版本无法提供该接口 |
| 该接口要求按文档明确选择启用 |
| 操作返回计划,而非执行证据 |
请先按照 验证下载文件 和 在 Linux 上安装 操作,再使用 alti capabilities。嵌入式引导程序创建已认证的目录/回执布局;请勿将二进制程序复制到其他位置,也不要伪造该状态。安装就绪报告说明可用能力。设计或 GPU 作业是否运行的证据来自执行结果。
问题 | 回答来源 |
|---|---|
该命令是否在此处运行,结果是什么? | 命令自身退出状态,以及标明二进制程序、解析方式和状态的回执行 |
此已安装版本是否报告该能力可用? | 在已安装版本上成功的 |
成功的本地命令报告该设备上实际运行的内容。依赖已安装产品能力的自动化还应要求能力报告。
源码上传须明确同意
默认客户模式下,打包的 stdio MCP 服务器隐藏三个可能包含源文件的规划操作。它们需要独立环境凭据,并使用 Cloud 客户端。当前公开版本不为它们提供完整的远程执行工作流。
独立的 ALTI_MCP_MODE=local-xls 模式提供固定的本地 XLS 工具,不进行 Cloud 分派。原生 ide cloud 操作使用自己的登录及明确上传规则;仅规划客户操作的状态并不描述所有 Cloud 工作区操作。
明确同意仅允许传输,不会将仅规划操作变为真实运行,也不会使远程服务可用。
分别处理每种结果
自动化 CLI 时,应将以下结果视为不同状态:
某个本地能力可用;
请求已验证;
已返回计划但未执行;
工作已由明确启用的授权方接受;
工作完成并产生证据;
能力或授权方不可用。
将这些状态合并为单一成功值,可能使计划或预览看起来像已完成的工程工作。
选择正确的结果契约
本地运行应记录所选引擎、输入摘要、原生退出状态及完整结果。修改已保存文件时,保留计划和应用回执,并重新读取文件。远程作业应跟踪其 ID 直至终态,再获取并验证实际结果。操作清单条目仅描述可调用接口。
在自动化中分别处理本地引擎请求封装、客户规划操作及已保存的 Cloud RTL 作业。即使名称含有“analyze”或“evolve”,它们的输入格式、源码位置、认证、提交及结果处理仍然不同。