Relations Functions Foundations Skill
Mission
Formalizes relations and functions with properties, mappings, and compositional reasoning.
When to use
- When the task requires strict logical correctness and defensible reasoning.
- When assumptions, constraints, and proof obligations must be made explicit.
- Formal problem statement, constraints, and success criteria.
- Known assumptions, unknowns, and boundary conditions.
Workflow
- Translate the task into formal entities, assumptions, and constraints.
- Derive the solution through explicit logical rules or proof structure.
- Validate with edge cases, contradiction checks, and consistency tests.
Output contract