sysprom 1.25.0 → 1.26.0

package/dist/src/cli/commands/query.js

@@ -2,7 +2,7 @@ import pc from "picocolors";
 import * as z from "zod";
 import { textToString } from "../../text.js";
 import { readOpts, loadDoc } from "../shared.js";
-import { queryNodesOp, queryNodeOp, queryRelationshipsOp, traceFromNodeOp, timelineOp, nodeHistoryOp, stateAtOp, } from "../../operations/index.js";
+import { queryNodesOp, queryNodeOp, queryRelationshipsOp, queryRelationshipTypesOp, traceFromNodeOp, timelineOp, nodeHistoryOp, stateAtOp, } from "../../operations/index.js";
 import { NodeType, NodeStatus } from "../../schema.js";
 import { primaryLifecycleState } from "../../lifecycle-state.js";
 // ---------------------------------------------------------------------------
@@ -211,6 +211,26 @@ const timelineSubcommand = {
         }
     },
 };
+const relationshipTypesSubcommand = {
+    name: "relationship-types",
+    description: queryRelationshipTypesOp.def.description,
+    apiLink: queryRelationshipTypesOp.def.name,
+    opts: readOpts,
+    action(_rawArgs, rawOpts) {
+        const opts = readOpts.parse(rawOpts);
+        const relTypes = queryRelationshipTypesOp({});
+        if (opts.json) {
+            console.log(JSON.stringify(relTypes, null, 2));
+        }
+        else {
+            for (const relType of relTypes) {
+                console.log(pc.bold(relType.type));
+                console.log(`  ${pc.dim("from")}: ${relType.from.map((t) => pc.cyan(t)).join(", ")}`);
+                console.log(`  ${pc.dim("to")}: ${relType.to.map((t) => pc.cyan(t)).join(", ")}`);
+            }
+        }
+    },
+};
 const stateAtSubcommand = {
     name: "state-at",
     description: stateAtOp.def.description,
@@ -247,6 +267,7 @@ export const queryCommand = {
         nodesSubcommand,
         nodeSubcommand,
         relsSubcommand,
+        relationshipTypesSubcommand,
         traceSubcommand,
         timelineSubcommand,
         stateAtSubcommand,

package/dist/src/operations/index.d.ts

@@ -18,6 +18,7 @@ export { planGateOp, type GateResultOutput } from "./plan-gate.js";
 export { queryNodesOp } from "./query-nodes.js";
 export { queryNodeOp, type NodeDetail } from "./query-node.js";
 export { queryRelationshipsOp } from "./query-relationships.js";
+export { queryRelationshipTypesOp } from "./query-relationship-types.js";
 export { traceFromNodeOp, type TraceNode } from "./trace-from-node.js";
 export { timelineOp, type TimelineEvent } from "./timeline.js";
 export { nodeHistoryOp } from "./node-history.js";

package/dist/src/operations/index.js

@@ -20,6 +20,7 @@ export { planGateOp } from "./plan-gate.js";
 export { queryNodesOp } from "./query-nodes.js";
 export { queryNodeOp } from "./query-node.js";
 export { queryRelationshipsOp } from "./query-relationships.js";
+export { queryRelationshipTypesOp } from "./query-relationship-types.js";
 export { traceFromNodeOp } from "./trace-from-node.js";
 // Temporal operations
 export { timelineOp } from "./timeline.js";

package/dist/src/operations/query-relationship-types.d.ts

@@ -0,0 +1,145 @@
+import * as z from "zod";
+import { RelationshipType, NodeType } from "../schema.js";
+/** Information about valid endpoint types for a relationship type. */
+export interface RelationshipTypeInfo {
+    type: RelationshipType;
+    from: NodeType[];
+    to: NodeType[];
+}
+/** Result of querying relationship endpoint types. */
+export declare const QueryRelationshipTypesResult: z.ZodArray<z.ZodObject<{
+    type: z.ZodEnum<{
+        refines: "refines";
+        realises: "realises";
+        implements: "implements";
+        depends_on: "depends_on";
+        constrained_by: "constrained_by";
+        affects: "affects";
+        supersedes: "supersedes";
+        must_preserve: "must_preserve";
+        part_of: "part_of";
+        precedes: "precedes";
+        must_follow: "must_follow";
+        governed_by: "governed_by";
+        modifies: "modifies";
+        produces: "produces";
+    }> & {
+        is(value: unknown): value is "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "part_of" | "precedes" | "must_follow" | "governed_by" | "modifies" | "produces";
+    };
+    from: z.ZodArray<z.ZodEnum<{
+        intent: "intent";
+        concept: "concept";
+        capability: "capability";
+        element: "element";
+        realisation: "realisation";
+        invariant: "invariant";
+        principle: "principle";
+        policy: "policy";
+        protocol: "protocol";
+        stage: "stage";
+        role: "role";
+        gate: "gate";
+        mode: "mode";
+        artefact: "artefact";
+        decision: "decision";
+        change: "change";
+        view: "view";
+        milestone: "milestone";
+    }> & {
+        is(value: unknown): value is "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "decision" | "change" | "view" | "milestone";
+    }>;
+    to: z.ZodArray<z.ZodEnum<{
+        intent: "intent";
+        concept: "concept";
+        capability: "capability";
+        element: "element";
+        realisation: "realisation";
+        invariant: "invariant";
+        principle: "principle";
+        policy: "policy";
+        protocol: "protocol";
+        stage: "stage";
+        role: "role";
+        gate: "gate";
+        mode: "mode";
+        artefact: "artefact";
+        decision: "decision";
+        change: "change";
+        view: "view";
+        milestone: "milestone";
+    }> & {
+        is(value: unknown): value is "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "decision" | "change" | "view" | "milestone";
+    }>;
+}, z.core.$strip>>;
+/** Result type for queryRelationshipTypesOp. */
+export type QueryRelationshipTypesResult = z.infer<typeof QueryRelationshipTypesResult>;
+/**
+ * Query valid endpoint types for all relationship types.
+ *
+ * Returns a list of relationship types with their valid source and target node types.
+ * Useful for discovering valid combinations before attempting to add relationships.
+ */
+export declare const queryRelationshipTypesOp: import("./define-operation.js").DefinedOperation<z.ZodObject<{}, z.core.$strip>, z.ZodArray<z.ZodObject<{
+    type: z.ZodEnum<{
+        refines: "refines";
+        realises: "realises";
+        implements: "implements";
+        depends_on: "depends_on";
+        constrained_by: "constrained_by";
+        affects: "affects";
+        supersedes: "supersedes";
+        must_preserve: "must_preserve";
+        part_of: "part_of";
+        precedes: "precedes";
+        must_follow: "must_follow";
+        governed_by: "governed_by";
+        modifies: "modifies";
+        produces: "produces";
+    }> & {
+        is(value: unknown): value is "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "part_of" | "precedes" | "must_follow" | "governed_by" | "modifies" | "produces";
+    };
+    from: z.ZodArray<z.ZodEnum<{
+        intent: "intent";
+        concept: "concept";
+        capability: "capability";
+        element: "element";
+        realisation: "realisation";
+        invariant: "invariant";
+        principle: "principle";
+        policy: "policy";
+        protocol: "protocol";
+        stage: "stage";
+        role: "role";
+        gate: "gate";
+        mode: "mode";
+        artefact: "artefact";
+        decision: "decision";
+        change: "change";
+        view: "view";
+        milestone: "milestone";
+    }> & {
+        is(value: unknown): value is "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "decision" | "change" | "view" | "milestone";
+    }>;
+    to: z.ZodArray<z.ZodEnum<{
+        intent: "intent";
+        concept: "concept";
+        capability: "capability";
+        element: "element";
+        realisation: "realisation";
+        invariant: "invariant";
+        principle: "principle";
+        policy: "policy";
+        protocol: "protocol";
+        stage: "stage";
+        role: "role";
+        gate: "gate";
+        mode: "mode";
+        artefact: "artefact";
+        decision: "decision";
+        change: "change";
+        view: "view";
+        milestone: "milestone";
+    }> & {
+        is(value: unknown): value is "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "decision" | "change" | "view" | "milestone";
+    }>;
+}, z.core.$strip>>>;

package/dist/src/operations/query-relationship-types.js

@@ -0,0 +1,29 @@
+import * as z from "zod";
+import { defineOperation } from "./define-operation.js";
+import { RelationshipType, NodeType } from "../schema.js";
+import { RELATIONSHIP_ENDPOINT_TYPES } from "../endpoint-types.js";
+/** Result of querying relationship endpoint types. */
+export const QueryRelationshipTypesResult = z.array(z.object({
+    type: RelationshipType,
+    from: z.array(NodeType),
+    to: z.array(NodeType),
+}));
+/**
+ * Query valid endpoint types for all relationship types.
+ *
+ * Returns a list of relationship types with their valid source and target node types.
+ * Useful for discovering valid combinations before attempting to add relationships.
+ */
+export const queryRelationshipTypesOp = defineOperation({
+    name: "query-relationship-types",
+    description: "Query valid endpoint types for all relationship types",
+    input: z.object({}),
+    output: QueryRelationshipTypesResult,
+    fn: () => {
+        return Object.entries(RELATIONSHIP_ENDPOINT_TYPES).map(([relType, endpoints]) => ({
+            type: RelationshipType.parse(relType),
+            from: endpoints.from,
+            to: endpoints.to,
+        }));
+    },
+});

package/dist/src/operations/validate.js

@@ -118,12 +118,18 @@ export const validateOp = defineOperation({
                 issues.push(`${n.id} (${n.name}): affects domain nodes but has no must_preserve relationship`);
             }
         }
-        // INV13: Decisions must have options and selected
+        // INV13: Decisions must have options and selected (if decided)
         for (const n of input.doc.nodes.filter((n) => n.type === "decision")) {
             if (!n.options || n.options.length === 0) {
                 issues.push(`${n.id} (${n.name}): decision has no options`);
             }
-            if (!n.selected) {
+            // Only require selected option if the decision is in a "decided" state
+            // Decided states: accepted, implemented, adopted
+            // Undecided states allowed: proposed, experimental, deferred
+            const isDecided = hasLifecycleState(n, "accepted") ||
+                hasLifecycleState(n, "implemented") ||
+                hasLifecycleState(n, "adopted");
+            if (isDecided && !n.selected) {
                 issues.push(`${n.id} (${n.name}): decision has no selected option`);
             }
         }

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "sysprom",
-	"version": "1.25.0",
+	"version": "1.26.0",
 	"description": "SysProM — System Provenance Model CLI and library",
 	"author": "ExaDev",
 	"homepage": "https://exadev.github.io/SysProM",