decompose-and-or-goal

Purpose

Recursively decompose a goal into an AND/OR DAG whose leaves are executable or testable subgoals.

Input contract

required: [top_goal, constraints]
optional: [actor_profile, obstacle_report, existing_subgoals]
constraints: [branch semantics, dependencies, and leaf criteria must be explicit]

Procedure