@pipelex/mthds-ui 0.16.0 → 0.18.0

package/dist/static-graph/index.d.ts

@@ -1,8 +1,8 @@
-import { C as ConceptInfo, P as PipeBlueprintUnion, G as GraphSpec, V as ValidationIssue } from '../types-DM_Ws3oW.js';
+import { C as ConceptInfo, P as PipeBlueprintUnion, a as PresenceMarker, b as GraphSpec, V as ValidationIssue } from '../types-Cv5Elty8.js';
 export { P as ParsedPipeRef, m as makePipeRef, p as parsePipeRef } from '../pipeRefs-BQJO5nh5.js';
 
 type DiagnosticSeverity = "error" | "warning";
-type DiagnosticCode = "toml-parse-error" | "missing-domain" | "invalid-bundle-shape" | "invalid-concept-entry" | "invalid-pipe-entry" | "unknown-pipe-type" | "retired-signature-tag" | "invalid-concept-ref" | "missing-pipe-output" | "invalid-sub-pipe" | "incomplete-batch-spec" | "duplicate-concept" | "duplicate-pipe" | "unresolved-pipe-ref" | "cyclic-pipe-ref" | "missing-main-pipe" | "no-entry-pipe" | "conflicting-input-concept";
+type DiagnosticCode = "toml-parse-error" | "missing-domain" | "invalid-bundle-shape" | "invalid-concept-entry" | "invalid-pipe-entry" | "unknown-pipe-type" | "retired-signature-tag" | "invalid-concept-ref" | "missing-pipe-output" | "invalid-sub-pipe" | "incomplete-batch-spec" | "duplicate-concept" | "duplicate-pipe" | "signature-type-mismatch" | "unresolved-pipe-ref" | "cyclic-pipe-ref" | "missing-main-pipe" | "no-entry-pipe" | "conflicting-input-concept";
 /**
  * A non-fatal note collected while parsing or merging. `error` means a whole
  * unit could not be interpreted (unparseable TOML, a skipped pipe); `warning`
@@ -80,6 +80,8 @@ interface ConceptRefParts {
     code: string;
     /** `[]` → true (many), `[N]` → N, no suffix → null (single). */
     multiplicity: number | boolean | null;
+    /** `?` → "optional", `!` → "force", no suffix → "plain". */
+    presence: PresenceMarker;
 }
 /** Parse a concept ref string into its parts. Returns null when the ref is not interpretable. */
 declare function parseConceptRef(raw: unknown): ConceptRefParts | null;

package/dist/static-graph/index.js

@@ -1,8 +1,10 @@
 import {
-  KNOWN_PIPE_TYPES,
   makePipeRef,
   parsePipeRef
-} from "../chunk-HURB2U53.js";
+} from "../chunk-2N65P32H.js";
+import {
+  KNOWN_PIPE_TYPES
+} from "../chunk-RJVEDP7M.js";
 import {
   __spreadProps,
   __spreadValues
@@ -50,16 +52,22 @@ var NATIVE_CONCEPT_CODES = new Set(
 function isNativeConceptCode(code) {
   return Object.hasOwn(NATIVE_CONCEPT_DESCRIPTIONS, code);
 }
-var CONCEPT_REF_RE = /^(?:([A-Za-z0-9_][A-Za-z0-9_.]*)\.)?([A-Za-z0-9_]+)(?:\[(\d*)\])?$/;
+var CONCEPT_REF_RE = /^(?:([A-Za-z0-9_][A-Za-z0-9_.]*)\.)?([A-Za-z0-9_]+)(?:\[(\d*)\])?([?!])?$/;
+function presenceFromSymbol(symbol) {
+  if (symbol === "?") return "optional";
+  if (symbol === "!") return "force";
+  return "plain";
+}
 function parseConceptRef(raw) {
   if (typeof raw !== "string") return null;
   const match = CONCEPT_REF_RE.exec(raw.trim());
   if (!match) return null;
-  const [, domain, code, multiplicity] = match;
+  const [, domain, code, multiplicity, presence] = match;
   return {
     domain: domain != null ? domain : null,
     code,
-    multiplicity: multiplicity === void 0 ? null : multiplicity === "" ? true : Number.parseInt(multiplicity, 10)
+    multiplicity: multiplicity === void 0 ? null : multiplicity === "" ? true : Number.parseInt(multiplicity, 10),
+    presence: presenceFromSymbol(presence)
   };
 }
 function qualifiedStructureClassName(domain, code) {
@@ -102,7 +110,8 @@ function resolveStuffSpec(raw, currentDomain, localConcepts) {
   if (parts === null) return null;
   return {
     concept: resolveConceptInfo(parts, currentDomain, localConcepts),
-    multiplicity: parts.multiplicity
+    multiplicity: parts.multiplicity,
+    presence: parts.presence
   };
 }
 
@@ -161,7 +170,7 @@ function normalizeOutput(raw, pipeCode, ctx) {
     message: `pipe "${pipeCode}": missing or uninterpretable output \u2014 assuming native.Anything`,
     path: `pipe.${pipeCode}.output`
   });
-  return { concept: nativeConceptInfo("Anything"), multiplicity: null };
+  return { concept: nativeConceptInfo("Anything"), multiplicity: null, presence: "plain" };
 }
 function normalizeSubPipe(raw, pipeCode, path, ctx) {
   var _a;
@@ -523,9 +532,18 @@ function deriveJsonSchema(structure, title, description) {
     properties
   }, required.length > 0 ? { required } : {});
 }
