@clossys/architect 0.1.2

package/dist/ontology/types.d.ts

@@ -0,0 +1,123 @@
+/** A scalar representation supplied by this package. */
+export type PrimitiveValueType = "string" | "number" | "integer" | "boolean" | "date" | "datetime" | "json";
+/** A product-defined scalar type built on one primitive representation. */
+export interface ValueTypeDefinition {
+    id: string;
+    primitive: PrimitiveValueType;
+    label?: string;
+}
+/** A closed set of product-defined string values. */
+export interface VocabularyDefinition {
+    id: string;
+    values: readonly string[];
+    label?: string;
+}
+/** A field's representation: a primitive or the id of a value type or vocabulary. */
+export type FieldValueType = PrimitiveValueType | string;
+/** One stable field on a domain type or relation. */
+export interface FieldDefinition {
+    id: string;
+    valueType: FieldValueType;
+    required?: boolean;
+    label?: string;
+}
+/** A product-owned domain type with stable fields. */
+export interface DomainTypeDefinition {
+    id: string;
+    fields?: readonly FieldDefinition[];
+    label?: string;
+}
+/** The allowed cardinality of a directed relation. */
+export type RelationCardinality = "one-to-one" | "one-to-many" | "many-to-one" | "many-to-many";
+/** A directed relation that may carry its own stable fields. */
+export interface RelationDefinition {
+    id: string;
+    from: string;
+    to: string;
+    cardinality: RelationCardinality;
+    properties?: readonly FieldDefinition[];
+    label?: string;
+}
+/** A consumer-owned semantic model. `schemaVersion` belongs to that consumer, not this package. */
+export interface DomainModelDefinition {
+    id: string;
+    schemaVersion: string;
+    valueTypes?: readonly ValueTypeDefinition[];
+    vocabularies?: readonly VocabularyDefinition[];
+    types?: readonly DomainTypeDefinition[];
+    relations?: readonly RelationDefinition[];
+}
+/** A normalized, immutable-looking model value returned by `defineDomainModel`. */
+export interface DomainModel extends DomainModelDefinition {
+    valueTypes: readonly ValueTypeDefinition[];
+    vocabularies: readonly VocabularyDefinition[];
+    types: readonly DomainTypeDefinition[];
+    relations: readonly RelationDefinition[];
+}
+/** One observed issue; callers decide whether an error blocks their workflow. */
+export interface DomainModelFinding {
+    rule: string;
+    severity: "error" | "warning";
+    message: string;
+    path?: string;
+}
+/** A change detected between two model versions. */
+export interface DomainModelChange {
+    kind: "additive" | "breaking";
+    subject: "model" | "value-type" | "vocabulary" | "vocabulary-value" | "type" | "field" | "relation" | "relation-property";
+    id: string;
+    message: string;
+}
+/** Machine-readable outcome of `compareDomainModels`. */
+export interface DomainModelCompatibilityReport {
+    compatible: boolean;
+    changes: readonly DomainModelChange[];
+    previousFindings: readonly DomainModelFinding[];
+    nextFindings: readonly DomainModelFinding[];
+}
+/** One product-owned record captured against a declared domain type. */
+export interface DomainRecordDefinition {
+    id: string;
+    type: string;
+    values?: Readonly<Record<string, unknown>>;
+}
+/** A detached record with an explicit value object. */
+export interface DomainRecord {
+    id: string;
+    type: string;
+    values: Readonly<Record<string, unknown>>;
+}
+/** One directed product-owned relation captured against a declared relation type. */
+export interface DomainRelationDefinition {
+    type: string;
+    from: string;
+    to: string;
+    values?: Readonly<Record<string, unknown>>;
+}
+/** A detached directed relation with an explicit value object. */
+export interface DomainRelation {
+    type: string;
+    from: string;
+    to: string;
+    values: Readonly<Record<string, unknown>>;
+}
+/** Authoring input for a product-owned collection of records and relations. */
+export interface DomainSnapshotDefinition {
+    records?: readonly DomainRecordDefinition[];
+    relations?: readonly DomainRelationDefinition[];
+}
+/** A detached domain snapshot with explicit collections. */
+export interface DomainSnapshot {
+    records: readonly DomainRecord[];
+    relations: readonly DomainRelation[];
+}
+/** One observed issue in a snapshot; callers decide whether an error blocks their workflow. */
+export interface DomainSnapshotFinding {
+    rule: string;
+    severity: "error" | "warning";
+    message: string;
+    path?: string;
+}
+export declare const PRIMITIVE_VALUE_TYPES: readonly PrimitiveValueType[];
+export declare const RELATION_CARDINALITIES: readonly RelationCardinality[];
+//# sourceMappingURL=types.d.ts.map

