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

package/dist/constructor-super.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constructor-super.js","sourceRoot":"","sources":["../src/constructor-super.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAGzD,+EAA+E;AAC/E,iFAAiF;AACjF,iEAAiE;AACjE,MAAM,gBAAgB,GAAG;IACvB,OAAO;IACP,MAAM;IACN,QAAQ;IACR,MAAM;IACN,IAAI;IACJ,IAAI;IACJ,MAAM;IACN,IAAI;IACJ,SAAS;IACT,QAAQ;IACR,SAAS;IACT,SAAS;IACT,KAAK;IACL,KAAK;CACG,CAAC;AAEX,yFAAyF;AACzF,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACb,KAAuC,CAAC,MAAM,KAAK,IAAI;QACxD,OAAQ,KAAqC,CAAC,IAAI,KAAK,QAAQ,EAC/D,CAAC;QACD,OAAQ,KAAmC,CAAC,IAAI,CAAC;IACnD,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IAClF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,SAAS,0BAA0B,CAAC,KAAc;IAChD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,IAAI,GAAG,KAAqE,CAAC;IACnF,kFAAkF;IAClF,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC,EAAE,CAAC;QACpE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,IAAI,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC1D,CAAC;aAAM,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9C,IAAI,0BAA0B,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uFAAuF;AACvF,SAAS,yBAAyB,CAAC,IAAY;IAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IACxE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AACtF,CAAC;AAED,wFAAwF;AACxF,SAAS,8BAA8B,CAAC,IAAY,EAAE,MAAe;IACnE,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACnD,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAChD,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,IAAI,CAAC;YACH,IAAI,0BAA0B,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;QACrE,CAAC;QAAC,MAAM,CAAC;YACP,yEAAyE;QAC3E,CAAC;IACH,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,8BAA8B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,OAAO,yBAAyB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AACpG,CAAC"}

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

@@ -0,0 +1,147 @@
+export declare const BOOLEAN_CONTRACT: {
+    readonly name: "Boolean";
+    readonly kind: "primitive";
+    readonly strict: true;
+    readonly operations: readonly [{
+        readonly id: "Boolean.not";
+        readonly kind: "method";
+        readonly args: readonly ["Boolean"];
+        readonly returns: "Boolean";
+        readonly lowers: {
+            readonly kern: "Boolean.not($0)";
+            readonly ts: "__kernBooleanNot($0)";
+            readonly python: "__kern_boolean_not($0)";
+        };
+        readonly fixtures: readonly [{
+            readonly args: readonly [true];
+            readonly returns: false;
+        }, {
+            readonly args: readonly [false];
+            readonly returns: true;
+        }];
+        readonly review: {
+            readonly summary: "Strict boolean negation.";
+            readonly graph: readonly ["Boolean", "portable"];
+        };
+    }, {
+        readonly id: "Boolean.and";
+        readonly kind: "method";
+        readonly args: readonly ["Boolean", "Boolean"];
+        readonly returns: "Boolean";
+        readonly lowers: {
+            readonly kern: "Boolean.and($0, $1)";
+            readonly ts: "__kernBooleanAnd($0, $1)";
+            readonly python: "__kern_boolean_and($0, $1)";
+        };
+        readonly fixtures: readonly [{
+            readonly args: readonly [true, true];
+            readonly returns: true;
+        }, {
+            readonly args: readonly [true, false];
+            readonly returns: false;
+        }, {
+            readonly args: readonly [false, true];
+            readonly returns: false;
+        }, {
+            readonly args: readonly [true, "true"];
+            readonly throws: {
+                readonly code: "strict-type";
+                readonly message: "Boolean.and expects Boolean, Boolean.";
+            };
+        }, {
+            readonly args: readonly [true, 1];
+            readonly throws: {
+                readonly code: "strict-type";
+                readonly message: "Boolean.and expects Boolean, Boolean.";
+            };
+        }];
+        readonly review: {
+            readonly summary: "Strict boolean conjunction; both operands must be Boolean.";
+            readonly graph: readonly ["Boolean", "strict", "portable"];
+        };
+    }, {
+        readonly id: "Boolean.or";
+        readonly kind: "method";
+        readonly args: readonly ["Boolean", "Boolean"];
+        readonly returns: "Boolean";
+        readonly lowers: {
+            readonly kern: "Boolean.or($0, $1)";
+            readonly ts: "__kernBooleanOr($0, $1)";
+            readonly python: "__kern_boolean_or($0, $1)";
+        };
+        readonly fixtures: readonly [{
+            readonly args: readonly [false, false];
+            readonly returns: false;
+        }, {
+            readonly args: readonly [true, false];
+            readonly returns: true;
+        }, {
+            readonly args: readonly [false, true];
+            readonly returns: true;
+        }, {
+            readonly args: readonly [false, "false"];
+            readonly throws: {
+                readonly code: "strict-type";
+                readonly message: "Boolean.or expects Boolean, Boolean.";
+            };
+        }];
+        readonly review: {
+            readonly summary: "Strict boolean disjunction; both operands must be Boolean.";
+            readonly graph: readonly ["Boolean", "strict", "portable"];
+        };
+    }, {
+        readonly id: "Boolean.equals";
+        readonly kind: "method";
+        readonly args: readonly ["Boolean", "Boolean"];
+        readonly returns: "Boolean";
+        readonly lowers: {
+            readonly kern: "Boolean.equals($0, $1)";
+            readonly ts: "__kernBooleanEquals($0, $1)";
+            readonly python: "__kern_boolean_equals($0, $1)";
+        };
+        readonly fixtures: readonly [{
+            readonly args: readonly [true, true];
+            readonly returns: true;
+        }, {
+            readonly args: readonly [true, false];
+            readonly returns: false;
+        }, {
+            readonly args: readonly [true, "true"];
+            readonly throws: {
+                readonly code: "strict-type";
+                readonly message: "Boolean.equals expects Boolean, Boolean.";
+            };
+        }, {
+            readonly args: readonly [true, 1];
+            readonly throws: {
+                readonly code: "strict-type";
+                readonly message: "Boolean.equals expects Boolean, Boolean.";
+            };
+        }];
+        readonly review: {
+            readonly summary: "Strict boolean equality; cross-type equality is a type error in schema v1.";
+            readonly graph: readonly ["Boolean", "strict", "portable"];
+        };
+    }, {
+        readonly id: "Boolean.toString";
+        readonly kind: "coercion";
+        readonly args: readonly ["Boolean"];
+        readonly returns: "String";
+        readonly lowers: {
+            readonly kern: "Boolean.toString($0)";
+            readonly ts: "__kernBooleanToString($0)";
+            readonly python: "__kern_boolean_to_string($0)";
+        };
+        readonly fixtures: readonly [{
+            readonly args: readonly [true];
+            readonly returns: "true";
+        }, {
+            readonly args: readonly [false];
+            readonly returns: "false";
+        }];
+        readonly review: {
+            readonly summary: "Portable Boolean to String coercion using KERN lowercase boolean spelling.";
+            readonly graph: readonly ["Boolean", "String", "portable"];
+        };
+    }];
+};

