Function assumeBound

src/compute-engine/assume.ts:1000–1010

* Assume `symbol bound` by delegating to `assumeInequality` (which * performs the §4.3 consistency checks and stores the normalized fact). * * Non-numeric or infinite bounds are skipped: membership in * `Range(1, +∞)` yields only the lower bound fact.

(
  ce: ComputeEngine,
  symbol: string,
  op: 'Less' | 'LessEqual' | 'Greater' | 'GreaterEqual',
  bound: Expression
)

    }

    if (
      assumeBound(ce, symbol, loStrict ? 'Greater' : 'GreaterEqual', lo) ===
      'contradiction'
    )
      return 'contradiction';
    if (
      assumeBound(ce, symbol, hiStrict ? 'Less' : 'LessEqual', hi) ===
      'contradiction'
    )
      return 'contradiction';
    return 'ok';
  }

  // 4. SetMinus(S, T): recurse on S, then store exclusions