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

package/dist/core-contracts/string.js

@@ -0,0 +1,335 @@
+import { CORE_FIXTURE_UNDEFINED } from './schema.js';
+export const STRING_CONTRACT = {
+    name: 'String',
+    kind: 'primitive',
+    strict: true,
+    operations: [
+        {
+            id: 'String.length',
+            kind: 'property',
+            args: ['String'],
+            returns: 'Number',
+            lowers: {
+                kern: 'String.length($0)',
+                ts: '__kernStringLength($0)',
+                python: '__kern_string_length($0)',
+            },
+            fixtures: [
+                { args: [''], returns: 0 },
+                { args: ['kern'], returns: 4 },
+                { args: ['𐐷'], returns: 1 },
+                { args: ['e\u0301'], returns: 2 },
+            ],
+            review: {
+                summary: 'KERN string length counts Unicode code points with no normalization.',
+                graph: ['String', 'Number', 'portable', 'unicode-code-point'],
+            },
+        },
+        {
+            id: 'String.index',
+            kind: 'method',
+            args: ['String', 'Number'],
+            returns: ['String', 'Undefined'],
+            lowers: {
+                kern: 'String.index($0, $1)',
+                ts: '__kernStringIndex($0, $1)',
+                python: '__kern_string_index($0, $1)',
+            },
+            fixtures: [
+                { args: ['abc', 1], returns: 'b' },
+                { args: ['a𐐷b', 1], returns: '𐐷' },
+                { args: ['abc', 4], returns: CORE_FIXTURE_UNDEFINED },
+                { args: ['abc', -1], returns: CORE_FIXTURE_UNDEFINED },
+                { args: ['abc', 1.2], returns: CORE_FIXTURE_UNDEFINED },
+                { args: ['abc', '1'], throws: { code: 'strict-type', message: 'String.index expects String, Number.' } },
+            ],
+            review: {
+                summary: 'Strict string indexing over Unicode code-point offsets; negative, fractional, and out-of-range misses return Undefined.',
+                graph: ['String', 'Undefined', 'strict', 'portable', 'unicode-code-point'],
+            },
+        },
+        {
+            id: 'String.includes',
+            kind: 'method',
+            args: ['String', 'String'],
+            returns: 'Boolean',
+            lowers: {
+                kern: 'String.includes($0, $1)',
+                ts: '__kernStringIncludes($0, $1)',
+                python: '__kern_string_includes($0, $1)',
+            },
+            fixtures: [
+                { args: ['abc', 'b'], returns: true },
+                { args: ['abc', 'x'], returns: false },
+            ],
+            review: {
+                summary: 'Strict string containment.',
+                graph: ['String', 'Boolean', 'portable'],
+            },
+        },
+        {
+            id: 'String.startsWith',
+            kind: 'method',
+            args: ['String', 'String'],
+            returns: 'Boolean',
+            lowers: {
+                kern: 'String.startsWith($0, $1)',
+                ts: '__kernStringStartsWith($0, $1)',
+                python: '__kern_string_starts_with($0, $1)',
+            },
+            fixtures: [
+                { args: ['kern', 'ke'], returns: true },
+                { args: ['kern', 'rn'], returns: false },
+            ],
+            review: {
+                summary: 'Strict string prefix test.',
+                graph: ['String', 'Boolean', 'portable'],
+            },
+        },
+        {
+            id: 'String.endsWith',
+            kind: 'method',
+            args: ['String', 'String'],
+            returns: 'Boolean',
+            lowers: {
+                kern: 'String.endsWith($0, $1)',
+                ts: '__kernStringEndsWith($0, $1)',
+                python: '__kern_string_ends_with($0, $1)',
+            },
+            fixtures: [
+                { args: ['kern', 'rn'], returns: true },
+                { args: ['kern', 'ke'], returns: false },
+            ],
+            review: {
+                summary: 'Strict string suffix test.',
+                graph: ['String', 'Boolean', 'portable'],
+            },
+        },
+        {
+            id: 'String.slice',
+            kind: 'method',
+            args: ['String', 'Number', 'Number'],
+            returns: 'String',
+            lowers: {
+                kern: 'String.slice($0, $1, $2)',
+                ts: '__kernStringSlice($0, $1, $2)',
+                python: '__kern_string_slice($0, $1, $2)',
+            },
+            fixtures: [
+                { args: ['abcdef', 1, 4], returns: 'bcd' },
+                { args: ['abcdef', 1.9, 4.2], returns: 'bcd' },
+                { args: ['abc', 0, 2], returns: 'ab' },
+                { args: ['abcdef', -3, -1], returns: 'de' },
+                { args: ['abcdef', -20, 2], returns: 'ab' },
+                { args: ['abcdef', 4, 2], returns: '' },
+                { args: ['a𐐷b', 1, 2], returns: '𐐷' },
+                { args: ['e\u0301x', 0, 2], returns: 'e\u0301' },
+                {
+                    args: ['abc', '0', 2],
+                    throws: { code: 'strict-type', message: 'String.slice expects String, Number, Number.' },
+                },
+                {
+                    args: ['abc', 1],
+                    throws: { code: 'strict-type', message: 'String.slice expects String, Number, Number.' },
+                },
+            ],
+            review: {
+                summary: 'Strict string slice over Unicode code-point offsets with explicit start and end offsets; negative offsets count from the end.',
+                graph: ['String', 'Number', 'strict', 'portable', 'unicode-code-point'],
+            },
+        },
+        {
+            id: 'String.trim',
+            kind: 'method',
+            args: ['String'],
+            returns: 'String',
+            lowers: {
+                kern: 'String.trim($0)',
+                ts: '__kernStringTrim($0)',
+                python: '__kern_string_trim($0)',
+            },
+            fixtures: [
+                { args: ['  kern  '], returns: 'kern' },
+                { args: ['\ncore\t'], returns: 'core' },
+            ],
+            review: {
+                summary: 'Portable surrounding whitespace trim.',
+                graph: ['String', 'portable'],
+            },
+        },
+        {
+            id: 'String.lower',
+            kind: 'method',
+            args: ['String'],
+            returns: 'String',
+            lowers: {
+                kern: 'String.lower($0)',
+                ts: '__kernStringLower($0)',
+                python: '__kern_string_lower($0)',
+            },
+            fixtures: [
+                { args: ['KERN'], returns: 'kern' },
+                { args: ['Core'], returns: 'core' },
+            ],
+            review: {
+                summary: 'Portable lowercase conversion.',
+                graph: ['String', 'portable'],
+            },
+        },
+        {
+            id: 'String.upper',
+            kind: 'method',
+            args: ['String'],
+            returns: 'String',
+            lowers: {
+                kern: 'String.upper($0)',
+                ts: '__kernStringUpper($0)',
+                python: '__kern_string_upper($0)',
+            },
+            fixtures: [
+                { args: ['kern'], returns: 'KERN' },
+                { args: ['Core'], returns: 'CORE' },
+            ],
+            review: {
+                summary: 'Portable uppercase conversion.',
+                graph: ['String', 'portable'],
+            },
+        },
+        {
+            id: 'String.concat',
+            kind: 'method',
+            args: ['String', 'String'],
+            returns: 'String',
+            lowers: {
+                kern: 'String.concat($0, $1)',
+                ts: '__kernStringConcat($0, $1)',
+                python: '__kern_string_concat($0, $1)',
+            },
+            fixtures: [
+                { args: ['kern', 'lang'], returns: 'kernlang' },
+                { args: ['count:', 2], throws: { code: 'strict-type', message: 'String.concat expects String, String.' } },
+            ],
+            review: {
+                summary: 'Strict string concatenation; both operands must be String.',
+                graph: ['String', 'strict', 'portable'],
+            },
+        },
+        {
+            id: 'String.equals',
+            kind: 'method',
+            args: ['String', 'String'],
+            returns: 'Boolean',
+            lowers: {
+                kern: 'String.equals($0, $1)',
+                ts: '__kernStringEquals($0, $1)',
+                python: '__kern_string_equals($0, $1)',
+            },
+            fixtures: [
+                { args: ['kern', 'kern'], returns: true },
+                { args: ['kern', 'core'], returns: false },
+                { args: ['kern', true], throws: { code: 'strict-type', message: 'String.equals expects String, String.' } },
+            ],
+            review: {
+                summary: 'Strict string equality; cross-type equality is a type error in schema v1.',
+                graph: ['String', 'Boolean', 'strict', 'portable'],
+            },
+        },
+        {
+            id: 'String.lessThan',
+            kind: 'operator',
+            args: ['String', 'String'],
+            returns: 'Boolean',
+            lowers: {
+                kern: 'String.lessThan($0, $1)',
+                ts: '__kernStringLessThan($0, $1)',
+                python: '__kern_string_less_than($0, $1)',
+            },
+            fixtures: [
+                { args: ['abc', 'abd'], returns: true },
+                { args: ['abc', 'abc'], returns: false },
+                { args: ['abc', true], throws: { code: 'strict-type', message: 'String.lessThan expects String, String.' } },
+            ],
+            review: {
+                summary: 'Strict string less-than comparison using KERN portable code-point ordering.',
+                graph: ['String', 'Boolean', 'strict', 'portable', 'unicode-code-point-order'],
+            },
+        },
+        {
+            id: 'String.lessThanOrEqual',
+            kind: 'operator',
+            args: ['String', 'String'],
+            returns: 'Boolean',
+            lowers: {
+                kern: 'String.lessThanOrEqual($0, $1)',
+                ts: '__kernStringLessThanOrEqual($0, $1)',
+                python: '__kern_string_less_than_or_equal($0, $1)',
+            },
+            fixtures: [
+                { args: ['abc', 'abc'], returns: true },
+                { args: ['abd', 'abc'], returns: false },
+            ],
+            review: {
+                summary: 'Strict string less-than-or-equal comparison using KERN portable code-point ordering.',
+                graph: ['String', 'Boolean', 'strict', 'portable', 'unicode-code-point-order'],
+            },
+        },
+        {
+            id: 'String.greaterThan',
+            kind: 'operator',
+            args: ['String', 'String'],
+            returns: 'Boolean',
+            lowers: {
+                kern: 'String.greaterThan($0, $1)',
+                ts: '__kernStringGreaterThan($0, $1)',
+                python: '__kern_string_greater_than($0, $1)',
+            },
+            fixtures: [
+                { args: ['abd', 'abc'], returns: true },
+                { args: ['abc', 'abc'], returns: false },
+            ],
+            review: {
+                summary: 'Strict string greater-than comparison using KERN portable code-point ordering.',
+                graph: ['String', 'Boolean', 'strict', 'portable', 'unicode-code-point-order'],
+            },
+        },
+        {
+            id: 'String.greaterThanOrEqual',
+            kind: 'operator',
+            args: ['String', 'String'],
+            returns: 'Boolean',
+            lowers: {
+                kern: 'String.greaterThanOrEqual($0, $1)',
+                ts: '__kernStringGreaterThanOrEqual($0, $1)',
+                python: '__kern_string_greater_than_or_equal($0, $1)',
+            },
+            fixtures: [
+                { args: ['abc', 'abc'], returns: true },
+                { args: ['abc', 'abd'], returns: false },
+            ],
+            review: {
+                summary: 'Strict string greater-than-or-equal comparison using KERN portable code-point ordering.',
+                graph: ['String', 'Boolean', 'strict', 'portable', 'unicode-code-point-order'],
+            },
+        },
+        {
+            id: 'String.toString',
+            kind: 'coercion',
+            args: ['String'],
+            returns: 'String',
+            lowers: {
+                kern: 'String.toString($0)',
+                ts: '__kernStringToString($0)',
+                python: '__kern_string_to_string($0)',
+            },
+            fixtures: [
+                { args: ['kern'], returns: 'kern' },
+                { args: [''], returns: '' },
+            ],
+            review: {
+                summary: 'String identity coercion.',
+                graph: ['String', 'portable'],
+            },
+        },
+    ],
+};
+//# sourceMappingURL=string.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"string.js","sourceRoot":"","sources":["../../src/core-contracts/string.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAyB,MAAM,aAAa,CAAC;AAE5E,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,UAAU;YAChB,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,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAC1B,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAC9B,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAC5B,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;aAClC;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,sEAAsE;gBAC/E,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,oBAAoB,CAAC;aAC9D;SACF;QACD;YACE,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC1B,OAAO,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC;YAChC,MAAM,EAAE;gBACN,IAAI,EAAE,sBAAsB;gBAC5B,EAAE,EAAE,2BAA2B;gBAC/B,MAAM,EAAE,6BAA6B;aACtC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE;gBAClC,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACpC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE;gBACrD,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE;gBACtD,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,sBAAsB,EAAE;gBACvD,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,sCAAsC,EAAE,EAAE;aACzG;YACD,MAAM,EAAE;gBACN,OAAO,EACL,yHAAyH;gBAC3H,KAAK,EAAE,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,oBAAoB,CAAC;aAC3E;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,gCAAgC;aACzC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACrC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;aACvC;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,4BAA4B;gBACrC,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC;aACzC;SACF;QACD;YACE,EAAE,EAAE,mBAAmB;YACvB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC1B,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE;gBACN,IAAI,EAAE,2BAA2B;gBACjC,EAAE,EAAE,gCAAgC;gBACpC,MAAM,EAAE,mCAAmC;aAC5C;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACvC,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;aACzC;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,4BAA4B;gBACrC,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC;aACzC;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,MAAM,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACvC,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;aACzC;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,4BAA4B;gBACrC,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC;aACzC;SACF;QACD;YACE,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC;YACpC,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,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC1C,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC9C,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACtC,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBAC3C,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBAC3C,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;gBACvC,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACvC,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE;gBAChD;oBACE,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;oBACrB,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,8CAA8C,EAAE;iBACzF;gBACD;oBACE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,8CAA8C,EAAE;iBACzF;aACF;YACD,MAAM,EAAE;gBACN,OAAO,EACL,+HAA+H;gBACjI,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,oBAAoB,CAAC;aACxE;SACF;QACD;YACE,EAAE,EAAE,aAAa;YACjB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,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,UAAU,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE;gBACvC,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE;aACxC;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,uCAAuC;gBAChD,KAAK,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;aAC9B;SACF;QACD;YACE,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,kBAAkB;gBACxB,EAAE,EAAE,uBAAuB;gBAC3B,MAAM,EAAE,yBAAyB;aAClC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE;gBACnC,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE;aACpC;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,gCAAgC;gBACzC,KAAK,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;aAC9B;SACF;QACD;YACE,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,kBAAkB;gBACxB,EAAE,EAAE,uBAAuB;gBAC3B,MAAM,EAAE,yBAAyB;aAClC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE;gBACnC,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE;aACpC;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,gCAAgC;gBACzC,KAAK,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;aAC9B;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,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE;gBAC/C,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,uCAAuC,EAAE,EAAE;aAC3G;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,4DAA4D;gBACrE,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,SAAS;YAClB,MAAM,EAAE;gBACN,IAAI,EAAE,uBAAuB;gBAC7B,EAAE,EAAE,4BAA4B;gBAChC,MAAM,EAAE,8BAA8B;aACvC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACzC,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC1C,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,uCAAuC,EAAE,EAAE;aAC5G;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,2EAA2E;gBACpF,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC;aACnD;SACF;QACD;YACE,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,UAAU;YAChB,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,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACvC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;gBACxC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,yCAAyC,EAAE,EAAE;aAC7G;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,6EAA6E;gBACtF,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,0BAA0B,CAAC;aAC/E;SACF;QACD;YACE,EAAE,EAAE,wBAAwB;YAC5B,IAAI,EAAE,UAAU;YAChB,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,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACvC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;aACzC;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,sFAAsF;gBAC/F,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,0BAA0B,CAAC;aAC/E;SACF;QACD;YACE,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,UAAU;YAChB,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,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACvC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;aACzC;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,gFAAgF;gBACzF,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,0BAA0B,CAAC;aAC/E;SACF;QACD;YACE,EAAE,EAAE,2BAA2B;YAC/B,IAAI,EAAE,UAAU;YAChB,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,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;gBACvC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;aACzC;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,yFAAyF;gBAClG,KAAK,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,0BAA0B,CAAC;aAC/E;SACF;QACD;YACE,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE;gBACN,IAAI,EAAE,qBAAqB;gBAC3B,EAAE,EAAE,0BAA0B;gBAC9B,MAAM,EAAE,6BAA6B;aACtC;YACD,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE;gBACnC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;aAC5B;YACD,MAAM,EAAE;gBACN,OAAO,EAAE,2BAA2B;gBACpC,KAAK,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;aAC9B;SACF;KACF;CACkC,CAAC"}