package/dist/ontology/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/ontology/types.ts"],"names":[],"mappings":"AAAA,wDAAwD;AACxD,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,GAAG,UAAU,GAAG,MAAM,CAAC;AAE5G,2EAA2E;AAC3E,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,kBAAkB,CAAC;IAC9B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,qDAAqD;AACrD,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,qFAAqF;AACrF,MAAM,MAAM,cAAc,GAAG,kBAAkB,GAAG,MAAM,CAAC;AAEzD,qDAAqD;AACrD,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,cAAc,CAAC;IAC1B,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,sDAAsD;AACtD,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACpC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,sDAAsD;AACtD,MAAM,MAAM,mBAAmB,GAAG,YAAY,GAAG,aAAa,GAAG,aAAa,GAAG,cAAc,CAAC;AAEhG,gEAAgE;AAChE,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,mBAAmB,CAAC;IACjC,UAAU,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACxC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,mGAAmG;AACnG,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAC5C,YAAY,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC/C,KAAK,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACxC,SAAS,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC3C;AAED,mFAAmF;AACnF,MAAM,WAAW,WAAY,SAAQ,qBAAqB;IACxD,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAC3C,YAAY,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC9C,KAAK,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACvC,SAAS,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC1C;AAED,iFAAiF;AACjF,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,oDAAoD;AACpD,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;IAC9B,OAAO,EAAE,OAAO,GAAG,YAAY,GAAG,YAAY,GAAG,kBAAkB,GAAG,MAAM,GAAG,OAAO,GAAG,UAAU,GAAG,mBAAmB,CAAC;IAC1H,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,yDAAyD;AACzD,MAAM,WAAW,8BAA8B;IAC7C,UAAU,EAAE,OAAO,CAAC;IACpB,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,gBAAgB,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAChD,YAAY,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC7C;AAED,wEAAwE;AACxE,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC5C;AAED,uDAAuD;AACvD,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC3C;AAED,qFAAqF;AACrF,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC5C;AAED,kEAAkE;AAClE,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC3C;AAED,+EAA+E;AAC/E,MAAM,WAAW,wBAAwB;IACvC,OAAO,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC5C,SAAS,CAAC,EAAE,SAAS,wBAAwB,EAAE,CAAC;CACjD;AAED,4DAA4D;AAC5D,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IACjC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CACtC;AAED,+FAA+F;AAC/F,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,eAAO,MAAM,qBAAqB,EAAE,SAAS,kBAAkB,EAQ9D,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,SAAS,mBAAmB,EAKhE,CAAC"}

package/dist/ontology/types.js

@@ -0,0 +1,16 @@
+export const PRIMITIVE_VALUE_TYPES = [
+    "string",
+    "number",
+    "integer",
+    "boolean",
+    "date",
+    "datetime",
+    "json",
+];
+export const RELATION_CARDINALITIES = [
+    "one-to-one",
+    "one-to-many",
+    "many-to-one",
+    "many-to-many",
+];
+//# sourceMappingURL=types.js.map

package/dist/ontology/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/ontology/types.ts"],"names":[],"mappings":"AA4IA,MAAM,CAAC,MAAM,qBAAqB,GAAkC;IAClE,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,SAAS;IACT,MAAM;IACN,UAAU;IACV,MAAM;CACP,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAmC;IACpE,YAAY;IACZ,aAAa;IACb,aAAa;IACb,cAAc;CACf,CAAC"}

package/dist/ontology/validate.d.ts

@@ -0,0 +1,8 @@
+import type { DomainModelFinding } from "./types.js";
+/**
+ * Validates real definitions rather than a consumer-provided success flag.
+ * It never throws for malformed input and reports every independently
+ * checkable structural and referential finding.
+ */
+export declare function validateDomainModel(value: unknown): DomainModelFinding[];
+//# sourceMappingURL=validate.d.ts.map

package/dist/ontology/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/ontology/validate.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAmB,MAAM,YAAY,CAAC;AAqGtE;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,EAAE,CAoGxE"}

package/dist/ontology/validate.js

