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

package/dist/core-contracts/number.js

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"number.js","sourceRoot":"","sources":["../../src/core-contracts/number.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE,IAAI;IACZ,UAAU,EAAE;QACV;YACE,EAAE,EAAE,eAAe;YACnB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,mBAAmB;gBACzB,EAAE,EAAE,wBAAwB;gBAC5B,MAAM,EAAE,0BAA0B;aACnC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE;gBAC1B,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAC1B,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,+BAA+B,EAAE,EAAE;aAC3F;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,mDAAmD;gBAC5D,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC;aACxC;SACF;QACD;YACE,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC1B,OAAO,EAAE,QAAQ;YACjB,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,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAC5B,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAC7B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,oCAAoC,EAAE,EAAE;aACnG;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,mDAAmD;gBAC5D,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC;aACxC;SACF;QACD;YACE,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC1B,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,yBAAyB;gBAC/B,EAAE,EAAE,8BAA8B;gBAClC,MAAM,EAAE,gCAAgC;aACzC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAC5B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE;gBAC7B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,yCAAyC,EAAE,EAAE;aAC1G;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,sDAAsD;gBAC/D,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC;aACxC;SACF;QACD;YACE,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC1B,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,yBAAyB;gBAC/B,EAAE,EAAE,8BAA8B;gBAClC,MAAM,EAAE,gCAAgC;aACzC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;gBAC7B,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE;gBAC/B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,yCAAyC,EAAE,EAAE;aACzG;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,yDAAyD;gBAClE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC;aACxC;SACF;QACD;YACE,EAAE,EAAE,eAAe;YACnB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC1B,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,uBAAuB;gBAC7B,EAAE,EAAE,4BAA4B;gBAChC,MAAM,EAAE,8BAA8B;aACvC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAC5B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE;gBAC9B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,iCAAiC,EAAE,EAAE;gBAClG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,uCAAuC,EAAE,EAAE;aACtG;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,qFAAqF;gBAC9F,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC;aACxC;SACF;QACD;YACE,EAAE,EAAE,kBAAkB;YACtB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC1B,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,0BAA0B;gBAChC,EAAE,EAAE,+BAA+B;gBACnC,MAAM,EAAE,iCAAiC;aAC1C;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAC5B,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE;gBAC9B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAC7B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,oCAAoC,EAAE,EAAE;gBACrG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,0CAA0C,EAAE,EAAE;aACzG;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,gGAAgG;gBACzG,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC;aACxC;SACF;QACD;YACE,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC1B,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE;gBACN,IAAI,EAAE,yBAAyB;gBAC/B,EAAE,EAAE,8BAA8B;gBAClC,MAAM,EAAE,iCAAiC;aAC1C;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBAC/B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;gBAChC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,yCAAyC,EAAE,EAAE;aACxG;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,sCAAsC;gBAC/C,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC;aACnD;SACF;QACD;YACE,EAAE,EAAE,wBAAwB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC1B,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE;gBACN,IAAI,EAAE,gCAAgC;gBACtC,EAAE,EAAE,qCAAqC;gBACzC,MAAM,EAAE,0CAA0C;aACnD;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBAC/B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;gBAChC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,gDAAgD,EAAE,EAAE;aAChH;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,+CAA+C;gBACxD,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC;aACnD;SACF;QACD;YACE,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC1B,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE;gBACN,IAAI,EAAE,4BAA4B;gBAClC,EAAE,EAAE,iCAAiC;gBACrC,MAAM,EAAE,oCAAoC;aAC7C;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBAC/B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;gBAChC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,4CAA4C,EAAE,EAAE;aAC5G;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,yCAAyC;gBAClD,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC;aACnD;SACF;QACD;YACE,EAAE,EAAE,2BAA2B;YAC/B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC1B,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE;gBACN,IAAI,EAAE,mCAAmC;gBACzC,EAAE,EAAE,wCAAwC;gBAC5C,MAAM,EAAE,6CAA6C;aACtD;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBAC/B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;gBAChC;oBACE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;oBACd,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,mDAAmD,EAAE;iBAC9F;aACF;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,kDAAkD;gBAC3D,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC;aACnD;SACF;KACF;CACkC,CAAC"}

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

