semantifold 0.3.0 → 0.5.0

package/build/src/backends/program.d.ts

@@ -0,0 +1,83 @@
+/**
+ * Validates and prepares a complete semantic program for a non-text backend without allocating a writer.
+ * @param {object} input - Backend preflight request.
+ * @param {import("../semantic/types.js").SemanticLanguage} input.backendLanguage - Existing semantic backend profile to enforce.
+ * @param {import("../semantic/types.js").BackendLanguage} input.diagnosticLanguage - Public target identity for capability failures.
+ * @param {import("../semantic/types.js").SemanticProgram} input.program - Complete candidate program.
+ * @param {Readonly<Set<import("../semantic/types.js").SemanticLanguage>>} [input.sourceLanguages] - Accepted source provenance languages.
+ * @returns {{modules: import("../semantic/types.js").SemanticModule[], program: import("../semantic/types.js").SemanticProgram, sources: {content: string, filename: string, language?: import("../semantic/types.js").SemanticLanguage}[]}} Prepared immutable-input views.
+ */
+export declare function preflightSemanticProgram({ backendLanguage, diagnosticLanguage, program: candidate, sourceLanguages }: {
+    backendLanguage: import("../semantic/types.js").SemanticLanguage;
+    diagnosticLanguage: import("../semantic/types.js").BackendLanguage;
+    program: import("../semantic/types.js").SemanticProgram;
+    sourceLanguages?: Readonly<Set<import("../semantic/types.js").SemanticLanguage>>;
+}): {
+    modules: import("../semantic/types.js").SemanticModule[];
+    program: import("../semantic/types.js").SemanticProgram;
+    sources: {
+        content: string;
+        filename: string;
+        language?: import("../semantic/types.js").SemanticLanguage;
+    }[];
+};
+/**
+ * Generates a complete deterministic mapped artifact set for one semantic program.
+ * @param {object} input - Program generation request.
+ * @param {import("../semantic/types.js").BackendLanguage} input.language - Registered program target.
+ * @param {import("../semantic/types.js").SemanticProgram} input.program - Complete semantic program.
+ * @param {"text" | "application"} [input.role] - Explicit artifact role; omitted preserves text generation.
+ * @param {import("../semantic/types.js").IosApplicationConfigurationInput | import("../semantic/types.js").AndroidApplicationConfigurationInput} [input.configuration] - Application configuration.
+ * @param {import("../semantic/types.js").IosApplicationAssetInput[] | import("../semantic/types.js").AndroidApplicationInputFile[]} [input.assets] - Exact caller assets.
+ * @param {import("../semantic/types.js").AndroidApplicationInputFile[]} [input.resources] - Exact Android caller resources.
+ * @returns {import("../semantic/types.js").GeneratedArtifactSet} Transactionally validated artifact set.
+ */
+export declare function generateProgramArtifacts(input: {
+    language: import("../semantic/types.js").BackendLanguage;
+    program: import("../semantic/types.js").SemanticProgram;
+    role?: "text" | "application";
+    configuration?: import("../semantic/types.js").IosApplicationConfigurationInput | import("../semantic/types.js").AndroidApplicationConfigurationInput;
+    assets?: import("../semantic/types.js").IosApplicationAssetInput[] | import("../semantic/types.js").AndroidApplicationInputFile[];
+    resources?: import("../semantic/types.js").AndroidApplicationInputFile[];
+}): import("../semantic/types.js").GeneratedArtifactSet;
+export type StdlibProgramLinking = {
+    /**
+     * - Negotiated provider closure.
+     */
+    negotiation: import("../stdlib-negotiation.js").StdlibNegotiationResult;
+    /**
+     * - Materialized provider records by canonical module.
+     */
+    records: Map<string, import("../stdlib-providers.js").StdlibProviderRecord>;
+    /**
+     * - Program-wide used canonical operations in stable order.
+     */
+    usedOperations: QualifiedStdlibOperation[];
+    /**
+     * - Used canonical operations by program module identity.
+     */
+    usedOperationsByModule: Map<string, QualifiedStdlibOperation[]>;
+    /**
+     * - Ordered provider import names by module identity.
+     */
+    providerImportsByModule: Map<string, string[]>;
+    /**
+     * - Provider artifact closure by program module identity.
+     */
+    providerPathsByModule: Map<string, string[]>;
+    /**
+     * - Java target: first operation-using module identity hosting the shared support; null for artifact-materializing targets.
+     */
+    ownerModuleId: string | null;
+};
+export type QualifiedStdlibOperation = {
+    /**
+     * - Canonical module identity.
+     */
+    module: string;
+    /**
+     * - Canonical operation name.
+     */
+    operation: string;
+};
+//# sourceMappingURL=program.d.ts.map