@@ -0,0 +1,190 @@
+import { PRIMITIVE_VALUE_TYPES, RELATION_CARDINALITIES } from "./types.js";
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function finding(rule, message, path) {
+    return { rule, severity: "error", message, path };
+}
+function arrayAt(record, key, findings, path) {
+    const value = record[key];
+    if (value === undefined)
+        return [];
+    if (Array.isArray(value))
+        return value;
+    findings.push(finding("collection-shape", `${key} must be an array when provided.`, path));
+    return [];
+}
+function stringAt(record, key, findings, path) {
+    const value = record[key];
+    if (typeof value === "string" && value.length > 0)
+        return value;
+    findings.push(finding("required-string", `${key} must be a non-empty string.`, path));
+    return undefined;
+}
+function optionalLabel(record, findings, path) {
+    if (record.label !== undefined && typeof record.label !== "string") {
+        findings.push(finding("label-shape", "label must be a string when provided.", path));
+    }
+}
+function isPrimitive(value) {
+    return typeof value === "string" && PRIMITIVE_VALUE_TYPES.includes(value);
+}
+function isCardinality(value) {
+    return typeof value === "string" && RELATION_CARDINALITIES.includes(value);
+}
+function hasNamespace(id, modelId) {
+    return id.startsWith(`${modelId}.`) && id.length > modelId.length + 1;
+}
+function isStableId(id) {
+    return /^[a-z][a-z0-9-]*(?:\.[A-Za-z][A-Za-z0-9_-]*)+$/.test(id);
+}
+function validateStableId(id, modelId, findings, path, expectedPrefix) {
+    if (id === undefined)
+        return;
+    if (!isStableId(id)) {
+        findings.push(finding("stable-id-shape", "id must be a dotted, namespaced identifier.", path));
+    }
+    if (modelId !== undefined && !hasNamespace(id, modelId)) {
+        findings.push(finding("stable-id-namespace", `id must begin with "${modelId}.".`, path));
+    }
+    if (expectedPrefix !== undefined && !id.startsWith(`${expectedPrefix}.`)) {
+        findings.push(finding("field-parent", `id must begin with "${expectedPrefix}.".`, path));
+    }
+}
+function validateFields(fields, fieldName, ownerId, modelId, knownValueIds, findings, path) {
+    const ids = new Set();
+    fields.forEach((candidate, index) => {
+        const fieldPath = `${path}.${fieldName}[${index}]`;
+        if (!isRecord(candidate)) {
+            findings.push(finding("field-shape", "A field must be an object.", fieldPath));
+            return;
+        }
+        const id = stringAt(candidate, "id", findings, `${fieldPath}.id`);
+        validateStableId(id, modelId, findings, `${fieldPath}.id`, ownerId);
+        if (id !== undefined) {
+            if (ids.has(id))
+                findings.push(finding("duplicate-field-id", `Duplicate field id "${id}".`, `${fieldPath}.id`));
+            ids.add(id);
+        }
+        const valueType = stringAt(candidate, "valueType", findings, `${fieldPath}.valueType`);
+        if (valueType !== undefined && !isPrimitive(valueType) && !knownValueIds.has(valueType)) {
+            findings.push(finding("unknown-value-type", `valueType "${valueType}" does not reference a primitive, value type, or vocabulary.`, `${fieldPath}.valueType`));
+        }
+        if (candidate.required !== undefined && typeof candidate.required !== "boolean") {
+            findings.push(finding("required-shape", "required must be a boolean when provided.", `${fieldPath}.required`));
+        }
+        optionalLabel(candidate, findings, `${fieldPath}.label`);
+    });
+}
+/**
+ * Validates real definitions rather than a consumer-provided success flag.
+ * It never throws for malformed input and reports every independently
+ * checkable structural and referential finding.
+ */
+export function validateDomainModel(value) {
+    const findings = [];
+    if (!isRecord(value))
+        return [finding("model-shape", "A domain model must be an object.", "$")];
+    const modelId = stringAt(value, "id", findings, "id");
+    if (modelId !== undefined && !/^[a-z][a-z0-9-]*$/.test(modelId)) {
+        findings.push(finding("model-id-shape", "id must be a lowercase namespace token.", "id"));
+    }
+    stringAt(value, "schemaVersion", findings, "schemaVersion");
+    const valueTypes = arrayAt(value, "valueTypes", findings, "valueTypes");
+    const vocabularies = arrayAt(value, "vocabularies", findings, "vocabularies");
+    const types = arrayAt(value, "types", findings, "types");
+    const relations = arrayAt(value, "relations", findings, "relations");
+    const knownValueIds = new Set();
+    const allNamedIds = new Set();
+    const recordNamed = (id, kind, path, isValueReference = false) => {
+        if (id === undefined)
+            return;
+        if (allNamedIds.has(id))
+            findings.push(finding("duplicate-id", `Duplicate ${kind} id "${id}".`, path));
+        allNamedIds.add(id);
+        if (isValueReference)
+            knownValueIds.add(id);
+    };
+    valueTypes.forEach((candidate, index) => {
+        const path = `valueTypes[${index}]`;
+        if (!isRecord(candidate)) {
+            findings.push(finding("value-type-shape", "A value type must be an object.", path));
+            return;
+        }
+        const id = stringAt(candidate, "id", findings, `${path}.id`);
+        validateStableId(id, modelId, findings, `${path}.id`);
+        recordNamed(id, "value type", `${path}.id`, true);
+        if (!isPrimitive(candidate.primitive))
+            findings.push(finding("primitive-known", "primitive must be a known primitive value type.", `${path}.primitive`));
+        optionalLabel(candidate, findings, `${path}.label`);
+    });
+    vocabularies.forEach((candidate, index) => {
+        const path = `vocabularies[${index}]`;
+        if (!isRecord(candidate)) {
+            findings.push(finding("vocabulary-shape", "A vocabulary must be an object.", path));
+            return;
+        }
+        const id = stringAt(candidate, "id", findings, `${path}.id`);
+        validateStableId(id, modelId, findings, `${path}.id`);
+        recordNamed(id, "vocabulary", `${path}.id`, true);
+        const values = arrayAt(candidate, "values", findings, `${path}.values`);
+        const seen = new Set();
+        values.forEach((entry, valueIndex) => {
+            if (typeof entry !== "string" || entry.length === 0) {
+                findings.push(finding("vocabulary-value-shape", "Vocabulary values must be non-empty strings.", `${path}.values[${valueIndex}]`));
+            }
+            else if (seen.has(entry)) {
+                findings.push(finding("duplicate-vocabulary-value", `Duplicate vocabulary value "${entry}".`, `${path}.values[${valueIndex}]`));
+            }
+            else
+                seen.add(entry);
+        });
+        optionalLabel(candidate, findings, `${path}.label`);
+    });
+    const typeIds = new Set();
+    types.forEach((candidate, index) => {
+        const path = `types[${index}]`;
+        if (!isRecord(candidate)) {
+            findings.push(finding("type-shape", "A domain type must be an object.", path));
+            return;
+        }
+        const id = stringAt(candidate, "id", findings, `${path}.id`);
+        validateStableId(id, modelId, findings, `${path}.id`);
+        if (id !== undefined) {
+            if (typeIds.has(id))
+                findings.push(finding("duplicate-type-id", `Duplicate type id "${id}".`, `${path}.id`));
+            typeIds.add(id);
+        }
+        recordNamed(id, "type", `${path}.id`);
+        validateFields(arrayAt(candidate, "fields", findings, `${path}.fields`), "fields", id, modelId, knownValueIds, findings, path);
+        optionalLabel(candidate, findings, `${path}.label`);
+    });
+    const relationIds = new Set();
+    relations.forEach((candidate, index) => {
+        const path = `relations[${index}]`;
+        if (!isRecord(candidate)) {
+            findings.push(finding("relation-shape", "A relation must be an object.", path));
+            return;
+        }
+        const id = stringAt(candidate, "id", findings, `${path}.id`);
+        validateStableId(id, modelId, findings, `${path}.id`);
+        if (id !== undefined) {
+            if (relationIds.has(id))
+                findings.push(finding("duplicate-relation-id", `Duplicate relation id "${id}".`, `${path}.id`));
+            relationIds.add(id);
+        }
+        recordNamed(id, "relation", `${path}.id`);
+        const from = stringAt(candidate, "from", findings, `${path}.from`);
+        const to = stringAt(candidate, "to", findings, `${path}.to`);
+        if (from !== undefined && !typeIds.has(from))
+            findings.push(finding("relation-from-known", `from endpoint "${from}" does not reference a type.`, `${path}.from`));
+        if (to !== undefined && !typeIds.has(to))
+            findings.push(finding("relation-to-known", `to endpoint "${to}" does not reference a type.`, `${path}.to`));
+        if (!isCardinality(candidate.cardinality))
+            findings.push(finding("relation-cardinality-known", "cardinality must be a supported relation cardinality.", `${path}.cardinality`));
+        validateFields(arrayAt(candidate, "properties", findings, `${path}.properties`), "properties", id, modelId, knownValueIds, findings, path);
+        optionalLabel(candidate, findings, `${path}.label`);
+    });
+    return findings;
+}
+//# sourceMappingURL=validate.js.map

