sysprom 1.20.0 → 1.21.0

package/dist/src/operations/update-plan-task.d.ts

@@ -39,39 +39,18 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
                 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[];
@@ -126,8 +105,6 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
             }>>;
             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";
@@ -171,27 +148,14 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
                 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";
-                orchestrates: "orchestrates";
                 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" | "orchestrates" | "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[];
@@ -210,7 +174,7 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
                 [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" | "orchestrates" | "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;
@@ -250,10 +214,10 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
             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?: {
@@ -277,8 +241,6 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
                 }[] | 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;
@@ -301,7 +263,7 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
                 [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" | "orchestrates" | "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;
@@ -353,39 +315,18 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
             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[];
@@ -440,8 +381,6 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
         }>>;
         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";
@@ -485,27 +424,14 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
             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";
-            orchestrates: "orchestrates";
             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" | "orchestrates" | "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[];
@@ -524,7 +450,7 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
             [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" | "orchestrates" | "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;
@@ -564,10 +490,10 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
         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?: {
@@ -591,8 +517,6 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
             }[] | 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;
@@ -615,7 +539,7 @@ export declare const updatePlanTaskOp: import("./define-operation.js").DefinedOp
             [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" | "orchestrates" | "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/validate.d.ts

@@ -52,39 +52,18 @@ export declare const validateOp: import("./define-operation.js").DefinedOperatio
                 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[];
@@ -139,8 +118,6 @@ export declare const validateOp: import("./define-operation.js").DefinedOperatio
             }>>;
             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";
@@ -184,27 +161,14 @@ export declare const validateOp: import("./define-operation.js").DefinedOperatio
                 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";
-                orchestrates: "orchestrates";
                 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" | "orchestrates" | "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[];
@@ -223,7 +187,7 @@ export declare const validateOp: import("./define-operation.js").DefinedOperatio
                 [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" | "orchestrates" | "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;
@@ -263,10 +227,10 @@ export declare const validateOp: import("./define-operation.js").DefinedOperatio
             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?: {
@@ -290,8 +254,6 @@ export declare const validateOp: import("./define-operation.js").DefinedOperatio
                 }[] | 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;
@@ -314,7 +276,7 @@ export declare const validateOp: import("./define-operation.js").DefinedOperatio
                 [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" | "orchestrates" | "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/validate.js

@@ -1,7 +1,8 @@
 import * as z from "zod";
 import { defineOperation } from "./define-operation.js";
 import { SysProMDocument } from "../schema.js";
-import { isValidEndpointPair, RELATIONSHIP_ENDPOINT_TYPES, } from "../endpoint-types.js";
+import { isValidEndpointPair, isViewReadModelDependsOnRelationship, RELATIONSHIP_ENDPOINT_TYPES, } from "../endpoint-types.js";
+import { hasLifecycleState } from "../lifecycle-state.js";
 /** Zod schema for the result of validating a SysProM document. */
 export const ValidationResult = z.object({
     valid: z.boolean(),
@@ -75,21 +76,22 @@ export const validateOp = defineOperation({
         const OPERATIONAL_REL_TYPES = new Set([
             "depends_on",
             "constrained_by",
-            "requires",
             "affects",
             "must_preserve",
-            "performs",
             "must_follow",
             "part_of",
             "governed_by",
             "modifies",
-            "applies_to",
             "produces",
-            "consumes",
         ]);
         for (const r of input.doc.relationships ?? []) {
+            const fromNode = nodeMap.get(r.from);
             const toNode = nodeMap.get(r.to);
-            if (toNode?.status === "retired" && OPERATIONAL_REL_TYPES.has(r.type)) {
+            if (fromNode &&
+                toNode &&
+                hasLifecycleState(toNode, "retired") &&
+                OPERATIONAL_REL_TYPES.has(r.type) &&
+                !isViewReadModelDependsOnRelationship(r.type, fromNode.type, toNode.type)) {
                 issues.push(`Operational relationship ${r.type} targets retired node ${r.to}`);
             }
         }