package/dist/core-contracts/boolean.js

@@ -0,0 +1,110 @@
+export const BOOLEAN_CONTRACT = {
+    name: 'Boolean',
+    kind: 'primitive',
+    strict: true,
+    operations: [
+        {
+            id: 'Boolean.not',
+            kind: 'method',
+            args: ['Boolean'],
+            returns: 'Boolean',
+            lowers: {
+                kern: 'Boolean.not($0)',
+                ts: '__kernBooleanNot($0)',
+                python: '__kern_boolean_not($0)',
+            },
+            fixtures: [
+                { args: [true], returns: false },
+                { args: [false], returns: true },
+            ],
+            review: {
+                summary: 'Strict boolean negation.',
+                graph: ['Boolean', 'portable'],
+            },
+        },
+        {
+            id: 'Boolean.and',
+            kind: 'method',
+            args: ['Boolean', 'Boolean'],
+            returns: 'Boolean',
+            lowers: {
+                kern: 'Boolean.and($0, $1)',
+                ts: '__kernBooleanAnd($0, $1)',
+                python: '__kern_boolean_and($0, $1)',
+            },
+            fixtures: [
+                { args: [true, true], returns: true },
+                { args: [true, false], returns: false },
+                { args: [false, true], returns: false },
+                { args: [true, 'true'], throws: { code: 'strict-type', message: 'Boolean.and expects Boolean, Boolean.' } },
+                { args: [true, 1], throws: { code: 'strict-type', message: 'Boolean.and expects Boolean, Boolean.' } },
+            ],
+            review: {
+                summary: 'Strict boolean conjunction; both operands must be Boolean.',
+                graph: ['Boolean', 'strict', 'portable'],
+            },
+        },
+        {
+            id: 'Boolean.or',
+            kind: 'method',
+            args: ['Boolean', 'Boolean'],
+            returns: 'Boolean',
+            lowers: {
+                kern: 'Boolean.or($0, $1)',
+                ts: '__kernBooleanOr($0, $1)',
+                python: '__kern_boolean_or($0, $1)',
+            },
+            fixtures: [
+                { args: [false, false], returns: false },
+                { args: [true, false], returns: true },
+                { args: [false, true], returns: true },
+                { args: [false, 'false'], throws: { code: 'strict-type', message: 'Boolean.or expects Boolean, Boolean.' } },
+            ],
+            review: {
+                summary: 'Strict boolean disjunction; both operands must be Boolean.',
+                graph: ['Boolean', 'strict', 'portable'],
+            },
+        },
+        {
+            id: 'Boolean.equals',
+            kind: 'method',
+            args: ['Boolean', 'Boolean'],
+            returns: 'Boolean',
+            lowers: {
+                kern: 'Boolean.equals($0, $1)',
+                ts: '__kernBooleanEquals($0, $1)',
+                python: '__kern_boolean_equals($0, $1)',
+            },
+            fixtures: [
+                { args: [true, true], returns: true },
+                { args: [true, false], returns: false },
+                { args: [true, 'true'], throws: { code: 'strict-type', message: 'Boolean.equals expects Boolean, Boolean.' } },
+                { args: [true, 1], throws: { code: 'strict-type', message: 'Boolean.equals expects Boolean, Boolean.' } },
+            ],
+            review: {
+                summary: 'Strict boolean equality; cross-type equality is a type error in schema v1.',
+                graph: ['Boolean', 'strict', 'portable'],
+            },
+        },
+        {
+            id: 'Boolean.toString',
+            kind: 'coercion',
+            args: ['Boolean'],
+            returns: 'String',
+            lowers: {
+                kern: 'Boolean.toString($0)',
+                ts: '__kernBooleanToString($0)',
+                python: '__kern_boolean_to_string($0)',
+            },
+            fixtures: [
+                { args: [true], returns: 'true' },
+                { args: [false], returns: 'false' },
+            ],
+            review: {
+                summary: 'Portable Boolean to String coercion using KERN lowercase boolean spelling.',
+                graph: ['Boolean', 'String', 'portable'],
+            },
+        },
+    ],
+};
+//# sourceMappingURL=boolean.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"boolean.js","sourceRoot":"","sources":["../../src/core-contracts/boolean.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE,IAAI;IACZ,UAAU,EAAE;QACV;YACE,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,SAAS,CAAC;YACjB,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE;gBACN,IAAI,EAAE,iBAAiB;gBACvB,EAAE,EAAE,sBAAsB;gBAC1B,MAAM,EAAE,wBAAwB;aACjC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;gBAChC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;aACjC;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,0BAA0B;gBACnC,KAAK,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;aAC/B;SACF;QACD;YACE,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;YAC5B,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE;gBACN,IAAI,EAAE,qBAAqB;gBAC3B,EAAE,EAAE,0BAA0B;gBAC9B,MAAM,EAAE,4BAA4B;aACrC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACrC,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;gBACvC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;gBACvC,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,uCAAuC,EAAE,EAAE;gBAC3G,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,uCAAuC,EAAE,EAAE;aACvG;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,4DAA4D;gBACrE,KAAK,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC;aACzC;SACF;QACD;YACE,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;YAC5B,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE;gBACN,IAAI,EAAE,oBAAoB;gBAC1B,EAAE,EAAE,yBAAyB;gBAC7B,MAAM,EAAE,2BAA2B;aACpC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;gBACxC,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACtC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACtC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,sCAAsC,EAAE,EAAE;aAC7G;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,4DAA4D;gBACrE,KAAK,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC;aACzC;SACF;QACD;YACE,EAAE,EAAE,gBAAgB;YACpB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;YAC5B,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE;gBACN,IAAI,EAAE,wBAAwB;gBAC9B,EAAE,EAAE,6BAA6B;gBACjC,MAAM,EAAE,+BAA+B;aACxC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACrC,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;gBACvC,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,0CAA0C,EAAE,EAAE;gBAC9G,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,0CAA0C,EAAE,EAAE;aAC1G;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,4EAA4E;gBACrF,KAAK,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC;aACzC;SACF;QACD;YACE,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,CAAC,SAAS,CAAC;YACjB,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,sBAAsB;gBAC5B,EAAE,EAAE,2BAA2B;gBAC/B,MAAM,EAAE,8BAA8B;aACvC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE;gBACjC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE;aACpC;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,4EAA4E;gBACrF,KAAK,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC;aACzC;SACF;KACF;CACkC,CAAC"}

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

@@ -0,0 +1,6 @@
+export declare const FUNCTION_CONTRACT: {
+    readonly name: "Function";
+    readonly kind: "callable";
+    readonly strict: true;
+    readonly operations: readonly [];
+};

package/dist/core-contracts/function.js

@@ -0,0 +1,7 @@
+export const FUNCTION_CONTRACT = {
+    name: 'Function',
+    kind: 'callable',
+    strict: true,
+    operations: [],
+};
+//# sourceMappingURL=function.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"function.js","sourceRoot":"","sources":["../../src/core-contracts/function.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,IAAI;IACZ,UAAU,EAAE,EAAE;CACqB,CAAC"}