semantifold 0.3.0 → 0.4.0

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

@@ -0,0 +1,66 @@
+export type CapabilityAuthorityV2State = {
+    /**
+     * - Prepared capability declarations.
+     */
+    capabilities: {
+        candidate: import("./types.js").CapabilityDeclarationInput;
+        capabilityId: string;
+        failures: import("./types.js").EffectFailureDeclaration[];
+        resources: import("./types.js").EffectResourceDeclaration[];
+    }[];
+    /**
+     * - Module-local failures.
+     */
+    failureNames: Map<string, string | undefined>;
+    /**
+     * - Canonical module identity.
+     */
+    identity: string;
+    /**
+     * - Stable module position.
+     */
+    moduleIndex: number;
+    /**
+     * - Module-local resources.
+     */
+    resourceNames: Map<string, string | undefined>;
+    /**
+     * - Canonical contract range.
+     */
+    contractVersion: string;
+};
+/**
+ * Creates an immutable, detached compiler-authority descriptor.
+ * @param {unknown} input - Untrusted authority input.
+ * @returns {Readonly<import("./types.js").CapabilityAuthority>} Normalized authority.
+ */
+export declare function createCapabilityAuthority(input: unknown): Readonly<import("./types.js").CapabilityAuthority>;
+/**
+ * Normalizes an optional parse authority.
+ * @param {unknown} input - Optional caller input.
+ * @returns {Readonly<import("./types.js").CapabilityAuthority> | undefined} Authority or legacy absence.
+ */
+export declare function normalizeCapabilityAuthority(input: unknown): Readonly<import("./types.js").CapabilityAuthority> | undefined;
+/**
+ * Finds one source-visible operation only when an ordinary source declaration did not win resolution.
+ * @param {readonly import("./types.js").EffectCapabilityDeclaration[]} capabilities - Authorized declarations.
+ * @param {string} name - Source spelling.
+ * @returns {{capability: import("./types.js").EffectCapabilityDeclaration, operation: import("./types.js").EffectOperationDeclaration} | undefined} Match.
+ */
+export declare function authorizedOperation(capabilities: readonly import("./types.js").EffectCapabilityDeclaration[], name: string): {
+    capability: import("./types.js").EffectCapabilityDeclaration;
+    operation: import("./types.js").EffectOperationDeclaration;
+} | undefined;
+/**
+ * Checks the bounded conformance operation namespace.
+ * @param {string} name - Candidate source name.
+ * @returns {boolean} Whether the name belongs to Task 034.
+ */
+export declare function isTask034OperationName(name: string): boolean;
+/**
+ * Checks the exact built-in conformance capability identity.
+ * @param {readonly import("./types.js").EffectCapabilityDeclaration[]} capabilities - Candidate graph.
+ * @returns {boolean} Whether the graph has the supported identity and declaration order.
+ */
+export declare function isTask034ResourceProbe(capabilities: readonly import("./types.js").EffectCapabilityDeclaration[]): boolean;
+//# sourceMappingURL=capabilities.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"capabilities.d.ts","sourceRoot":"","sources":["../../../src/semantic/capabilities.js"],"names":[],"mappings":"AAWG,YAAS,0BAA0B,GACnC;;;;IAAyN,YAAY,EAA1N;QAAC,SAAS,EAAE,OAAO,YAAY,EAAE,0BAA0B,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,YAAY,EAAE,wBAAwB,EAAE,CAAC;QAAC,SAAS,EAAE,OAAO,YAAY,EAAE,yBAAyB,EAAE,CAAA;KAAC,EAAE,CACvN;;;;IAA4C,YAAY,EAA7C,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAC1C;;;;IAAmB,QAAQ,EAAhB,MAAM,CACjB;;;;IAAmB,WAAW,EAAnB,MAAM,CACjB;;;;IAA4C,aAAa,EAA9C,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAC1C;;;;IAAmB,eAAe,EAAvB,MAAM,CACnB;CAAA,CAAA;AAkBD;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAHpC,OAGoC,GAFlC,QAAQ,CAAC,OAAO,YAAY,EAAE,mBAAmB,CAAC,CAmH9D;AAqND;;;;GAIG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAHvC,OAGuC,GAFrC,QAAQ,CAAC,OAAO,YAAY,EAAE,mBAAmB,CAAC,GAAG,SAAS,CAI1E;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,YAAY,EAJrC,SAAS,OAAO,YAAY,EAAE,2BAA2B,EAIpB,EAAE,IAAI,EAH3C,MAG2C,GAFzC;IAAC,UAAU,EAAE,OAAO,YAAY,EAAE,2BAA2B,CAAC;IAAC,SAAS,EAAE,OAAO,YAAY,EAAE,0BAA0B,CAAA;CAAC,GAAG,SAAS,CAQlJ;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAHhC,MAGgC,GAF9B,OAAO,CAInB;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,YAAY,EAHxC,SAAS,OAAO,YAAY,EAAE,2BAA2B,EAGjB,GAFtC,OAAO,CAiBnB"}