task_symbolic__clock__time_extremum_label¶
1) Identity¶
- Domain:
symbolic - Scene id:
clock - Scene:
clock - Task id:
task_symbolic__clock__time_extremum_label - Objective: identify the labeled analog clock with the earliest or latest shown time.
Program Contract¶
Program: clock.time_extremum_label(scene=clock, scope=labeled_analog_grid, query=earliest_time_label|latest_time_label, output=clock_label)
Candidate set: the six visible labeled analog clocks.
Operands: the displayed time on each clock and the requested extremum direction.
Operation: compare all shown times and select the unique earliest or latest clock.
Output binding: answer is the selected visible clock label.
Annotation witnesses: the scalar bbox of the selected clock face.
Query ids: earliest_time_label, latest_time_label.
Reasoning Operations¶
Families: ranking
2) Scene + Task Contract¶
- Public branch metadata:
query_id - Supported public
query_id:earliest_time_label,latest_time_label - Supported non-semantic visual axes:
scene_variant:classic|minimal|outlinestyle_variant:accented|marker|studioaccent_color_name: shared symbolic clock colorsanswer_gt.type:string- Answer schema: one visible clock label.
annotation_gt.type:bbox- Annotation schema: scalar
bbox - Scene contract:
- six analog clocks are labeled with unique letters,
- exactly one clock has the requested extremum time,
- the extremum clock is separated by at least the configured comparison gap.
3) Prompt Contract¶
- Bundle:
symbolic_clock_v1 scene_key:clocktask_key:clock_time_extremum_label_query- Required slots:
- scene:
object_description - answer output:
json_output_contract_answer_only,answer_hint,json_example_answer_only - answer+annotation mode:
json_output_contract,annotation_hint,answer_hint,json_example - Modes:
answer_only,answer_and_annotation
4) Annotation + Trace Contract¶
- Prompt-facing annotation is the scalar bbox for the selected clock face.
- Clock labels, non-winning clocks, hands on non-winning clocks, and panel background are not prompt-facing annotation.
projected_annotationincludesbboxandpixel_bbox.render_mapincludesclocks_by_label,winning_label, andwinning_clock_bbox_px.execution_tracerecords all visible clock labels and shown times.
5) Determinism + Tests¶
- Deterministic sampling/rendering from
instance_seed. - Answers and annotation come from the finalized rendered clock grid.
- Behavior/trace/prompt tests:
tests/test_symbolic_clock_compare_tasks.py - Contract/build tests:
tests/test_symbolic_clock_compare_contracts.py