export declare const NUMBER_CONTRACT: { readonly name: "Number"; readonly kind: "primitive"; readonly strict: true; readonly operations: readonly [{ readonly id: "Number.negate"; readonly kind: "method"; readonly args: readonly ["Number"]; readonly returns: "Number"; readonly lowers: { readonly kern: "Number.negate($0)"; readonly ts: "__kernNumberNegate($0)"; readonly python: "__kern_number_negate($0)"; }; readonly fixtures: readonly [{ readonly args: readonly [3]; readonly returns: -3; }, { readonly args: readonly [-3]; readonly returns: 3; }, { readonly args: readonly ["3"]; readonly throws: { readonly code: "strict-type"; readonly message: "Number.negate expects Number."; }; }]; readonly review: { readonly summary: "Strict numeric negation over finite KERN Numbers."; readonly graph: readonly ["Number", "strict", "portable"]; }; }, { readonly id: "Number.add"; readonly kind: "method"; readonly args: readonly ["Number", "Number"]; readonly returns: "Number"; readonly lowers: { readonly kern: "Number.add($0, $1)"; readonly ts: "__kernNumberAdd($0, $1)"; readonly python: "__kern_number_add($0, $1)"; }; readonly fixtures: readonly [{ readonly args: readonly [2, 3]; readonly returns: 5; }, { readonly args: readonly [-2, 3]; readonly returns: 1; }, { readonly args: readonly [2, "3"]; readonly throws: { readonly code: "strict-type"; readonly message: "Number.add expects Number, Number."; }; }]; readonly review: { readonly summary: "Strict numeric addition over finite KERN Numbers."; readonly graph: readonly ["Number", "strict", "portable"]; }; }, { readonly id: "Number.subtract"; readonly kind: "method"; readonly args: readonly ["Number", "Number"]; readonly returns: "Number"; readonly lowers: { readonly kern: "Number.subtract($0, $1)"; readonly ts: "__kernNumberSubtract($0, $1)"; readonly python: "__kern_number_subtract($0, $1)"; }; readonly fixtures: readonly [{ readonly args: readonly [5, 3]; readonly returns: 2; }, { readonly args: readonly [3, 5]; readonly returns: -2; }, { readonly args: readonly [5, false]; readonly throws: { readonly code: "strict-type"; readonly message: "Number.subtract expects Number, Number."; }; }]; readonly review: { readonly summary: "Strict numeric subtraction over finite KERN Numbers."; readonly graph: readonly ["Number", "strict", "portable"]; }; }, { readonly id: "Number.multiply"; readonly kind: "method"; readonly args: readonly ["Number", "Number"]; readonly returns: "Number"; readonly lowers: { readonly kern: "Number.multiply($0, $1)"; readonly ts: "__kernNumberMultiply($0, $1)"; readonly python: "__kern_number_multiply($0, $1)"; }; readonly fixtures: readonly [{ readonly args: readonly [3, 4]; readonly returns: 12; }, { readonly args: readonly [-3, 4]; readonly returns: -12; }, { readonly args: readonly [3, null]; readonly throws: { readonly code: "strict-type"; readonly message: "Number.multiply expects Number, Number."; }; }]; readonly review: { readonly summary: "Strict numeric multiplication over finite KERN Numbers."; readonly graph: readonly ["Number", "strict", "portable"]; }; }, { readonly id: "Number.divide"; readonly kind: "method"; readonly args: readonly ["Number", "Number"]; readonly returns: "Number"; readonly lowers: { readonly kern: "Number.divide($0, $1)"; readonly ts: "__kernNumberDivide($0, $1)"; readonly python: "__kern_number_divide($0, $1)"; }; readonly fixtures: readonly [{ readonly args: readonly [6, 2]; readonly returns: 3; }, { readonly args: readonly [5, 2]; readonly returns: 2.5; }, { readonly args: readonly [1, 0]; readonly throws: { readonly code: "division-by-zero"; readonly message: "Number.divide division by zero."; }; }, { readonly args: readonly [6, "2"]; readonly throws: { readonly code: "strict-type"; readonly message: "Number.divide expects Number, Number."; }; }]; readonly review: { readonly summary: "Strict numeric division over finite KERN Numbers; zero divisor is a contract error."; readonly graph: readonly ["Number", "strict", "portable"]; }; }, { readonly id: "Number.remainder"; readonly kind: "method"; readonly args: readonly ["Number", "Number"]; readonly returns: "Number"; readonly lowers: { readonly kern: "Number.remainder($0, $1)"; readonly ts: "__kernNumberRemainder($0, $1)"; readonly python: "__kern_number_remainder($0, $1)"; }; readonly fixtures: readonly [{ readonly args: readonly [5, 2]; readonly returns: 1; }, { readonly args: readonly [-5, 2]; readonly returns: -1; }, { readonly args: readonly [5, -2]; readonly returns: 1; }, { readonly args: readonly [1, 0]; readonly throws: { readonly code: "division-by-zero"; readonly message: "Number.remainder division by zero."; }; }, { readonly args: readonly [5, "2"]; readonly throws: { readonly code: "strict-type"; readonly message: "Number.remainder expects Number, Number."; }; }]; readonly review: { readonly summary: "Strict numeric remainder using KERN dividend-sign semantics; zero divisor is a contract error."; readonly graph: readonly ["Number", "strict", "portable"]; }; }, { readonly id: "Number.lessThan"; readonly kind: "method"; readonly args: readonly ["Number", "Number"]; readonly returns: "Boolean"; readonly lowers: { readonly kern: "Number.lessThan($0, $1)"; readonly ts: "__kernNumberLessThan($0, $1)"; readonly python: "__kern_number_less_than($0, $1)"; }; readonly fixtures: readonly [{ readonly args: readonly [2, 3]; readonly returns: true; }, { readonly args: readonly [3, 2]; readonly returns: false; }, { readonly args: readonly [2, "3"]; readonly throws: { readonly code: "strict-type"; readonly message: "Number.lessThan expects Number, Number."; }; }]; readonly review: { readonly summary: "Strict numeric less-than comparison."; readonly graph: readonly ["Number", "Boolean", "strict", "portable"]; }; }, { readonly id: "Number.lessThanOrEqual"; readonly kind: "method"; readonly args: readonly ["Number", "Number"]; readonly returns: "Boolean"; readonly lowers: { readonly kern: "Number.lessThanOrEqual($0, $1)"; readonly ts: "__kernNumberLessThanOrEqual($0, $1)"; readonly python: "__kern_number_less_than_or_equal($0, $1)"; }; readonly fixtures: readonly [{ readonly args: readonly [2, 2]; readonly returns: true; }, { readonly args: readonly [3, 2]; readonly returns: false; }, { readonly args: readonly [2, null]; readonly throws: { readonly code: "strict-type"; readonly message: "Number.lessThanOrEqual expects Number, Number."; }; }]; readonly review: { readonly summary: "Strict numeric less-than-or-equal comparison."; readonly graph: readonly ["Number", "Boolean", "strict", "portable"]; }; }, { readonly id: "Number.greaterThan"; readonly kind: "method"; readonly args: readonly ["Number", "Number"]; readonly returns: "Boolean"; readonly lowers: { readonly kern: "Number.greaterThan($0, $1)"; readonly ts: "__kernNumberGreaterThan($0, $1)"; readonly python: "__kern_number_greater_than($0, $1)"; }; readonly fixtures: readonly [{ readonly args: readonly [3, 2]; readonly returns: true; }, { readonly args: readonly [2, 3]; readonly returns: false; }, { readonly args: readonly [3, true]; readonly throws: { readonly code: "strict-type"; readonly message: "Number.greaterThan expects Number, Number."; }; }]; readonly review: { readonly summary: "Strict numeric greater-than comparison."; readonly graph: readonly ["Number", "Boolean", "strict", "portable"]; }; }, { readonly id: "Number.greaterThanOrEqual"; readonly kind: "method"; readonly args: readonly ["Number", "Number"]; readonly returns: "Boolean"; readonly lowers: { readonly kern: "Number.greaterThanOrEqual($0, $1)"; readonly ts: "__kernNumberGreaterThanOrEqual($0, $1)"; readonly python: "__kern_number_greater_than_or_equal($0, $1)"; }; readonly fixtures: readonly [{ readonly args: readonly [3, 3]; readonly returns: true; }, { readonly args: readonly [2, 3]; readonly returns: false; }, { readonly args: readonly [3, "3"]; readonly throws: { readonly code: "strict-type"; readonly message: "Number.greaterThanOrEqual expects Number, Number."; }; }]; readonly review: { readonly summary: "Strict numeric greater-than-or-equal comparison."; readonly graph: readonly ["Number", "Boolean", "strict", "portable"]; }; }]; };