semantifold 0.3.0 → 0.4.0

package/build/src/semantic/scalars.d.ts

@@ -10,6 +10,17 @@ export declare function scalarType(name: import("./types.js").SemanticTypeName):
  * @returns {name is import("./types.js").SemanticTypeName} Whether the name is supported.
  */
 export declare function isScalarTypeName(name: string): name is import("./types.js").SemanticTypeName;
+/**
+ * Checks a function return type name, including the non-value `void` result.
+ * @param {string} name - Candidate semantic return type name.
+ * @returns {name is import("./types.js").FunctionReturnTypeName} Whether the name is supported for a function return.
+ */
+export declare function isFunctionReturnTypeName(name: string): name is import("./types.js").FunctionReturnTypeName;
+/**
+ * Returns the canonical semantic void return type reference.
+ * @returns {import("./types.js").FunctionReturnTypeReference} Void return type.
+ */
+export declare function voidType(): import("./types.js").FunctionReturnTypeReference;
 /**
  * Checks that a JavaScript string contains only complete Unicode scalar values.
  * @param {string} value - Candidate Unicode string.

package/build/src/semantic/scalars.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"scalars.d.ts","sourceRoot":"","sources":["../../../src/semantic/scalars.js"],"names":[],"mappings":"AAKA;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAHpB,OAAO,YAAY,EAAE,gBAGD,GAFlB,OAAO,YAAY,EAAE,aAAa,CAI9C;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAH1B,MAG0B,GAFxB,IAAI,IAAI,OAAO,YAAY,EAAE,gBAAgB,CAIzD;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAHhC,MAGgC,GAF9B,OAAO,CAiBnB"}
+{"version":3,"file":"scalars.d.ts","sourceRoot":"","sources":["../../../src/semantic/scalars.js"],"names":[],"mappings":"AAKA;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAHpB,OAAO,YAAY,EAAE,gBAGD,GAFlB,OAAO,YAAY,EAAE,aAAa,CAI9C;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAH1B,MAG0B,GAFxB,IAAI,IAAI,OAAO,YAAY,EAAE,gBAAgB,CAIzD;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAHlC,MAGkC,GAFhC,IAAI,IAAI,OAAO,YAAY,EAAE,sBAAsB,CAI/D;AAED;;;GAGG;AACH,wBAAgB,QAAQ,IAFX,OAAO,YAAY,EAAE,2BAA2B,CAI5D;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAHhC,MAGgC,GAF9B,OAAO,CAiBnB"}

package/build/src/semantic/scalars.js

@@ -17,6 +17,21 @@ export function scalarType(name) {
 export function isScalarTypeName(name) {
     return scalarTypeNames.some((candidate) => candidate == name);
 }
+/**
+ * Checks a function return type name, including the non-value `void` result.
+ * @param {string} name - Candidate semantic return type name.
+ * @returns {name is import("./types.js").FunctionReturnTypeName} Whether the name is supported for a function return.
+ */
+export function isFunctionReturnTypeName(name) {
+    return name == "void" || isScalarTypeName(name);
+}
+/**
+ * Returns the canonical semantic void return type reference.
+ * @returns {import("./types.js").FunctionReturnTypeReference} Void return type.
+ */
+export function voidType() {
+    return { kind: "TypeReference", name: "void" };
+}
 /**
  * Checks that a JavaScript string contains only complete Unicode scalar values.
  * @param {string} value - Candidate Unicode string.
@@ -37,4 +52,4 @@ export function hasOnlyUnicodeScalars(value) {
     }
     return true;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2NhbGFycy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zZW1hbnRpYy9zY2FsYXJzLmpzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLFlBQVk7QUFFWiwrREFBK0Q7QUFDL0QsTUFBTSxlQUFlLEdBQUcsTUFBTSxDQUFDLE1BQU0sQ0FBQyxDQUFDLFNBQVMsRUFBRSxTQUFTLEVBQUUsUUFBUSxDQUFDLENBQUMsQ0FBQTtBQUV2RTs7OztHQUlHO0FBQ0gsTUFBTSxVQUFVLFVBQVUsQ0FBQyxJQUFJO0lBQzdCLE9BQU8sRUFBQyxJQUFJLEVBQUUsb0JBQW9CLENBQUMsQ0FBQyxlQUFlLENBQUMsRUFBRSxJQUFJLEVBQUMsQ0FBQTtBQUM3RCxDQUFDO0FBRUQ7Ozs7R0FJRztBQUNILE1BQU0sVUFBVSxnQkFBZ0IsQ0FBQyxJQUFJO0lBQ25DLE9BQU8sZUFBZSxDQUFDLElBQUksQ0FBQyxDQUFDLFNBQVMsRUFBRSxFQUFFLENBQUMsU0FBUyxJQUFJLElBQUksQ0FBQyxDQUFBO0FBQy9ELENBQUM7QUFFRDs7OztHQUlHO0FBQ0gsTUFBTSxVQUFVLHFCQUFxQixDQUFDLEtBQUs7SUFDekMsS0FBSyxJQUFJLEtBQUssR0FBRyxDQUFDLEVBQUUsS0FBSyxHQUFHLEtBQUssQ0FBQyxNQUFNLEVBQUUsS0FBSyxFQUFFLEVBQUUsQ0FBQztRQUNsRCxNQUFNLFFBQVEsR0FBRyxLQUFLLENBQUMsVUFBVSxDQUFDLEtBQUssQ0FBQyxDQUFBO1FBRXhDLElBQUksUUFBUSxJQUFJLE1BQU0sSUFBSSxRQUFRLElBQUksTUFBTSxFQUFFLENBQUM7WUFDN0MsTUFBTSxRQUFRLEdBQUcsS0FBSyxDQUFDLFVBQVUsQ0FBQyxLQUFLLEdBQUcsQ0FBQyxDQUFDLENBQUE7WUFFNUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxTQUFTLENBQUMsUUFBUSxDQUFDLElBQUksUUFBUSxHQUFHLE1BQU0sSUFBSSxRQUFRLEdBQUcsTUFBTTtnQkFBRSxPQUFPLEtBQUssQ0FBQTtZQUN2RixLQUFLLEVBQUUsQ0FBQTtRQUNULENBQUM7YUFBTSxJQUFJLFFBQVEsSUFBSSxNQUFNLElBQUksUUFBUSxJQUFJLE1BQU0sRUFBRSxDQUFDO1lBQ3BELE9BQU8sS0FBSyxDQUFBO1FBQ2QsQ0FBQztJQUNILENBQUM7SUFFRCxPQUFPLElBQUksQ0FBQTtBQUNiLENBQUMiLCJzb3VyY2VzQ29udGVudCI6WyIvLyBAdHMtY2hlY2tcblxuLyoqIEB0eXBlIHtyZWFkb25seSBpbXBvcnQoXCIuL3R5cGVzLmpzXCIpLlNlbWFudGljVHlwZU5hbWVbXX0gKi9cbmNvbnN0IHNjYWxhclR5cGVOYW1lcyA9IE9iamVjdC5mcmVlemUoW1wiaW50ZWdlclwiLCBcImJvb2xlYW5cIiwgXCJzdHJpbmdcIl0pXG5cbi8qKlxuICogUmV0dXJucyB0aGUgY2Fub25pY2FsIHNlbWFudGljIHNjYWxhciB0eXBlIHJlZmVyZW5jZS5cbiAqIEBwYXJhbSB7aW1wb3J0KFwiLi90eXBlcy5qc1wiKS5TZW1hbnRpY1R5cGVOYW1lfSBuYW1lIC0gU2VtYW50aWMgc2NhbGFyIG5hbWUuXG4gKiBAcmV0dXJucyB7aW1wb3J0KFwiLi90eXBlcy5qc1wiKS5UeXBlUmVmZXJlbmNlfSBTY2FsYXIgdHlwZSByZWZlcmVuY2UuXG4gKi9cbmV4cG9ydCBmdW5jdGlvbiBzY2FsYXJUeXBlKG5hbWUpIHtcbiAgcmV0dXJuIHtraW5kOiAvKiogQHR5cGUge2NvbnN0fSAqLyAoXCJUeXBlUmVmZXJlbmNlXCIpLCBuYW1lfVxufVxuXG4vKipcbiAqIENoZWNrcyBhbiBvcGFxdWUgc2NhbGFyIHR5cGUgbmFtZSB3aXRob3V0IGNvZXJjaW9uLlxuICogQHBhcmFtIHtzdHJpbmd9IG5hbWUgLSBDYW5kaWRhdGUgc2VtYW50aWMgdHlwZSBuYW1lLlxuICogQHJldHVybnMge25hbWUgaXMgaW1wb3J0KFwiLi90eXBlcy5qc1wiKS5TZW1hbnRpY1R5cGVOYW1lfSBXaGV0aGVyIHRoZSBuYW1lIGlzIHN1cHBvcnRlZC5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIGlzU2NhbGFyVHlwZU5hbWUobmFtZSkge1xuICByZXR1cm4gc2NhbGFyVHlwZU5hbWVzLnNvbWUoKGNhbmRpZGF0ZSkgPT4gY2FuZGlkYXRlID09IG5hbWUpXG59XG5cbi8qKlxuICogQ2hlY2tzIHRoYXQgYSBKYXZhU2NyaXB0IHN0cmluZyBjb250YWlucyBvbmx5IGNvbXBsZXRlIFVuaWNvZGUgc2NhbGFyIHZhbHVlcy5cbiAqIEBwYXJhbSB7c3RyaW5nfSB2YWx1ZSAtIENhbmRpZGF0ZSBVbmljb2RlIHN0cmluZy5cbiAqIEByZXR1cm5zIHtib29sZWFufSBXaGV0aGVyIHRoZSBzdHJpbmcgZXhjbHVkZXMgbG9uZSBVVEYtMTYgc3Vycm9nYXRlcy5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIGhhc09ubHlVbmljb2RlU2NhbGFycyh2YWx1ZSkge1xuICBmb3IgKGxldCBpbmRleCA9IDA7IGluZGV4IDwgdmFsdWUubGVuZ3RoOyBpbmRleCsrKSB7XG4gICAgY29uc3QgY29kZVVuaXQgPSB2YWx1ZS5jaGFyQ29kZUF0KGluZGV4KVxuXG4gICAgaWYgKGNvZGVVbml0ID49IDB4RDgwMCAmJiBjb2RlVW5pdCA8PSAweERCRkYpIHtcbiAgICAgIGNvbnN0IHRyYWlsaW5nID0gdmFsdWUuY2hhckNvZGVBdChpbmRleCArIDEpXG5cbiAgICAgIGlmICghTnVtYmVyLmlzSW50ZWdlcih0cmFpbGluZykgfHwgdHJhaWxpbmcgPCAweERDMDAgfHwgdHJhaWxpbmcgPiAweERGRkYpIHJldHVybiBmYWxzZVxuICAgICAgaW5kZXgrK1xuICAgIH0gZWxzZSBpZiAoY29kZVVuaXQgPj0gMHhEQzAwICYmIGNvZGVVbml0IDw9IDB4REZGRikge1xuICAgICAgcmV0dXJuIGZhbHNlXG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHRydWVcbn1cbiJdfQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2NhbGFycy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zZW1hbnRpYy9zY2FsYXJzLmpzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLFlBQVk7QUFFWiwrREFBK0Q7QUFDL0QsTUFBTSxlQUFlLEdBQUcsTUFBTSxDQUFDLE1BQU0sQ0FBQyxDQUFDLFNBQVMsRUFBRSxTQUFTLEVBQUUsUUFBUSxDQUFDLENBQUMsQ0FBQTtBQUV2RTs7OztHQUlHO0FBQ0gsTUFBTSxVQUFVLFVBQVUsQ0FBQyxJQUFJO0lBQzdCLE9BQU8sRUFBQyxJQUFJLEVBQUUsb0JBQW9CLENBQUMsQ0FBQyxlQUFlLENBQUMsRUFBRSxJQUFJLEVBQUMsQ0FBQTtBQUM3RCxDQUFDO0FBRUQ7Ozs7R0FJRztBQUNILE1BQU0sVUFBVSxnQkFBZ0IsQ0FBQyxJQUFJO0lBQ25DLE9BQU8sZUFBZSxDQUFDLElBQUksQ0FBQyxDQUFDLFNBQVMsRUFBRSxFQUFFLENBQUMsU0FBUyxJQUFJLElBQUksQ0FBQyxDQUFBO0FBQy9ELENBQUM7QUFFRDs7OztHQUlHO0FBQ0gsTUFBTSxVQUFVLHdCQUF3QixDQUFDLElBQUk7SUFDM0MsT0FBTyxJQUFJLElBQUksTUFBTSxJQUFJLGdCQUFnQixDQUFDLElBQUksQ0FBQyxDQUFBO0FBQ2pELENBQUM7QUFFRDs7O0dBR0c7QUFDSCxNQUFNLFVBQVUsUUFBUTtJQUN0QixPQUFPLEVBQUMsSUFBSSxFQUFFLGVBQWUsRUFBRSxJQUFJLEVBQUUsTUFBTSxFQUFDLENBQUE7QUFDOUMsQ0FBQztBQUVEOzs7O0dBSUc7QUFDSCxNQUFNLFVBQVUscUJBQXFCLENBQUMsS0FBSztJQUN6QyxLQUFLLElBQUksS0FBSyxHQUFHLENBQUMsRUFBRSxLQUFLLEdBQUcsS0FBSyxDQUFDLE1BQU0sRUFBRSxLQUFLLEVBQUUsRUFBRSxDQUFDO1FBQ2xELE1BQU0sUUFBUSxHQUFHLEtBQUssQ0FBQyxVQUFVLENBQUMsS0FBSyxDQUFDLENBQUE7UUFFeEMsSUFBSSxRQUFRLElBQUksTUFBTSxJQUFJLFFBQVEsSUFBSSxNQUFNLEVBQUUsQ0FBQztZQUM3QyxNQUFNLFFBQVEsR0FBRyxLQUFLLENBQUMsVUFBVSxDQUFDLEtBQUssR0FBRyxDQUFDLENBQUMsQ0FBQTtZQUU1QyxJQUFJLENBQUMsTUFBTSxDQUFDLFNBQVMsQ0FBQyxRQUFRLENBQUMsSUFBSSxRQUFRLEdBQUcsTUFBTSxJQUFJLFFBQVEsR0FBRyxNQUFNO2dCQUFFLE9BQU8sS0FBSyxDQUFBO1lBQ3ZGLEtBQUssRUFBRSxDQUFBO1FBQ1QsQ0FBQzthQUFNLElBQUksUUFBUSxJQUFJLE1BQU0sSUFBSSxRQUFRLElBQUksTUFBTSxFQUFFLENBQUM7WUFDcEQsT0FBTyxLQUFLLENBQUE7UUFDZCxDQUFDO0lBQ0gsQ0FBQztJQUVELE9BQU8sSUFBSSxDQUFBO0FBQ2IsQ0FBQyIsInNvdXJjZXNDb250ZW50IjpbIi8vIEB0cy1jaGVja1xuXG4vKiogQHR5cGUge3JlYWRvbmx5IGltcG9ydChcIi4vdHlwZXMuanNcIikuU2VtYW50aWNUeXBlTmFtZVtdfSAqL1xuY29uc3Qgc2NhbGFyVHlwZU5hbWVzID0gT2JqZWN0LmZyZWV6ZShbXCJpbnRlZ2VyXCIsIFwiYm9vbGVhblwiLCBcInN0cmluZ1wiXSlcblxuLyoqXG4gKiBSZXR1cm5zIHRoZSBjYW5vbmljYWwgc2VtYW50aWMgc2NhbGFyIHR5cGUgcmVmZXJlbmNlLlxuICogQHBhcmFtIHtpbXBvcnQoXCIuL3R5cGVzLmpzXCIpLlNlbWFudGljVHlwZU5hbWV9IG5hbWUgLSBTZW1hbnRpYyBzY2FsYXIgbmFtZS5cbiAqIEByZXR1cm5zIHtpbXBvcnQoXCIuL3R5cGVzLmpzXCIpLlR5cGVSZWZlcmVuY2V9IFNjYWxhciB0eXBlIHJlZmVyZW5jZS5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIHNjYWxhclR5cGUobmFtZSkge1xuICByZXR1cm4ge2tpbmQ6IC8qKiBAdHlwZSB7Y29uc3R9ICovIChcIlR5cGVSZWZlcmVuY2VcIiksIG5hbWV9XG59XG5cbi8qKlxuICogQ2hlY2tzIGFuIG9wYXF1ZSBzY2FsYXIgdHlwZSBuYW1lIHdpdGhvdXQgY29lcmNpb24uXG4gKiBAcGFyYW0ge3N0cmluZ30gbmFtZSAtIENhbmRpZGF0ZSBzZW1hbnRpYyB0eXBlIG5hbWUuXG4gKiBAcmV0dXJucyB7bmFtZSBpcyBpbXBvcnQoXCIuL3R5cGVzLmpzXCIpLlNlbWFudGljVHlwZU5hbWV9IFdoZXRoZXIgdGhlIG5hbWUgaXMgc3VwcG9ydGVkLlxuICovXG5leHBvcnQgZnVuY3Rpb24gaXNTY2FsYXJUeXBlTmFtZShuYW1lKSB7XG4gIHJldHVybiBzY2FsYXJUeXBlTmFtZXMuc29tZSgoY2FuZGlkYXRlKSA9PiBjYW5kaWRhdGUgPT0gbmFtZSlcbn1cblxuLyoqXG4gKiBDaGVja3MgYSBmdW5jdGlvbiByZXR1cm4gdHlwZSBuYW1lLCBpbmNsdWRpbmcgdGhlIG5vbi12YWx1ZSBgdm9pZGAgcmVzdWx0LlxuICogQHBhcmFtIHtzdHJpbmd9IG5hbWUgLSBDYW5kaWRhdGUgc2VtYW50aWMgcmV0dXJuIHR5cGUgbmFtZS5cbiAqIEByZXR1cm5zIHtuYW1lIGlzIGltcG9ydChcIi4vdHlwZXMuanNcIikuRnVuY3Rpb25SZXR1cm5UeXBlTmFtZX0gV2hldGhlciB0aGUgbmFtZSBpcyBzdXBwb3J0ZWQgZm9yIGEgZnVuY3Rpb24gcmV0dXJuLlxuICovXG5leHBvcnQgZnVuY3Rpb24gaXNGdW5jdGlvblJldHVyblR5cGVOYW1lKG5hbWUpIHtcbiAgcmV0dXJuIG5hbWUgPT0gXCJ2b2lkXCIgfHwgaXNTY2FsYXJUeXBlTmFtZShuYW1lKVxufVxuXG4vKipcbiAqIFJldHVybnMgdGhlIGNhbm9uaWNhbCBzZW1hbnRpYyB2b2lkIHJldHVybiB0eXBlIHJlZmVyZW5jZS5cbiAqIEByZXR1cm5zIHtpbXBvcnQoXCIuL3R5cGVzLmpzXCIpLkZ1bmN0aW9uUmV0dXJuVHlwZVJlZmVyZW5jZX0gVm9pZCByZXR1cm4gdHlwZS5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIHZvaWRUeXBlKCkge1xuICByZXR1cm4ge2tpbmQ6IFwiVHlwZVJlZmVyZW5jZVwiLCBuYW1lOiBcInZvaWRcIn1cbn1cblxuLyoqXG4gKiBDaGVja3MgdGhhdCBhIEphdmFTY3JpcHQgc3RyaW5nIGNvbnRhaW5zIG9ubHkgY29tcGxldGUgVW5pY29kZSBzY2FsYXIgdmFsdWVzLlxuICogQHBhcmFtIHtzdHJpbmd9IHZhbHVlIC0gQ2FuZGlkYXRlIFVuaWNvZGUgc3RyaW5nLlxuICogQHJldHVybnMge2Jvb2xlYW59IFdoZXRoZXIgdGhlIHN0cmluZyBleGNsdWRlcyBsb25lIFVURi0xNiBzdXJyb2dhdGVzLlxuICovXG5leHBvcnQgZnVuY3Rpb24gaGFzT25seVVuaWNvZGVTY2FsYXJzKHZhbHVlKSB7XG4gIGZvciAobGV0IGluZGV4ID0gMDsgaW5kZXggPCB2YWx1ZS5sZW5ndGg7IGluZGV4KyspIHtcbiAgICBjb25zdCBjb2RlVW5pdCA9IHZhbHVlLmNoYXJDb2RlQXQoaW5kZXgpXG5cbiAgICBpZiAoY29kZVVuaXQgPj0gMHhEODAwICYmIGNvZGVVbml0IDw9IDB4REJGRikge1xuICAgICAgY29uc3QgdHJhaWxpbmcgPSB2YWx1ZS5jaGFyQ29kZUF0KGluZGV4ICsgMSlcblxuICAgICAgaWYgKCFOdW1iZXIuaXNJbnRlZ2VyKHRyYWlsaW5nKSB8fCB0cmFpbGluZyA8IDB4REMwMCB8fCB0cmFpbGluZyA+IDB4REZGRikgcmV0dXJuIGZhbHNlXG4gICAgICBpbmRleCsrXG4gICAgfSBlbHNlIGlmIChjb2RlVW5pdCA+PSAweERDMDAgJiYgY29kZVVuaXQgPD0gMHhERkZGKSB7XG4gICAgICByZXR1cm4gZmFsc2VcbiAgICB9XG4gIH1cblxuICByZXR1cm4gdHJ1ZVxufVxuIl19

package/build/src/semantic/stdlib.d.ts

@@ -0,0 +1,254 @@
+export type VersionTuple = [number, number, number];
+export type VersionRange = {
+    lower: VersionTuple;
+    upper: VersionTuple | null;
+};
+export type CanonicalDeclarationReference = {
+    module: string;
+    name: string;
+};
+export type StdlibContractOperation = {
+    /**
+     * - Canonical operation dependencies.
+     */
+    dependencies: {
+        module: string;
+        operation: string;
+        range: VersionRange;
+    }[];
+    /**
+     * - Closed effect declaration.
+     */
+    effects: ["host"];
+    /**
+     * - Canonical argument evaluation order.
+     */
+    evaluationOrder: "left-to-right";
+    /**
+     * - Declared failure names.
+     */
+    failures: (string | CanonicalDeclarationReference)[];
+    /**
+     * - Operation name.
+     */
+    name: string;
+    /**
+     * - Ordered parameters.
+     */
+    parameters: {
+        name: string;
+        type: string | CanonicalDeclarationReference;
+    }[];
+    /**
+     * - Closed resource transition.
+     */
+    resourceFlow: object;
+    /**
+     * - Closed return type spelling.
+     */
+    returnType: string | CanonicalDeclarationReference;
+    /**
+     * - Closed canonical semantics fields.
+     */
+    semantics: Record<string, string>;
+};
+export type StdlibContractModule = {
+    /**
+     * - Versioned declaration dependencies.
+     */
+    dependencies: {
+        module: string;
+        range: VersionRange;
+    }[];
+    /**
+     * - Ordered failure declarations.
+     */
+    failures: {
+        name: string;
+    }[];
+    /**
+     * - Canonical module identity.
+     */
+    identity: string;
+    /**
+     * - Ordered operation declarations.
+     */
+    operations: StdlibContractOperation[];
+    /**
+     * - Ordered resource declarations.
+     */
+    resources: {
+        name: string;
+    }[];
+    /**
+     * - Exact registered version.
+     */
+    version: string;
+};
+export type StdlibContract = {
+    /**
+     * - Versioned declaration dependencies.
+     */
+    dependencies: {
+        module: string;
+        range: VersionRange;
+    }[];
+    /**
+     * - Ordered failure declarations.
+     */
+    failures: {
+        name: string;
+    }[];
+    /**
+     * - Canonical module identity.
+     */
+    identity: string;
+    /**
+     * - Ordered operation declarations.
+     */
+    operations: StdlibContractOperation[];
+    /**
+     * - Ordered resource declarations.
+     */
+    resources: {
+        name: string;
+    }[];
+    /**
+     * - Contract schema discriminator.
+     */
+    schema: "SemantifoldStdlibContract";
+    /**
+     * - Contract schema version.
+     */
+    schemaVersion: 1;
+    /**
+     * - Resolved exact version.
+     */
+    version: string;
+};
+export type StdlibContractRegistry = {
+    /**
+     * - Registered modules in stable order.
+     */
+    modules: {
+        identity: string;
+        versions: string[];
+    }[];
+    /**
+     * - Versioned module resolution.
+     */
+    resolveModule: (identity: string, range?: string) => StdlibContract;
+};
+/** @typedef {[number, number, number]} VersionTuple */
+/** @typedef {{lower: VersionTuple, upper: VersionTuple | null}} VersionRange */
+/** @typedef {{module: string, name: string}} CanonicalDeclarationReference */
+/**
+ * @typedef StdlibContractOperation
+ * @property {{module: string, operation: string, range: VersionRange}[]} dependencies - Canonical operation dependencies.
+ * @property {["host"]} effects - Closed effect declaration.
+ * @property {"left-to-right"} evaluationOrder - Canonical argument evaluation order.
+ * @property {(string | CanonicalDeclarationReference)[]} failures - Declared failure names.
+ * @property {string} name - Operation name.
+ * @property {{name: string, type: string | CanonicalDeclarationReference}[]} parameters - Ordered parameters.
+ * @property {object} resourceFlow - Closed resource transition.
+ * @property {string | CanonicalDeclarationReference} returnType - Closed return type spelling.
+ * @property {Record<string, string>} semantics - Closed canonical semantics fields.
+ */
+/**
+ * @typedef StdlibContractModule
+ * @property {{module: string, range: VersionRange}[]} dependencies - Versioned declaration dependencies.
+ * @property {{name: string}[]} failures - Ordered failure declarations.
+ * @property {string} identity - Canonical module identity.
+ * @property {StdlibContractOperation[]} operations - Ordered operation declarations.
+ * @property {{name: string}[]} resources - Ordered resource declarations.
+ * @property {string} version - Exact registered version.
+ */
+/**
+ * @typedef StdlibContract
+ * @property {{module: string, range: VersionRange}[]} dependencies - Versioned declaration dependencies.
+ * @property {{name: string}[]} failures - Ordered failure declarations.
+ * @property {string} identity - Canonical module identity.
+ * @property {StdlibContractOperation[]} operations - Ordered operation declarations.
+ * @property {{name: string}[]} resources - Ordered resource declarations.
+ * @property {"SemantifoldStdlibContract"} schema - Contract schema discriminator.
+ * @property {1} schemaVersion - Contract schema version.
+ * @property {string} version - Resolved exact version.
+ */
+/**
+ * @typedef StdlibContractRegistry
+ * @property {{identity: string, versions: string[]}[]} modules - Registered modules in stable order.
+ * @property {(identity: string, range?: string) => StdlibContract} resolveModule - Versioned module resolution.
+ */
+/**
+ * Parses one exact X.Y.Z standard-library version.
+ * @param {unknown} value - Candidate version.
+ * @returns {VersionTuple | null} Parsed version or null when malformed.
+ */
+export declare function parseStdlibVersion(value: unknown): VersionTuple | null;
+/**
+ * Parses one X, X.Y, or X.Y.Z standard-library version range.
+ * @param {unknown} value - Candidate range.
+ * @returns {VersionRange | null} Half-open range or null when malformed.
+ */
+export declare function parseStdlibVersionRange(value: unknown): VersionRange | null;
+/**
+ * Compares two exact version tuples.
+ * @param {VersionTuple} left - Left version.
+ * @param {VersionTuple} right - Right version.
+ * @returns {number} Negative, zero, or positive ordering.
+ */
+export declare function compareStdlibVersions(left: VersionTuple, right: VersionTuple): number;
+/**
+ * Derives one protected native provider entry name.
+ * @param {string} target - Adopted provider target language.
+ * @param {string} module - Legacy operation name or canonical module identity.
+ * @param {string} [operation] - Qualified canonical operation name.
+ * @returns {string} Protected native entry name.
+ */
+export declare function protectedEntryName(target: string, module: string, operation?: string): string;
+/**
+ * Parses one protected native provider entry name.
+ * @param {string} name - Candidate protected entry name.
+ * @returns {{target: string, module?: string, operation: string} | null} Parsed binding or null when unparseable.
+ */
+export declare function parseProtectedEntryName(name: string): {
+    target: string;
+    module?: string;
+    operation: string;
+} | null;
+/**
+ * Intersects two half-open version ranges.
+ * @param {VersionRange} left - Left range.
+ * @param {VersionRange} right - Right range.
+ * @returns {VersionRange | null} Intersection or null when empty.
+ */
+export declare function intersectStdlibVersionRanges(left: VersionRange, right: VersionRange): VersionRange | null;
+/**
+ * Checks whether one exact version satisfies one half-open range.
+ * @param {VersionTuple} version - Candidate version.
+ * @param {VersionRange} range - Declared range.
+ * @returns {boolean} Whether the version satisfies the range.
+ */
+export declare function stdlibVersionSatisfies(version: VersionTuple, range: VersionRange): boolean;
+/**
+ * Creates the built-in versioned canonical stdlib contract registry.
+ * @param {unknown} records - Optional override record set; built-in probe contract by default.
+ * @returns {Readonly<StdlibContractRegistry>} Frozen registry.
+ */
+export declare function createStdlibContractRegistry(records?: unknown): Readonly<StdlibContractRegistry>;
+/**
+ * Lists the built-in canonical stdlib modules with their registered versions.
+ * @returns {Readonly<{identity: string, versions: string[]}[]>} Frozen module list.
+ */
+export declare function listStdlibModules(): Readonly<{
+    identity: string;
+    versions: string[];
+}[]>;
+/**
+ * Resolves one built-in canonical stdlib module by identity and optional range.
+ * @param {string} identity - Canonical module identity.
+ * @param {string} [range] - Declared version range.
+ * @returns {StdlibContract} Detached frozen contract.
+ */
+export declare function resolveStdlibModule(identity: string, range?: string): StdlibContract;
+//# sourceMappingURL=stdlib.d.ts.map

