sysprom 1.19.0 → 1.21.0

package/dist/src/operations/infer-derived.d.ts

@@ -89,39 +89,18 @@ export declare const inferDerivedOp: import("./define-operation.js").DefinedOper
                 gate: "gate";
                 mode: "mode";
                 artefact: "artefact";
-                artefact_flow: "artefact_flow";
                 decision: "decision";
                 change: "change";
                 view: "view";
                 milestone: "milestone";
-                version: "version";
             }> & {
-                is(value: unknown): value is "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version";
+                is(value: unknown): value is "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "decision" | "change" | "view" | "milestone";
             };
             name: z.ZodString;
             description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
                 is(value: unknown): value is string | string[];
             }>;
-            status: z.ZodOptional<z.ZodEnum<{
-                deprecated: "deprecated";
-                proposed: "proposed";
-                accepted: "accepted";
-                active: "active";
-                implemented: "implemented";
-                adopted: "adopted";
-                defined: "defined";
-                introduced: "introduced";
-                in_progress: "in_progress";
-                complete: "complete";
-                consolidated: "consolidated";
-                experimental: "experimental";
-                retired: "retired";
-                superseded: "superseded";
-                abandoned: "abandoned";
-                deferred: "deferred";
-            }> & {
-                is(value: unknown): value is "deprecated" | "proposed" | "accepted" | "active" | "implemented" | "adopted" | "defined" | "introduced" | "in_progress" | "complete" | "consolidated" | "experimental" | "retired" | "superseded" | "abandoned" | "deferred";
-            }>;
+            status: z.ZodOptional<z.ZodNever>;
             lifecycle: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodBoolean, z.ZodString]>>>;
             context: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
                 is(value: unknown): value is string | string[];
@@ -176,8 +155,6 @@ export declare const inferDerivedOp: import("./define-operation.js").DefinedOper
             }>>;
             propagation: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
             includes: z.ZodOptional<z.ZodArray<z.ZodString>>;
-            input: z.ZodOptional<z.ZodString>;
-            output: z.ZodOptional<z.ZodString>;
             external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 role: z.ZodEnum<{
                     output: "output";
@@ -221,26 +198,14 @@ export declare const inferDerivedOp: import("./define-operation.js").DefinedOper
                 affects: "affects";
                 supersedes: "supersedes";
                 must_preserve: "must_preserve";
-                performs: "performs";
                 part_of: "part_of";
                 precedes: "precedes";
                 must_follow: "must_follow";
-                blocks: "blocks";
-                routes_to: "routes_to";
                 governed_by: "governed_by";
                 modifies: "modifies";
-                triggered_by: "triggered_by";
-                applies_to: "applies_to";
                 produces: "produces";
-                consumes: "consumes";
-                transforms_into: "transforms_into";
-                selects: "selects";
-                requires: "requires";
-                disables: "disables";
-                influence: "influence";
-                justifies: "justifies";
             }> & {
-                is(value: unknown): value is "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "performs" | "part_of" | "precedes" | "must_follow" | "blocks" | "routes_to" | "governed_by" | "modifies" | "triggered_by" | "applies_to" | "produces" | "consumes" | "transforms_into" | "selects" | "requires" | "disables" | "influence" | "justifies";
+                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";
             };
             description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
                 is(value: unknown): value is string | string[];
@@ -259,7 +224,7 @@ export declare const inferDerivedOp: import("./define-operation.js").DefinedOper
                 [x: string]: unknown;
                 from: string;
                 to: string;
-                type: "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "performs" | "part_of" | "precedes" | "must_follow" | "blocks" | "routes_to" | "governed_by" | "modifies" | "triggered_by" | "applies_to" | "produces" | "consumes" | "transforms_into" | "selects" | "requires" | "disables" | "influence" | "justifies";
+                type: "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "part_of" | "precedes" | "must_follow" | "governed_by" | "modifies" | "produces";
                 description?: string | string[] | undefined;
                 polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
                 strength?: number | undefined;
