custom function に狭い schema を与える

02 / OPERATE

3段階の field procedure

1. 01

   contract を lock

   caller、data classification、success condition、timeout、cancel、ownership を記述します。model が private data や text generation を超える bounded action を必要とするときに使う。

2. 02

   bounded path を実行

   correlation、typed state、reversible failure を持つ一つの end-to-end path を作ります。model は call を要求し、認証済み application code が argument を検証・実行して typed result を返す。

3. 03

   signal を検証

   acceptance を再実行可能な fixture、contract test、browser test にします。replay test で duplicate call の安全性と全 error branch の型を確認する。