@@ -0,0 +1,60 @@
+export declare const RECORD_CONTRACT: {
+    readonly name: "Record";
+    readonly kind: "record";
+    readonly strict: true;
+    readonly operations: readonly [{
+        readonly id: "Record.get";
+        readonly kind: "method";
+        readonly args: readonly ["Record", "String"];
+        readonly returns: readonly ["String", "Boolean", "Number", "List", "Record", "Function", "Null", "Undefined"];
+        readonly lowers: {
+            readonly kern: "Record.get($0, $1)";
+            readonly ts: "__kernRecordGet($0, $1)";
+            readonly python: "__kern_record_get($0, $1)";
+        };
+        readonly fixtures: readonly [{
+            readonly args: readonly [{
+                readonly x: 1;
+            }, "x"];
+            readonly returns: 1;
+        }, {
+            readonly args: readonly [{
+                readonly x: 1;
+            }, "y"];
+            readonly returns: {
+                readonly __kernFixture: "Undefined";
+            };
+        }, {
+            readonly args: readonly [{
+                readonly x: {
+                    readonly __kernFixture: "Undefined";
+                };
+            }, "x"];
+            readonly returns: {
+                readonly __kernFixture: "Undefined";
+            };
+        }, {
+            readonly args: readonly [{}, "toString"];
+            readonly returns: {
+                readonly __kernFixture: "Undefined";
+            };
+        }, {
+            readonly args: readonly [{}, ""];
+            readonly returns: {
+                readonly __kernFixture: "Undefined";
+            };
+        }, {
+            readonly args: readonly [{
+                readonly x: 1;
+            }, 0];
+            readonly throws: {
+                readonly code: "strict-type";
+                readonly message: "Record.get expects Record, String.";
+            };
+        }];
+        readonly review: {
+            readonly summary: "Strict own-key record lookup; missing keys return Undefined.";
+            readonly graph: readonly ["Record", "String", "Undefined", "strict", "portable"];
+        };
+    }];
+};

package/dist/core-contracts/record.js

@@ -0,0 +1,32 @@
+import { CORE_FIXTURE_UNDEFINED } from './schema.js';
+export const RECORD_CONTRACT = {
+    name: 'Record',
+    kind: 'record',
+    strict: true,
+    operations: [
+        {
+            id: 'Record.get',
+            kind: 'method',
+            args: ['Record', 'String'],
+            returns: ['String', 'Boolean', 'Number', 'List', 'Record', 'Function', 'Null', 'Undefined'],
+            lowers: {
+                kern: 'Record.get($0, $1)',
+                ts: '__kernRecordGet($0, $1)',
+                python: '__kern_record_get($0, $1)',
+            },
+            fixtures: [
+                { args: [{ x: 1 }, 'x'], returns: 1 },
+                { args: [{ x: 1 }, 'y'], returns: CORE_FIXTURE_UNDEFINED },
+                { args: [{ x: CORE_FIXTURE_UNDEFINED }, 'x'], returns: CORE_FIXTURE_UNDEFINED },
+                { args: [{}, 'toString'], returns: CORE_FIXTURE_UNDEFINED },
+                { args: [{}, ''], returns: CORE_FIXTURE_UNDEFINED },
+                { args: [{ x: 1 }, 0], throws: { code: 'strict-type', message: 'Record.get expects Record, String.' } },
+            ],
+            review: {
+                summary: 'Strict own-key record lookup; missing keys return Undefined.',
+                graph: ['Record', 'String', 'Undefined', 'strict', 'portable'],
+            },
+        },
+    ],
+};
+//# sourceMappingURL=record.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"record.js","sourceRoot":"","sources":["../../src/core-contracts/record.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAyB,MAAM,aAAa,CAAC;AAE5E,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE,IAAI;IACZ,UAAU,EAAE;QACV;YACE,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC1B,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,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBACrC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE;gBAC1D,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,sBAAsB,EAAE,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE;gBAC/E,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE;gBAC3D,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE;gBACnD,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,oCAAoC,EAAE,EAAE;aACxG;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,8DAA8D;gBACvE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,CAAC;aAC/D;SACF;KACF;CACkC,CAAC"}

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

