Function staysPut

test/compute-engine/fungrim-loader.test.ts:1558–1561

(input: unknown)

});

describe('Phase 3: complex-guard rules under a real declaration (SYM P1-21)', () => {
  // A complex-guarded corpus rule (fungrim:072166, Arctan(iz) → i·Artanh(z),
  // whose only guard is a `type:complex` on the single wildcard) must fire
  // for a real/integer/rational-declared subject, exactly as it does for a
  // complex one — the pack treats RR/ZZ/QQ as finite-domain like CC.
  const fires = (decl: string): boolean => {
    const ce = new ComputeEngine();