@decisiongraph/core 0.2.0

package/README.md

@@ -0,0 +1,2 @@
+# @decisiongraph/core
+Pure deterministic kernel. No IO, no random IDs, no JSON schema deps.

package/dist/domain/ids.d.ts

@@ -0,0 +1,12 @@
+export type Brand<T, B extends string> = T & {
+    readonly __brand: B;
+};
+export type NodeId = Brand<string, "NodeId">;
+export type EdgeId = Brand<string, "EdgeId">;
+export type AuthorId = Brand<string, "AuthorId">;
+export type CommitId = Brand<string, "CommitId">;
+export declare const asNodeId: (s: string) => NodeId;
+export declare const asEdgeId: (s: string) => EdgeId;
+export declare const asAuthorId: (s: string) => AuthorId;
+export declare const asCommitId: (s: string) => CommitId;
+//# sourceMappingURL=ids.d.ts.map

package/dist/domain/ids.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids.d.ts","sourceRoot":"","sources":["../../src/domain/ids.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CAAE,CAAC;AAErE,MAAM,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAC7C,MAAM,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAC7C,MAAM,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AACjD,MAAM,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AAEjD,eAAO,MAAM,QAAQ,GAAI,GAAG,MAAM,KAAG,MAAqB,CAAC;AAC3D,eAAO,MAAM,QAAQ,GAAI,GAAG,MAAM,KAAG,MAAqB,CAAC;AAC3D,eAAO,MAAM,UAAU,GAAI,GAAG,MAAM,KAAG,QAAyB,CAAC;AACjE,eAAO,MAAM,UAAU,GAAI,GAAG,MAAM,KAAG,QAAyB,CAAC"}

package/dist/domain/ids.js

@@ -0,0 +1,5 @@
+export const asNodeId = (s) => s;
+export const asEdgeId = (s) => s;
+export const asAuthorId = (s) => s;
+export const asCommitId = (s) => s;
+//# sourceMappingURL=ids.js.map

package/dist/domain/ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids.js","sourceRoot":"","sources":["../../src/domain/ids.ts"],"names":[],"mappings":"AAOA,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAW,CAAC;AAC3D,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAW,CAAC;AAC3D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAS,EAAY,EAAE,CAAC,CAAa,CAAC;AACjE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAS,EAAY,EAAE,CAAC,CAAa,CAAC"}

package/dist/domain/time.d.ts

@@ -0,0 +1,3 @@
+export type IsoTimestamp = string;
+export declare const isIsoTimestamp: (s: string) => boolean;
+//# sourceMappingURL=time.d.ts.map

package/dist/domain/time.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"time.d.ts","sourceRoot":"","sources":["../../src/domain/time.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAClC,eAAO,MAAM,cAAc,GAAI,GAAG,MAAM,KAAG,OAG1C,CAAC"}

package/dist/domain/time.js

@@ -0,0 +1,5 @@
+export const isIsoTimestamp = (s) => {
+    // minimal check; stricter validation can live in schema/io layer
+    return typeof s === "string" && s.includes("T") && s.endsWith("Z");
+};
+//# sourceMappingURL=time.js.map

package/dist/domain/time.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"time.js","sourceRoot":"","sources":["../../src/domain/time.ts"],"names":[],"mappings":"AACA,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAS,EAAW,EAAE;IACnD,iEAAiE;IACjE,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AACrE,CAAC,CAAC"}

package/dist/domain/types.d.ts

