validate-goal-tree

Purpose

Check leaf specificity, testability, coverage of the parent goal, logical completeness, and dependency consistency.

Input contract

required: [goal_dag, top_goal, validation_criteria]
optional: [actor_profile, constraints, feasibility_annotations]
constraints: [each validation judgment cites the affected node and criterion]

Procedure