-function qualifyRefines(raw, domain, declaredCodes) {
+function qualifyRefines(raw, domain, declaredCodes, conceptCode, diagnostics) {
   const parts = parseConceptRef(raw);
   if (parts === null) return null;
+  if (parts.multiplicity !== null || parts.presence !== "plain") {
+    diagnostics.push({
+      severity: "warning",
+      code: "invalid-concept-ref",
+      message: `concept "${conceptCode}": \`refines\` names a concept, so it takes no multiplicity or presence suffix \u2014 ignored`,
+      path: `concept.${conceptCode}.refines`
+    });
+    return null;
+  }
   if (parts.domain !== null) return `${parts.domain}.${parts.code}`;
   if (!declaredCodes.has(parts.code) && isNativeConceptCode(parts.code)) {
     return `${NATIVE_DOMAIN}.${parts.code}`;
@@ -573,7 +591,7 @@ function parseConcepts(raw, domain, diagnostics) {
       domain_code: domain,
       description,
       structure_class_name: structureClassName,
-      refines: qualifyRefines(entry.refines, domain, declaredCodes),
+      refines: qualifyRefines(entry.refines, domain, declaredCodes, code, diagnostics),
       json_schema: deriveJsonSchema(entry.structure, structureClassName, description)
     };
   }
@@ -664,7 +682,7 @@ function enrichPipeConcepts(pipe, domains) {
   return __spreadProps(__spreadValues({}, pipe), { inputs, output: enrichSpec(pipe.output) });
 }
 function mergeBundles(bundles) {
-  var _a, _b;
+  var _a, _b, _c;
   const diagnostics = [];
   const domains = {};
   let mainDomain = null;
@@ -693,17 +711,36 @@ function mergeBundles(bundles) {
       namespace.concepts[code] = concept;
     }
     for (const [code, pipe] of Object.entries(bundle.pipes)) {
-      if (code in namespace.pipes) {
-        diagnostics.push({
-          severity: "warning",
-          code: "duplicate-pipe",
-          message: `pipe "${domain}.${code}" declared more than once \u2014 keeping the first declaration`,
-          path: `pipe.${code}`,
-          domain_code: domain
-        });
+      const existing = namespace.pipes[code];
+      if (existing === void 0) {
+        namespace.pipes[code] = pipe;
         continue;
       }
-      namespace.pipes[code] = pipe;
+      const existingIsSignature = existing.type === "PipeSignature";
+      const incomingIsSignature = pipe.type === "PipeSignature";
+      if (existingIsSignature !== incomingIsSignature) {
+        const signature = existing.type === "PipeSignature" ? existing : pipe;
+        const concrete = existing.type === "PipeSignature" ? pipe : existing;
+        if (existingIsSignature) namespace.pipes[code] = pipe;
+        const promised = signature.type === "PipeSignature" ? (_c = signature.signature_for) != null ? _c : null : null;
+        if (promised !== null && promised !== concrete.type) {
+          diagnostics.push({
+            severity: "warning",
+            code: "signature-type-mismatch",
+            message: `pipe "${domain}.${code}": the signature promises \`signature_for = "${promised}"\` but the concrete definition is a ${concrete.type} \u2014 using the concrete definition`,
+            path: `pipe.${code}`,
+            domain_code: domain
+          });
+        }
+        continue;
+      }
+      diagnostics.push({
+        severity: "warning",
+        code: "duplicate-pipe",
+        message: `pipe "${domain}.${code}" declared more than once \u2014 keeping the first declaration`,
+        path: `pipe.${code}`,
+        domain_code: domain
+      });
     }
   }
   for (const namespace of Object.values(domains)) {
@@ -1275,8 +1312,14 @@ function walkInlineBatch(ctx, sub, domain, nodeId, parentId, scope) {
     code,
     domain_code: domain,
     description: `Batch processing for ${branchTail}`,
-    inputs: { [params.input_list_stuff_name]: { concept: listConcept, multiplicity: null } },
-    output: { concept: outputSpec.concept, multiplicity: null },
+    inputs: {
+      [params.input_list_stuff_name]: {
+        concept: listConcept,
+        multiplicity: null,
+        presence: "plain"
+      }
+    },
+    output: { concept: outputSpec.concept, multiplicity: null, presence: "plain" },
     branch_pipe_code: sub.pipe_code,
     batch_params: params
   };