@@ -0,0 +1,61 @@
+import type { AuthorId, CommitId, EdgeId, NodeId } from "./ids.js";
+import type { IsoTimestamp } from "./time.js";
+export type NodeStatus = "Active" | "Superseded" | "Deprecated";
+export type EdgeStatus = "Active" | "Superseded" | "Deprecated";
+export type EdgeType = "depends_on" | "supports" | "refutes" | "overrides" | "supersedes";
+export type ViolationSeverity = "ERROR" | "WARN" | "INFO";
+export type Node = {
+    id: NodeId;
+    kind: string;
+    status: NodeStatus;
+    createdAt: IsoTimestamp;
+    author: AuthorId;
+    payload?: unknown;
+};
+export type Edge = {
+    id: EdgeId;
+    type: EdgeType;
+    from: NodeId;
+    to: NodeId;
+    status: EdgeStatus;
+    createdAt: IsoTimestamp;
+    author: AuthorId;
+    payload?: unknown;
+};
+export type Commit = {
+    commitId: CommitId;
+    createdAt: IsoTimestamp;
+    author: AuthorId;
+};
+export type Graph = {
+    nodes: Record<string, Node>;
+    edges: Record<string, Edge>;
+    commits: Commit[];
+};
+export type AddNodeOp = {
+    type: "add_node";
+    node: Node;
+};
+export type AddEdgeOp = {
+    type: "add_edge";
+    edge: Edge;
+};
+export type SupersedeEdgeOp = {
+    type: "supersede_edge";
+    oldEdgeId: EdgeId;
+    newEdge: Edge;
+};
+export type CommitOp = {
+    type: "commit";
+    commitId: CommitId;
+    createdAt: IsoTimestamp;
+    author: AuthorId;
+};
+export type Operation = AddNodeOp | AddEdgeOp | SupersedeEdgeOp | CommitOp;
+export type Violation = {
+    code: string;
+    message: string;
+    severity: ViolationSeverity;
+    path?: string;
+};
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/domain/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAE9C,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,YAAY,GAAG,YAAY,CAAC;AAChE,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,YAAY,GAAG,YAAY,CAAC;AAChE,MAAM,MAAM,QAAQ,GAAG,YAAY,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,YAAY,CAAC;AAE1F,MAAM,MAAM,iBAAiB,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAE1D,MAAM,MAAM,IAAI,GAAG;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,UAAU,CAAC;IACnB,SAAS,EAAE,YAAY,CAAC;IACxB,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,UAAU,CAAC;IACnB,SAAS,EAAE,YAAY,CAAC;IACxB,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,EAAE,QAAQ,CAAC;IACnB,SAAS,EAAE,YAAY,CAAC;IACxB,MAAM,EAAE,QAAQ,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5B,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,SAAS,GAAG;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AACzD,MAAM,MAAM,eAAe,GAAG;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,IAAI,CAAA;CAAE,CAAC;AAC3F,MAAM,MAAM,QAAQ,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEzG,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,eAAe,GAAG,QAAQ,CAAC;AAE3E,MAAM,MAAM,SAAS,GAAG;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC"}

package/dist/domain/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/domain/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/domain/types.ts"],"names":[],"mappings":""}

package/dist/index.d.ts

@@ -0,0 +1,6 @@
+export * from "./domain/ids.js";
+export * from "./domain/time.js";
+export * from "./domain/types.js";
+export * from "./policy/index.js";
+export * from "./kernel/index.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC"}

package/dist/index.js

@@ -0,0 +1,6 @@
+export * from "./domain/ids.js";
+export * from "./domain/time.js";
+export * from "./domain/types.js";
+export * from "./policy/index.js";
+export * from "./kernel/index.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC"}

package/dist/kernel/apply.d.ts

@@ -0,0 +1,19 @@
+import type { Graph, Operation } from "../domain/types.js";
+import type { Policy } from "../policy/policy.js";
+import { type KernelError } from "./errors.js";
+export type ApplyEvent = {
+    type: "applied";
+    opType: Operation["type"];
+} | {
+    type: "rejected";
+    opType: Operation["type"];
+    error: KernelError;
+};
+export type ApplyResult = {
+    graph: Graph;
+    events: ApplyEvent[];
+};
+export declare const emptyGraph: () => Graph;
+export declare function apply(graph: Graph, op: Operation, policy: Policy): ApplyResult;
+export declare function applyBatch(graph: Graph, ops: Operation[], policy: Policy): ApplyResult;
+//# sourceMappingURL=apply.d.ts.map

package/dist/kernel/apply.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply.d.ts","sourceRoot":"","sources":["../../src/kernel/apply.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,EAAe,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAE5D,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAA;CAAE,GAC9C;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,CAAC;AAExE,MAAM,MAAM,WAAW,GAAG;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,UAAU,EAAE,CAAA;CAAE,CAAC;AAEjE,eAAO,MAAM,UAAU,QAAO,KAAgD,CAAC;AAI/E,wBAAgB,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,CA4C9E;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,CAStF"}

package/dist/kernel/apply.js