package/build/src/backends/program.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.d.ts","sourceRoot":"","sources":["../../../src/backends/program.js"],"names":[],"mappings":"AA2BA;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,EAAC,eAAe,EAAE,kBAAkB,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAC,EANhH;IAA+D,eAAe,EAAtE,OAAO,sBAAsB,EAAE,gBAAgB,CACvD;IAA8D,kBAAkB,EAAxE,OAAO,sBAAsB,EAAE,eAAe,CACtD;IAA8D,OAAO,EAA7D,OAAO,sBAAsB,EAAE,eAAe,CACtD;IAA+E,eAAe,AAA9F,CACA,EADQ,QAAQ,CAAC,GAAG,CAAC,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAC,CACtE;CAEgH,GAFtG;IAAC,OAAO,EAAE,OAAO,sBAAsB,EAAE,cAAc,EAAE,CAAC;IAAC,OAAO,EAAE,OAAO,sBAAsB,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAA;KAAC,EAAE,CAAA;CAAC,CA4B3O;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAR3C;IAA8D,QAAQ,EAA9D,OAAO,sBAAsB,EAAE,eAAe,CACtD;IAA8D,OAAO,EAA7D,OAAO,sBAAsB,EAAE,eAAe,CACtD;IAAuC,IAAI,AAA3C,CACA,EADQ,MAAM,GAAG,aAAa,CAC9B;IAAsJ,aAAa,AAAnK,CACA,EADQ,OAAO,sBAAsB,EAAE,gCAAgC,GAAG,OAAO,sBAAsB,EAAE,oCAAoC,CAC7I;IAAyI,MAAM,AAA/I,CACA,EADQ,OAAO,sBAAsB,EAAE,wBAAwB,EAAE,GAAG,OAAO,sBAAsB,EAAE,2BAA2B,EAAE,CAChI;IAA6E,SAAS,AAAtF,CACA,EADQ,OAAO,sBAAsB,EAAE,2BAA2B,EAAE,CACpE;CAE2C,GAFjC,OAAO,sBAAsB,EAAE,oBAAoB,CAqH/D;AAGE,YAAS,oBAAoB,GAC7B;;;;IAAuE,WAAW,EAAvE,OAAO,0BAA0B,EAAE,uBAAuB,CACrE;;;;IAA+E,OAAO,EAA3E,GAAG,CAAC,MAAM,EAAE,OAAO,wBAAwB,EAAE,oBAAoB,CAAC,CAC7E;;;;IAAuC,cAAc,EAA1C,wBAAwB,EAAE,CACrC;;;;IAAoD,sBAAsB,EAA/D,GAAG,CAAC,MAAM,EAAE,wBAAwB,EAAE,CAAC,CAClD;;;;IAAkC,uBAAuB,EAA9C,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAChC;;;;IAAkC,qBAAqB,EAA5C,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAChC;;;;IAA0B,aAAa,EAA5B,MAAM,GAAG,IAAI,CAC1B;CAAA,CAAA;AAGE,YAAS,wBAAwB,GACjC;;;;IAAmB,MAAM,EAAd,MAAM,CACjB;;;;IAAmB,SAAS,EAAjB,MAAM,CACnB;CAAA,CAAA"}