Builders get a rubric for decision models as agent tools, from reasoning versus solving to typed contracts, infeasibility handling, and re-solve triggers.