task_symbolic__clock__equivalent_time_label¶
1) Identity¶
- Domain:
symbolic - Scene id:
clock - Scene:
clock - Task id:
task_symbolic__clock__equivalent_time_label - Objective: choose the labeled option display that shows the same time as a reference clock display.
Program Contract¶
Program: clock.equivalent_time_label(scene=clock, scope=reference_clock_display_with_six_options, query=analog_reference_digital_options|digital_reference_analog_options, output=option_label)
Candidate set: the six visible option displays labeled A..F.
Operands: the reference time and the time shown by each option display.
Operation: compare all option times to the reference time and select the unique equivalent option.
Output binding: answer is the selected option label.
Annotation witnesses: a bbox_map with reference and correct_option roles.
Query ids: analog_reference_digital_options, digital_reference_analog_options.
Reasoning Operations¶
Families: formula_evaluation, matching
2) Scene + Task Contract¶
- Public branch metadata:
query_id - Supported public
query_id:analog_reference_digital_options,digital_reference_analog_options - Supported non-semantic visual axes:
scene_variant:classic|minimal|outlinestyle_variant:accented|marker|studioaccent_color_name: shared symbolic clock colorsdigital_display_palette: display color paletteanswer_gt.type:string- Answer schema: one option label from
AthroughF. annotation_gt.type:bbox_map- Annotation schema:
bbox_mapwith rolesreferenceandcorrect_option - Scene contract:
- the reference appears above six visual options,
- exactly one option shows the same time as the reference,
- distractor options use distinct times separated by the configured gap.
3) Prompt Contract¶
- Bundle:
symbolic_clock_v1 scene_key:clocktask_key:clock_equivalent_time_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 a role-bound
bbox_map. referencemarks the reference clock/display;correct_optionmarks the matching option display.- Distractor options and option labels are not prompt-facing annotation.
projected_annotationincludesbbox_mapandpixel_bbox_map.render_mapincludes reference, option, and correct-option bboxes.
5) Determinism + Tests¶
- Deterministic sampling/rendering from
instance_seed. - Answers and annotation come from the finalized rendered reference and options.
- Behavior/trace/prompt tests:
tests/test_symbolic_clock_equivalent_time_tasks.py - Source-layout contract tests:
tests/test_public_source_layout_contracts.py