package/dist/core-runtime/contract-adapter.d.ts

@@ -0,0 +1,8 @@
+import { type CoreFixtureValue } from '../core-contracts/index.js';
+import type { KernValue } from './index.js';
+export declare class CoreRuntimeContractAdapterError extends Error {
+    constructor(message: string);
+}
+export declare function kernValueToCoreFixtureValue(value: KernValue): CoreFixtureValue;
+export declare function coreFixtureValueToKernValue(value: CoreFixtureValue): KernValue;
+export declare function roundTripKernContractDataValue(value: KernValue): KernValue;

package/dist/core-runtime/contract-adapter.js

@@ -0,0 +1,73 @@
+import { CORE_FIXTURE_FUNCTION, CORE_FIXTURE_UNDEFINED, isCoreFixtureFunction, isCoreFixtureUndefined, } from '../core-contracts/index.js';
+import { brandValue } from './value-brand.js';
+export class CoreRuntimeContractAdapterError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'CoreRuntimeContractAdapterError';
+    }
+}
+export function kernValueToCoreFixtureValue(value) {
+    switch (value.kind) {
+        case 'null':
+            return null;
+        case 'undefined':
+            return CORE_FIXTURE_UNDEFINED;
+        case 'boolean':
+        case 'number':
+        case 'string':
+            return value.value;
+        case 'array':
+            return value.items.map(kernValueToCoreFixtureValue);
+        case 'record':
+            if (isReservedFixtureSentinelRecord(value.entries)) {
+                throw new CoreRuntimeContractAdapterError('KERN record value uses reserved core fixture sentinel shape: __kernFixture.');
+            }
+            return Object.fromEntries(Object.entries(value.entries).map(([key, entry]) => [key, kernValueToCoreFixtureValue(entry)]));
+        case 'function':
+        case 'builtin':
+        case 'class':
+        case 'bound-method':
+        case 'super':
+            return CORE_FIXTURE_FUNCTION;
+        case 'instance':
+            if (isReservedFixtureSentinelRecord(value.fields)) {
+                throw new CoreRuntimeContractAdapterError('KERN instance value uses reserved core fixture sentinel shape: __kernFixture.');
+            }
+            return Object.fromEntries(Object.entries(value.fields).map(([key, entry]) => [key, kernValueToCoreFixtureValue(entry)]));
+    }
+}
+export function coreFixtureValueToKernValue(value) {
+    if (value === null)
+        return brandValue({ kind: 'null' });
+    if (isCoreFixtureUndefined(value))
+        return brandValue({ kind: 'undefined' });
+    if (isCoreFixtureFunction(value)) {
+        throw new CoreRuntimeContractAdapterError('Core Function fixture references cannot be materialized as runtime code.');
+    }
+    switch (typeof value) {
+        case 'boolean':
+            return brandValue({ kind: 'boolean', value });
+        case 'number':
+            return brandValue({ kind: 'number', value });
+        case 'string':
+            return brandValue({ kind: 'string', value });
+        case 'object': {
+            if (Array.isArray(value)) {
+                return brandValue({ kind: 'array', items: value.map(coreFixtureValueToKernValue) });
+            }
+            const entries = Object.create(null);
+            for (const [key, entry] of Object.entries(value))
+                entries[key] = coreFixtureValueToKernValue(entry);
+            return brandValue({ kind: 'record', entries });
+        }
+    }
+}
+export function roundTripKernContractDataValue(value) {
+    return coreFixtureValueToKernValue(kernValueToCoreFixtureValue(value));
+}
+function isReservedFixtureSentinelRecord(entries) {
+    return (Object.keys(entries).length === 1 &&
+        entries.__kernFixture?.kind === 'string' &&
+        (entries.__kernFixture.value === 'Undefined' || entries.__kernFixture.value === 'Function'));
+}
+//# sourceMappingURL=contract-adapter.js.map