@@ -0,0 +1,71 @@
+export declare const CORE_TYPE_NAMES: readonly ["String", "Boolean", "Number", "List", "Record", "Function", "Null", "Undefined"];
+export type CoreTypeName = (typeof CORE_TYPE_NAMES)[number];
+export type CoreTypeKind = 'primitive' | 'collection' | 'callable' | 'record' | 'nullish';
+export type CoreOperationKind = 'method' | 'property' | 'operator' | 'constructor' | 'coercion';
+export type CoreLowerings = {
+    /**
+     * Target lowerings are semantic helper calls, not raw host snippets.
+     * Each helper must enforce the same strict argument and return contract as
+     * evaluateCoreContractOperation before using host operations internally.
+     */
+    readonly kern?: string;
+    readonly ts?: string;
+    readonly python?: string;
+};
+export declare const CORE_FIXTURE_UNDEFINED: {
+    readonly __kernFixture: "Undefined";
+};
+export declare const CORE_FIXTURE_FUNCTION: {
+    readonly __kernFixture: "Function";
+};
+export declare function isCoreFixtureUndefined(value: unknown): value is typeof CORE_FIXTURE_UNDEFINED;
+export declare function isCoreFixtureFunction(value: unknown): value is typeof CORE_FIXTURE_FUNCTION;
+export type CoreFixtureValue = string | number | boolean | null | typeof CORE_FIXTURE_UNDEFINED | typeof CORE_FIXTURE_FUNCTION | readonly CoreFixtureValue[] | {
+    readonly [key: string]: CoreFixtureValue;
+};
+export type CoreFixtureError = {
+    readonly code: 'strict-type' | 'division-by-zero';
+    readonly message: string;
+};
+export type CoreFixture = {
+    readonly args: readonly CoreFixtureValue[];
+    readonly returns: CoreFixtureValue;
+} | {
+    readonly args: readonly CoreFixtureValue[];
+    readonly throws: CoreFixtureError;
+};
+export type CoreOperationReturns = CoreTypeName | readonly CoreTypeName[];
+export type CoreOperation = {
+    readonly id: string;
+    readonly kind: CoreOperationKind;
+    readonly args: readonly CoreTypeName[];
+    readonly returns: CoreOperationReturns;
+    readonly lowers?: CoreLowerings;
+    readonly fixtures: readonly CoreFixture[];
+    readonly review: {
+        readonly summary: string;
+        readonly graph: readonly string[];
+    };
+};
+export type CoreTypeContract = {
+    readonly name: CoreTypeName;
+    readonly kind: CoreTypeKind;
+    readonly strict: true;
+    readonly operations: readonly CoreOperation[];
+};
+export type CoreTypeContractRegistry = {
+    readonly schemaVersion: 1;
+    readonly types: {
+        readonly [Name in CoreTypeName]: CoreTypeContract & {
+            readonly name: Name;
+        };
+    };
+};
+export type CoreGraphEdge = {
+    readonly from: string;
+    readonly relation: string;
+    readonly to: string;
+    readonly operation?: string;
+    readonly index?: number;
+};
+export declare function contractToGraphEdges(contract: CoreTypeContract): CoreGraphEdge[];

package/dist/core-contracts/schema.js

