@kernlang/core 3.5.9-canary.220.1.c398cd95 → 4.0.0

package/dist/core-contracts/index.js

@@ -0,0 +1,30 @@
+import { BOOLEAN_CONTRACT } from './boolean.js';
+import { FUNCTION_CONTRACT } from './function.js';
+import { LIST_CONTRACT } from './list.js';
+import { NULL_CONTRACT, UNDEFINED_CONTRACT } from './nullish.js';
+import { NUMBER_CONTRACT } from './number.js';
+import { RECORD_CONTRACT } from './record.js';
+import { STRING_CONTRACT } from './string.js';
+export { BOOLEAN_CONTRACT } from './boolean.js';
+export { FUNCTION_CONTRACT } from './function.js';
+export { LIST_CONTRACT } from './list.js';
+export { NULL_CONTRACT, UNDEFINED_CONTRACT } from './nullish.js';
+export { NUMBER_CONTRACT } from './number.js';
+export { RECORD_CONTRACT } from './record.js';
+export { CORE_FIXTURE_FUNCTION, CORE_FIXTURE_UNDEFINED, CORE_TYPE_NAMES, contractToGraphEdges, isCoreFixtureFunction, isCoreFixtureUndefined, } from './schema.js';
+export { CoreContractEvaluationError, coreFixtureValueType, evaluateCoreContractOperation, } from './semantics.js';
+export { STRING_CONTRACT } from './string.js';
+export const CORE_TYPE_CONTRACTS = {
+    schemaVersion: 1,
+    types: {
+        String: STRING_CONTRACT,
+        Boolean: BOOLEAN_CONTRACT,
+        Number: NUMBER_CONTRACT,
+        List: LIST_CONTRACT,
+        Record: RECORD_CONTRACT,
+        Function: FUNCTION_CONTRACT,
+        Null: NULL_CONTRACT,
+        Undefined: UNDEFINED_CONTRACT,
+    },
+};
+//# sourceMappingURL=index.js.map

package/dist/core-contracts/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/core-contracts/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAe9C,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,eAAe,EACf,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,2BAA2B,EAC3B,oBAAoB,EACpB,6BAA6B,GAC9B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,aAAa,EAAE,CAAC;IAChB,KAAK,EAAE;QACL,MAAM,EAAE,eAAe;QACvB,OAAO,EAAE,gBAAgB;QACzB,MAAM,EAAE,eAAe;QACvB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,eAAe;QACvB,QAAQ,EAAE,iBAAiB;QAC3B,IAAI,EAAE,aAAa;QACnB,SAAS,EAAE,kBAAkB;KAC9B;CAC0C,CAAC"}

package/dist/core-contracts/list.d.ts

@@ -0,0 +1,87 @@
+export declare const LIST_CONTRACT: {
+    readonly name: "List";
+    readonly kind: "collection";
+    readonly strict: true;
+    readonly operations: readonly [{
+        readonly id: "List.length";
+        readonly kind: "property";
+        readonly args: readonly ["List"];
+        readonly returns: "Number";
+        readonly lowers: {
+            readonly kern: "List.length($0)";
+            readonly ts: "__kernListLength($0)";
+            readonly python: "__kern_list_length($0)";
+        };
+        readonly fixtures: readonly [{
+            readonly args: readonly [readonly []];
+            readonly returns: 0;
+        }, {
+            readonly args: readonly [readonly [1, 2, 3]];
+            readonly returns: 3;
+        }, {
+            readonly args: readonly ["not-list"];
+            readonly throws: {
+                readonly code: "strict-type";
+                readonly message: "List.length expects List.";
+            };
+        }];
+        readonly review: {
+            readonly summary: "Strict list cardinality.";
+            readonly graph: readonly ["List", "Number", "strict", "portable"];
+        };
+    }, {
+        readonly id: "List.index";
+        readonly kind: "method";
+        readonly args: readonly ["List", "Number"];
+        readonly returns: readonly ["String", "Boolean", "Number", "List", "Record", "Function", "Null", "Undefined"];
+        readonly lowers: {
+            readonly kern: "List.index($0, $1)";
+            readonly ts: "__kernListIndex($0, $1)";
+            readonly python: "__kern_list_index($0, $1)";
+        };
+        readonly fixtures: readonly [{
+            readonly args: readonly [readonly [10, 20, 30], 0];
+            readonly returns: 10;
+        }, {
+            readonly args: readonly [readonly [10, 20, 30], 2];
+            readonly returns: 30;
+        }, {
+            readonly args: readonly [readonly [10, 20, 30], 3];
+            readonly returns: {
+                readonly __kernFixture: "Undefined";
+            };
+        }, {
+            readonly args: readonly [readonly [10, 20, 30], -1];
+            readonly returns: {
+                readonly __kernFixture: "Undefined";
+            };
+        }, {
+            readonly args: readonly [readonly [10, 20, 30], 1.5];
+            readonly returns: {
+                readonly __kernFixture: "Undefined";
+            };
+        }, {
+            readonly args: readonly [readonly [10, {
+                readonly __kernFixture: "Undefined";
+            }, 30], 1];
+            readonly returns: {
+                readonly __kernFixture: "Undefined";
+            };
+        }, {
+            readonly args: readonly [readonly [], 0];
+            readonly returns: {
+                readonly __kernFixture: "Undefined";
+            };
+        }, {
+            readonly args: readonly [readonly [10], "0"];
+            readonly throws: {
+                readonly code: "strict-type";
+                readonly message: "List.index expects List, Number.";
+            };
+        }];
+        readonly review: {
+            readonly summary: "Strict list index by numeric offset; misses return Undefined.";
+            readonly graph: readonly ["List", "Number", "Undefined", "strict", "portable"];
+        };
+    }];
+};

