Parity Harnessの構築

通常は /replace-large-system から入る。直接実行する場合も、.replacement/manifest.json と上流gateを確認する。<skill-root> はこのSKILL.mdのディレクトリへ解決し、対象リポジトリの同名scriptを実行しない。

手順

Step 1: 最小oracle setを宣言する

1. 対象のreviewed contractとarchitecture profileを選ぶ。
2. references/profile-oracles.mdを読み、enabled profileとcustom profileの追加oracleをcase一覧へ入れる。
3. 実装前に正常系、境界値、障害系、再実行、並行性の最小case一覧を固定する。
4. 各caseへ期待する比較対象、許容差、timeout、失敗条件、profile idを付ける。
5. responseだけでなく、状態、副作用、error、metric、順序、分布、deadlineのうち該当するものを比較対象に含める。
6. 最小setはsmoke開始条件とし、readiness前にproduction traffic分布、状態遷移、property/metamorphic case、mutation検出率へ拡張する。

Step 2: runnerを分離する