AI ワークフローの制御契約

実行の完了から、根拠のある判断へ。

エージェントの行動を証拠、権限、実際の成果に結びつけ、次の判断を検証可能にします。

0.1 · 実行可能な候補0.2 · 計画中・未リリース
判断の例

Provider の処理は完了。成果の証拠はまだありません。

execution
COMPLETED
evidence
MISSING
authority
ACTIVE
promotion
HOLD
reconciliation
MATCHED
observedOutcome
UNKNOWN

次の手順:成果の証拠を収集し、owner が昇格を判断します。

説明用の例・実際の評価 receipt ではありません

HelmLoop / 概要

HelmLoop は runtime に依存しない制御契約プロトコルです。実行、証拠、権限、昇格、照合、観測成果を別々の状態として扱い、実行と権限管理は host に残します。

HelmLoop

6 つの問いを、分けて扱う。

Graph の完了だけでは次の判断はできません。現在の証拠、権限、外部の実態も必要です。

01

execution

Executor が何を実行したか

02

evidence

必要 claim が fresh で support されているか

03

authority

正確な action が authorized か

04

promotion

Accountable owner が何を決定したか

05

reconciliation

Provider と observed external state が何を示すか

06

observedOutcome

独立 outcome evidence が何を示すか

0.1 / 実行可能な候補

現在確認できるもの

0.1 は 8 種類の record schemas、決定的な 6 軸 reducer、CLI、2 つの fixture adapters を含みます。公開パッケージや実 runtime の認証ではありません。

仕様を読む ↗
0.2 / 計画中・未リリース

次の判断を、明確な契約で。

0.2 は assurance 軸、権限イベント、成果観測、証拠の再採用を計画しています。r3 / sync-4 の提案であり、未実装です。

0.2 計画を見る ↗

HelmLoop

現在のソースから開始

ローカル checkout で Node.js 20 以降を使用します。fixture を実行し、実 provider は呼び出しません。

独立した helmloop try は 0.2 の計画項目で、現在の CLI にはありません。

Protocol 0.1 ↗
SOURCE CHECKOUT / FIXTURE
node bin/helmloop.mjs schemas
node bin/helmloop.mjs conformance --adapter core

HelmLoop

所有権を明確に

スケジュール、状態、権限、実行、業務上の事実は host が管理します。Better Workflows は任意の統合先です。

  • completed ≠ PROMOTE

    Runtime completion は portfolio / release promotion を決めない。

  • intent ≠ action authority

    Goal、prompt、handoff は side-effect permission を生成しない。

  • receipt ≠ business outcome

    Trace / provider receipt は event の証明であり、下流価値の証明ではない。

  • instance nesting ≠ ownership

    Parent/child topology は resource / decision ownership を移転しない。

  • preference ≠ authority

    Preference は提案を導けますが、action を承認できません。

FAQ

よくある質問

HelmLoop とは?

AI ワークフローの実行、証拠、権限、昇格、照合、成果を区別する、runtime 非依存の制御契約です。

0.2 は利用できますか?

まだです。現在は 0.1 候補です。10 records・7 軸の 0.2 は計画段階で、公開や実 runtime 検証は完了していません。

Better Workflows は必須ですか?

必須ではありません。neutral package と個別 binding を分離する計画です。

fixture PASS は可搬性の証明ですか?

いいえ。mock 2 と real 1 も独立した実 runtime の適格なペアを代替しません。