Function ExecuteGoalPostconditions

ExecuteGoalPostconditions(
    posts: GoalPostcondition[],
    observed: {
        elements: InteractiveElement[];
        url: string;
        volatileParams?: string[];
    },
): { passed: boolean; results: GoalPostconditionResult[] }
Execute distilled goal postconditions against an observed end-state (URL + interactive-element list). Pure — the engine supplies the observed facts.
Parameters
- posts: GoalPostcondition[]
- observed: { elements: InteractiveElement[]; url: string; volatileParams?: string[] }
Returns { passed: boolean; results: GoalPostconditionResult[] }
- Defined in packages/AI/ComputerUse/src/engine/verdict.ts:83