task_graph__binary_tree__child_structure_node_count¶
Program Contract¶
Program: count(filter(nodes(binary_tree), child_structure=target_structure)); scene=binary_tree; scope=child_structure_node_count
Candidate set: the visible graph, tree, network, route, matrix, table, node, edge, label, weight, path, and option elements inside the child_structure_node_count objective scope.
Operands: visible scene state and prompt-bound operands named by filter, nodes, binary_tree, child_structure, target_structure, child_structure_node_count.
Operation: evaluate count over the candidate set using the visible graph structure, labels, weights, directions, reachability, paths, connectivity, or option-selection constraints encoded in the program expression; generation enforces a unique final answer.
Output binding: answer uses the integer schema; generation binds a unique final answer.
Annotation witnesses: annotation uses the point_set schema; the prompt/annotation contract defines the minimal visual witnesses.
Query ids: single.
Reasoning Operations¶
Families: filtering, counting, topology
Summary¶
- Domain:
graph - Scene id:
binary_tree - Scene:
counting - Task id:
task_graph__binary_tree__child_structure_node_count - Objective: count binary-tree nodes by child structure.
Query IDs¶
leaf_node_count|internal_node_count|single_child_node_count|two_child_node_count- Query ids are internal replay metadata; public sampling is at the task-id level.
Answer And Annotation¶
- Answer type:
integer. - Annotation schema:
point_set. - Annotation marks node-center pixel points for every matching binary-tree node.
- Count tasks require
answer_gt.value == len(annotation_gt.value)unless the annotation schema is keyed or sequence based.
Rendering Contract¶
- The scene uses the graph-domain renderer for
binary_tree. - Visual style, fonts, panel treatment, layout jitter, and post-render noise are non-semantic and must be recorded in trace metadata.
- Annotation projection is computed after final layout and style placement.
Prompt Contract¶
- Prompt text comes from graph prompt assets, not hardcoded user-facing text.
- Answer mode emits
{"answer": ...}. - Answer-and-annotation mode emits
{"annotation": ..., "answer": ...}with annotation matching the schema above.