package/dist/core-runtime/contract-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-adapter.js","sourceRoot":"","sources":["../../src/core-runtime/contract-adapter.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EAEtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,MAAM,OAAO,+BAAgC,SAAQ,KAAK;IACxD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,iCAAiC,CAAC;IAChD,CAAC;CACF;AAED,MAAM,UAAU,2BAA2B,CAAC,KAAgB;IAC1D,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,WAAW;YACd,OAAO,sBAAsB,CAAC;QAChC,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,KAAK,CAAC;QACrB,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;QACtD,KAAK,QAAQ;YACX,IAAI,+BAA+B,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnD,MAAM,IAAI,+BAA+B,CACvC,6EAA6E,CAC9E,CAAC;YACJ,CAAC;YACD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,2BAA2B,CAAC,KAAK,CAAC,CAAC,CAAC,CAC/F,CAAC;QACJ,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,cAAc,CAAC;QACpB,KAAK,OAAO;YACV,OAAO,qBAAqB,CAAC;QAC/B,KAAK,UAAU;YACb,IAAI,+BAA+B,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClD,MAAM,IAAI,+BAA+B,CACvC,+EAA+E,CAChF,CAAC;YACJ,CAAC;YACD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,2BAA2B,CAAC,KAAK,CAAC,CAAC,CAAC,CAC9F,CAAC;IACN,CAAC;AACH,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,KAAuB;IACjE,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,UAAU,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACxD,IAAI,sBAAsB,CAAC,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;IAC5E,IAAI,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,+BAA+B,CACvC,0EAA0E,CAC3E,CAAC;IACJ,CAAC;IACD,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,SAAS;YACZ,OAAO,UAAU,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAChD,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/C,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/C,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,UAAU,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,2BAA2B,CAAC,EAAE,CAAC,CAAC;YACtF,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAA8B,CAAC;YACjE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,2BAA2B,CAAC,KAAK,CAAC,CAAC;YACpG,OAAO,UAAU,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,KAAgB;IAC7D,OAAO,2BAA2B,CAAC,2BAA2B,CAAC,KAAK,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,+BAA+B,CAAC,OAAkC;IACzE,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC;QACjC,OAAO,CAAC,aAAa,EAAE,IAAI,KAAK,QAAQ;QACxC,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,KAAK,WAAW,IAAI,OAAO,CAAC,aAAa,CAAC,KAAK,KAAK,UAAU,CAAC,CAC5F,CAAC;AACJ,CAAC"}

