semantifold 0.3.0 → 0.5.0

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

@@ -0,0 +1,26 @@
+export type EffectSummary = {
+    failureIds: Set<string>;
+    host: boolean;
+};
+export type ExpressionVisitor = (expression: import("./types.js").Expression) => void;
+/** @typedef {{failureIds: Set<string>, host: boolean}} EffectSummary */
+/** @typedef {(expression: import("./types.js").Expression) => void} ExpressionVisitor */
+/**
+ * Resolves compiler-authorized calls before ordinary semantic type validation.
+ * Source functions always win; authority is never inferred from spelling alone.
+ * @param {import("./types.js").SemanticModule} module - Parser-authored module.
+ * @param {string} language - Source language identity for protected entry targets.
+ * @param {Map<string, import("./types.js").FunctionDeclaration>} functions - Visible ordinary functions.
+ * @param {(code: string, detail: string, location: import("./types.js").SourceLocation) => never} fail - Located failure.
+ * @param {boolean} normalize - Whether parser-authored operation intent may be normalized.
+ * @param {Map<string, import("./types.js").ClassDeclaration>} [visibleClasses] - Resolved reference classes.
+ * @returns {void}
+ */
+export declare function validateEffectGraph(module: import("./types.js").SemanticModule, language: string, functions: Map<string, import("./types.js").FunctionDeclaration>, fail: (code: string, detail: string, location: import("./types.js").SourceLocation) => never, normalize: boolean, visibleClasses?: Map<string, import("./types.js").ClassDeclaration>): void;
+/**
+ * Reports whether one semantic block references a reserved protected provider entry.
+ * @param {import("./types.js").Block} block - Semantic block.
+ * @returns {boolean} Whether a protected entry name is referenced.
+ */
+export declare function blockReferencesProtectedEntry(block: import("./types.js").Block): boolean;
+//# sourceMappingURL=effects.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../../../src/semantic/effects.js"],"names":[],"mappings":"AAKI,YAAoD,aAAa,GAAvD;IAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAC,CAAe;AACjE,YAAiE,iBAAiB,GAAxE,CAAC,UAAU,EAAE,OAAO,YAAY,EAAE,UAAU,KAAK,IAAI,CAAmB;AADtF,wEAAwE;AACxE,yFAAyF;AAEzF;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAR/B,OAAO,YAAY,EAAE,cAQU,EAAE,QAAQ,EAPzC,MAOyC,EAAE,SAAS,EANpD,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,mBAAmB,CAMA,EAAE,IAAI,EAL1D,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,YAAY,EAAE,cAAc,KAAK,KAKvB,EAAE,SAAS,EAJrE,OAIqE,EAAE,cAAc,AAH7F,CACA,EADQ,GAAG,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAGgD,GAF/F,IAAI,CAiOhB;AA+ZD;;;;GAIG;AACH,wBAAgB,6BAA6B,CAAC,KAAK,EAHxC,OAAO,YAAY,EAAE,KAGmB,GAFtC,OAAO,CAInB"}