package/build/src/semantic/stdlib.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stdlib.d.ts","sourceRoot":"","sources":["../../../src/semantic/stdlib.js"],"names":[],"mappings":"AAoBI,YAAoC,YAAY,GAAtC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAc;AAChD,YAA6D,YAAY,GAA/D;IAAC,KAAK,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,YAAY,GAAG,IAAI,CAAA;CAAC,CAAc;AACzE,YAA0C,6BAA6B,GAA7D;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAC,CAA+B;AAExE,YAAS,uBAAuB,GAChC;;;;IAAuE,YAAY,EAAxE;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,YAAY,CAAA;KAAC,EAAE,CACrE;;;;IAAqB,OAAO,EAAjB,CAAC,MAAM,CAAC,CACnB;;;;IAA4B,eAAe,EAAhC,eAAe,CAC1B;;;;IAAuD,QAAQ,EAApD,CAAC,MAAM,GAAG,6BAA6B,CAAC,EAAE,CACrD;;;;IAAmB,IAAI,EAAZ,MAAM,CACjB;;;;IAA2E,UAAU,EAA1E;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,GAAG,6BAA6B,CAAA;KAAC,EAAE,CACzE;;;;IAAmB,YAAY,EAApB,MAAM,CACjB;;;;IAAmD,UAAU,EAAlD,MAAM,GAAG,6BAA6B,CACjD;;;;IAAmC,SAAS,EAAjC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CACnC;CAAA,CAAA;AAEE,YAAS,oBAAoB,GAC7B;;;;IAAoD,YAAY,EAArD;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,YAAY,CAAA;KAAC,EAAE,CAClD;;;;IAA6B,QAAQ,EAA1B;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,EAAE,CAC3B;;;;IAAmB,QAAQ,EAAhB,MAAM,CACjB;;;;IAAsC,UAAU,EAArC,uBAAuB,EAAE,CACpC;;;;IAA6B,SAAS,EAA3B;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,EAAE,CAC3B;;;;IAAmB,OAAO,EAAf,MAAM,CACnB;CAAA,CAAA;AAEE,YAAS,cAAc,GACvB;;;;IAAoD,YAAY,EAArD;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,YAAY,CAAA;KAAC,EAAE,CAClD;;;;IAA6B,QAAQ,EAA1B;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,EAAE,CAC3B;;;;IAAmB,QAAQ,EAAhB,MAAM,CACjB;;;;IAAsC,UAAU,EAArC,uBAAuB,EAAE,CACpC;;;;IAA6B,SAAS,EAA3B;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,EAAE,CAC3B;;;;IAAwC,MAAM,EAAnC,2BAA2B,CACtC;;;;IAAc,aAAa,EAAhB,CAAC,CACZ;;;;IAAmB,OAAO,EAAf,MAAM,CACnB;CAAA,CAAA;AAEE,YAAS,sBAAsB,GAC/B;;;;IAAqD,OAAO,EAAjD;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAC,EAAE,CACnD;;;;IAAiE,aAAa,EAAnE,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,cAAc,CACjE;CAAA,CAAA;AAvCD,uDAAuD;AACvD,gFAAgF;AAChF,8EAA8E;AAC9E;;;;;;;;;;;GAWG;AACH;;;;;;;;GAQG;AACH;;;;;;;;;;GAUG;AACH;;;;GAIG;AAEH;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAH7B,OAG6B,GAF3B,YAAY,GAAG,IAAI,CAM/B;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAHlC,OAGkC,GAFhC,YAAY,GAAG,IAAI,CAY/B;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAJ/B,YAI+B,EAAE,KAAK,EAHtC,YAGsC,GAFpC,MAAM,CAOlB;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAL9B,MAK8B,EAAE,MAAM,EAJtC,MAIsC,EAAE,SAAS,AAHzD,CACA,EADQ,MAGiD,GAF/C,MAAM,CAclB;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAHjC,MAGiC,GAF/B;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAC,GAAG,IAAI,CAmBvE;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAAC,IAAI,EAJtC,YAIsC,EAAE,KAAK,EAH7C,YAG6C,GAF3C,YAAY,GAAG,IAAI,CAS/B;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAJnC,YAImC,EAAE,KAAK,EAH1C,YAG0C,GAFxC,OAAO,CAKnB;AAED;;;;GAIG;AACH,wBAAgB,4BAA4B,CAAC,OAAO,GAHzC,OAG8D,GAF5D,QAAQ,CAAC,sBAAsB,CAAC,CAoC5C;AAyCD;;;GAGG;AACH,wBAAgB,iBAAiB,IAFpB,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAC,EAAE,CAAC,CAI9D;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAJjC,MAIiC,EAAE,KAAK,AAHhD,CACA,EADQ,MAGwC,GAFtC,cAAc,CAI1B"}