package/dist/ontology/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/ontology/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAK3E,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,OAAe,EAAE,IAAY;IAC1D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,OAAO,CAAC,MAAmB,EAAE,GAAW,EAAE,QAA8B,EAAE,IAAY;IAC7F,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,GAAG,kCAAkC,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3F,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,QAAQ,CAAC,MAAmB,EAAE,GAAW,EAAE,QAA8B,EAAE,IAAY;IAC9F,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAChE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,GAAG,8BAA8B,EAAE,IAAI,CAAC,CAAC,CAAC;IACtF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CAAC,MAAmB,EAAE,QAA8B,EAAE,IAAY;IACtF,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACnE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,uCAAuC,EAAE,IAAI,CAAC,CAAC,CAAC;IACvF,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,qBAA2C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,sBAA4C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,YAAY,CAAC,EAAU,EAAE,OAAe;IAC/C,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,UAAU,CAAC,EAAU;IAC5B,OAAO,gDAAgD,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAsB,EACtB,OAA2B,EAC3B,QAA8B,EAC9B,IAAY,EACZ,cAAuB;IAEvB,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO;IAC7B,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;QACpB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,6CAA6C,EAAE,IAAI,CAAC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,uBAAuB,OAAO,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,cAAc,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,cAAc,GAAG,CAAC,EAAE,CAAC;QACzE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,uBAAuB,cAAc,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3F,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,MAAiB,EACjB,SAAkC,EAClC,OAA2B,EAC3B,OAA2B,EAC3B,aAA0B,EAC1B,QAA8B,EAC9B,IAAY;IAEZ,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QAClC,MAAM,SAAS,GAAG,GAAG,IAAI,IAAI,SAAS,IAAI,KAAK,GAAG,CAAC;QACnD,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,4BAA4B,EAAE,SAAS,CAAC,CAAC,CAAC;YAC/E,OAAO;QACT,CAAC;QACD,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,SAAS,KAAK,CAAC,CAAC;QAClE,gBAAgB,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,SAAS,KAAK,EAAE,OAAO,CAAC,CAAC;QACpE,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,uBAAuB,EAAE,IAAI,EAAE,GAAG,SAAS,KAAK,CAAC,CAAC,CAAC;YAChH,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACd,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,SAAS,YAAY,CAAC,CAAC;QACvF,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACxF,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,cAAc,SAAS,8DAA8D,EAAE,GAAG,SAAS,YAAY,CAAC,CAAC,CAAC;QAChK,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,SAAS,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAChF,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,2CAA2C,EAAE,GAAG,SAAS,WAAW,CAAC,CAAC,CAAC;QACjH,CAAC;QACD,aAAa,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,SAAS,QAAQ,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,mCAAmC,EAAE,GAAG,CAAC,CAAC,CAAC;IAEhG,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACtD,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAChE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,yCAAyC,EAAE,IAAI,CAAC,CAAC,CAAC;IAC5F,CAAC;IACD,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;IAE5D,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;IACxE,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IAErE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,WAAW,GAAG,CAAC,EAAsB,EAAE,IAAY,EAAE,IAAY,EAAE,gBAAgB,GAAG,KAAK,EAAQ,EAAE;QACzG,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO;QAC7B,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,aAAa,IAAI,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACvG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpB,IAAI,gBAAgB;YAAE,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC;IAEF,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QACtC,MAAM,IAAI,GAAG,cAAc,KAAK,GAAG,CAAC;QACpC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,iCAAiC,EAAE,IAAI,CAAC,CAAC,CAAC;YACpF,OAAO;QACT,CAAC;QACD,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QAC7D,gBAAgB,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QACtD,WAAW,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,IAAI,KAAK,EAAE,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,SAAS,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,iDAAiD,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC,CAAC;QACzJ,aAAa,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,YAAY,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QACxC,MAAM,IAAI,GAAG,gBAAgB,KAAK,GAAG,CAAC;QACtC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,iCAAiC,EAAE,IAAI,CAAC,CAAC,CAAC;YACpF,OAAO;QACT,CAAC;QACD,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QAC7D,gBAAgB,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QACtD,WAAW,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,IAAI,KAAK,EAAE,IAAI,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;QACxE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE;YACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE,8CAA8C,EAAE,GAAG,IAAI,WAAW,UAAU,GAAG,CAAC,CAAC,CAAC;YACpI,CAAC;iBAAM,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,4BAA4B,EAAE,+BAA+B,KAAK,IAAI,EAAE,GAAG,IAAI,WAAW,UAAU,GAAG,CAAC,CAAC,CAAC;YAClI,CAAC;;gBAAM,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC,CAAC,CAAC;QACH,aAAa,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QACjC,MAAM,IAAI,GAAG,SAAS,KAAK,GAAG,CAAC;QAC/B,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,kCAAkC,EAAE,IAAI,CAAC,CAAC,CAAC;YAC/E,OAAO;QACT,CAAC;QACD,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QAC7D,gBAAgB,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QACtD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,sBAAsB,EAAE,IAAI,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC;YAC7G,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClB,CAAC;QACD,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QACtC,cAAc,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,IAAI,SAAS,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC/H,aAAa,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,SAAS,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,aAAa,KAAK,GAAG,CAAC;QACnC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,+BAA+B,EAAE,IAAI,CAAC,CAAC,CAAC;YAChF,OAAO;QACT,CAAC;QACD,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QAC7D,gBAAgB,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QACtD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,uBAAuB,EAAE,0BAA0B,EAAE,IAAI,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC;YACzH,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACtB,CAAC;QACD,WAAW,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;QACnE,MAAM,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC;QAC7D,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,kBAAkB,IAAI,8BAA8B,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC;QAClK,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,gBAAgB,EAAE,8BAA8B,EAAE,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC;QACtJ,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,WAAW,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,4BAA4B,EAAE,uDAAuD,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC,CAAC;QAChL,cAAc,CAAC,OAAO,CAAC,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,GAAG,IAAI,aAAa,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC3I,aAAa,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/topology.d.ts