@@ -0,0 +1,60 @@
+import { ConstitutionalPolicy } from "../policy/constitutional.js";
+import { policyError } from "./errors.js";
+export const emptyGraph = () => ({ nodes: {}, edges: {}, commits: [] });
+const constitutionalPolicy = new ConstitutionalPolicy();
+export function apply(graph, op, policy) {
+    // Non-bypassable constitutional enforcement (runs regardless of caller policy)
+    const constitutional = constitutionalPolicy.validateOperation(graph, op);
+    if (constitutional.length > 0) {
+        return {
+            graph,
+            events: [{ type: "rejected", opType: op.type, error: policyError(constitutional) }]
+        };
+    }
+    const violations = policy.validateOperation(graph, op);
+    if (violations.length > 0) {
+        return {
+            graph,
+            events: [{ type: "rejected", opType: op.type, error: policyError(violations) }]
+        };
+    }
+    const next = {
+        nodes: { ...graph.nodes },
+        edges: { ...graph.edges },
+        commits: [...graph.commits]
+    };
+    if (op.type === "add_node") {
+        next.nodes[String(op.node.id)] = op.node;
+    }
+    else if (op.type === "add_edge") {
+        next.edges[String(op.edge.id)] = op.edge;
+    }
+    else if (op.type === "supersede_edge") {
+        const old = next.edges[String(op.oldEdgeId)];
+        if (old) {
+            next.edges[String(op.oldEdgeId)] = { ...old, status: "Superseded" };
+        }
+        next.edges[String(op.newEdge.id)] = op.newEdge;
+    }
+    else if (op.type === "commit") {
+        next.commits.push({ commitId: op.commitId, createdAt: op.createdAt, author: op.author });
+    }
+    else {
+        return {
+            graph,
+            events: [{ type: "rejected", opType: op.type ?? "unknown", error: { kind: "UnknownOperation", message: "unknown operation" } }]
+        };
+    }
+    return { graph: next, events: [{ type: "applied", opType: op.type }] };
+}
+export function applyBatch(graph, ops, policy) {
+    let g = graph;
+    const events = [];
+    for (const op of ops) {
+        const r = apply(g, op, policy);
+        g = r.graph;
+        events.push(...r.events);
+    }
+    return { graph: g, events };
+}
+//# sourceMappingURL=apply.js.map

package/dist/kernel/apply.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply.js","sourceRoot":"","sources":["../../src/kernel/apply.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,WAAW,EAAoB,MAAM,aAAa,CAAC;AAQ5D,MAAM,CAAC,MAAM,UAAU,GAAG,GAAU,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;AAE/E,MAAM,oBAAoB,GAAG,IAAI,oBAAoB,EAAE,CAAC;AAExD,MAAM,UAAU,KAAK,CAAC,KAAY,EAAE,EAAa,EAAE,MAAc;IAC/D,+EAA+E;IAC/E,MAAM,cAAc,GAAG,oBAAoB,CAAC,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACzE,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,KAAK;YACL,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,cAAc,CAAC,EAAE,CAAC;SACpF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACvD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,KAAK;YACL,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;SAChF,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAU;QAClB,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE;QACzB,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE;QACzB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;KAC5B,CAAC;IAEF,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;IAC3C,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;IAC3C,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QAC7C,IAAI,GAAG,EAAE,CAAC;YACR,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;QACtE,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IACjD,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3F,CAAC;SAAM,CAAC;QACN,OAAO;YACL,KAAK;YACL,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAG,EAAU,CAAC,IAAI,IAAI,SAAS,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,mBAAmB,EAAE,EAAE,CAAC;SACzI,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAY,EAAE,GAAgB,EAAE,MAAc;IACvE,IAAI,CAAC,GAAG,KAAK,CAAC;IACd,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QAC/B,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;AAC9B,CAAC"}

package/dist/kernel/diff.d.ts

@@ -0,0 +1,11 @@
+import type { Graph } from "../domain/types.js";
+export type DiffResult = {
+    addedNodes: string[];
+    removedNodes: string[];
+    addedEdges: string[];
+    removedEdges: string[];
+    changedNodes: string[];
+    changedEdges: string[];
+};
+export declare function diff(a: Graph, b: Graph): DiffResult;
+//# sourceMappingURL=diff.d.ts.map

package/dist/kernel/diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../src/kernel/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAEhD,MAAM,MAAM,UAAU,GAAG;IACvB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB,CAAC;AAIF,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,UAAU,CAiBnD"}

package/dist/kernel/diff.js

@@ -0,0 +1,17 @@
+const keys = (o) => Object.keys(o).sort();
+export function diff(a, b) {
+    const aN = keys(a.nodes);
+    const bN = keys(b.nodes);
+    const aE = keys(a.edges);
+    const bE = keys(b.edges);
+    const setA = new Set(aN), setB = new Set(bN);
+    const addedNodes = bN.filter(k => !setA.has(k));
+    const removedNodes = aN.filter(k => !setB.has(k));
+    const changedNodes = aN.filter(k => setB.has(k) && JSON.stringify(a.nodes[k]) !== JSON.stringify(b.nodes[k]));
+    const setAE = new Set(aE), setBE = new Set(bE);
+    const addedEdges = bE.filter(k => !setAE.has(k));
+    const removedEdges = aE.filter(k => !setBE.has(k));
+    const changedEdges = aE.filter(k => setBE.has(k) && JSON.stringify(a.edges[k]) !== JSON.stringify(b.edges[k]));
+    return { addedNodes, removedNodes, addedEdges, removedEdges, changedNodes, changedEdges };
+}
+//# sourceMappingURL=diff.js.map

package/dist/kernel/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../src/kernel/diff.ts"],"names":[],"mappings":"AAWA,MAAM,IAAI,GAAG,CAAC,CAA0B,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAEnE,MAAM,UAAU,IAAI,CAAC,CAAQ,EAAE,CAAQ;IACrC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACzB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACzB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACzB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAEzB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,YAAY,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,YAAY,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE9G,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/G,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC;AAC5F,CAAC"}

package/dist/kernel/errors.d.ts

@@ -0,0 +1,8 @@
+import type { Violation } from "../domain/types.js";
+export type KernelError = {
+    kind: "PolicyViolation" | "UnknownOperation";
+    violations?: Violation[];
+    message?: string;
+};
+export declare const policyError: (violations: Violation[]) => KernelError;
+//# sourceMappingURL=errors.d.ts.map

package/dist/kernel/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/kernel/errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEpD,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,iBAAiB,GAAG,kBAAkB,CAAC;IAC7C,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,eAAO,MAAM,WAAW,GAAI,YAAY,SAAS,EAAE,KAAG,WAGpD,CAAC"}

package/dist/kernel/errors.js

@@ -0,0 +1,5 @@
+export const policyError = (violations) => ({
+    kind: "PolicyViolation",
+    violations
+});
+//# sourceMappingURL=errors.js.map

package/dist/kernel/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/kernel/errors.ts"],"names":[],"mappings":"AAQA,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,UAAuB,EAAe,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,iBAAiB;IACvB,UAAU;CACX,CAAC,CAAC"}

package/dist/kernel/index.d.ts

@@ -0,0 +1,6 @@
+export * from "./apply.js";
+export * from "./lint.js";
+export * from "./replay.js";
+export * from "./diff.js";
+export * from "./errors.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/kernel/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/kernel/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC"}

package/dist/kernel/index.js

@@ -0,0 +1,6 @@
+export * from "./apply.js";
+export * from "./lint.js";
+export * from "./replay.js";
+export * from "./diff.js";
+export * from "./errors.js";
+//# sourceMappingURL=index.js.map

package/dist/kernel/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/kernel/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC"}

package/dist/kernel/lint.d.ts

@@ -0,0 +1,10 @@
+import type { Graph, Violation } from "../domain/types.js";
+import type { Policy } from "../policy/policy.js";
+export type LintResult = {
+    ok: true;
+} | {
+    ok: false;
+    violations: Violation[];
+};
+export declare function lint(graph: Graph, policy: Policy): LintResult;
+//# sourceMappingURL=lint.d.ts.map

package/dist/kernel/lint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lint.d.ts","sourceRoot":"","sources":["../../src/kernel/lint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAGlD,MAAM,MAAM,UAAU,GAAG;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,UAAU,EAAE,SAAS,EAAE,CAAA;CAAE,CAAC;AAI/E,wBAAgB,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAa7D"}

package/dist/kernel/lint.js

@@ -0,0 +1,13 @@
+import { ConstitutionalPolicy } from "../policy/constitutional.js";
+const constitutionalPolicy = new ConstitutionalPolicy();
+export function lint(graph, policy) {
+    // Non-bypassable constitutional lint + caller policy lint
+    const constitutional = constitutionalPolicy.validateGraph(graph);
+    const violations = [...constitutional, ...policy.validateGraph(graph)];
+    if (violations.length > 0) {
+        violations.sort((a, b) => (a.code + (a.path ?? "")).localeCompare(b.code + (b.path ?? "")));
+        return { ok: false, violations };
+    }
+    return { ok: true };
+}
+//# sourceMappingURL=lint.js.map

package/dist/kernel/lint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lint.js","sourceRoot":"","sources":["../../src/kernel/lint.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAInE,MAAM,oBAAoB,GAAG,IAAI,oBAAoB,EAAE,CAAC;AAExD,MAAM,UAAU,IAAI,CAAC,KAAY,EAAE,MAAc;IAC/C,0DAA0D;IAC1D,MAAM,cAAc,GAAG,oBAAoB,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,CAAC,GAAG,cAAc,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IAEvE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACvB,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CACjE,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IACnC,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC"}

package/dist/kernel/replay.d.ts

@@ -0,0 +1,5 @@
+import type { Graph, Operation } from "../domain/types.js";
+import type { Policy } from "../policy/policy.js";
+export declare function replay(ops: Operation[], policy: Policy): Graph;
+export declare function replayAt(ops: Operation[], commitId: string, policy: Policy): Graph;
+//# sourceMappingURL=replay.d.ts.map

package/dist/kernel/replay.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"replay.d.ts","sourceRoot":"","sources":["../../src/kernel/replay.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAGlD,wBAAgB,MAAM,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAE9D;AAED,wBAAgB,QAAQ,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAUlF"}

package/dist/kernel/replay.js

@@ -0,0 +1,17 @@
+import { applyBatch, emptyGraph } from "./apply.js";
+export function replay(ops, policy) {
+    return applyBatch(emptyGraph(), ops, policy).graph;
+}
+export function replayAt(ops, commitId, policy) {
+    // replay until matching commitId applied (inclusive)
+    const g0 = emptyGraph();
+    let g = g0;
+    for (const op of ops) {
+        const r = applyBatch(g, [op], policy);
+        g = r.graph;
+        if (op.type === "commit" && String(op.commitId) === commitId)
+            break;
+    }
+    return g;
+}
+//# sourceMappingURL=replay.js.map

