task_geometry__triangle_relations__angle_bisector_segment_value

Contract

1. Domain: geometry
2. Scene id: triangle_relations
3. Query id: single
4. Answer schema: integer_value
5. Annotation schema: segment
6. Scalar annotation checked: true

Program Contract

• solve_formula(visible_triangle_relations_measurements, unknown_role=segment_length, formula_schema=angle_bisector_theorem_segment_length); scene=triangle_relations; scope=angle_bisector_segment_value
• The visible construction marks and prompt state that AD bisects angle BAC. The requested segment may be either the whole base or one split base segment; that target segment role is internal trace metadata.

Reasoning Operations

Families: formula_evaluation

Prompt Bundle

• Prompt text is loaded from the scene prompt bundle configured for triangle_relations.
• Prompt modes: answer_only and answer_and_annotation.

Annotation

Prompt-facing annotation is the requested visual segment as [[x0,y0],[x1,y1]]. Formulas, labels, and construction metadata remain private verifier metadata unless they are themselves visual witnesses.

Determinism

Generation is deterministic for a fixed seed, params, config, and prompt bundle version.

Source

• Config: src/trace_tasks/resources/configs/domains/geometry/triangle_relations.yaml
• Task module: src/trace_tasks/tasks/geometry/triangle_relations/angle_bisector_segment_value.py