`graph` セマンティクス¶

skill.md の graph フィールドは、許可される Phase トランジションを宣言します。OS はそれを使って LLM が提案するすべてのトランジションを検証します。

構造¶

graph:
  outline: [expand]
  expand:  [end]

各キーは Phase 名です。各値は許可される次 Phase 名のリストです。特別なトークン end は「このトランジションがワークフローを終了する」を意味します。

graph:
  a: [b]
  b: [c]
  c: [end]

graph:
  triage:  [draft, escalate]
  draft:   [review]
  review:  [revise, end]
  revise:  [review]
  escalate: [end]

triage の LLM は draft または escalate を選べます。どちらの選択もグラフに対して検証されます。

Phase は自身を次の Phase としてリストできません。修正ループは別の Phase を使います（例: review → revise → review）。

entry（skill.md で宣言）は graph のキーでなければなりません。
すべての値リストのエントリーは graph のキーまたは end のいずれかでなければなりません。
end は phases/<name>.md に can_finish: true がある Phase からのトランジションにのみ現れることができます。
サブ Skill ノード（グラフ内の @sub_skill）を持つ Skill は同じルールに従います。OS はコンパイル時に埋め込まれた Skill を解決します。

グラフエントリーは @ を前置することで別の Skill を参照できます:

graph:
  prepare:    [@my_subskill]
  '@my_subskill': [aggregate]
  aggregate:  [end]

run_skill Control IR op は同じ名前解決を使います: reyn/project/ → reyn/local/ → src/reyn/stdlib/skills/。

reyn lint <skill_name> が強制します: