semantifold 0.3.0 → 0.4.0

package/build/src/stdlib-facades.d.ts

@@ -0,0 +1,304 @@
+export type StdlibFacadeFunctionDeclaration = {
+    /**
+     * - Closed public declaration kind.
+     */
+    kind: "function";
+    /**
+     * - Exact source-visible symbol.
+     */
+    name: string;
+    /**
+     * - Ordered source signature.
+     */
+    parameters: {
+        name: string;
+        type: string;
+    }[];
+    /**
+     * - Canonical result type.
+     */
+    returnType: string;
+    /**
+     * - Closed public effects.
+     */
+    effects: string[];
+    /**
+     * - Escaping canonical failure names.
+     */
+    failures: string[];
+    /**
+     * - Accepted source call forms.
+     */
+    forms: ("direct-call" | "unqualified-call" | "receiver-call")[];
+    /**
+     * - Initial scalar qualification ownership.
+     */
+    ownership: "not-applicable";
+};
+export type StdlibFacadeClassDeclaration = {
+    /**
+     * - Closed public declaration kind.
+     */
+    kind: "class";
+    /**
+     * - Exact source-visible class symbol.
+     */
+    name: string;
+    /**
+     * - Accepted construction form.
+     */
+    forms: ["constructor-call"];
+    /**
+     * - Class instance ownership.
+     */
+    ownership: "owned-reference";
+    /**
+     * - Constructor contract.
+     */
+    constructor: {
+        effects: string[];
+        failures: string[];
+        ownership: "acquired";
+        parameters: {
+            name: string;
+            type: string;
+        }[];
+    };
+    /**
+     * - Public instance methods.
+     */
+    methods: {
+        effects: string[];
+        failures: string[];
+        forms: ["receiver-call"];
+        name: string;
+        ownership: "borrowed" | "consumed";
+        parameters: {
+            name: string;
+            type: string;
+        }[];
+        returnType: string;
+    }[];
+};
+export type StdlibFacadePublicDeclaration = StdlibFacadeFunctionDeclaration | StdlibFacadeClassDeclaration;
+export type StdlibFacadeRecord = {
+    /**
+     * - Facade-module dependencies.
+     */
+    dependencies: {
+        identity: string;
+        range: string;
+    }[];
+    /**
+     * - Versioned facade identity.
+     */
+    identity: string;
+    /**
+     * - Source language.
+     */
+    language: import("./semantic/types.js").SemanticLanguage;
+    /**
+     * - Exact source native identities.
+     */
+    nativeModules: ({
+        identity: string;
+        kind: "module";
+        symbols: string[];
+    } | {
+        forms: ("unqualified-call" | "receiver-call")[];
+        identity: string;
+        kind: "builtin";
+        symbols: string[];
+    })[];
+    /**
+     * - Public source surface.
+     */
+    publicDeclarations: StdlibFacadePublicDeclaration[];
+    /**
+     * - Canonical-only requirements.
+     */
+    requirements: {
+        module: string;
+        operations: string[];
+        range: string;
+    }[];
+    /**
+     * - Exact compatible source/runtime profile.
+     */
+    runtimeProfile: string;
+    /**
+     * - Executable compiler-owned source module.
+     */
+    source: {
+        content: string;
+        filename: string;
+        id: string;
+    };
+    /**
+     * - Exact facade version.
+     */
+    version: string;
+    /**
+     * - Native-selectable visibility.
+     */
+    visibility: "internal" | "public";
+};
+export type FacadeSourceNames = {
+    /**
+     * - Source filename extension.
+     */
+    extension: string;
+    /**
+     * - Public native stdlib module identity.
+     */
+    nativeModule: string;
+    /**
+     * - Public native symbol.
+     */
+    publicName: string;
+    /**
+     * - Unused-elimination fixture symbol.
+     */
+    unusedName: string;
+    /**
+     * - Unused-elimination fixture module.
+     */
+    unusedNativeModule: string;
+    /**
+     * - Public executable facade source.
+     */
+    probeSource: string;
+    /**
+     * - Internal canonical runner source.
+     */
+    runnerSource: string;
+    /**
+     * - Unused executable facade source.
+     */
+    unusedSource: string;
+};
+export type StdlibFacadeRegistry = {
+    /**
+     * - Stable immutable facade records.
+     */
+    facades: readonly StdlibFacadeRecord[];
+    /**
+     * - Exact native identity resolver.
+     */
+    resolveFacade: (language: string, nativeModule: string, symbol: string, range?: string) => StdlibFacadeRecord;
+    /**
+     * - Facade dependency resolver.
+     */
+    resolveIdentity: (identity: string, language: string, range?: string) => StdlibFacadeRecord;
+    /**
+     * - Exact native module resolver.
+     */
+    resolveModule: (language: string, nativeModule: string, range?: string) => StdlibFacadeRecord;
+};
+/**
+ * @typedef StdlibFacadeFunctionDeclaration
+ * @property {"function"} kind - Closed public declaration kind.
+ * @property {string} name - Exact source-visible symbol.
+ * @property {{name: string, type: string}[]} parameters - Ordered source signature.
+ * @property {string} returnType - Canonical result type.
+ * @property {string[]} effects - Closed public effects.
+ * @property {string[]} failures - Escaping canonical failure names.
+ * @property {("direct-call" | "unqualified-call" | "receiver-call")[]} forms - Accepted source call forms.
+ * @property {"not-applicable"} ownership - Initial scalar qualification ownership.
+ */
+/**
+ * @typedef StdlibFacadeClassDeclaration
+ * @property {"class"} kind - Closed public declaration kind.
+ * @property {string} name - Exact source-visible class symbol.
+ * @property {["constructor-call"]} forms - Accepted construction form.
+ * @property {"owned-reference"} ownership - Class instance ownership.
+ * @property {{effects: string[], failures: string[], ownership: "acquired", parameters: {name: string, type: string}[]}} constructor - Constructor contract.
+ * @property {{effects: string[], failures: string[], forms: ["receiver-call"], name: string, ownership: "borrowed" | "consumed", parameters: {name: string, type: string}[], returnType: string}[]} methods - Public instance methods.
+ */
+/** @typedef {StdlibFacadeFunctionDeclaration | StdlibFacadeClassDeclaration} StdlibFacadePublicDeclaration */
+/**
+ * @typedef StdlibFacadeRecord
+ * @property {{identity: string, range: string}[]} dependencies - Facade-module dependencies.
+ * @property {string} identity - Versioned facade identity.
+ * @property {import("./semantic/types.js").SemanticLanguage} language - Source language.
+ * @property {({identity: string, kind: "module", symbols: string[]} | {forms: ("unqualified-call" | "receiver-call")[], identity: string, kind: "builtin", symbols: string[]})[]} nativeModules - Exact source native identities.
+ * @property {StdlibFacadePublicDeclaration[]} publicDeclarations - Public source surface.
+ * @property {{module: string, operations: string[], range: string}[]} requirements - Canonical-only requirements.
+ * @property {string} runtimeProfile - Exact compatible source/runtime profile.
+ * @property {{content: string, filename: string, id: string}} source - Executable compiler-owned source module.
+ * @property {string} version - Exact facade version.
+ * @property {"internal" | "public"} visibility - Native-selectable visibility.
+ */
+/**
+ * @typedef FacadeSourceNames
+ * @property {string} extension - Source filename extension.
+ * @property {string} nativeModule - Public native stdlib module identity.
+ * @property {string} publicName - Public native symbol.
+ * @property {string} unusedName - Unused-elimination fixture symbol.
+ * @property {string} unusedNativeModule - Unused-elimination fixture module.
+ * @property {string} probeSource - Public executable facade source.
+ * @property {string} runnerSource - Internal canonical runner source.
+ * @property {string} unusedSource - Unused executable facade source.
+ */
+/**
+ * @typedef StdlibFacadeRegistry
+ * @property {readonly StdlibFacadeRecord[]} facades - Stable immutable facade records.
+ * @property {(language: string, nativeModule: string, symbol: string, range?: string) => StdlibFacadeRecord} resolveFacade - Exact native identity resolver.
+ * @property {(identity: string, language: string, range?: string) => StdlibFacadeRecord} resolveIdentity - Facade dependency resolver.
+ * @property {(language: string, nativeModule: string, range?: string) => StdlibFacadeRecord} resolveModule - Exact native module resolver.
+ */
+/**
+ * Creates a detached immutable source-language facade registry.
+ * @param {unknown} records - Optional facade definitions; built-in qualification definitions by default.
+ * @returns {Readonly<StdlibFacadeRegistry>} Validated facade registry.
+ */
+export declare function createStdlibFacadeRegistry(records?: unknown): Readonly<StdlibFacadeRegistry>;
+/**
+ * Lists all built-in public and internal facade modules in stable order.
+ * @returns {readonly StdlibFacadeRecord[]} Immutable facade definitions.
+ */
+export declare function listStdlibFacades(): readonly StdlibFacadeRecord[];
+/**
+ * Resolves one built-in facade from parser-proved native module and symbol identities.
+ * @param {string} language - Source language.
+ * @param {string} nativeModule - Exact native module identity.
+ * @param {string} symbol - Exact imported or qualified symbol.
+ * @param {string} [range] - Compatible facade version range.
+ * @returns {StdlibFacadeRecord} Immutable facade definition.
+ */
+export declare function resolveStdlibFacade(language: string, nativeModule: string, symbol: string, range?: string): StdlibFacadeRecord;
+/**
+ * Resolves a dependency-first, cycle-free facade module closure.
+ * @param {StdlibFacadeRecord[]} roots - Parser-selected facade roots.
+ * @param {Readonly<StdlibFacadeRegistry>} [registry] - Facade registry.
+ * @returns {StdlibFacadeRecord[]} Stable dependency-first closure.
+ */
+export declare function resolveStdlibFacadeClosure(roots: StdlibFacadeRecord[], registry?: Readonly<StdlibFacadeRegistry>): StdlibFacadeRecord[];
+/**
+ * Creates the detached, deterministic program descriptor for one selected facade closure.
+ * @param {import("./semantic/types.js").SemanticLanguage} language - Source language profile.
+ * @param {StdlibFacadeRecord[]} facades - Dependency-first selected facade records.
+ * @returns {import("./semantic/types.js").StdlibFacadeProgramDescriptor} Plain program descriptor.
+ */
+export declare function stdlibFacadeProgramDescriptor(language: import("./semantic/types.js").SemanticLanguage, facades: StdlibFacadeRecord[]): import("./semantic/types.js").StdlibFacadeProgramDescriptor;
+/**
+ * Derives compiler-owned semantic capability authority from selected facade requirements.
+ * The initial executable qualification corpus intentionally targets one canonical module.
+ * @param {StdlibFacadeRecord[]} records - Selected facade closure.
+ * @returns {{contract: {contractVersion: string, identity: string}, input: import("./semantic/types.js").CapabilityAuthorityInput} | {contracts: {contractVersion: string, identity: string}[], input: import("./semantic/types.js").CapabilityAuthorityInput} | null} Authority input.
+ */
+export declare function facadeCapabilityAuthority(records: StdlibFacadeRecord[]): {
+    contract: {
+        contractVersion: string;
+        identity: string;
+    };
+    input: import("./semantic/types.js").CapabilityAuthorityInput;
+} | {
+    contracts: {
+        contractVersion: string;
+        identity: string;
+    }[];
+    input: import("./semantic/types.js").CapabilityAuthorityInput;
+} | null;
+export declare const stdlibFacadeRegistry: Readonly<StdlibFacadeRegistry>;
+//# sourceMappingURL=stdlib-facades.d.ts.map

package/build/src/stdlib-facades.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stdlib-facades.d.ts","sourceRoot":"","sources":["../../src/stdlib-facades.js"],"names":[],"mappings":"AAgBG,YAAS,+BAA+B,GACxC;;;;IAAuB,IAAI,EAAhB,UAAU,CACrB;;;;IAAmB,IAAI,EAAZ,MAAM,CACjB;;;;IAA2C,UAAU,EAA1C;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,EAAE,CACzC;;;;IAAmB,UAAU,EAAlB,MAAM,CACjB;;;;IAAqB,OAAO,EAAjB,MAAM,EAAE,CACnB;;;;IAAqB,QAAQ,EAAlB,MAAM,EAAE,CACnB;;;;IAAqE,KAAK,EAA/D,CAAC,aAAa,GAAG,kBAAkB,GAAG,eAAe,CAAC,EAAE,CACnE;;;;IAA6B,SAAS,EAA3B,gBAAgB,CAC7B;CAAA,CAAA;AAEE,YAAS,4BAA4B,GACrC;;;;IAAoB,IAAI,EAAb,OAAO,CAClB;;;;IAAmB,IAAI,EAAZ,MAAM,CACjB;;;;IAAiC,KAAK,EAA3B,CAAC,kBAAkB,CAAC,CAC/B;;;;IAA8B,SAAS,EAA5B,iBAAiB,CAC5B;;;;IAAuH,WAAW,EAAvH;QAAC,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QAAC,SAAS,EAAE,UAAU,CAAC;QAAC,UAAU,EAAE;YAAC,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAC,EAAE,CAAA;KAAC,CACrH;;;;IAAkM,OAAO,EAA9L;QAAC,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QAAC,KAAK,EAAE,CAAC,eAAe,CAAC,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,UAAU,GAAG,UAAU,CAAC;QAAC,UAAU,EAAE;YAAC,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAC,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAC,EAAE,CAClM;CAAA,CAAA;AACG,YAA0E,6BAA6B,GAA7F,+BAA+B,GAAG,4BAA4B,CAA+B;AAExG,YAAS,kBAAkB,GAC3B;;;;IAAgD,YAAY,EAAjD;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAC,EAAE,CAC9C;;;;IAAmB,QAAQ,EAAhB,MAAM,CACjB;;;;IAA2D,QAAQ,EAAxD,OAAO,qBAAqB,EAAE,gBAAgB,CACzD;;;;IAAgL,aAAa,EAAlL,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,QAAQ,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAC,GAAG;QAAC,KAAK,EAAE,CAAC,kBAAkB,GAAG,eAAe,CAAC,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,SAAS,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAC,CAAC,EAAE,CAC9K;;;;IAA4C,kBAAkB,EAAnD,6BAA6B,EAAE,CAC1C;;;;IAAoE,YAAY,EAArE;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAC,EAAE,CAClE;;;;IAAmB,cAAc,EAAtB,MAAM,CACjB;;;;IAA4D,MAAM,EAAvD;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAC,CAC1D;;;;IAAmB,OAAO,EAAf,MAAM,CACjB;;;;IAAkC,UAAU,EAAjC,UAAU,GAAG,QAAQ,CAClC;CAAA,CAAA;AAEE,YAAS,iBAAiB,GAC1B;;;;IAAmB,SAAS,EAAjB,MAAM,CACjB;;;;IAAmB,YAAY,EAApB,MAAM,CACjB;;;;IAAmB,UAAU,EAAlB,MAAM,CACjB;;;;IAAmB,UAAU,EAAlB,MAAM,CACjB;;;;IAAmB,kBAAkB,EAA1B,MAAM,CACjB;;;;IAAmB,WAAW,EAAnB,MAAM,CACjB;;;;IAAmB,YAAY,EAApB,MAAM,CACjB;;;;IAAmB,YAAY,EAApB,MAAM,CACnB;CAAA,CAAA;AAEE,YAAS,oBAAoB,GAC7B;;;;IAA0C,OAAO,EAAtC,SAAS,kBAAkB,EAAE,CACxC;;;;IAA2G,aAAa,EAA7G,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,kBAAkB,CACzG;;;;IAAuF,eAAe,EAA3F,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,kBAAkB,CACrF;;;;IAA2F,aAAa,EAA7F,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,kBAAkB,CAC3F;CAAA,CAAA;AAnDD;;;;;;;;;;GAUG;AACH;;;;;;;;GAQG;AACH,8GAA8G;AAC9G;;;;;;;;;;;;GAYG;AACH;;;;;;;;;;GAUG;AACH;;;;;;GAMG;AAEH;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,OAAO,GAHvC,OAGgE,GAF9D,QAAQ,CAAC,oBAAoB,CAAC,CAkE1C;AAiCD;;;GAGG;AACH,wBAAgB,iBAAiB,IAFpB,SAAS,kBAAkB,EAAE,CAIzC;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EANjC,MAMiC,EAAE,YAAY,EAL/C,MAK+C,EAAE,MAAM,EAJvD,MAIuD,EAAE,KAAK,AAHtE,CACA,EADQ,MAG8D,GAF5D,kBAAkB,CAI9B;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAJrC,kBAAkB,EAImB,EAAE,QAAQ,AAHvD,CACA,EADQ,QAAQ,CAAC,oBAAoB,CAGyC,GAFpE,kBAAkB,EAAE,CA6BhC;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAAC,QAAQ,EAJ3C,OAAO,qBAAqB,EAAE,gBAIa,EAAE,OAAO,EAHpD,kBAAkB,EAGkC,GAFlD,OAAO,qBAAqB,EAAE,6BAA6B,CAoBvE;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,OAAO,EAHtC,kBAAkB,EAGoB,GAFpC;IAAC,QAAQ,EAAE;QAAC,eAAe,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAC,CAAC;IAAC,KAAK,EAAE,OAAO,qBAAqB,EAAE,wBAAwB,CAAA;CAAC,GAAG;IAAC,SAAS,EAAE;QAAC,eAAe,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAC,EAAE,CAAC;IAAC,KAAK,EAAE,OAAO,qBAAqB,EAAE,wBAAwB,CAAA;CAAC,GAAG,IAAI,CAqFrQ;AAs2BD,eAAO,MAAM,oBAAoB,gCAA+B,CAAA"}