semantifold 0.3.0 → 0.4.0

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

@@ -1,3 +1,6 @@
+export type RecordRegistry = Map<string, import("./types.js").RecordDeclaration>;
+export type ClassRegistry = Map<string, import("./types.js").ClassDeclaration>;
+export type ErrorRegistry = Map<string, import("./types.js").ErrorDeclaration>;
 export type Binding = {
     /**
      * - Whether assignment is allowed.
@@ -6,7 +9,11 @@ export type Binding = {
     /**
      * - Binding type.
      */
-    type: import("./types.js").SemanticTypeName;
+    type: import("./types.js").SemanticBindingType;
+    /**
+     * - Current statically known immutable value.
+     */
+    knownValue: import("./types.js").Expression | undefined;
 };
 export type Scope = {
     /**
@@ -17,27 +24,63 @@ export type Scope = {
      * - Names declared later in this scope.
      */
     pending: Set<string>;
+    /**
+     * - Optional bindings proven present on this path.
+     */
+    presenceProofs: Set<Binding>;
     /**
      * - Enclosing lexical scope.
      */
     parent: Scope | undefined;
+    /**
+     * - Type parameters visible throughout the enclosing declaration.
+     */
+    typeParameters: Set<string>;
     /**
      * - All names used by the enclosing function or entry point.
      */
     usedNames: Set<string>;
+    /**
+     * - Declaring class for receiver-private access.
+     */
+    currentClass: import("./types.js").ClassDeclaration | undefined;
+};
+export type LoopFlowContext = {
+    /**
+     * - Nearest active loop.
+     */
+    nearest?: import("./types.js").ForEachStatement | import("./types.js").ForEachMapStatement | import("./types.js").WhileStatement;
+    /**
+     * - Enclosing function or entry-point identity.
+     */
+    owner: object;
+    /**
+     * - Loop owner by module-local loop identity.
+     */
+    owners: Map<string, object>;
 };
 export type SemanticFail = (code: string, detail: string, location: import("./types.js").SourceLocation) => never;
 /**
  * @typedef Binding
  * @property {boolean} mutable - Whether assignment is allowed.
- * @property {import("./types.js").SemanticTypeName} type - Binding type.
+ * @property {import("./types.js").SemanticBindingType} type - Binding type.
+ * @property {import("./types.js").Expression | undefined} knownValue - Current statically known immutable value.
  */
 /**
  * @typedef Scope
  * @property {Map<string, Binding>} bindings - Bindings declared directly in this scope.
  * @property {Set<string>} pending - Names declared later in this scope.
+ * @property {Set<Binding>} presenceProofs - Optional bindings proven present on this path.
  * @property {Scope | undefined} parent - Enclosing lexical scope.
+ * @property {Set<string>} typeParameters - Type parameters visible throughout the enclosing declaration.
  * @property {Set<string>} usedNames - All names used by the enclosing function or entry point.
+ * @property {import("./types.js").ClassDeclaration | undefined} currentClass - Declaring class for receiver-private access.
+ */
+/**
+ * @typedef LoopFlowContext
+ * @property {import("./types.js").ForEachStatement | import("./types.js").ForEachMapStatement | import("./types.js").WhileStatement} [nearest] - Nearest active loop.
+ * @property {object} owner - Enclosing function or entry-point identity.
+ * @property {Map<string, object>} owners - Loop owner by module-local loop identity.
  */
 /**
  * @typedef SemanticFail
@@ -47,14 +90,51 @@ 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.
  * @returns {import("./types.js").SemanticModule} Validated module.
  */
-export declare function validateParsedModule(module: import("./types.js").SemanticModule, language: import("./types.js").SemanticLanguage): import("./types.js").SemanticModule;
+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>;
+    records?: Map<string, import("./types.js").RecordDeclaration>;
+    errors?: Map<string, import("./types.js").ErrorDeclaration>;
+    callEffects?: Map<string, Set<string>>;
+}): import("./types.js").SemanticModule;
 /**
  * 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").SemanticLanguage} language - Backend language.
+ * @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.
  * @returns {void}
  */
-export declare function validateBackendTypes(module: import("./types.js").SemanticModule, language: import("./types.js").SemanticLanguage): 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>;
+    records?: Map<string, import("./types.js").RecordDeclaration>;
+    errors?: Map<string, import("./types.js").ErrorDeclaration>;
+    callEffects?: Map<string, Set<string>>;
+}): void;
+/**
+ * Derives validator-only unchecked-error effects for a validated module's local functions.
+ * These effects never enter semantic function declarations or public signatures.
+ * @param {import("./types.js").SemanticModule} module - Validated semantic module.
+ * @param {{functions?: Map<string, import("./types.js").FunctionDeclaration>, callEffects?: Map<string, Set<string>>}} [visible] - Imported functions and already-resolved effects by local binding.
+ * @returns {Map<string, Set<string>>} Local function effects by source-visible name.
+ */
+export declare function moduleUncheckedErrorEffects(module: import("./types.js").SemanticModule, visible?: {
+    functions?: Map<string, import("./types.js").FunctionDeclaration>;
+    callEffects?: Map<string, Set<string>>;
+}): Map<string, Set<string>>;
+/**
+ * Derives the escaping user-defined error sets for local functions and resolved class methods.
+ * The fixed point is computed over every unchecked error; capability failures are projected out
+ * because call sites already carry their capability-failure boundary through resolution metadata.
+ * @param {import("./types.js").SemanticModule} module - Resolved module.
+ * @param {Map<string, Set<string>>} [seedEffects] - Dependency effects keyed by local import name.
+ * @returns {{functions: Map<string, Set<string>>, methods: Map<string, Set<string>>}} Escaping user-defined error identities by function name and method identity.
+ */
+export declare function inferEscapingErrorEffects(module: import("./types.js").SemanticModule, seedEffects?: Map<string, Set<string>>): {
+    functions: Map<string, Set<string>>;
+    methods: Map<string, Set<string>>;
+};
 //# sourceMappingURL=validate.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../src/semantic/validate.js"],"names":[],"mappings":"AAOG,YAAS,OAAO,GAChB;;;;IAAoB,OAAO,EAAhB,OAAO,CAClB;;;;IAAkD,IAAI,EAA3C,OAAO,YAAY,EAAE,gBAAgB,CAClD;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;;;;IAA8B,MAAM,EAAzB,KAAK,GAAG,SAAS,CAC5B;;;;IAAwB,SAAS,EAAtB,GAAG,CAAC,MAAM,CAAC,CACxB;CAAA,CAAA;AAGE,YAAS,YAAY,GACd,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,YAAY,EAAE,cAAc,KAAK,KAAK,CAAC;AAhBjG;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AAEH;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAJhC,OAAO,YAAY,EAAE,cAIW,EAAE,QAAQ,EAH1C,OAAO,YAAY,EAAE,gBAGqB,GAFxC,OAAO,YAAY,EAAE,cAAc,CAO/C;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAJhC,OAAO,YAAY,EAAE,cAIW,EAAE,QAAQ,EAH1C,OAAO,YAAY,EAAE,gBAGqB,GAFxC,IAAI,CAIhB"}
+{"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;AAkMD;;;;;;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;AAg9BD;;;;;;;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"}