package/dist/core-runtime/index.d.ts

@@ -0,0 +1,109 @@
+import type { IRNode } from '../types.js';
+import type { ValueIR } from '../value-ir.js';
+export type KernValue = {
+    kind: 'null';
+} | {
+    kind: 'undefined';
+} | {
+    kind: 'boolean';
+    value: boolean;
+} | {
+    kind: 'number';
+    value: number;
+} | {
+    kind: 'string';
+    value: string;
+} | {
+    kind: 'array';
+    items: KernValue[];
+} | {
+    kind: 'record';
+    entries: Record<string, KernValue>;
+} | KernFunctionValue | KernBuiltinValue | KernClassValue | KernInstanceValue | KernBoundMethodValue | KernSuperValue;
+export interface KernFunctionValue {
+    kind: 'function';
+    name?: string;
+    params: RuntimeParam[];
+    body: IRNode[];
+    env: CoreRuntimeEnv;
+}
+export interface KernBuiltinValue {
+    kind: 'builtin';
+    name: string;
+    call: (args: KernValue[]) => KernValue;
+}
+export interface KernClassValue {
+    kind: 'class';
+    name: string;
+    node: IRNode;
+    env: CoreRuntimeEnv;
+    staticFields: Record<string, KernValue>;
+    runtimeRootContext?: IRNode | readonly IRNode[];
+}
+export interface KernInstanceValue {
+    kind: 'instance';
+    classValue: KernClassValue;
+    fields: Record<string, KernValue>;
+    initializedClasses: Set<string>;
+}
+export interface KernBoundMethodValue {
+    kind: 'bound-method';
+    name: string;
+    receiver: KernInstanceValue;
+    methodNode: IRNode;
+    ownerClass: KernClassValue;
+}
+export interface KernSuperValue {
+    kind: 'super';
+    receiver: KernInstanceValue | KernClassValue;
+    ownerClass: KernClassValue;
+    mode: 'constructor' | 'method' | 'static';
+}
+export interface RuntimeParam {
+    name: string;
+    type?: string;
+    defaultExpr?: string;
+}
+export type CoreCompletion = {
+    kind: 'normal';
+    value: KernValue;
+} | {
+    kind: 'return';
+    value: KernValue;
+};
+export interface CoreRuntimeResult {
+    completion: CoreCompletion;
+    env: CoreRuntimeEnv;
+}
+export interface CreateCoreRuntimeEnvOptions {
+    globals?: Record<string, unknown>;
+    parent?: CoreRuntimeEnv;
+}
+export declare class CoreRuntimeEnv {
+    readonly parent?: CoreRuntimeEnv | undefined;
+    private readonly bindings;
+    private runtimeRootContext?;
+    constructor(parent?: CoreRuntimeEnv | undefined);
+    define(name: string, value: KernValue): KernValue;
+    assign(name: string, value: KernValue): KernValue;
+    lookup(name: string): KernValue;
+    has(name: string): boolean;
+    child(): CoreRuntimeEnv;
+    setRuntimeRootContext(root: IRNode | readonly IRNode[]): void;
+    getRuntimeRootContext(): IRNode | readonly IRNode[] | undefined;
+}
+export declare const kNull: () => KernValue;
+export declare const kUndefined: () => KernValue;
+export declare const kBoolean: (value: boolean) => KernValue;
+export declare const kNumber: (value: number) => KernValue;
+export declare const kString: (value: string) => KernValue;
+export declare function createCoreRuntimeEnv(options?: CreateCoreRuntimeEnvOptions): CoreRuntimeEnv;
+export declare function fromHostValue(value: unknown): KernValue;
+export declare function toHostValue(value: KernValue | undefined): unknown;
+export declare function kernTruthy(value: KernValue): boolean;
+export declare function evalCoreExpression(expr: string | ValueIR, env?: CoreRuntimeEnv): KernValue;
+export declare function runCoreRuntime(nodeOrNodes: IRNode | readonly IRNode[], env?: CoreRuntimeEnv): CoreRuntimeResult;
+export declare function callCoreFunction(fnNode: IRNode, args: KernValue[], env?: CoreRuntimeEnv): {
+    value: KernValue;
+    env: CoreRuntimeEnv;
+};