task_symbolic__clock__offset_readout¶
1) Identity¶
- Domain:
symbolic - Scene id:
clock - Scene:
clock - Task id:
task_symbolic__clock__offset_readout - Objective: read one analog clock and apply a minute offset.
Program Contract¶
Program: clock.offset_readout(scene=clock, scope=single_two_hand_clock_with_time_options, query=minutes_after|minutes_before, output=option_letter)
Candidate set: the six labeled answer cards below the single visible analog clock.
Operands: the displayed time, sampled minute offset, and offset direction.
Operation: read the displayed time and add or subtract the requested offset in 12-hour time.
Output binding: answer is the option label whose card shows the resulting zero-padded HH:MM time.
Annotation witnesses: the scalar bbox of the selected answer card.
Query ids: minutes_after, minutes_before.
Reasoning Operations¶
Families: formula_evaluation
2) Scene + Task Contract¶
- Public branch metadata:
query_id - Supported public
query_id:minutes_after,minutes_before - Supported non-semantic visual axes:
scene_variant:classic|minimal|outlinestyle_variant:accented|marker|studioaccent_color_name: shared symbolic clock colorsanswer_gt.type:option_letter- Answer schema: one visible option label from
AthroughF. annotation_gt.type:bbox- Annotation schema: scalar
bboxfor the selected answer card. - Scene contract:
- one two-hand analog clock is shown,
- six labeled time answer cards are shown below the clock,
- the answer is the displayed time plus or minus
delta_minutes, - annotation marks the selected answer card only.
3) Prompt Contract¶
- Bundle:
symbolic_clock_v1 scene_key:clocktask_key:clock_offset_readout_query- Required slots:
- scene:
object_description - query:
delta_minutes - 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
bboxof the selected answer card. projected_annotationincludesbboxandpixel_bbox.render_mapincludes the clock center, hand tips, hand bboxes, face bbox, option bboxes, and selected option bbox.execution_tracerecords shown time, offset direction, offset value, raw answer time, answer label, option values, and resolved visual axes.
5) Determinism + Tests¶
- Deterministic sampling/rendering from
instance_seed. - Answers and annotation come from the finalized rendered clock geometry.
- Behavior/trace/prompt tests:
tests/test_symbolic_clock_readout_tasks.py - Contract/build tests:
tests/test_symbolic_clock_readout_contracts.py