semantifold 0.3.0 → 0.4.0

package/build/src/language-registry.d.ts

@@ -1,9 +1,30 @@
 export type RegistryRole = "frontend" | "textBackend" | "binaryBackend" | "applicationBackend" | "interoperability";
-export type Frontend = (input: {
+export type RegistryImplementation = (...values: unknown[]) => unknown;
+export type FrontendInput = {
+    /**
+     * - Compiler-authorized declarations.
+     */
+    capabilities?: readonly import("./semantic/types.js").EffectCapabilityDeclaration[];
+    /**
+     * - Source filename.
+     */
     filename: string;
+    /**
+     * - Source text.
+     */
     source: string;
-}) => import("./semantic/types.js").SemanticModule;
-export type RegistryImplementation = (...values: unknown[]) => unknown;
+    /**
+     * - Program conversion context.
+     */
+    program?: {
+        isEntry: boolean;
+        functions: Map<string, import("./semantic/types.js").FunctionDeclaration>;
+        records: Map<string, import("./semantic/types.js").RecordDeclaration>;
+        errors?: Map<string, import("./semantic/types.js").ErrorDeclaration>;
+        valueRecords?: Map<string, import("./semantic/types.js").RecordDeclaration>;
+    };
+};
+export type Frontend = (input: FrontendInput) => import("./semantic/types.js").SemanticModule;
 export type LanguageRegistryRecord = {
     /**
      * - Stable identity.
@@ -20,6 +41,10 @@ export type LanguageRegistryRecord = {
      * - Artifact multiplicity.
      */
     artifactMultiplicity: "single" | "multiple";
+    /**
+     * - Semantic feature capabilities.
+     */
+    features: import("./semantic/types.js").LanguageFeatureCapabilities;
     /**
      * - Mapping capabilities.
      */
@@ -36,6 +61,10 @@ export type LanguageRegistryRecord = {
      * - Default backend media type.
      */
     mediaType?: string;
+    /**
+     * - Target host stdlib provider/native-binding role.
+     */
+    provider?: boolean;
     /**
      * - Frontend adapter.
      */
@@ -76,17 +105,30 @@ export type LanguageRegistry = {
     resolve: (id: string, role: RegistryRole, location?: import("./semantic/types.js").SourceLocation) => RegistryImplementation;
 };
 /** @typedef {"frontend" | "textBackend" | "binaryBackend" | "applicationBackend" | "interoperability"} RegistryRole */
-/** @typedef {(input: {filename: string, source: string}) => import("./semantic/types.js").SemanticModule} Frontend */
 /** @typedef {(...values: unknown[]) => unknown} RegistryImplementation */
+/**
+ * @typedef FrontendInput
+ * @property {readonly import("./semantic/types.js").EffectCapabilityDeclaration[]} [capabilities] - Compiler-authorized declarations.
+ * @property {string} filename - Source filename.
+ * @property {string} source - Source text.
+ * @property {{isEntry: boolean, functions: Map<string, import("./semantic/types.js").FunctionDeclaration>, records: Map<string, import("./semantic/types.js").RecordDeclaration>, errors?: Map<string, import("./semantic/types.js").ErrorDeclaration>, valueRecords?: Map<string, import("./semantic/types.js").RecordDeclaration>}} [program] - Program conversion context.
+ */
+/**
+ * @callback Frontend
+ * @param {FrontendInput} input - Frontend request.
+ * @returns {import("./semantic/types.js").SemanticModule} Semantic module.
+ */
 /**
  * @typedef LanguageRegistryRecord
  * @property {string} id - Stable identity.
  * @property {{stages: import("./semantic/types.js").AcceptanceStage[], toolchains: string[]}} acceptance - Acceptance declaration.
  * @property {"single" | "multiple"} artifactMultiplicity - Artifact multiplicity.
+ * @property {import("./semantic/types.js").LanguageFeatureCapabilities} features - Semantic feature capabilities.
  * @property {import("./semantic/types.js").LanguageMappingCapabilities} mapping - Mapping capabilities.
  * @property {boolean} roundTrip - Round-trip declaration.
  * @property {string} [defaultFilename] - Default backend filename.
  * @property {string} [mediaType] - Default backend media type.
+ * @property {boolean} [provider] - Target host stdlib provider/native-binding role.
  * @property {RegistryImplementation} [frontend] - Frontend adapter.
  * @property {RegistryImplementation} [textBackend] - Text backend.
  * @property {RegistryImplementation} [binaryBackend] - Binary backend.

package/build/src/language-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"language-registry.d.ts","sourceRoot":"","sources":["../../src/language-registry.js"],"names":[],"mappings":"AAgCI,YAAoG,YAAY,GAAtG,UAAU,GAAG,aAAa,GAAG,eAAe,GAAG,oBAAoB,GAAG,kBAAkB,CAAc;AAChH,YAAuG,QAAQ,GAArG,CAAC,KAAK,EAAE;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAC,KAAK,OAAO,qBAAqB,EAAE,cAAc,CAAU;AAC/G,YAA6C,sBAAsB,GAAzD,CAAC,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,OAAO,CAAwB;AAGpE,YAAS,sBAAsB,GAC/B;;;;IAAmB,EAAE,EAAV,MAAM,CACjB;;;;IAA4F,UAAU,EAA3F;QAAC,MAAM,EAAE,OAAO,qBAAqB,EAAE,eAAe,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAC,CAC1F;;;;IAAkC,oBAAoB,EAA3C,QAAQ,GAAG,UAAU,CAChC;;;;IAAsE,OAAO,EAAlE,OAAO,qBAAqB,EAAE,2BAA2B,CACpE;;;;IAAoB,SAAS,EAAlB,OAAO,CAClB;;;;IAAoB,eAAe,AAAnC,CACA,EADW,MAAM,CACjB;;;;IAAoB,SAAS,AAA7B,CACA,EADW,MAAM,CACjB;;;;IAAoC,QAAQ,AAA5C,CACA,EADW,sBAAsB,CACjC;;;;IAAoC,WAAW,AAA/C,CACA,EADW,sBAAsB,CACjC;;;;IAAoC,aAAa,AAAjD,CACA,EADW,sBAAsB,CACjC;;;;IAAoC,kBAAkB,AAAtD,CACA,EADW,sBAAsB,CACjC;;;;IAAoC,gBAAgB,AAApD,CACF,EADa,sBAAsB,CACnC;CAAA,CAAA;AAGE,YAAS,gBAAgB,GACzB;;;;IAA0E,WAAW,EAA1E,SAAS,OAAO,qBAAqB,EAAE,oBAAoB,EAAE,CACxE;;;;IAA8B,GAAG,EAAtB,SAAS,MAAM,EAAE,CAC5B;;;;IAA6D,MAAM,EAAxD,CAAC,EAAE,EAAE,MAAM,KAAK,QAAQ,CAAC,sBAAsB,CAAC,CAC3D;;;;IAAgI,OAAO,EAA5H,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,CAAC,EAAE,OAAO,qBAAqB,EAAE,cAAc,KAAK,sBAAsB,CAChI;CAAA,CAAA;AA1BD,uHAAuH;AACvH,sHAAsH;AACtH,0EAA0E;AAE1E;;;;;;;;;;;;;;GAcG;AAEH;;;;;;GAMG;AAEH;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,gBAAgB,EAH5C,OAG4C,GAF1C,QAAQ,CAAC,gBAAgB,CAAC,CA6KtC;AAoID,eAAO,MAAM,gBAAgB,4BAAkC,CAAA;AAC/D,eAAO,MAAM,oBAAoB,+DAA+B,CAAA;AAChE,wEAAwE;AACxE,eAAO,MAAM,kBAAkB,EADpB,SAAS,OAAO,qBAAqB,EAAE,gBAAgB,EAGmB,CAAA"}
+{"version":3,"file":"language-registry.d.ts","sourceRoot":"","sources":["../../src/language-registry.js"],"names":[],"mappings":"AA0CI,YAAoG,YAAY,GAAtG,UAAU,GAAG,aAAa,GAAG,eAAe,GAAG,oBAAoB,GAAG,kBAAkB,CAAc;AAChH,YAA6C,sBAAsB,GAAzD,CAAC,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,OAAO,CAAwB;AAGpE,YAAS,aAAa,GACtB;;;;IAAkF,YAAY,AAA9F,CACA,EADW,SAAS,OAAO,qBAAqB,EAAE,2BAA2B,EAAE,CAC/E;;;;IAAmB,QAAQ,EAAhB,MAAM,CACjB;;;;IAAmB,MAAM,EAAd,MAAM,CACjB;;;;IAAqU,OAAO,AAA5U,CACF,EADa;QAAC,OAAO,EAAE,OAAO,CAAC;QAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,qBAAqB,EAAE,mBAAmB,CAAC,CAAC;QAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,qBAAqB,EAAE,iBAAiB,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,qBAAqB,EAAE,gBAAgB,CAAC,CAAC;QAAC,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,qBAAqB,EAAE,iBAAiB,CAAC,CAAA;KAAC,CACpU;CAAA,CAAA;AAGE,YAAU,QAAQ,GAClB,CAAuB,KAAK,EAApB,aACR,KAAU,OAAO,qBAAqB,EAAE,cAC1C,CAAA;AAGE,YAAS,sBAAsB,GAC/B;;;;IAAmB,EAAE,EAAV,MAAM,CACjB;;;;IAA4F,UAAU,EAA3F;QAAC,MAAM,EAAE,OAAO,qBAAqB,EAAE,eAAe,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAC,CAC1F;;;;IAAkC,oBAAoB,EAA3C,QAAQ,GAAG,UAAU,CAChC;;;;IAAsE,QAAQ,EAAnE,OAAO,qBAAqB,EAAE,2BAA2B,CACpE;;;;IAAsE,OAAO,EAAlE,OAAO,qBAAqB,EAAE,2BAA2B,CACpE;;;;IAAoB,SAAS,EAAlB,OAAO,CAClB;;;;IAAoB,eAAe,AAAnC,CACA,EADW,MAAM,CACjB;;;;IAAoB,SAAS,AAA7B,CACA,EADW,MAAM,CACjB;;;;IAAqB,QAAQ,AAA7B,CACA,EADW,OAAO,CAClB;;;;IAAoC,QAAQ,AAA5C,CACA,EADW,sBAAsB,CACjC;;;;IAAoC,WAAW,AAA/C,CACA,EADW,sBAAsB,CACjC;;;;IAAoC,aAAa,AAAjD,CACA,EADW,sBAAsB,CACjC;;;;IAAoC,kBAAkB,AAAtD,CACA,EADW,sBAAsB,CACjC;;;;IAAoC,gBAAgB,AAApD,CACF,EADa,sBAAsB,CACnC;CAAA,CAAA;AAGE,YAAS,gBAAgB,GACzB;;;;IAA0E,WAAW,EAA1E,SAAS,OAAO,qBAAqB,EAAE,oBAAoB,EAAE,CACxE;;;;IAA8B,GAAG,EAAtB,SAAS,MAAM,EAAE,CAC5B;;;;IAA6D,MAAM,EAAxD,CAAC,EAAE,EAAE,MAAM,KAAK,QAAQ,CAAC,sBAAsB,CAAC,CAC3D;;;;IAAgI,OAAO,EAA5H,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,CAAC,EAAE,OAAO,qBAAqB,EAAE,cAAc,KAAK,sBAAsB,CAChI;CAAA,CAAA;AAzCD,uHAAuH;AACvH,0EAA0E;AAE1E;;;;;;GAMG;AAEH;;;;GAIG;AAEH;;;;;;;;;;;;;;;;GAgBG;AAEH;;;;;;GAMG;AAEH;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,gBAAgB,EAH5C,OAG4C,GAF1C,QAAQ,CAAC,gBAAgB,CAAC,CAgOtC;AA0MD,eAAO,MAAM,gBAAgB,4BAAkC,CAAA;AAC/D,eAAO,MAAM,oBAAoB,+DAA+B,CAAA;AAChE,wEAAwE;AACxE,eAAO,MAAM,kBAAkB,EADpB,SAAS,OAAO,qBAAqB,EAAE,gBAAgB,EAGmB,CAAA"}