Function solved

test/compute-engine/fungrim-loader.test.ts:708–715

(eq: string, opts?: { solve: boolean })

        /^fungrim:([0-9a-f]{6}|[a-z][a-z0-9]*(-[a-z0-9]+)+):solve$/
      );
      expect(r.guards).toEqual([]);
      // Root-template shape: match is `Add(…, __b)`, an Add of the inner
      // function term(s) and the constant offset.
      expect(Array.isArray(r.match) && (r.match as unknown[])[0]).toBe('Add');
    }
    // Default load skips them; {solve:true} routes them to ce.solveRules.
    const ceDefault = new ComputeEngine();
    expect(loadIdentities(ceDefault).byTarget.solve).toBe(0);

    const ce = new ComputeEngine();
    const report = loadIdentities(ce, { solve: true });