@@ -0,0 +1,11 @@
+import { type ArchitectureFinding, type OperatingTopology, type OperatingTopologyCompatibilityReport, type OperatingTopologyDefinition } from "./types.js";
+/** Creates a detached topology definition without asserting that it is valid. */
+export declare function defineOperatingTopology(definition: OperatingTopologyDefinition): OperatingTopology;
+/** Validates shape, identities, references, ownership and declared interfaces without I/O. */
+export declare function validateOperatingTopology(value: unknown): ArchitectureFinding[];
+/** Returns one canonical property layout and ordering. */
+export declare function normalizeOperatingTopology(definition: OperatingTopologyDefinition): OperatingTopology;
+export declare function serializeOperatingTopology(definition: OperatingTopologyDefinition): string;
+/** Compares stable architectural contracts. Description and schemaVersion are not compatibility surface. */
+export declare function compareOperatingTopologies(previous: OperatingTopologyDefinition, next: OperatingTopologyDefinition): OperatingTopologyCompatibilityReport;
+//# sourceMappingURL=topology.d.ts.map

package/dist/topology.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"topology.d.ts","sourceRoot":"","sources":["../src/topology.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,mBAAmB,EAIxB,KAAK,iBAAiB,EACtB,KAAK,oCAAoC,EACzC,KAAK,2BAA2B,EAEjC,MAAM,YAAY,CAAC;AA2CpB,iFAAiF;AACjF,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,2BAA2B,GAAG,iBAAiB,CASlG;AAED,8FAA8F;AAC9F,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,mBAAmB,EAAE,CAkF/E;AAID,0DAA0D;AAC1D,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,2BAA2B,GAAG,iBAAiB,CAgBrG;AAED,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,2BAA2B,GAAG,MAAM,CAE1F;AAID,4GAA4G;AAC5G,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,2BAA2B,EAAE,IAAI,EAAE,2BAA2B,GAAG,oCAAoC,CA8BzJ"}

