semantifold 0.13.0 → 0.14.0

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

@@ -1,6 +1,33 @@
 export type RecordRegistry = Map<string, import("./types.js").RecordDeclaration>;
 export type ClassRegistry = Map<string, import("./types.js").ClassDeclaration>;
+export type InterfaceRegistry = Map<string, import("./types.js").InterfaceDeclaration>;
 export type ErrorRegistry = Map<string, import("./types.js").ErrorDeclaration>;
+export type InterfaceContractMember = {
+    /**
+     * - Declaring interface identity.
+     */
+    interfaceId: string;
+    /**
+     * - Declaring interface method identity.
+     */
+    methodId: string;
+    /**
+     * - Contract method name.
+     */
+    name: string;
+    /**
+     * - Source-ordered contract parameters.
+     */
+    parameters: import("./types.js").Parameter[];
+    /**
+     * - Contract return type.
+     */
+    returnType: import("./types.js").SemanticFunctionReturnType;
+    /**
+     * - Declaring method source location.
+     */
+    location: import("./types.js").SourceLocation;
+};
 export type Binding = {
     /**
      * - Whether assignment is allowed.
@@ -90,12 +117,13 @@ export type SemanticFail = (code: string, detail: string, location: import("./ty
  * Enforces the coherent release-candidate semantic subset after adaptation.
  * @param {import("./types.js").SemanticModule} module - Adapted semantic module.
  * @param {import("./types.js").SemanticLanguage} language - Source language.
- * @param {{classes?: Map<string, import("./types.js").ClassDeclaration>, functions?: Map<string, import("./types.js").FunctionDeclaration>, records?: Map<string, import("./types.js").RecordDeclaration>, errors?: Map<string, import("./types.js").ErrorDeclaration>, callEffects?: Map<string, Set<string>>}} [visible] - Program imports visible during validation.
+ * @param {{classes?: Map<string, import("./types.js").ClassDeclaration>, functions?: Map<string, import("./types.js").FunctionDeclaration>, interfaces?: Map<string, import("./types.js").InterfaceDeclaration>, records?: Map<string, import("./types.js").RecordDeclaration>, errors?: Map<string, import("./types.js").ErrorDeclaration>, callEffects?: Map<string, Set<string>>}} [visible] - Program imports visible during validation.
  * @returns {import("./types.js").SemanticModule} Validated module.
  */
 export declare function validateParsedModule(module: import("./types.js").SemanticModule, language: import("./types.js").SemanticLanguage, visible?: {
     classes?: Map<string, import("./types.js").ClassDeclaration>;
     functions?: Map<string, import("./types.js").FunctionDeclaration>;
+    interfaces?: Map<string, import("./types.js").InterfaceDeclaration>;
     records?: Map<string, import("./types.js").RecordDeclaration>;
     errors?: Map<string, import("./types.js").ErrorDeclaration>;
     callEffects?: Map<string, Set<string>>;
@@ -104,12 +132,13 @@ export declare function validateParsedModule(module: import("./types.js").Semant
  * Validates scalar types and bindings for a caller-supplied semantic module before emission.
  * @param {import("./types.js").SemanticModule} module - Semantic module.
  * @param {import("./types.js").BackendLanguage} language - Backend language or binary target.
- * @param {{classes?: Map<string, import("./types.js").ClassDeclaration>, functions?: Map<string, import("./types.js").FunctionDeclaration>, records?: Map<string, import("./types.js").RecordDeclaration>, errors?: Map<string, import("./types.js").ErrorDeclaration>, callEffects?: Map<string, Set<string>>}} [visible] - Resolved program imports.
+ * @param {{classes?: Map<string, import("./types.js").ClassDeclaration>, functions?: Map<string, import("./types.js").FunctionDeclaration>, interfaces?: Map<string, import("./types.js").InterfaceDeclaration>, records?: Map<string, import("./types.js").RecordDeclaration>, errors?: Map<string, import("./types.js").ErrorDeclaration>, callEffects?: Map<string, Set<string>>}} [visible] - Resolved program imports.
  * @returns {void}
  */
 export declare function validateBackendTypes(module: import("./types.js").SemanticModule, language: import("./types.js").BackendLanguage, visible?: {
     classes?: Map<string, import("./types.js").ClassDeclaration>;
     functions?: Map<string, import("./types.js").FunctionDeclaration>;
+    interfaces?: Map<string, import("./types.js").InterfaceDeclaration>;
     records?: Map<string, import("./types.js").RecordDeclaration>;
     errors?: Map<string, import("./types.js").ErrorDeclaration>;
     callEffects?: Map<string, Set<string>>;

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

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../src/semantic/validate.js"],"names":[],"mappings":"AAYI,YAA+D,cAAc,GAAnE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,iBAAiB,CAAC,CAAgB;AAC7E,YAA8D,aAAa,GAAjE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAAC,CAAe;AAC3E,YAA8D,aAAa,GAAjE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAAC,CAAe;AAO5E,YAAS,OAAO,GAChB;;;;IAAoB,OAAO,EAAhB,OAAO,CAClB;;;;IAAqD,IAAI,EAA9C,OAAO,YAAY,EAAE,mBAAmB,CACnD;;;;IAAwD,UAAU,EAAvD,OAAO,YAAY,EAAE,UAAU,GAAG,SAAS,CACxD;CAAA,CAAA;AAGE,YAAS,KAAK,GACd;;;;IAAiC,QAAQ,EAA9B,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAC/B;;;;IAAwB,OAAO,EAApB,GAAG,CAAC,MAAM,CAAC,CACtB;;;;IAAyB,cAAc,EAA5B,GAAG,CAAC,OAAO,CAAC,CACvB;;;;IAA8B,MAAM,EAAzB,KAAK,GAAG,SAAS,CAC5B;;;;IAAwB,cAAc,EAA3B,GAAG,CAAC,MAAM,CAAC,CACtB;;;;IAAwB,SAAS,EAAtB,GAAG,CAAC,MAAM,CAAC,CACtB;;;;IAA8D,YAAY,EAA/D,OAAO,YAAY,EAAE,gBAAgB,GAAG,SAAS,CAC9D;CAAA,CAAA;AAGE,YAAS,eAAe,GACxB;;;;IAAoI,OAAO,AAA3I,CACA,EADW,OAAO,YAAY,EAAE,gBAAgB,GAAG,OAAO,YAAY,EAAE,mBAAmB,GAAG,OAAO,YAAY,EAAE,cAAc,CACjI;;;;IAAmB,KAAK,EAAb,MAAM,CACjB;;;;IAAgC,MAAM,EAA3B,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAChC;CAAA,CAAA;AAGE,YAAS,YAAY,GACd,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,YAAY,EAAE,cAAc,KAAK,KAAK,CAAC;AA3BjG;;;;;GAKG;AAEH;;;;;;;;;GASG;AAEH;;;;;GAKG;AAEH;;;GAGG;AAEH;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EALhC,OAAO,YAAY,EAAE,cAKW,EAAE,QAAQ,EAJ1C,OAAO,YAAY,EAAE,gBAIqB,EAAE,OAAO,AAH3D,CACA,EADQ;IAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAAC,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,mBAAmB,CAAC,CAAC;IAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAAC,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;CAG5O,GAFtD,OAAO,YAAY,EAAE,cAAc,CAe/C;AAsCD;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EALhC,OAAO,YAAY,EAAE,cAKW,EAAE,QAAQ,EAJ1C,OAAO,YAAY,EAAE,eAIqB,EAAE,OAAO,AAH3D,CACA,EADQ;IAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAAC,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,mBAAmB,CAAC,CAAC;IAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAAC,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;CAG5O,GAFtD,IAAI,CAWhB;AA8MD;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAJvC,OAAO,YAAY,EAAE,cAIkB,EAAE,OAAO,AAHxD,CACA,EADQ;IAAC,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,mBAAmB,CAAC,CAAC;IAAC,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;CAGrD,GAFnD,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAUpC;AAwgCD;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,MAAM,EAJrC,OAAO,YAAY,EAAE,cAIgB,EAAE,WAAW,AAH1D,CACA,EADQ,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAGuC,GAF5D;IAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;CAAC,CAqCpF"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../src/semantic/validate.js"],"names":[],"mappings":"AAYI,YAA+D,cAAc,GAAnE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,iBAAiB,CAAC,CAAgB;AAC7E,YAA8D,aAAa,GAAjE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAAC,CAAe;AAC3E,YAAkE,iBAAiB,GAAzE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,oBAAoB,CAAC,CAAmB;AACnF,YAA8D,aAAa,GAAjE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAAC,CAAe;AAE5E,YAAS,uBAAuB,GAChC;;;;IAAmB,WAAW,EAAnB,MAAM,CACjB;;;;IAAmB,QAAQ,EAAhB,MAAM,CACjB;;;;IAAmB,IAAI,EAAZ,MAAM,CACjB;;;;IAA6C,UAAU,EAA5C,OAAO,YAAY,EAAE,SAAS,EAAE,CAC3C;;;;IAA4D,UAAU,EAA3D,OAAO,YAAY,EAAE,0BAA0B,CAC1D;;;;IAAgD,QAAQ,EAA7C,OAAO,YAAY,EAAE,cAAc,CAChD;CAAA,CAAA;AAWE,YAAS,OAAO,GAChB;;;;IAAoB,OAAO,EAAhB,OAAO,CAClB;;;;IAAqD,IAAI,EAA9C,OAAO,YAAY,EAAE,mBAAmB,CACnD;;;;IAAwD,UAAU,EAAvD,OAAO,YAAY,EAAE,UAAU,GAAG,SAAS,CACxD;CAAA,CAAA;AAGE,YAAS,KAAK,GACd;;;;IAAiC,QAAQ,EAA9B,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAC/B;;;;IAAwB,OAAO,EAApB,GAAG,CAAC,MAAM,CAAC,CACtB;;;;IAAyB,cAAc,EAA5B,GAAG,CAAC,OAAO,CAAC,CACvB;;;;IAA8B,MAAM,EAAzB,KAAK,GAAG,SAAS,CAC5B;;;;IAAwB,cAAc,EAA3B,GAAG,CAAC,MAAM,CAAC,CACtB;;;;IAAwB,SAAS,EAAtB,GAAG,CAAC,MAAM,CAAC,CACtB;;;;IAA8D,YAAY,EAA/D,OAAO,YAAY,EAAE,gBAAgB,GAAG,SAAS,CAC9D;CAAA,CAAA;AAGE,YAAS,eAAe,GACxB;;;;IAAoI,OAAO,AAA3I,CACA,EADW,OAAO,YAAY,EAAE,gBAAgB,GAAG,OAAO,YAAY,EAAE,mBAAmB,GAAG,OAAO,YAAY,EAAE,cAAc,CACjI;;;;IAAmB,KAAK,EAAb,MAAM,CACjB;;;;IAAgC,MAAM,EAA3B,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAChC;CAAA,CAAA;AAGE,YAAS,YAAY,GACd,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,YAAY,EAAE,cAAc,KAAK,KAAK,CAAC;AA3BjG;;;;;GAKG;AAEH;;;;;;;;;GASG;AAEH;;;;;GAKG;AAEH;;;GAGG;AAEH;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EALhC,OAAO,YAAY,EAAE,cAKW,EAAE,QAAQ,EAJ1C,OAAO,YAAY,EAAE,gBAIqB,EAAE,OAAO,AAH3D,CACA,EADQ;IAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAAC,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,mBAAmB,CAAC,CAAC;IAAC,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,oBAAoB,CAAC,CAAC;IAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAAC,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;CAGjT,GAFtD,OAAO,YAAY,EAAE,cAAc,CAe/C;AAsCD;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EALhC,OAAO,YAAY,EAAE,cAKW,EAAE,QAAQ,EAJ1C,OAAO,YAAY,EAAE,eAIqB,EAAE,OAAO,AAH3D,CACA,EADQ;IAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAAC,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,mBAAmB,CAAC,CAAC;IAAC,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,oBAAoB,CAAC,CAAC;IAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAAC,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;CAGjT,GAFtD,IAAI,CAWhB;AAqND;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAJvC,OAAO,YAAY,EAAE,cAIkB,EAAE,OAAO,AAHxD,CACA,EADQ;IAAC,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,mBAAmB,CAAC,CAAC;IAAC,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;CAGrD,GAFnD,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAUpC;AAyuCD;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,MAAM,EAJrC,OAAO,YAAY,EAAE,cAIgB,EAAE,WAAW,AAH1D,CACA,EADQ,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAGuC,GAF5D;IAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;CAAC,CAqCpF"}