task_geometry__trapezoid_extension__trapezoid_area_from_parallelogram_perimeter¶
Contract¶
- Domain:
geometry - Scene id:
trapezoid_extension - Task id:
task_geometry__trapezoid_extension__trapezoid_area_from_parallelogram_perimeter - Supported
query_idvalues:single - Answer schema:
number - Answer precision:
one_decimal - Annotation schema:
bbox - Scalar annotation checked:
true
Program Contract¶
solve_formula(visible_trapezoid_extension_measurements, unknown_role=area_measure, formula_schema=trapezoid_area_from_parallelogram_perimeter); scene=trapezoid_extension; scope=trapezoid_area_from_parallelogram_perimeter
Reasoning Operations¶
Families: formula_evaluation
Prompt Bundle¶
- Prompt text is loaded from
src/trace_tasks/resources/prompts/geometry/trapezoid_extension/geometry_trapezoid_extension_v1.json. - Prompt modes:
answer_onlyandanswer_and_annotation.
Annotation¶
Prompt-facing annotation is one pixel-space bounding box [x0,y0,x1,y1] around the original trapezoid ABCD. Numeric labels and construction metadata remain private verifier metadata.
Formula¶
The completed parallelogram has perimeter P = 2(DC + AD), so DC = P / 2 - AD. The original trapezoid area is then h * (AB + DC) / 2.
Determinism¶
Generation is deterministic for a fixed seed, params, config, and prompt bundle version.
Source¶
- Config:
src/trace_tasks/resources/configs/domains/geometry/trapezoid_extension.yaml - Prompt bundle:
src/trace_tasks/resources/prompts/geometry/trapezoid_extension/geometry_trapezoid_extension_v1.json - Task module:
src/trace_tasks/tasks/geometry/trapezoid_extension/trapezoid_area_from_parallelogram_perimeter.py