@@ -299,10 +264,10 @@ export declare const inferDerivedOp: import("./define-operation.js").DefinedOper
             nodes: {
                 [x: string]: unknown;
                 id: string;
-                type: "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version";
+                type: "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "decision" | "change" | "view" | "milestone";
                 name: string;
                 description?: string | string[] | undefined;
-                status?: "deprecated" | "proposed" | "accepted" | "active" | "implemented" | "adopted" | "defined" | "introduced" | "in_progress" | "complete" | "consolidated" | "experimental" | "retired" | "superseded" | "abandoned" | "deferred" | undefined;
+                status?: undefined;
                 lifecycle?: Record<string, string | boolean> | undefined;
                 context?: string | string[] | undefined;
                 options?: {
@@ -326,8 +291,6 @@ export declare const inferDerivedOp: import("./define-operation.js").DefinedOper
                 }[] | undefined;
                 propagation?: Record<string, boolean> | undefined;
                 includes?: string[] | undefined;
-                input?: string | undefined;
-                output?: string | undefined;
                 external_references?: {
                     role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
                     identifier: string;
@@ -350,7 +313,7 @@ export declare const inferDerivedOp: import("./define-operation.js").DefinedOper
                 [x: string]: unknown;
                 from: string;
                 to: string;
-                type: "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "performs" | "part_of" | "precedes" | "must_follow" | "blocks" | "routes_to" | "governed_by" | "modifies" | "triggered_by" | "applies_to" | "produces" | "consumes" | "transforms_into" | "selects" | "requires" | "disables" | "influence" | "justifies";
+                type: "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "part_of" | "precedes" | "must_follow" | "governed_by" | "modifies" | "produces";
                 description?: string | string[] | undefined;
                 polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
                 strength?: number | undefined;

package/dist/src/operations/infer-derived.js

@@ -1,6 +1,7 @@
 import * as z from "zod";
 import { defineOperation } from "./define-operation.js";
 import { SysProMDocument } from "../schema.js";
+import { isViewReadModelDependsOnRelationship } from "../endpoint-types.js";
 /**
  * A derived relationship inferred from transitive closure or composition.
  */
@@ -61,8 +62,17 @@ export const inferDerivedOp = defineOperation({
     output: DerivedOutput,
     fn: (input) => {
         const derived = [];
+        const nodeMap = new Map(input.doc.nodes.map((n) => [n.id, n]));
         const existingKeys = new Set((input.doc.relationships ?? []).map((r) => `${r.from}:${r.type}:${r.to}`));
         const derivedKeys = new Set();
+        const relationships = input.doc.relationships ?? [];
+        const isReadModelViewDependsOn = (rel) => {
+            const fromNode = nodeMap.get(rel.from);
+            const toNode = nodeMap.get(rel.to);
+            if (!fromNode || !toNode)
+                return false;
+            return isViewReadModelDependsOnRelationship(rel.type, fromNode.type, toNode.type);
+        };
         // Helper to add derived relationship if not already existing
         const addDerived = (from, to, type, derivedFrom, derivationType) => {
             const key = `${from}:${type}:${to}`;
@@ -73,7 +83,14 @@ export const inferDerivedOp = defineOperation({
         };
         // 1. Transitive relationships - compute full transitive closure with path tracking
         for (const [relType, derivedType] of Object.entries(TRANSITIVE_RELATIONSHIPS)) {
-            const rels = (input.doc.relationships ?? []).filter((r) => r.type === relType);
+            const rels = relationships.filter((r) => {
+                if (r.type !== relType)
+                    return false;
+                if (relType === "depends_on" && isReadModelViewDependsOn(r)) {
+                    return false;
+                }
+                return true;
+            });
             // Build adjacency list
             const adj = new Map();
             for (const r of rels) {
@@ -123,14 +140,21 @@ export const inferDerivedOp = defineOperation({
         }
         // 2. Inverse relationships
         for (const [relType, inverseType] of Object.entries(INVERSE_RELATIONSHIPS)) {
-            const rels = (input.doc.relationships ?? []).filter((r) => r.type === relType);
+            const rels = relationships.filter((r) => {
+                if (r.type !== relType)
+                    return false;
+                if (relType === "depends_on" && isReadModelViewDependsOn(r)) {
+                    return false;
+                }
+                return true;
+            });
             for (const r of rels) {
                 addDerived(r.to, r.from, inverseType, [{ from: r.from, to: r.to, type: r.type }], "inverse");
             }
         }
         // 3. Composite patterns (A affects B, B depends_on C => A potentially_affects C)
-        const affectsRels = (input.doc.relationships ?? []).filter((r) => r.type === "affects");
-        const dependsRels = (input.doc.relationships ?? []).filter((r) => r.type === "depends_on");
+        const affectsRels = relationships.filter((r) => r.type === "affects");
+        const dependsRels = relationships.filter((r) => r.type === "depends_on" && !isReadModelViewDependsOn(r));
         const dependsMap = new Map();
         for (const r of dependsRels) {
             const deps = dependsMap.get(r.from) ?? [];