@@ -0,0 +1,98 @@
+export const CORE_TYPE_NAMES = [
+    'String',
+    'Boolean',
+    'Number',
+    'List',
+    'Record',
+    'Function',
+    'Null',
+    'Undefined',
+];
+// Fixture data reserves this exact record shape for Undefined so JSON fixtures
+// can distinguish null from undefined without overloading result records.
+export const CORE_FIXTURE_UNDEFINED = { __kernFixture: 'Undefined' };
+export const CORE_FIXTURE_FUNCTION = { __kernFixture: 'Function' };
+export function isCoreFixtureUndefined(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        !Array.isArray(value) &&
+        Object.keys(value).length === 1 &&
+        value.__kernFixture === 'Undefined');
+}
+export function isCoreFixtureFunction(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        !Array.isArray(value) &&
+        Object.keys(value).length === 1 &&
+        value.__kernFixture === 'Function');
+}
+export function contractToGraphEdges(contract) {
+    const edges = [];
+    for (const operation of contract.operations) {
+        if (!operation.id.startsWith(`${contract.name}.`)) {
+            throw new Error(`Core operation id ${operation.id} must be prefixed with ${contract.name}.`);
+        }
+        const methodName = operation.id.slice(contract.name.length + 1);
+        const explicitArgs = operation.args.slice(1).join(', ');
+        const operationRelation = `${methodName}(${explicitArgs})`;
+        edges.push({
+            from: contract.name,
+            relation: operationRelation,
+            to: formatReturnTypes(operation.returns),
+            operation: operation.id,
+        });
+        operation.args.forEach((arg, index) => {
+            edges.push({
+                from: operation.id,
+                relation: 'accepts',
+                to: arg,
+                operation: operation.id,
+                index,
+            });
+        });
+        for (const returnType of returnTypeNames(operation.returns)) {
+            edges.push({
+                from: operation.id,
+                relation: 'returns',
+                to: returnType,
+                operation: operation.id,
+            });
+        }
+        for (const target of ['kern', 'ts', 'python']) {
+            const lowering = operation.lowers?.[target];
+            if (!lowering)
+                continue;
+            edges.push({
+                from: operation.id,
+                relation: `lowers.${target}`,
+                to: lowering,
+                operation: operation.id,
+            });
+        }
+        operation.fixtures.forEach((_, index) => {
+            edges.push({
+                from: operation.id,
+                relation: 'fixture',
+                to: `${operation.id}.fixture.${index}`,
+                operation: operation.id,
+                index,
+            });
+        });
+        for (const tag of operation.review.graph) {
+            edges.push({
+                from: operation.id,
+                relation: 'tagged',
+                to: tag,
+                operation: operation.id,
+            });
+        }
+    }
+    return edges;
+}
+function returnTypeNames(returns) {
+    return typeof returns === 'string' ? [returns] : returns;
+}
+function formatReturnTypes(returns) {
+    return returnTypeNames(returns).join(' | ');
+}
+//# sourceMappingURL=schema.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/core-contracts/schema.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,UAAU;IACV,MAAM;IACN,WAAW;CACH,CAAC;AAmBX,+EAA+E;AAC/E,0EAA0E;AAC1E,MAAM,CAAC,MAAM,sBAAsB,GAAG,EAAE,aAAa,EAAE,WAAW,EAAW,CAAC;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAG,EAAE,aAAa,EAAE,UAAU,EAAW,CAAC;AAE5E,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;QAC9B,KAA8C,CAAC,aAAa,KAAK,WAAW,CAC9E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;QAC9B,KAA8C,CAAC,aAAa,KAAK,UAAU,CAC7E,CAAC;AACJ,CAAC;AA8DD,MAAM,UAAU,oBAAoB,CAAC,QAA0B;IAC7D,MAAM,KAAK,GAAoB,EAAE,CAAC;IAElC,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC5C,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,qBAAqB,SAAS,CAAC,EAAE,0BAA0B,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,UAAU,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAChE,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,iBAAiB,GAAG,GAAG,UAAU,IAAI,YAAY,GAAG,CAAC;QAE3D,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,QAAQ,EAAE,iBAAiB;YAC3B,EAAE,EAAE,iBAAiB,CAAC,SAAS,CAAC,OAAO,CAAC;YACxC,SAAS,EAAE,SAAS,CAAC,EAAE;SACxB,CAAC,CAAC;QAEH,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;YACpC,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,SAAS,CAAC,EAAE;gBAClB,QAAQ,EAAE,SAAS;gBACnB,EAAE,EAAE,GAAG;gBACP,SAAS,EAAE,SAAS,CAAC,EAAE;gBACvB,KAAK;aACN,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,KAAK,MAAM,UAAU,IAAI,eAAe,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5D,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,SAAS,CAAC,EAAE;gBAClB,QAAQ,EAAE,SAAS;gBACnB,EAAE,EAAE,UAAU;gBACd,SAAS,EAAE,SAAS,CAAC,EAAE;aACxB,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAU,EAAE,CAAC;YACvD,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,SAAS,CAAC,EAAE;gBAClB,QAAQ,EAAE,UAAU,MAAM,EAAE;gBAC5B,EAAE,EAAE,QAAQ;gBACZ,SAAS,EAAE,SAAS,CAAC,EAAE;aACxB,CAAC,CAAC;QACL,CAAC;QAED,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;YACtC,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,SAAS,CAAC,EAAE;gBAClB,QAAQ,EAAE,SAAS;gBACnB,EAAE,EAAE,GAAG,SAAS,CAAC,EAAE,YAAY,KAAK,EAAE;gBACtC,SAAS,EAAE,SAAS,CAAC,EAAE;gBACvB,KAAK;aACN,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,SAAS,CAAC,EAAE;gBAClB,QAAQ,EAAE,QAAQ;gBAClB,EAAE,EAAE,GAAG;gBACP,SAAS,EAAE,SAAS,CAAC,EAAE;aACxB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,OAA6B;IACpD,OAAO,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAC3D,CAAC;AAED,SAAS,iBAAiB,CAAC,OAA6B;IACtD,OAAO,eAAe,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC9C,CAAC"}

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

@@ -0,0 +1,7 @@
+import { type CoreFixtureValue, type CoreTypeName } from './schema.js';
+export declare class CoreContractEvaluationError extends Error {
+    readonly code: 'strict-type' | 'division-by-zero' | 'unsupported-operation';
+    constructor(code: 'strict-type' | 'division-by-zero' | 'unsupported-operation', message: string);
+}
+export declare function coreFixtureValueType(value: CoreFixtureValue): CoreTypeName;
+export declare function evaluateCoreContractOperation(operationId: string, args: readonly CoreFixtureValue[]): CoreFixtureValue;