01 / DECIDE
架構決策
適合 calculation、data transformation、chart 與 reproducible analysis。
送入 bounded input、要求 named artifact，並在 execution environment 外驗證 calculation。 先把 input、output、state、tool 與 side effect 畫成一條可觀察路徑，再決定 把 code execution 當成 disposable compute 的 owner。
02 / OPERATE
三步野戰程序
- 01
鎖定合約
寫下 caller、資料分類、成功條件、timeout、取消與 ownership。適合 calculation、data transformation、chart 與 reproducible analysis。
- 02
執行有界路徑
只建立一條 end-to-end path，保留 correlation、typed state 與 reversible failure。送入 bounded input、要求 named artifact，並在 execution environment 外驗證 calculation。
- 03
驗證訊號
把驗收變成可重跑的 fixture、contract test 或 browser test。Independent fixture 驗證 result，拒絕 missing、malformed 或 oversized artifact。
03 / BOUND
Operation 邊界
Isolation 不會讓 arbitrary code 自動可信；限制 runtime、size、output 與 downstream effect。
04 / PROVE
驗收證據
Independent fixture 驗證 result，拒絕 missing、malformed 或 oversized artifact。
SOURCE / HTTP
可重現來源探針
curl -fsSI 'https://docs.x.ai/developers/tools/code-execution' | sed -n '1,5p'