Function rootsAsEquations

src/compute-engine/boxed-expression/solve.ts:98–110

(
  ce: ComputeEngine,
  x: string,
  roots: ReadonlyArray<Expression>
)

 * conditions already refuse to fire on a decidable-False ratio, so a numeric
 * ratio reaching here has a `True` guard and collapses to the bare root.
 *
 * Thin alias over the shared `conditionalValue` chokepoint
 * (`boxed-expression/conditional-value.ts`), which Sum/Integrate now also use.
 */
function conditionalRoot(
  ce: ComputeEngine,
  root: Expression,
  guard: Expression
): Expression | null {
  return conditionalValue(ce, root, guard);
}

//
// ── Solve trace ─────────────────────────────────────────────────────
//
// `expr.explain('solve')` threads an optional `RuleSteps` accumulator