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

package/dist/core-contracts/semantics.js

@@ -0,0 +1,221 @@
+import { CORE_FIXTURE_UNDEFINED, isCoreFixtureFunction, isCoreFixtureUndefined, } from './schema.js';
+export class CoreContractEvaluationError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = 'CoreContractEvaluationError';
+    }
+}
+export function coreFixtureValueType(value) {
+    if (typeof value === 'string')
+        return 'String';
+    if (typeof value === 'boolean')
+        return 'Boolean';
+    if (typeof value === 'number')
+        return 'Number';
+    if (value === null)
+        return 'Null';
+    if (isCoreFixtureUndefined(value))
+        return 'Undefined';
+    if (isCoreFixtureFunction(value))
+        return 'Function';
+    if (Array.isArray(value))
+        return 'List';
+    return 'Record';
+}
+export function evaluateCoreContractOperation(operationId, args) {
+    switch (operationId) {
+        case 'Boolean.not': {
+            const [value] = expectCoreTypes(operationId, args, ['Boolean']);
+            return !value;
+        }
+        case 'Boolean.and': {
+            const [left, right] = expectCoreTypes(operationId, args, ['Boolean', 'Boolean']);
+            return left && right;
+        }
+        case 'Boolean.or': {
+            const [left, right] = expectCoreTypes(operationId, args, ['Boolean', 'Boolean']);
+            return left || right;
+        }
+        case 'Boolean.equals': {
+            const [left, right] = expectCoreTypes(operationId, args, ['Boolean', 'Boolean']);
+            return left === right;
+        }
+        case 'Boolean.toString': {
+            const [value] = expectCoreTypes(operationId, args, ['Boolean']);
+            return value ? 'true' : 'false';
+        }
+        case 'String.length': {
+            const [value] = expectCoreTypes(operationId, args, ['String']);
+            return stringCodePoints(value).length;
+        }
+        case 'String.index': {
+            const [value, index] = expectCoreTypes(operationId, args, ['String', 'Number']);
+            if (!Number.isInteger(index) || index < 0)
+                return CORE_FIXTURE_UNDEFINED;
+            const chars = stringCodePoints(value);
+            return index < chars.length ? (chars[index] ?? '') : CORE_FIXTURE_UNDEFINED;
+        }
+        case 'String.includes': {
+            const [value, search] = expectCoreTypes(operationId, args, ['String', 'String']);
+            return value.includes(search);
+        }
+        case 'String.startsWith': {
+            const [value, search] = expectCoreTypes(operationId, args, ['String', 'String']);
+            return value.startsWith(search);
+        }
+        case 'String.endsWith': {
+            const [value, search] = expectCoreTypes(operationId, args, ['String', 'String']);
+            return value.endsWith(search);
+        }
+        case 'String.slice': {
+            const [value, start, end] = expectCoreTypes(operationId, args, ['String', 'Number', 'Number']);
+            return stringCodePoints(value).slice(truncateOffset(start), truncateOffset(end)).join('');
+        }
+        case 'String.trim': {
+            const [value] = expectCoreTypes(operationId, args, ['String']);
+            return value.trim();
+        }
+        case 'String.lower': {
+            const [value] = expectCoreTypes(operationId, args, ['String']);
+            return value.toLowerCase();
+        }
+        case 'String.upper': {
+            const [value] = expectCoreTypes(operationId, args, ['String']);
+            return value.toUpperCase();
+        }
+        case 'String.concat': {
+            const [left, right] = expectCoreTypes(operationId, args, ['String', 'String']);
+            return left + right;
+        }
+        case 'String.equals': {
+            const [left, right] = expectCoreTypes(operationId, args, ['String', 'String']);
+            return left === right;
+        }
+        case 'String.lessThan': {
+            const [left, right] = expectCoreTypes(operationId, args, ['String', 'String']);
+            return compareStrings(left, right) < 0;
+        }
+        case 'String.lessThanOrEqual': {
+            const [left, right] = expectCoreTypes(operationId, args, ['String', 'String']);
+            return compareStrings(left, right) <= 0;
+        }
+        case 'String.greaterThan': {
+            const [left, right] = expectCoreTypes(operationId, args, ['String', 'String']);
+            return compareStrings(left, right) > 0;
+        }
+        case 'String.greaterThanOrEqual': {
+            const [left, right] = expectCoreTypes(operationId, args, ['String', 'String']);
+            return compareStrings(left, right) >= 0;
+        }
+        case 'String.toString': {
+            const [value] = expectCoreTypes(operationId, args, ['String']);
+            return value;
+        }
+        case 'Number.negate': {
+            const [value] = expectCoreTypes(operationId, args, ['Number']);
+            return finiteNumberResult(operationId, -value);
+        }
+        case 'Number.add': {
+            const [left, right] = expectCoreTypes(operationId, args, ['Number', 'Number']);
+            return finiteNumberResult(operationId, left + right);
+        }
+        case 'Number.subtract': {
+            const [left, right] = expectCoreTypes(operationId, args, ['Number', 'Number']);
+            return finiteNumberResult(operationId, left - right);
+        }
+        case 'Number.multiply': {
+            const [left, right] = expectCoreTypes(operationId, args, ['Number', 'Number']);
+            return finiteNumberResult(operationId, left * right);
+        }
+        case 'Number.divide': {
+            const [left, right] = expectCoreTypes(operationId, args, ['Number', 'Number']);
+            if (right === 0)
+                throw new CoreContractEvaluationError('division-by-zero', 'Number.divide division by zero.');
+            return finiteNumberResult(operationId, left / right);
+        }
+        case 'Number.remainder': {
+            const [left, right] = expectCoreTypes(operationId, args, ['Number', 'Number']);
+            if (right === 0)
+                throw new CoreContractEvaluationError('division-by-zero', 'Number.remainder division by zero.');
+            return finiteNumberResult(operationId, left % right);
+        }
+        case 'Number.lessThan': {
+            const [left, right] = expectCoreTypes(operationId, args, ['Number', 'Number']);
+            return left < right;
+        }
+        case 'Number.lessThanOrEqual': {
+            const [left, right] = expectCoreTypes(operationId, args, ['Number', 'Number']);
+            return left <= right;
+        }
+        case 'Number.greaterThan': {
+            const [left, right] = expectCoreTypes(operationId, args, ['Number', 'Number']);
+            return left > right;
+        }
+        case 'Number.greaterThanOrEqual': {
+            const [left, right] = expectCoreTypes(operationId, args, ['Number', 'Number']);
+            return left >= right;
+        }
+        case 'List.length': {
+            const [value] = expectCoreTypes(operationId, args, ['List']);
+            return value.length;
+        }
+        case 'List.index': {
+            const [value, index] = expectCoreTypes(operationId, args, ['List', 'Number']);
+            if (!Number.isInteger(index) || index < 0)
+                return CORE_FIXTURE_UNDEFINED;
+            return index < value.length && Object.hasOwn(value, index)
+                ? value[index]
+                : CORE_FIXTURE_UNDEFINED;
+        }
+        case 'Record.get': {
+            const [value, key] = expectCoreTypes(operationId, args, ['Record', 'String']);
+            return Object.hasOwn(value, key) ? value[key] : CORE_FIXTURE_UNDEFINED;
+        }
+        default:
+            throw new CoreContractEvaluationError('unsupported-operation', `Unsupported core contract operation: ${operationId}`);
+    }
+}
+function expectCoreTypes(operationId, args, types) {
+    if (args.length !== types.length)
+        throw strictTypeError(operationId, types);
+    for (let index = 0; index < types.length; index += 1) {
+        if (!Object.hasOwn(args, index))
+            throw strictTypeError(operationId, types);
+        const arg = args[index];
+        if (coreFixtureValueType(arg) !== types[index])
+            throw strictTypeError(operationId, types);
+        if (types[index] === 'Number' && (typeof arg !== 'number' || !Number.isFinite(arg))) {
+            throw strictTypeError(operationId, types);
+        }
+    }
+    return args;
+}
+function strictTypeError(operationId, types) {
+    return new CoreContractEvaluationError('strict-type', `${operationId} expects ${types.join(', ')}.`);
+}
+function stringCodePoints(value) {
+    return Array.from(value);
+}
+function compareStrings(left, right) {
+    const leftPoints = Array.from(left, (char) => char.codePointAt(0) ?? 0);
+    const rightPoints = Array.from(right, (char) => char.codePointAt(0) ?? 0);
+    const length = Math.min(leftPoints.length, rightPoints.length);
+    for (let index = 0; index < length; index += 1) {
+        const delta = (leftPoints[index] ?? 0) - (rightPoints[index] ?? 0);
+        if (delta !== 0)
+            return delta;
+    }
+    return leftPoints.length - rightPoints.length;
+}
+function truncateOffset(value) {
+    return Math.trunc(value);
+}
+function finiteNumberResult(operationId, value) {
+    if (!Number.isFinite(value)) {
+        throw new CoreContractEvaluationError('strict-type', `${operationId} result must be finite.`);
+    }
+    return value;
+}
+//# sourceMappingURL=semantics.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"semantics.js","sourceRoot":"","sources":["../../src/core-contracts/semantics.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,sBAAsB,EAGtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,aAAa,CAAC;AAErB,MAAM,OAAO,2BAA4B,SAAQ,KAAK;IAEzC;IADX,YACW,IAAkE,EAC3E,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAHN,SAAI,GAAJ,IAAI,CAA8D;QAI3E,IAAI,CAAC,IAAI,GAAG,6BAA6B,CAAC;IAC5C,CAAC;CACF;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAuB;IAC1D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC/C,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACjD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC/C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,sBAAsB,CAAC,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC;IACtD,IAAI,qBAAqB,CAAC,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IACpD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACxC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,WAAmB,EACnB,IAAiC;IAEjC,QAAQ,WAAW,EAAE,CAAC;QACpB,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;YAChE,OAAO,CAAC,KAAK,CAAC;QAChB,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;YACjF,OAAO,IAAI,IAAI,KAAK,CAAC;QACvB,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;YACjF,OAAO,IAAI,IAAI,KAAK,CAAC;QACvB,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;YACjF,OAAO,IAAI,KAAK,KAAK,CAAC;QACxB,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;YAChE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QAClC,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/D,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;QACxC,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAChF,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;gBAAE,OAAO,sBAAsB,CAAC;YACzE,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;YACtC,OAAO,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC;QAC9E,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YACjF,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAChC,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YACjF,OAAO,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YACjF,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAChC,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/F,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5F,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/D,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;QACtB,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/D,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC;QAC7B,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/D,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC;QAC7B,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,OAAO,IAAI,GAAG,KAAK,CAAC;QACtB,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,OAAO,IAAI,KAAK,KAAK,CAAC;QACxB,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,OAAO,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,OAAO,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,OAAO,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,2BAA2B,CAAC,CAAC,CAAC;YACjC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,OAAO,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/D,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/D,OAAO,kBAAkB,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC;QACjD,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,OAAO,kBAAkB,CAAC,WAAW,EAAE,IAAI,GAAG,KAAK,CAAC,CAAC;QACvD,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,OAAO,kBAAkB,CAAC,WAAW,EAAE,IAAI,GAAG,KAAK,CAAC,CAAC;QACvD,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,OAAO,kBAAkB,CAAC,WAAW,EAAE,IAAI,GAAG,KAAK,CAAC,CAAC;QACvD,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,IAAI,KAAK,KAAK,CAAC;gBAAE,MAAM,IAAI,2BAA2B,CAAC,kBAAkB,EAAE,iCAAiC,CAAC,CAAC;YAC9G,OAAO,kBAAkB,CAAC,WAAW,EAAE,IAAI,GAAG,KAAK,CAAC,CAAC;QACvD,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,IAAI,KAAK,KAAK,CAAC;gBAAE,MAAM,IAAI,2BAA2B,CAAC,kBAAkB,EAAE,oCAAoC,CAAC,CAAC;YACjH,OAAO,kBAAkB,CAAC,WAAW,EAAE,IAAI,GAAG,KAAK,CAAC,CAAC;QACvD,CAAC;QACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,OAAO,IAAI,GAAG,KAAK,CAAC;QACtB,CAAC;QACD,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,OAAO,IAAI,IAAI,KAAK,CAAC;QACvB,CAAC;QACD,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,OAAO,IAAI,GAAG,KAAK,CAAC;QACtB,CAAC;QACD,KAAK,2BAA2B,CAAC,CAAC,CAAC;YACjC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC/E,OAAO,IAAI,IAAI,KAAK,CAAC;QACvB,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,CAAC,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7D,OAAO,KAAK,CAAC,MAAM,CAAC;QACtB,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC9E,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;gBAAE,OAAO,sBAAsB,CAAC;YACzE,OAAO,KAAK,GAAG,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC;gBACxD,CAAC,CAAE,KAAK,CAAC,KAAK,CAAsB;gBACpC,CAAC,CAAC,sBAAsB,CAAC;QAC7B,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC9E,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,KAAK,CAAC,GAAG,CAAsB,CAAC,CAAC,CAAC,sBAAsB,CAAC;QAC/F,CAAC;QACD;YACE,MAAM,IAAI,2BAA2B,CACnC,uBAAuB,EACvB,wCAAwC,WAAW,EAAE,CACtD,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,WAAmB,EACnB,IAAiC,EACjC,KAAQ;IAER,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,MAAM,eAAe,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC5E,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;YAAE,MAAM,eAAe,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QAC3E,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAqB,CAAC;QAC5C,IAAI,oBAAoB,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC;YAAE,MAAM,eAAe,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QAC1F,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,QAAQ,IAAI,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACpF,MAAM,eAAe,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,IAAwB,CAAC;AAClC,CAAC;AAED,SAAS,eAAe,CAAC,WAAmB,EAAE,KAA8B;IAC1E,OAAO,IAAI,2BAA2B,CAAC,aAAa,EAAE,GAAG,WAAW,YAAY,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvG,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,KAAa;IACjD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACnE,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;IAChC,CAAC;IACD,OAAO,UAAU,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;AAChD,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,kBAAkB,CAAC,WAAmB,EAAE,KAAa;IAC5D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,2BAA2B,CAAC,aAAa,EAAE,GAAG,WAAW,yBAAyB,CAAC,CAAC;IAChG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

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

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