package/dist/core-contracts/list.js

@@ -0,0 +1,54 @@
+import { CORE_FIXTURE_UNDEFINED } from './schema.js';
+export const LIST_CONTRACT = {
+    name: 'List',
+    kind: 'collection',
+    strict: true,
+    operations: [
+        {
+            id: 'List.length',
+            kind: 'property',
+            args: ['List'],
+            returns: 'Number',
+            lowers: {
+                kern: 'List.length($0)',
+                ts: '__kernListLength($0)',
+                python: '__kern_list_length($0)',
+            },
+            fixtures: [
+                { args: [[]], returns: 0 },
+                { args: [[1, 2, 3]], returns: 3 },
+                { args: ['not-list'], throws: { code: 'strict-type', message: 'List.length expects List.' } },
+            ],
+            review: {
+                summary: 'Strict list cardinality.',
+                graph: ['List', 'Number', 'strict', 'portable'],
+            },
+        },
+        {
+            id: 'List.index',
+            kind: 'method',
+            args: ['List', 'Number'],
+            returns: ['String', 'Boolean', 'Number', 'List', 'Record', 'Function', 'Null', 'Undefined'],
+            lowers: {
+                kern: 'List.index($0, $1)',
+                ts: '__kernListIndex($0, $1)',
+                python: '__kern_list_index($0, $1)',
+            },
+            fixtures: [
+                { args: [[10, 20, 30], 0], returns: 10 },
+                { args: [[10, 20, 30], 2], returns: 30 },
+                { args: [[10, 20, 30], 3], returns: CORE_FIXTURE_UNDEFINED },
+                { args: [[10, 20, 30], -1], returns: CORE_FIXTURE_UNDEFINED },
+                { args: [[10, 20, 30], 1.5], returns: CORE_FIXTURE_UNDEFINED },
+                { args: [[10, CORE_FIXTURE_UNDEFINED, 30], 1], returns: CORE_FIXTURE_UNDEFINED },
+                { args: [[], 0], returns: CORE_FIXTURE_UNDEFINED },
+                { args: [[10], '0'], throws: { code: 'strict-type', message: 'List.index expects List, Number.' } },
+            ],
+            review: {
+                summary: 'Strict list index by numeric offset; misses return Undefined.',
+                graph: ['List', 'Number', 'Undefined', 'strict', 'portable'],
+            },
+        },
+    ],
+};
+//# sourceMappingURL=list.js.map

package/dist/core-contracts/list.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"list.js","sourceRoot":"","sources":["../../src/core-contracts/list.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAyB,MAAM,aAAa,CAAC;AAE5E,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,YAAY;IAClB,MAAM,EAAE,IAAI;IACZ,UAAU,EAAE;QACV;YACE,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,CAAC,MAAM,CAAC;YACd,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,iBAAiB;gBACvB,EAAE,EAAE,sBAAsB;gBAC1B,MAAM,EAAE,wBAAwB;aACjC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAC1B,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBACjC,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,2BAA2B,EAAE,EAAE;aAC9F;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,0BAA0B;gBACnC,KAAK,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC;aAChD;SACF;QACD;YACE,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;YACxB,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,CAAC;YAC3F,MAAM,EAAE;gBACN,IAAI,EAAE,oBAAoB;gBAC1B,EAAE,EAAE,yBAAyB;gBAC7B,MAAM,EAAE,2BAA2B;aACpC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;gBACxC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;gBACxC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE;gBAC5D,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE;gBAC7D,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE;gBAC9D,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,sBAAsB,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE;gBAChF,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE;gBAClD,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,kCAAkC,EAAE,EAAE;aACpG;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,+DAA+D;gBACxE,KAAK,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,CAAC;aAC7D;SACF;KACF;CACkC,CAAC"}

package/dist/core-contracts/nullish.d.ts

@@ -0,0 +1,12 @@
+export declare const NULL_CONTRACT: {
+    readonly name: "Null";
+    readonly kind: "nullish";
+    readonly strict: true;
+    readonly operations: readonly [];
+};
+export declare const UNDEFINED_CONTRACT: {
+    readonly name: "Undefined";
+    readonly kind: "nullish";
+    readonly strict: true;
+    readonly operations: readonly [];
+};

package/dist/core-contracts/nullish.js

@@ -0,0 +1,13 @@
+export const NULL_CONTRACT = {
+    name: 'Null',
+    kind: 'nullish',
+    strict: true,
+    operations: [],
+};
+export const UNDEFINED_CONTRACT = {
+    name: 'Undefined',
+    kind: 'nullish',
+    strict: true,
+    operations: [],
+};
+//# sourceMappingURL=nullish.js.map

package/dist/core-contracts/nullish.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullish.js","sourceRoot":"","sources":["../../src/core-contracts/nullish.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,SAAS;IACf,MAAM,EAAE,IAAI;IACZ,UAAU,EAAE,EAAE;CACqB,CAAC;AAEtC,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,SAAS;IACf,MAAM,EAAE,IAAI;IACZ,UAAU,EAAE,EAAE;CACqB,CAAC"}

package/dist/core-contracts/number.d.ts

@@ -0,0 +1,291 @@
+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"];
+        };
+    }];
+};