package/dist/kernel/replay.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"replay.js","sourceRoot":"","sources":["../../src/kernel/replay.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAEpD,MAAM,UAAU,MAAM,CAAC,GAAgB,EAAE,MAAc;IACrD,OAAO,UAAU,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,GAAgB,EAAE,QAAgB,EAAE,MAAc;IACzE,qDAAqD;IACrD,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;IACxB,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACtC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QACZ,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,QAAQ;YAAE,MAAM;IACtE,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/policy/constitutional.d.ts

@@ -0,0 +1,7 @@
+import type { Policy } from "./policy.js";
+import type { Graph, Operation, Violation } from "../domain/types.js";
+export declare class ConstitutionalPolicy implements Policy {
+    validateOperation(graph: Graph, op: Operation): Violation[];
+    validateGraph(graph: Graph): Violation[];
+}
+//# sourceMappingURL=constitutional.d.ts.map

package/dist/policy/constitutional.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constitutional.d.ts","sourceRoot":"","sources":["../../src/policy/constitutional.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAetE,qBAAa,oBAAqB,YAAW,MAAM;IACjD,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,GAAG,SAAS,EAAE;IA+E3D,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,EAAE;CAkDzC"}

package/dist/policy/constitutional.js

@@ -0,0 +1,137 @@
+const v = (code, message, path, severity = "ERROR") => (path === undefined ? { code, message, severity } : { code, message, severity, path });
+const isValidNodeStatus = (x) => x === "Active" || x === "Superseded" || x === "Deprecated";
+const isValidEdgeStatus = (x) => x === "Active" || x === "Superseded" || x === "Deprecated";
+const isValidEdgeType = (x) => x === "depends_on" || x === "supports" || x === "refutes" || x === "overrides" || x === "supersedes";
+const isActive = (x) => x === "Active";
+export class ConstitutionalPolicy {
+    validateOperation(graph, op) {
+        const violations = [];
+        const hasCommit = graph.commits.length > 0;
+        // ---- Mutations forbidden after first commit (current Constitution v0.2 in this repo)
+        const mutationOps = ["add_node", "add_edge", "supersede_edge"];
+        if (hasCommit && mutationOps.includes(op.type)) {
+            violations.push(v("IMMUTABLE_AFTER_COMMIT", "graph is immutable after commit", "graph.commits"));
+        }
+        if (hasCommit && op.type === "commit") {
+            violations.push(v("COMMIT_ALREADY_EXISTS", "commit already exists", "graph.commits"));
+        }
+        // ---- Author required on ops that carry author fields
+        if (op.type === "add_node") {
+            if (!op.node.author)
+                violations.push(v("AUTHOR_REQUIRED", "author is required", "op.node.author"));
+            if (!op.node.id)
+                violations.push(v("NODE_ID_REQUIRED", "node id is required", "op.node.id"));
+            if (graph.nodes[String(op.node.id)]) {
+                violations.push(v("NODE_ID_DUP", "node id already exists", "op.node.id"));
+            }
+            if (!isValidNodeStatus(op.node.status))
+                violations.push(v("INVALID_NODE_STATUS", "invalid node status", "op.node.status"));
+        }
+        if (op.type === "add_edge") {
+            if (!op.edge.author)
+                violations.push(v("AUTHOR_REQUIRED", "author is required", "op.edge.author"));
+            if (!op.edge.id)
+                violations.push(v("EDGE_ID_REQUIRED", "edge id is required", "op.edge.id"));
+            if (graph.edges[String(op.edge.id)]) {
+                violations.push(v("EDGE_ID_DUP", "edge id already exists", "op.edge.id"));
+            }
+            if (!isValidEdgeType(op.edge.type))
+                violations.push(v("INVALID_EDGE_TYPE", "invalid edge type", "op.edge.type"));
+            if (!isValidEdgeStatus(op.edge.status))
+                violations.push(v("INVALID_EDGE_STATUS", "invalid edge status", "op.edge.status"));
+        }
+        if (op.type === "supersede_edge") {
+            if (!op.newEdge.author)
+                violations.push(v("AUTHOR_REQUIRED", "author is required", "op.newEdge.author"));
+            // old edge must exist
+            const oldEdge = graph.edges[String(op.oldEdgeId)];
+            if (!oldEdge) {
+                violations.push(v("EDGE_NOT_FOUND", "oldEdgeId not found", "op.oldEdgeId"));
+            }
+            else if (!isActive(oldEdge.status)) {
+                violations.push(v("EDGE_NOT_ACTIVE", "old edge must be Active to supersede", "op.oldEdgeId"));
+            }
+            // new edge id must be different (prevents overwrite)
+            if (String(op.newEdge.id) === String(op.oldEdgeId)) {
+                violations.push(v("SUPERSEDE_REQUIRES_NEW_EDGE_ID", "newEdge.id must differ from oldEdgeId", "op.newEdge.id"));
+            }
+            if (!op.newEdge.id)
+                violations.push(v("EDGE_ID_REQUIRED", "edge id is required", "op.newEdge.id"));
+            if (graph.edges[String(op.newEdge.id)]) {
+                violations.push(v("EDGE_ID_DUP", "edge id already exists", "op.newEdge.id"));
+            }
+            if (!isValidEdgeType(op.newEdge.type))
+                violations.push(v("INVALID_EDGE_TYPE", "invalid edge type", "op.newEdge.type"));
+            if (!isValidEdgeStatus(op.newEdge.status))
+                violations.push(v("INVALID_EDGE_STATUS", "invalid edge status", "op.newEdge.status"));
+            if (!isActive(op.newEdge.status)) {
+                violations.push(v("NEW_EDGE_NOT_ACTIVE", "new edge must be Active", "op.newEdge.status"));
+            }
+        }
+        if (op.type === "commit") {
+            if (!op.author)
+                violations.push(v("AUTHOR_REQUIRED", "author is required", "op.author"));
+            // only one commit allowed; commitId must be unique
+            if (graph.commits.some(c => String(c.commitId) === String(op.commitId))) {
+                violations.push(v("COMMIT_ID_DUP", "commitId already exists", "op.commitId"));
+            }
+        }
+        // deterministic order
+        violations.sort((a, b) => (a.code + (a.path ?? "")).localeCompare(b.code + (b.path ?? "")));
+        return violations;
+    }
+    validateGraph(graph) {
+        const violations = [];
+        // Minimal runtime vocabulary checks (JS inputs may bypass TS)
+        const seenNodeIds = new Set();
+        const seenEdgeIds = new Set();
+        const seenCommitIds = new Set();
+        for (const [id, n] of Object.entries(graph.nodes)) {
+            if (!n.author)
+                violations.push(v("AUTHOR_REQUIRED", "author is required", `nodes.${id}.author`));
+            if (!n.id)
+                violations.push(v("NODE_ID_REQUIRED", "node id is required", `nodes.${id}.id`));
+            const nodeId = String(n.id);
+            if (seenNodeIds.has(nodeId)) {
+                violations.push(v("NODE_ID_DUP", "node id already exists", `nodes.${id}.id`));
+            }
+            else {
+                seenNodeIds.add(nodeId);
+            }
+            if (!isValidNodeStatus(n.status))
+                violations.push(v("INVALID_NODE_STATUS", "invalid node status", `nodes.${id}.status`));
+        }
+        for (const [id, e] of Object.entries(graph.edges)) {
+            if (!e.author)
+                violations.push(v("AUTHOR_REQUIRED", "author is required", `edges.${id}.author`));
+            if (!e.id)
+                violations.push(v("EDGE_ID_REQUIRED", "edge id is required", `edges.${id}.id`));
+            const edgeId = String(e.id);
+            if (seenEdgeIds.has(edgeId)) {
+                violations.push(v("EDGE_ID_DUP", "edge id already exists", `edges.${id}.id`));
+            }
+            else {
+                seenEdgeIds.add(edgeId);
+            }
+            if (!isValidEdgeType(e.type))
+                violations.push(v("INVALID_EDGE_TYPE", "invalid edge type", `edges.${id}.type`));
+            if (!isValidEdgeStatus(e.status))
+                violations.push(v("INVALID_EDGE_STATUS", "invalid edge status", `edges.${id}.status`));
+        }
+        for (const [idx, c] of graph.commits.entries()) {
+            const cid = String(c.commitId);
+            if (seenCommitIds.has(cid)) {
+                violations.push(v("COMMIT_ID_DUP", "commitId already exists", `commits.${idx}.commitId`));
+            }
+            else {
+                seenCommitIds.add(cid);
+            }
+        }
+        if (graph.commits.length > 1) {
+            violations.push(v("MULTIPLE_COMMITS", "only one commit is allowed", "graph.commits"));
+        }
+        violations.sort((a, b) => (a.code + (a.path ?? "")).localeCompare(b.code + (b.path ?? "")));
+        return violations;
+    }
+}
+//# sourceMappingURL=constitutional.js.map

package/dist/policy/constitutional.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constitutional.js","sourceRoot":"","sources":["../../src/policy/constitutional.ts"],"names":[],"mappings":"AAGA,MAAM,CAAC,GAAG,CACR,IAAY,EACZ,OAAe,EACf,IAAa,EACb,WAAkC,OAAO,EAC9B,EAAE,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AAEvG,MAAM,iBAAiB,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,YAAY,IAAI,CAAC,KAAK,YAAY,CAAC;AACrG,MAAM,iBAAiB,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,YAAY,IAAI,CAAC,KAAK,YAAY,CAAC;AACrG,MAAM,eAAe,GAAG,CAAC,CAAU,EAAE,EAAE,CACrC,CAAC,KAAK,YAAY,IAAI,CAAC,KAAK,UAAU,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,WAAW,IAAI,CAAC,KAAK,YAAY,CAAC;AACvG,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC;AAEhD,MAAM,OAAO,oBAAoB;IAC/B,iBAAiB,CAAC,KAAY,EAAE,EAAa;QAC3C,MAAM,UAAU,GAAgB,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QAE3C,uFAAuF;QACvF,MAAM,WAAW,GAAwB,CAAC,UAAU,EAAE,UAAU,EAAE,gBAAgB,CAAC,CAAC;QACpF,IAAI,SAAS,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,EAAE,iCAAiC,EAAE,eAAe,CAAC,CAAC,CAAC;QACnG,CAAC;QACD,IAAI,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,uBAAuB,EAAE,uBAAuB,EAAE,eAAe,CAAC,CAAC,CAAC;QACxF,CAAC;QAED,uDAAuD;QACvD,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,gBAAgB,CAAC,CAAC,CAAC;YACnG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,EAAE,qBAAqB,EAAE,YAAY,CAAC,CAAC,CAAC;YAC7F,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACpC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,wBAAwB,EAAE,YAAY,CAAC,CAAC,CAAC;YAC5E,CAAC;YACD,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;gBACpC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,gBAAgB,CAAC,CAAC,CAAC;QACvF,CAAC;QAED,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,gBAAgB,CAAC,CAAC,CAAC;YACnG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,EAAE,qBAAqB,EAAE,YAAY,CAAC,CAAC,CAAC;YAC7F,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACpC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,wBAAwB,EAAE,YAAY,CAAC,CAAC,CAAC;YAC5E,CAAC;YACD,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,cAAc,CAAC,CAAC,CAAC;YACjH,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;gBACpC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,gBAAgB,CAAC,CAAC,CAAC;QACvF,CAAC;QAED,IAAI,EAAE,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACjC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,mBAAmB,CAAC,CAAC,CAAC;YAEzG,sBAAsB;YACtB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;YAClD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,cAAc,CAAC,CAAC,CAAC;YAC9E,CAAC;iBAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,EAAE,sCAAsC,EAAE,cAAc,CAAC,CAAC,CAAC;YAChG,CAAC;YAED,qDAAqD;YACrD,IAAI,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;gBACnD,UAAU,CAAC,IAAI,CACb,CAAC,CAAC,gCAAgC,EAAE,uCAAuC,EAAE,eAAe,CAAC,CAC9F,CAAC;YACJ,CAAC;YAED,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,EAAE,qBAAqB,EAAE,eAAe,CAAC,CAAC,CAAC;YACnG,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACvC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,wBAAwB,EAAE,eAAe,CAAC,CAAC,CAAC;YAC/E,CAAC;YACD,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;gBACnC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,iBAAiB,CAAC,CAAC,CAAC;YAClF,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;gBACvC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,mBAAmB,CAAC,CAAC,CAAC;YACxF,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,EAAE,yBAAyB,EAAE,mBAAmB,CAAC,CAAC,CAAC;YAC5F,CAAC;QACH,CAAC;QAED,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,EAAE,CAAC,MAAM;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,WAAW,CAAC,CAAC,CAAC;YACzF,mDAAmD;YACnD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;gBACxE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,EAAE,yBAAyB,EAAE,aAAa,CAAC,CAAC,CAAC;YAChF,CAAC;QACH,CAAC;QAED,sBAAsB;QACtB,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5F,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,aAAa,CAAC,KAAY;QACxB,MAAM,UAAU,GAAgB,EAAE,CAAC;QAEnC,8DAA8D;QAC9D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;QAExC,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,CAAC,CAAC,MAAM;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;YACjG,IAAI,CAAC,CAAC,CAAC,EAAE;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,EAAE,qBAAqB,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;YAC3F,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5B,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5B,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,wBAAwB,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;YAChF,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1B,CAAC;YACD,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC;gBAC9B,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;QAC3F,CAAC;QAED,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,CAAC,CAAC,MAAM;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;YACjG,IAAI,CAAC,CAAC,CAAC,EAAE;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,EAAE,qBAAqB,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;YAC3F,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5B,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5B,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,wBAAwB,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;YAChF,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1B,CAAC;YACD,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;YAC/G,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC;gBAC9B,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;QAC3F,CAAC;QAED,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC/B,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,EAAE,yBAAyB,EAAE,WAAW,GAAG,WAAW,CAAC,CAAC,CAAC;YAC5F,CAAC;iBAAM,CAAC;gBACN,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,EAAE,4BAA4B,EAAE,eAAe,CAAC,CAAC,CAAC;QACxF,CAAC;QAED,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5F,OAAO,UAAU,CAAC;IACpB,CAAC;CACF"}

package/dist/policy/index.d.ts

@@ -0,0 +1,3 @@
+export * from "./policy.js";
+export * from "./constitutional.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/policy/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/policy/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,qBAAqB,CAAC"}

