Schema: Transition Contract

目的

Transition Contract（状態遷移契約） は、アクターに渡す指示を作業依頼ではなく契約として記録するスキーマです。

目的は、遷移を Responsible Continuation（責任ある継続）として扱えるようにすることです。契約があるから、依頼側は「この範囲は変わらない」と依拠したまま実行を委ねられ、実行側は境界の内側で候補生成に集中できます。

参照形式

transition_contract:
  id: TC-001
  actor:
    type: human | ai | tool | organization
    role: Context Binder | Contract Writer | Transition Designer | Decision Support | Executor | Observer | Evaluator
  transition:
    current_state:
      summary:
      references:
        - ref:
    desired_state:
      summary:
      acceptance_conditions:
        - condition:
  contract:
    allowed_operations:
      - operation:
    forbidden_operations:
      - operation:
    invariants:
      - invariant:
    context_sources:
      allowed:
        - ref:
          reliance: allowed | consult_only
      excluded:
        - ref:
          reason:
    stop_conditions:
      - condition:
  warrant_required:
    calibration:
      target:
      severity: low | medium | high | incident
      pace: immediate | normal | delayed | hold
    precedent_citations:
      - precedent:
    evidence_required:
      - evidence:
    authority_required:
      - authority:
    rollback_or_recovery:
  uncertainty_handling:
    may_infer: true
    may_commit_inference: false
    if_affects_transition: stop_as_obstruction
    otherwise: return_as_completion_candidate
  projection_required:
    output_format:
    required_fields:
      - field:
    canonical_write_allowed: false
    invalidation_conditions:
      - condition:
  obstruction_handling:
    required_fields:
      - reason
      - affected_contract_field
      - next_needed_decision

必須項目

actor
transition.current_state
transition.desired_state
contract.allowed_operations
contract.forbidden_operations
contract.invariants
contract.stop_conditions
warrant_required
uncertainty_handling
projection_required
obstruction_handling

precedent_citations は任意です。先例を引用できる遷移では、evidence_required と authority_required を先例の水準まで軽くできます。

Stage の使い分け

Stage	Role	目的
Context Binding	Context Binder	参照してよい状態と未確定事項を固定する
Contract Formation	Contract Writer	遷移の契約を作る
Transition Candidate Generation	Transition Designer	契約を満たす複数の遷移候補を出す
Candidate Selection	Decision Support	候補を比較し、採用理由と不採用理由を残す
Transition Execution	Executor	採用済みの遷移だけを実行する
Observation	Observer	差分、テスト、影響範囲、残った Obstruction を観測する
Evaluation	Evaluator	契約違反、進行根拠の不足、投影の不足を検査する

注意

Transition Contract は、アクターを縛るためだけの形式ではありません。

アクターの能力を、許可された遷移に集中させるための形式です。

may_commit_inference: false の場合、推測を実装、正規記録、完了判断に反映してはいけません。推測すること自体は許されます。推測に依拠させないことが目的です。

context_sources.allowed の reliance は、参照と依拠を分けます。consult_only の参照元（生ログ、暫定候補など）は読んで検討してよいものの、その内容を前提として実装や判断に使ってはいけません。詳しくは Context Pool を参照してください。