package/dist/topology.js

@@ -0,0 +1,237 @@
+import { OPERATING_RESPONSIBILITIES, OPERATING_SCOPE_KINDS, OPERATING_SYSTEM_KINDS, } from "./types.js";
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function finding(rule, message, path) {
+    return { rule, severity: "error", message, path };
+}
+function requiredString(value, key, path, findings) {
+    if (!isRecord(value) || typeof value[key] !== "string" || value[key].length === 0) {
+        findings.push(finding("required-string", `${key} must be a non-empty string.`, path));
+        return undefined;
+    }
+    return value[key];
+}
+function arrayAt(value, key, path, findings) {
+    if (value[key] === undefined)
+        return [];
+    if (Array.isArray(value[key]))
+        return value[key];
+    findings.push(finding("collection-shape", `${key} must be an array when provided.`, path));
+    return [];
+}
+function uniqueStrings(value, path, findings) {
+    if (!Array.isArray(value) || value.length === 0) {
+        findings.push(finding("responsibilities-shape", "responsibilities must be a non-empty array.", path));
+        return [];
+    }
+    const result = [];
+    for (const [index, item] of value.entries()) {
+        if (typeof item !== "string" || !OPERATING_RESPONSIBILITIES.includes(item)) {
+            findings.push(finding("responsibility-known", "responsibility must be a supported value.", `${path}[${index}]`));
+        }
+        else if (result.includes(item)) {
+            findings.push(finding("duplicate-responsibility", `Duplicate responsibility "${item}".`, `${path}[${index}]`));
+        }
+        else
+            result.push(item);
+    }
+    return result;
+}
+/** Creates a detached topology definition without asserting that it is valid. */
+export function defineOperatingTopology(definition) {
+    return {
+        id: definition.id,
+        schemaVersion: definition.schemaVersion,
+        scope: { ...definition.scope },
+        systems: (definition.systems ?? []).map((system) => ({ ...system, responsibilities: [...system.responsibilities] })),
+        authorities: (definition.authorities ?? []).map((authority) => ({ ...authority })),
+        interfaces: (definition.interfaces ?? []).map((entry) => ({ ...entry, responsibilities: [...entry.responsibilities] })),
+    };
+}
+/** Validates shape, identities, references, ownership and declared interfaces without I/O. */
+export function validateOperatingTopology(value) {
+    const findings = [];
+    if (!isRecord(value))
+        return [finding("topology-shape", "An operating topology must be an object.", "$")];
+    const topologyId = requiredString(value, "id", "id", findings);
+    if (topologyId !== undefined && !/^[a-z][a-z0-9-]*$/.test(topologyId))
+        findings.push(finding("topology-id-shape", "id must be a lowercase namespace token.", "id"));
+    requiredString(value, "schemaVersion", "schemaVersion", findings);
+    const scope = value.scope;
+    if (!isRecord(scope))
+        findings.push(finding("scope-shape", "scope must be an object.", "scope"));
+    else {
+        requiredString(scope, "id", "scope.id", findings);
+        const kind = requiredString(scope, "kind", "scope.kind", findings);
+        if (kind !== undefined && !OPERATING_SCOPE_KINDS.includes(kind))
+            findings.push(finding("scope-kind-known", "scope.kind must be portfolio or business.", "scope.kind"));
+    }
+    const systems = arrayAt(value, "systems", "systems", findings);
+    const systemIds = new Set();
+    const systemResponsibilities = new Map();
+    const responsibilityCoverage = new Set();
+    for (const [index, candidate] of systems.entries()) {
+        const path = `systems[${index}]`;
+        if (!isRecord(candidate)) {
+            findings.push(finding("system-shape", "A system must be an object.", path));
+            continue;
+        }
+        const id = requiredString(candidate, "id", `${path}.id`, findings);
+        if (id !== undefined) {
+            if (systemIds.has(id))
+                findings.push(finding("duplicate-system-id", `Duplicate system id "${id}".`, `${path}.id`));
+            systemIds.add(id);
+        }
+        const kind = requiredString(candidate, "kind", `${path}.kind`, findings);
+        if (kind !== undefined && !OPERATING_SYSTEM_KINDS.includes(kind))
+            findings.push(finding("system-kind-known", "kind must be a supported system kind.", `${path}.kind`));
+        const responsibilities = uniqueStrings(candidate.responsibilities, `${path}.responsibilities`, findings);
+        for (const responsibility of responsibilities)
+            responsibilityCoverage.add(responsibility);
+        if (id !== undefined && !systemResponsibilities.has(id))
+            systemResponsibilities.set(id, new Set(responsibilities));
+        for (const optional of ["provider", "locator"])
+            if (candidate[optional] !== undefined && typeof candidate[optional] !== "string")
+                findings.push(finding(`${optional}-shape`, `${optional} must be a string when provided.`, `${path}.${optional}`));
+        if (candidate.visibility !== undefined && !["public", "private", "restricted"].includes(candidate.visibility))
+            findings.push(finding("visibility-known", "visibility must be public, private, or restricted.", `${path}.visibility`));
+    }
+    if (systems.length === 0)
+        findings.push(finding("systems-required", "At least one system is required.", "systems"));
+    if (!responsibilityCoverage.has("control-plane"))
+        findings.push(finding("control-plane-required", "At least one system must implement the control-plane responsibility.", "systems"));
+    const authorities = arrayAt(value, "authorities", "authorities", findings);
+    if (authorities.length === 0)
+        findings.push(finding("authorities-required", "At least one authority is required.", "authorities"));
+    const authorityResponsibilities = new Set();
+    for (const [index, candidate] of authorities.entries()) {
+        const path = `authorities[${index}]`;
+        if (!isRecord(candidate)) {
+            findings.push(finding("authority-shape", "An authority must be an object.", path));
+            continue;
+        }
+        const responsibility = requiredString(candidate, "responsibility", `${path}.responsibility`, findings);
+        if (responsibility !== undefined) {
+            if (!OPERATING_RESPONSIBILITIES.includes(responsibility))
+                findings.push(finding("responsibility-known", "responsibility must be a supported value.", `${path}.responsibility`));
+            if (!responsibilityCoverage.has(responsibility))
+                findings.push(finding("responsibility-unimplemented", `No system implements responsibility "${responsibility}".`, `${path}.responsibility`));
+            if (authorityResponsibilities.has(responsibility))
+                findings.push(finding("duplicate-authority", `Responsibility "${responsibility}" has more than one authority.`, `${path}.responsibility`));
+            authorityResponsibilities.add(responsibility);
+        }
+        requiredString(candidate, "owner", `${path}.owner`, findings);
+        const record = requiredString(candidate, "systemOfRecord", `${path}.systemOfRecord`, findings);
+        if (record !== undefined && !systemIds.has(record))
+            findings.push(finding("system-of-record-known", `systemOfRecord "${record}" is not a declared system.`, `${path}.systemOfRecord`));
+        else if (record !== undefined && responsibility !== undefined && OPERATING_RESPONSIBILITIES.includes(responsibility) && !systemResponsibilities.get(record)?.has(responsibility)) {
+            findings.push(finding("system-of-record-responsibility", `systemOfRecord "${record}" does not implement responsibility "${responsibility}".`, `${path}.systemOfRecord`));
+        }
+    }
+    for (const responsibility of responsibilityCoverage)
+        if (!authorityResponsibilities.has(responsibility))
+            findings.push(finding("authority-required", `Responsibility "${responsibility}" needs exactly one authority.`, "authorities"));
+    const interfaces = arrayAt(value, "interfaces", "interfaces", findings);
+    const interfaceIds = new Set();
+    for (const [index, candidate] of interfaces.entries()) {
+        const path = `interfaces[${index}]`;
+        if (!isRecord(candidate)) {
+            findings.push(finding("interface-shape", "An interface must be an object.", path));
+            continue;
+        }
+        const id = requiredString(candidate, "id", `${path}.id`, findings);
+        if (id !== undefined) {
+            if (interfaceIds.has(id))
+                findings.push(finding("duplicate-interface-id", `Duplicate interface id "${id}".`, `${path}.id`));
+            interfaceIds.add(id);
+        }
+        for (const endpoint of ["from", "to"]) {
+            const system = requiredString(candidate, endpoint, `${path}.${endpoint}`, findings);
+            if (system !== undefined && !systemIds.has(system))
+                findings.push(finding("interface-system-known", `${endpoint} system "${system}" is not declared.`, `${path}.${endpoint}`));
+        }
+        if (candidate.from !== undefined && candidate.from === candidate.to)
+            findings.push(finding("interface-boundary", "An interface must cross two different systems.", path));
+        const responsibilities = uniqueStrings(candidate.responsibilities, `${path}.responsibilities`, findings);
+        for (const responsibility of responsibilities) {
+            if (!responsibilityCoverage.has(responsibility))
+                findings.push(finding("interface-responsibility-unimplemented", `No system implements interface responsibility "${responsibility}".`, `${path}.responsibilities`));
+        }
+        if (candidate.description !== undefined && typeof candidate.description !== "string")
+            findings.push(finding("description-shape", "description must be a string when provided.", `${path}.description`));
+    }
+    return findings;
+}
+function byId(left, right) { return left.id.localeCompare(right.id); }
+/** Returns one canonical property layout and ordering. */
+export function normalizeOperatingTopology(definition) {
+    const value = defineOperatingTopology(definition);
+    const systems = value.systems.map((system) => {
+        const next = { id: system.id, kind: system.kind, responsibilities: [...system.responsibilities].sort() };
+        if (system.provider !== undefined)
+            next.provider = system.provider;
+        if (system.locator !== undefined)
+            next.locator = system.locator;
+        if (system.visibility !== undefined)
+            next.visibility = system.visibility;
+        return next;
+    });
+    const authorities = value.authorities.map((entry) => ({ responsibility: entry.responsibility, owner: entry.owner, systemOfRecord: entry.systemOfRecord }));
+    const interfaces = value.interfaces.map((entry) => {
+        const next = { id: entry.id, from: entry.from, to: entry.to, responsibilities: [...entry.responsibilities].sort() };
+        if (entry.description !== undefined)
+            next.description = entry.description;
+        return next;
+    });
+    return { id: value.id, schemaVersion: value.schemaVersion, scope: { id: value.scope.id, kind: value.scope.kind }, systems: systems.sort(byId), authorities: authorities.sort((a, b) => a.responsibility.localeCompare(b.responsibility)), interfaces: interfaces.sort(byId) };
+}
+export function serializeOperatingTopology(definition) {
+    return `${JSON.stringify(normalizeOperatingTopology(definition), null, 2)}\n`;
+}
+function mapById(values) { return new Map(values.map((value) => [value.id, value])); }
+/** Compares stable architectural contracts. Description and schemaVersion are not compatibility surface. */
+export function compareOperatingTopologies(previous, next) {
+    const previousFindings = validateOperatingTopology(previous);
+    const nextFindings = validateOperatingTopology(next);
+    if (previousFindings.some((entry) => entry.severity === "error") || nextFindings.some((entry) => entry.severity === "error"))
+        return { compatible: false, changes: [], previousFindings, nextFindings };
+    const before = normalizeOperatingTopology(previous);
+    const after = normalizeOperatingTopology(next);
+    const changes = [];
+    if (before.id !== after.id)
+        changes.push({ kind: "breaking", subject: "topology", id: after.id, message: `Topology id changed from "${before.id}" to "${after.id}".` });
+    if (JSON.stringify(before.scope) !== JSON.stringify(after.scope))
+        changes.push({ kind: "breaking", subject: "scope", id: after.scope.id, message: "Operating scope changed." });
+    const compareCollection = (subject, left, right, contract) => {
+        const oldValues = mapById(left);
+        const newValues = mapById(right);
+        for (const [id, value] of oldValues) {
+            const replacement = newValues.get(id);
+            if (replacement === undefined)
+                changes.push({ kind: "breaking", subject, id, message: `${subject} "${id}" was removed.` });
+            else if (JSON.stringify(contract(value)) !== JSON.stringify(contract(replacement)))
+                changes.push({ kind: "breaking", subject, id, message: `${subject} "${id}" changed contract.` });
+        }
+        for (const [id] of newValues)
+            if (!oldValues.has(id))
+                changes.push({ kind: "additive", subject, id, message: `${subject} "${id}" was added.` });
+    };
+    compareCollection("system", before.systems, after.systems, (entry) => entry);
+    compareCollection("interface", before.interfaces, after.interfaces, (entry) => ({ id: entry.id, from: entry.from, to: entry.to, responsibilities: entry.responsibilities }));
+    const oldAuthorities = new Map(before.authorities.map((entry) => [entry.responsibility, entry]));
+    const newAuthorities = new Map(after.authorities.map((entry) => [entry.responsibility, entry]));
+    for (const [id, value] of oldAuthorities) {
+        const replacement = newAuthorities.get(id);
+        if (replacement === undefined)
+            changes.push({ kind: "breaking", subject: "authority", id, message: `authority "${id}" was removed.` });
+        else if (JSON.stringify(value) !== JSON.stringify(replacement))
+            changes.push({ kind: "breaking", subject: "authority", id, message: `authority "${id}" changed contract.` });
+    }
+    for (const [id] of newAuthorities)
+        if (!oldAuthorities.has(id))
+            changes.push({ kind: "additive", subject: "authority", id, message: `authority "${id}" was added.` });
+    changes.sort((a, b) => `${a.subject}:${a.id}:${a.kind}`.localeCompare(`${b.subject}:${b.id}:${b.kind}`));
+    return { compatible: changes.every((entry) => entry.kind !== "breaking"), changes, previousFindings, nextFindings };
+}
+//# sourceMappingURL=topology.js.map