動作與能力契約

區分動作探索、已安裝能力報告、預檢、執行與伺服器授權狀態。

概觀

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 首次成功執行。

已安裝引擎能力契約

能力結構為正確安裝、具有回執支援的版本定義以下狀態:

狀態

意義

real

已安裝版本提供文件所述的本機介面

partial

僅提供回報的子集

unavailable

已安裝版本無法提供該介面

default-off

此介面需要明確且有文件說明的同意選項

plan-only

動作傳回計畫,而非執行證據

依循 驗證下載 和 在 Linux 上安裝,再使用 alti capabilities。內嵌啟動程序會建立經驗證的目錄/回執配置;請勿將二進位檔複製至其他位置或偽造該狀態。已安裝就緒報告說明可用能力。設計或 GPU 作業已執行的證據,來自其執行結果。

問題

回答依據

此指令是否在此執行,結果為何?

指令本身的結束狀態,以及列出二進位檔、解析方式與狀態的回執行

此已安裝版本是否回報能力可用?

已安裝版本上成功的 alti capabilities 報告

成功的本機指令會回報該電腦上執行了什麼。依賴已安裝產品能力的自動化也應要求能力報告。

原始碼上傳需明確同意

封裝的 stdio MCP 伺服器在預設客戶模式中,會隱藏三個可包含原始碼檔案的規劃動作。它們需要獨立環境憑證並使用 Cloud 用戶端。目前公開版本不為這些動作提供完整遠端執行工作流程。

獨立的 ALTI_MCP_MODE=local-xls 模式提供固定的本機 XLS 工具,不透過 Cloud 派送。原生 ide cloud 操作使用自己的登入與明確上傳規則;客戶動作的僅規劃狀態不適用於所有 Cloud 工作區操作。

明確同意允許傳輸;它不會將僅規劃動作變成實際執行,也不會使遠端服務變成可用。

分別處理每個結果

自動化 CLI 時,請將以下結果作為不同狀態處理:

  • 本機能力可用;

  • 請求已驗證;

  • 已傳回計畫,但未執行;

  • 工作已被明確啟用的授權端接受;

  • 工作已完成並產生證據;

  • 能力或授權端不可用。

將這些狀態合併成單一成功值,可能使計畫或預覽看起來像已完成的工程工作。

選擇正確的結果契約

本機執行請記錄選取的引擎、輸入摘要、原生結束狀態與完整結果。已儲存檔案變更請保留計畫與套用回執,並重新讀取檔案。遠端作業請追蹤其 ID 直到終止狀態,再擷取並驗證實際結果。動作資訊清單項目只描述可呼叫的介面。

在自動化中,將本機引擎請求封套、客戶規劃動作與已儲存 Cloud RTL 作業分開處理。即使名稱包含「analyze」或「evolve」,它們的輸入結構、原始碼位置、驗證、提交與結果處理仍然不同。