semantifold 0.9.0 → 0.11.0

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

@@ -37,6 +37,10 @@ export type LanguageRegistryRecord = {
         stages: import("./semantic/types.js").AcceptanceStage[];
         toolchains: string[];
     };
+    /**
+     * - Developer-check declaration.
+     */
+    check: Readonly<LanguageRegistryCheckRecord>;
     /**
      * - Artifact multiplicity.
      */
@@ -86,6 +90,33 @@ export type LanguageRegistryRecord = {
      */
     interoperability?: RegistryImplementation;
 };
+export type TargetCheckPlanContext = Readonly<{
+    artifacts: import("./semantic/types.js").GeneratedArtifactSet;
+    buildPath: string;
+    projectId: string;
+    sourcePath: string;
+    targetId: string;
+    tools: readonly import("./semantic/types.js").DiscoveredToolchain[];
+}>;
+export type TargetCheckPlanFactory = (context: TargetCheckPlanContext) => import("./semantic/types.js").TargetCheckPlan;
+export type LanguageRegistryCheckRecord = {
+    /**
+     * - Target-owned plan factory for supported checks.
+     */
+    factory?: TargetCheckPlanFactory;
+    /**
+     * - Exact non-executing stages.
+     */
+    stages: readonly import("./semantic/types.js").AcceptanceStage[];
+    /**
+     * - Whether the target supplies a check plan.
+     */
+    supported: boolean;
+    /**
+     * - Exact declared canonical toolchains.
+     */
+    toolchains: readonly string[];
+};
 export type LanguageRegistry = {
     /**
      * - Public descriptors.
@@ -122,6 +153,7 @@ export type LanguageRegistry = {
  * @typedef LanguageRegistryRecord
  * @property {string} id - Stable identity.
  * @property {{stages: import("./semantic/types.js").AcceptanceStage[], toolchains: string[]}} acceptance - Acceptance declaration.
+ * @property {Readonly<LanguageRegistryCheckRecord>} check - Developer-check 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.
@@ -135,6 +167,28 @@ export type LanguageRegistry = {
  * @property {RegistryImplementation} [applicationBackend] - Application-artifact backend.
  * @property {RegistryImplementation} [interoperability] - Interoperability bridge.
  */
+/**
+ * @typedef {Readonly<{
+ *   artifacts: import("./semantic/types.js").GeneratedArtifactSet,
+ *   buildPath: string,
+ *   projectId: string,
+ *   sourcePath: string,
+ *   targetId: string,
+ *   tools: readonly import("./semantic/types.js").DiscoveredToolchain[]
+ * }>} TargetCheckPlanContext
+ */
+/**
+ * @callback TargetCheckPlanFactory
+ * @param {TargetCheckPlanContext} context - Exact staged target context.
+ * @returns {import("./semantic/types.js").TargetCheckPlan} Immutable plan.
+ */
+/**
+ * @typedef LanguageRegistryCheckRecord
+ * @property {TargetCheckPlanFactory} [factory] - Target-owned plan factory for supported checks.
+ * @property {readonly import("./semantic/types.js").AcceptanceStage[]} stages - Exact non-executing stages.
+ * @property {boolean} supported - Whether the target supplies a check plan.
+ * @property {readonly string[]} toolchains - Exact declared canonical toolchains.
+ */
 /**
  * @typedef LanguageRegistry
  * @property {readonly import("./semantic/types.js").LanguageCapabilities[]} descriptors - Public descriptors.

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":"AA8CI,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;AAwPD,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":"AA8DI,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;;;;IAAkD,KAAK,EAA5C,QAAQ,CAAC,2BAA2B,CAAC,CAChD;;;;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,YAOI,sBAAsB,GAPhB,QAAQ,CAAC;IACjB,SAAS,EAAE,OAAO,qBAAqB,EAAE,oBAAoB,CAAC;IAC9D,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,SAAS,OAAO,qBAAqB,EAAE,mBAAmB,EAAE,CAAA;CACpE,CAAC,CAAwB;AAI1B,YAAU,sBAAsB,GAChC,CAAgC,OAAO,EAA/B,sBACR,KAAU,OAAO,qBAAqB,EAAE,eAC1C,CAAA;AAGE,YAAS,2BAA2B,GACpC;;;;IAAoC,OAAO,AAA3C,CACA,EADW,sBAAsB,CACjC;;;;IAAqE,MAAM,EAAhE,SAAS,OAAO,qBAAqB,EAAE,eAAe,EAAE,CACnE;;;;IAAoB,SAAS,EAAlB,OAAO,CAClB;;;;IAA8B,UAAU,EAA7B,SAAS,MAAM,EAAE,CAC9B;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;AAnED,uHAAuH;AACvH,0EAA0E;AAE1E;;;;;;GAMG;AAEH;;;;GAIG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AAEH;;;;;;;;;GASG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;;;;GAMG;AAEH;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,gBAAgB,EAH5C,OAG4C,GAF1C,QAAQ,CAAC,gBAAgB,CAAC,CA0RtC;AA2QD,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"}