[
  {
    "stage_index": 1,
    "name": "Goal & Precondition Check",
    "action_type": "setup",
    "description": "Verify goal specification and assert that preconditions are satisfied in the current environment."
  },
  {
    "stage_index": 2,
    "name": "Action Dispatch & Guard Rails",
    "action_type": "dispatch",
    "description": "Dispatch action to target environment with strict timeout and resource caps."
  },
  {
    "stage_index": 3,
    "name": "Invariant & Postcondition Verification",
    "action_type": "output_validation",
    "description": "Execute deterministic postcondition checks on state transition."
  },
  {
    "stage_index": 4,
    "name": "Budget & Termination Evaluation",
    "action_type": "stop_evaluation",
    "description": "Decrement step/cost budget; check if terminal goal node reached."
  }
]