package/dist/policy/index.js

@@ -0,0 +1,3 @@
+export * from "./policy.js";
+export * from "./constitutional.js";
+//# sourceMappingURL=index.js.map

package/dist/policy/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/policy/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,qBAAqB,CAAC"}

package/dist/policy/policy.d.ts

@@ -0,0 +1,6 @@
+import type { Graph, Operation, Violation } from "../domain/types.js";
+export interface Policy {
+    validateOperation(graph: Graph, op: Operation): Violation[];
+    validateGraph(graph: Graph): Violation[];
+}
+//# sourceMappingURL=policy.d.ts.map

package/dist/policy/policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../../src/policy/policy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEtE,MAAM,WAAW,MAAM;IACrB,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,GAAG,SAAS,EAAE,CAAC;IAC5D,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,EAAE,CAAC;CAC1C"}

package/dist/policy/policy.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=policy.js.map

package/dist/policy/policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../../src/policy/policy.ts"],"names":[],"mappings":""}

package/package.json

@@ -0,0 +1,34 @@
+{
+  "name": "@decisiongraph/core",
+  "version": "0.2.0",
+  "type": "module",
+  "sideEffects": false,
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "files": ["dist"],
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/izumix77/decisiongraph-core.git",
+    "directory": "packages/core"
+  },
+  "homepage": "https://github.com/izumix77/decisiongraph-core#readme",
+  "bugs": {
+    "url": "https://github.com/izumix77/decisiongraph-core/issues"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsc -b tsconfig.build.json",
+    "clean": "tsc -b tsconfig.build.json --clean",
+    "test": "vitest run",
+    "typecheck": "tsc -p tsconfig.json --noEmit"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  }
+}