@lucern/contracts 0.3.0-alpha.8 → 1.0.0

package/dist/manifests/edge-policy-manifest.d.ts

@@ -1,2 +1,2 @@
 import 'zod';
-export { E as EdgePolicyEntry, a as EdgePolicyEntrySchema, b as EdgePolicyManifest, c as EdgePolicyManifestSchema, d as EdgePolicyViolation, h as assertEdgePolicyAllowed, i as findEdgePolicy } from '../edge-policy-manifest-Byv6cQPP.js';
+export { E as EdgePolicyEntry, a as EdgePolicyEntrySchema, b as EdgePolicyManifest, c as EdgePolicyManifestSchema, d as EdgePolicyViolation, i as assertEdgePolicyAllowed, j as findEdgePolicy } from '../edge-policy-manifest-Dw5IhT1L.js';

package/dist/manifests/edge-policy-manifest.data.d.ts

@@ -1,27 +1,13 @@
 declare const edgePolicyManifest: {
     manifestVersion: "1.0.0";
-    policies: ({
-        edgeType: string;
-        fromKinds: "epistemic_node"[];
-        fromNodeTypes: "evidence"[];
-        toKinds: "epistemic_node"[];
-        toNodeTypes: "evidence"[];
-        description: string;
-    } | {
-        edgeType: string;
-        fromKinds: "epistemic_node"[];
-        fromNodeTypes: "evidence"[];
-        toKinds: "epistemic_node"[];
-        toNodeTypes: "belief"[];
+    policies: {
         description: string;
-    } | {
         edgeType: string;
-        fromKinds: "epistemic_node"[];
-        fromNodeTypes: "evidence"[];
-        toKinds: "epistemic_node"[];
-        toNodeTypes: "question"[];
-        description: string;
-    })[];
+        fromKinds: ("epistemic_node" | "external_belief")[];
+        toKinds: ("epistemic_node" | "external_belief")[];
+        fromNodeTypes?: ("function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain")[] | undefined;
+        toNodeTypes?: ("function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain")[] | undefined;
+    }[];
 };
 
 export { edgePolicyManifest };

package/dist/manifests/edge-policy-manifest.data.js

@@ -1,32 +1,24 @@
+import { z } from 'zod';
+
+// src/schemas/enums.ts
+z.enum(["decision", "belief", "question", "theme", "deal", "topic", "claim", "evidence", "synthesis", "answer", "atomic_fact", "excerpt", "source", "company", "person", "investor", "function", "value_chain"]);
+var EDGE_TYPE_VALUES = ["supports", "informs", "depends_on", "derived_from", "contains", "tests", "supersedes", "responds_to", "belongs_to", "relates_to_thesis", "works_at", "invested_in", "competes_with", "participates_in", "founded_by", "evaluates", "performs", "function_in", "impacts", "raised_from", "mentioned_in", "perspective_on", "plays_theme", "answers", "explores", "qualifies", "based_on", "based_on_belief", "based_on_question", "blocked_by_contradiction", "informed_by_theme", "same_as", "reinforces", "parent_of", "child_of", "falsified_by", "exclusive_with", "collapses_if", "cascade_from", "counterfactual_of", "cascade_to", "mutually_exclusive", "correlates_with", "amplifies", "precondition_for", "in_tension_with", "strengthened_by", "weakened_by", "alternative_to", "subsumes", "validated_by", "required_for", "blocks", "prerequisite_for", "parallel_to", "corroborates", "extends", "same_source_as", "same_theme_as", "assumes", "would_predict", "analogous_to", "independent_of", "implements", "violates", "co_changes_with", "migrating_from", "migrating_to", "scoped_by", "about_entity", "entity_referenced_in", "contradicts", "cites", "summarizes", "related_to", "partially_answers", "refines", "branches_from"];
+var STORAGE_EDGE_TYPE_VALUES = [...EDGE_TYPE_VALUES, "extracted_from"];
+z.enum(EDGE_TYPE_VALUES);
+z.enum(STORAGE_EDGE_TYPE_VALUES);
+z.enum(["active", "archived", "watching"]);
+z.enum(["private", "team", "firm", "external", "public"]);
+
 // src/manifests/edge-policy-manifest.data.ts
+var publicEpistemicNodeEdgePolicy = (edgeType) => ({
+  edgeType,
+  fromKinds: ["epistemic_node"],
+  toKinds: ["epistemic_node"],
+  description: "Canonical public create_edge policy for graph-node relationships. The policy layer gates edge-type membership, not endpoint semantics."
+});
 var edgePolicyManifest = {
   manifestVersion: "1.0.0",
-  policies: [
-    {
-      edgeType: "evidence_derived_from_evidence",
-      fromKinds: ["epistemic_node"],
-      fromNodeTypes: ["evidence"],
-      toKinds: ["epistemic_node"],
-      toNodeTypes: ["evidence"],
-      description: "Evidence E2 was synthesized from evidence E1 by a transformation. Provides chain-of-evidence lineage."
-    },
-    {
-      edgeType: "evidence_supports_belief",
-      fromKinds: ["epistemic_node"],
-      fromNodeTypes: ["evidence"],
-      toKinds: ["epistemic_node"],
-      toNodeTypes: ["belief"],
-      description: "Existing link_evidence_to_belief semantics promoted to the create_edge policy source."
-    },
-    {
-      edgeType: "evidence_supports_question",
-      fromKinds: ["epistemic_node"],
-      fromNodeTypes: ["evidence"],
-      toKinds: ["epistemic_node"],
-      toNodeTypes: ["question"],
-      description: "Existing link_evidence_to_question semantics promoted to the create_edge policy source."
-    }
-  ]
+  policies: EDGE_TYPE_VALUES.map(publicEpistemicNodeEdgePolicy)
 };
 
 export { edgePolicyManifest };

package/dist/manifests/edge-policy-manifest.data.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/manifests/edge-policy-manifest.data.ts"],"names":[],"mappings":";AAEO,IAAM,kBAAA,GAAqB;AAAA,EAChC,eAAA,EAAiB,OAAA;AAAA,EACjB,QAAA,EAAU;AAAA,IACR;AAAA,MACE,QAAA,EAAU,gCAAA;AAAA,MACV,SAAA,EAAW,CAAC,gBAAgB,CAAA;AAAA,MAC5B,aAAA,EAAe,CAAC,UAAU,CAAA;AAAA,MAC1B,OAAA,EAAS,CAAC,gBAAgB,CAAA;AAAA,MAC1B,WAAA,EAAa,CAAC,UAAU,CAAA;AAAA,MACxB,WAAA,EACE;AAAA,KACJ;AAAA,IACA;AAAA,MACE,QAAA,EAAU,0BAAA;AAAA,MACV,SAAA,EAAW,CAAC,gBAAgB,CAAA;AAAA,MAC5B,aAAA,EAAe,CAAC,UAAU,CAAA;AAAA,MAC1B,OAAA,EAAS,CAAC,gBAAgB,CAAA;AAAA,MAC1B,WAAA,EAAa,CAAC,QAAQ,CAAA;AAAA,MACtB,WAAA,EACE;AAAA,KACJ;AAAA,IACA;AAAA,MACE,QAAA,EAAU,4BAAA;AAAA,MACV,SAAA,EAAW,CAAC,gBAAgB,CAAA;AAAA,MAC5B,aAAA,EAAe,CAAC,UAAU,CAAA;AAAA,MAC1B,OAAA,EAAS,CAAC,gBAAgB,CAAA;AAAA,MAC1B,WAAA,EAAa,CAAC,UAAU,CAAA;AAAA,MACxB,WAAA,EACE;AAAA;AACJ;AAEJ","file":"edge-policy-manifest.data.js","sourcesContent":["import type { EdgePolicyManifest } from \"./edge-policy-manifest.js\";\n\nexport const edgePolicyManifest = {\n  manifestVersion: \"1.0.0\",\n  policies: [\n    {\n      edgeType: \"evidence_derived_from_evidence\",\n      fromKinds: [\"epistemic_node\"],\n      fromNodeTypes: [\"evidence\"],\n      toKinds: [\"epistemic_node\"],\n      toNodeTypes: [\"evidence\"],\n      description:\n        \"Evidence E2 was synthesized from evidence E1 by a transformation. Provides chain-of-evidence lineage.\",\n    },\n    {\n      edgeType: \"evidence_supports_belief\",\n      fromKinds: [\"epistemic_node\"],\n      fromNodeTypes: [\"evidence\"],\n      toKinds: [\"epistemic_node\"],\n      toNodeTypes: [\"belief\"],\n      description:\n        \"Existing link_evidence_to_belief semantics promoted to the create_edge policy source.\",\n    },\n    {\n      edgeType: \"evidence_supports_question\",\n      fromKinds: [\"epistemic_node\"],\n      fromNodeTypes: [\"evidence\"],\n      toKinds: [\"epistemic_node\"],\n      toNodeTypes: [\"question\"],\n      description:\n        \"Existing link_evidence_to_question semantics promoted to the create_edge policy source.\",\n    },\n  ],\n} satisfies EdgePolicyManifest;\n"]}
+{"version":3,"sources":["../../src/schemas/enums.ts","../../src/manifests/edge-policy-manifest.data.ts"],"names":[],"mappings":";;;AAMyB,EAAE,IAAA,CAAK,CAAC,YAAY,QAAA,EAAU,UAAA,EAAY,OAAA,EAAS,MAAA,EAAQ,OAAA,EAAS,OAAA,EAAS,YAAY,WAAA,EAAa,QAAA,EAAU,eAAe,SAAA,EAAW,QAAA,EAAU,WAAW,QAAA,EAAU,UAAA,EAAY,UAAA,EAAY,aAAa,CAAC;AAEjO,IAAM,mBAAmB,CAAC,UAAA,EAAY,SAAA,EAAW,YAAA,EAAc,gBAAgB,UAAA,EAAY,OAAA,EAAS,YAAA,EAAc,aAAA,EAAe,cAAc,mBAAA,EAAqB,UAAA,EAAY,aAAA,EAAe,eAAA,EAAiB,mBAAmB,YAAA,EAAc,WAAA,EAAa,UAAA,EAAY,aAAA,EAAe,WAAW,aAAA,EAAe,cAAA,EAAgB,gBAAA,EAAkB,aAAA,EAAe,WAAW,UAAA,EAAY,WAAA,EAAa,UAAA,EAAY,iBAAA,EAAmB,qBAAqB,0BAAA,EAA4B,mBAAA,EAAqB,WAAW,YAAA,EAAc,WAAA,EAAa,YAAY,cAAA,EAAgB,gBAAA,EAAkB,cAAA,EAAgB,cAAA,EAAgB,qBAAqB,YAAA,EAAc,oBAAA,EAAsB,iBAAA,EAAmB,WAAA,EAAa,oBAAoB,iBAAA,EAAmB,iBAAA,EAAmB,aAAA,EAAe,gBAAA,EAAkB,YAAY,cAAA,EAAgB,cAAA,EAAgB,UAAU,kBAAA,EAAoB,aAAA,EAAe,gBAAgB,SAAA,EAAW,gBAAA,EAAkB,eAAA,EAAiB,SAAA,EAAW,iBAAiB,cAAA,EAAgB,gBAAA,EAAkB,YAAA,EAAc,UAAA,EAAY,mBAAmB,gBAAA,EAAkB,cAAA,EAAgB,WAAA,EAAa,cAAA,EAAgB,wBAAwB,aAAA,EAAe,OAAA,EAAS,cAAc,YAAA,EAAc,mBAAA,EAAqB,WAAW,eAAe,CAAA;AAEjtC,IAAM,wBAAA,GAA2B,CAAC,GAAG,gBAAA,EAAkB,gBAAgB,CAAA;AAErD,CAAA,CAAE,IAAA,CAAK,gBAAgB;AAIf,CAAA,CAAE,IAAA,CAAK,wBAAwB;AAEpC,CAAA,CAAE,IAAA,CAAK,CAAC,QAAA,EAAU,UAAA,EAAY,UAAU,CAAC;AAErC,EAAE,IAAA,CAAK,CAAC,WAAW,MAAA,EAAQ,MAAA,EAAQ,UAAA,EAAY,QAAQ,CAAC;;;ACdxF,IAAM,6BAAA,GAAgC,CACpC,QAAA,MACqB;AAAA,EACrB,QAAA;AAAA,EACA,SAAA,EAAW,CAAC,gBAAgB,CAAA;AAAA,EAC5B,OAAA,EAAS,CAAC,gBAAgB,CAAA;AAAA,EAC1B,WAAA,EACE;AACJ,CAAA,CAAA;AAEO,IAAM,kBAAA,GAAqB;AAAA,EAChC,eAAA,EAAiB,OAAA;AAAA,EACjB,QAAA,EAAU,gBAAA,CAAiB,GAAA,CAAI,6BAA6B;AAC9D","file":"edge-policy-manifest.data.js","sourcesContent":["/**\n * Shared schema enums referenced by the initial table manifest.\n */\n\nimport { z } from 'zod';\n\nexport const NODE_TYPE = z.enum([\"decision\", \"belief\", \"question\", \"theme\", \"deal\", \"topic\", \"claim\", \"evidence\", \"synthesis\", \"answer\", \"atomic_fact\", \"excerpt\", \"source\", \"company\", \"person\", \"investor\", \"function\", \"value_chain\"]);\n\nexport const EDGE_TYPE_VALUES = [\"supports\", \"informs\", \"depends_on\", \"derived_from\", \"contains\", \"tests\", \"supersedes\", \"responds_to\", \"belongs_to\", \"relates_to_thesis\", \"works_at\", \"invested_in\", \"competes_with\", \"participates_in\", \"founded_by\", \"evaluates\", \"performs\", \"function_in\", \"impacts\", \"raised_from\", \"mentioned_in\", \"perspective_on\", \"plays_theme\", \"answers\", \"explores\", \"qualifies\", \"based_on\", \"based_on_belief\", \"based_on_question\", \"blocked_by_contradiction\", \"informed_by_theme\", \"same_as\", \"reinforces\", \"parent_of\", \"child_of\", \"falsified_by\", \"exclusive_with\", \"collapses_if\", \"cascade_from\", \"counterfactual_of\", \"cascade_to\", \"mutually_exclusive\", \"correlates_with\", \"amplifies\", \"precondition_for\", \"in_tension_with\", \"strengthened_by\", \"weakened_by\", \"alternative_to\", \"subsumes\", \"validated_by\", \"required_for\", \"blocks\", \"prerequisite_for\", \"parallel_to\", \"corroborates\", \"extends\", \"same_source_as\", \"same_theme_as\", \"assumes\", \"would_predict\", \"analogous_to\", \"independent_of\", \"implements\", \"violates\", \"co_changes_with\", \"migrating_from\", \"migrating_to\", \"scoped_by\", \"about_entity\", \"entity_referenced_in\", \"contradicts\", \"cites\", \"summarizes\", \"related_to\", \"partially_answers\", \"refines\", \"branches_from\"] as const;\n\nexport const STORAGE_EDGE_TYPE_VALUES = [...EDGE_TYPE_VALUES, \"extracted_from\"] as const;\n\nexport const EDGE_TYPE = z.enum(EDGE_TYPE_VALUES);\n\n// Storage accepts the legacy provenance spelling while existing rows migrate.\n// Public surfaces should continue to expose EDGE_TYPE only.\nexport const STORAGE_EDGE_TYPE = z.enum(STORAGE_EDGE_TYPE_VALUES);\n\nexport const TOPIC_STATUS = z.enum([\"active\", \"archived\", \"watching\"]);\n\nexport const TOPIC_VISIBILITY = z.enum([\"private\", \"team\", \"firm\", \"external\", \"public\"]);\n","import { EDGE_TYPE_VALUES } from \"../schemas/enums.js\";\nimport type {\n  EdgePolicyEntry,\n  EdgePolicyManifest,\n} from \"./edge-policy-manifest.js\";\n\nconst publicEpistemicNodeEdgePolicy = (\n  edgeType: (typeof EDGE_TYPE_VALUES)[number]\n): EdgePolicyEntry => ({\n  edgeType,\n  fromKinds: [\"epistemic_node\"],\n  toKinds: [\"epistemic_node\"],\n  description:\n    \"Canonical public create_edge policy for graph-node relationships. The policy layer gates edge-type membership, not endpoint semantics.\",\n});\n\nexport const edgePolicyManifest = {\n  manifestVersion: \"1.0.0\",\n  policies: EDGE_TYPE_VALUES.map(publicEpistemicNodeEdgePolicy),\n} satisfies EdgePolicyManifest;\n"]}

package/dist/manifests/edge-policy-manifest.js

@@ -1,17 +1,44 @@
 import { z } from 'zod';
 
 // src/manifests/edge-policy-manifest.ts
-var EpistemicNodeTypeSchema = z.enum([
+
+// src/schema-helpers/spine/tables/epistemicNodes.ts
+var NODE_TYPES = [
+  "decision",
   "belief",
-  "evidence",
   "question",
-  "answer",
+  "theme",
+  "deal",
   "topic",
+  "claim",
+  "evidence",
+  "synthesis",
+  "answer",
+  "atomic_fact",
+  "excerpt",
+  "source",
+  "company",
+  "person",
+  "investor",
+  "function",
+  "value_chain"
+];
+new Set(NODE_TYPES);
+
+// src/types/graph-ref.ts
+var GRAPH_REF_EXTRA_NODE_TYPES = [
   "edge",
   "ontology",
   "lens",
   "contradiction"
-]);
+];
+var GRAPH_REF_NODE_TYPES = [
+  ...NODE_TYPES,
+  ...GRAPH_REF_EXTRA_NODE_TYPES
+];
+var EpistemicNodeTypeSchema = z.enum(
+  GRAPH_REF_NODE_TYPES
+);
 z.discriminatedUnion("kind", [
   z.object({
     kind: z.literal("epistemic_node"),

package/dist/manifests/edge-policy-manifest.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/types/graph-ref.ts","../../src/manifests/edge-policy-manifest.ts"],"names":["z"],"mappings":";;;AAEO,IAAM,uBAAA,GAA0B,EAAE,IAAA,CAAK;AAAA,EAC5C,QAAA;AAAA,EACA,UAAA;AAAA,EACA,UAAA;AAAA,EACA,QAAA;AAAA,EACA,OAAA;AAAA,EACA,MAAA;AAAA,EACA,UAAA;AAAA,EACA,MAAA;AAAA,EACA;AACF,CAAC,CAAA;AAQ6B,CAAA,CAAE,kBAAA,CAAmB,MAAA,EAAQ;AAAA,EACzD,EAAE,MAAA,CAAO;AAAA,IACP,IAAA,EAAM,CAAA,CAAE,OAAA,CAAQ,gBAAgB,CAAA;AAAA,IAChC,MAAA,EAAQ,EAAE,MAAA,EAAO;AAAA,IACjB,QAAA,EAAU;AAAA,GACX,CAAA;AAAA,EACD,EAAE,MAAA,CAAO;AAAA,IACP,IAAA,EAAM,CAAA,CAAE,OAAA,CAAQ,iBAAiB,CAAA;AAAA,IACjC,GAAA,EAAK,EAAE,MAAA,CAAO;AAAA,MACZ,QAAA,EAAU,EAAE,MAAA,EAAO;AAAA,MACnB,QAAA,EAAU,EAAE,MAAA;AAAO,KACpB;AAAA,GACF;AACH,CAAC;;;AC1BD,IAAM,eAAeA,CAAAA,CAAE,IAAA,CAAK,CAAC,gBAAA,EAAkB,iBAAiB,CAAC,CAAA;AAE1D,IAAM,qBAAA,GAAwBA,EAAE,MAAA,CAAO;AAAA,EAC5C,QAAA,EAAUA,EAAE,MAAA,EAAO;AAAA,EACnB,SAAA,EAAWA,CAAAA,CAAE,KAAA,CAAM,YAAY,CAAA;AAAA,EAC/B,aAAA,EAAeA,CAAAA,CAAE,KAAA,CAAM,uBAAuB,EAAE,QAAA,EAAS;AAAA,EACzD,OAAA,EAASA,CAAAA,CAAE,KAAA,CAAM,YAAY,CAAA;AAAA,EAC7B,WAAA,EAAaA,CAAAA,CAAE,KAAA,CAAM,uBAAuB,EAAE,QAAA,EAAS;AAAA,EACvD,WAAA,EAAaA,EAAE,MAAA;AACjB,CAAC;AAEM,IAAM,wBAAA,GAA2BA,EAAE,MAAA,CAAO;AAAA,EAC/C,eAAA,EAAiBA,CAAAA,CAAE,OAAA,CAAQ,OAAO,CAAA;AAAA,EAClC,QAAA,EAAUA,CAAAA,CAAE,KAAA,CAAM,qBAAqB;AACzC,CAAC;AAYM,SAAS,cAAA,CACd,UACA,QAAA,EAC6B;AAC7B,EAAA,OAAO,SAAS,QAAA,CAAS,IAAA,CAAK,CAAC,MAAA,KAAW,MAAA,CAAO,aAAa,QAAQ,CAAA;AACxE;AAEA,SAAS,eAAA,CACP,SACA,GAAA,EACS;AACT,EAAA,OACE,GAAA,CAAI,SAAS,gBAAA,IACb,CAAC,WACD,OAAA,CAAQ,QAAA,CAAS,IAAI,QAAQ,CAAA;AAEjC;AAEO,SAAS,uBAAA,CACd,QAAA,EACA,QAAA,EACA,IAAA,EACA,EAAA,EACM;AACN,EAAA,MAAM,MAAA,GAAS,cAAA,CAAe,QAAA,EAAU,QAAQ,CAAA;AAChD,EAAA,MAAM,OAAA,GACJ,OAAA,CAAQ,MAAM,CAAA,IACd,MAAA,CAAQ,UAAU,QAAA,CAAS,IAAA,CAAK,IAAI,CAAA,IACpC,MAAA,CAAQ,OAAA,CAAQ,SAAS,EAAA,CAAG,IAAI,CAAA,IAChC,eAAA,CAAgB,MAAA,CAAQ,aAAA,EAAe,IAAI,CAAA,IAC3C,eAAA,CAAgB,MAAA,CAAQ,WAAA,EAAa,EAAE,CAAA;AAEzC,EAAA,IAAI,CAAC,OAAA,EAAS;AACZ,IAAA,MAAM,QAAQ,IAAI,KAAA;AAAA,MAChB,6BAA6B,QAAQ,CAAA,EAAA,EAAK,KAAK,IAAI,CAAA,IAAA,EAAO,GAAG,IAAI,CAAA;AAAA,KACnE;AACA,IAAA,KAAA,CAAM,IAAA,GAAO,kBAAA;AACb,IAAA,KAAA,CAAM,UAAU,EAAE,IAAA,EAAM,kBAAA,EAAoB,QAAA,EAAU,MAAM,EAAA,EAAG;AAC/D,IAAA,MAAM,KAAA;AAAA,EACR;AACF","file":"edge-policy-manifest.js","sourcesContent":["import { z } from \"zod\";\n\nexport const EpistemicNodeTypeSchema = z.enum([\n  \"belief\",\n  \"evidence\",\n  \"question\",\n  \"answer\",\n  \"topic\",\n  \"edge\",\n  \"ontology\",\n  \"lens\",\n  \"contradiction\",\n]);\n\nexport type EpistemicNodeType = z.infer<typeof EpistemicNodeTypeSchema>;\n\nexport type GraphRef =\n  | { kind: \"epistemic_node\"; nodeId: string; nodeType: EpistemicNodeType }\n  | { kind: \"external_belief\"; ref: { tenantId: string; beliefId: string } };\n\nexport const GraphRefSchema = z.discriminatedUnion(\"kind\", [\n  z.object({\n    kind: z.literal(\"epistemic_node\"),\n    nodeId: z.string(),\n    nodeType: EpistemicNodeTypeSchema,\n  }),\n  z.object({\n    kind: z.literal(\"external_belief\"),\n    ref: z.object({\n      tenantId: z.string(),\n      beliefId: z.string(),\n    }),\n  }),\n]);\n","import { z } from \"zod\";\nimport {\n  EpistemicNodeTypeSchema,\n  type EpistemicNodeType,\n  type GraphRef,\n} from \"../types/graph-ref.js\";\n\nconst graphRefKind = z.enum([\"epistemic_node\", \"external_belief\"]);\n\nexport const EdgePolicyEntrySchema = z.object({\n  edgeType: z.string(),\n  fromKinds: z.array(graphRefKind),\n  fromNodeTypes: z.array(EpistemicNodeTypeSchema).optional(),\n  toKinds: z.array(graphRefKind),\n  toNodeTypes: z.array(EpistemicNodeTypeSchema).optional(),\n  description: z.string(),\n});\n\nexport const EdgePolicyManifestSchema = z.object({\n  manifestVersion: z.literal(\"1.0.0\"),\n  policies: z.array(EdgePolicyEntrySchema),\n});\n\nexport type EdgePolicyEntry = z.infer<typeof EdgePolicyEntrySchema>;\nexport type EdgePolicyManifest = z.infer<typeof EdgePolicyManifestSchema>;\n\nexport type EdgePolicyViolation = {\n  code: \"POLICY_VIOLATION\";\n  edgeType: string;\n  from: GraphRef;\n  to: GraphRef;\n};\n\nexport function findEdgePolicy(\n  manifest: EdgePolicyManifest,\n  edgeType: string\n): EdgePolicyEntry | undefined {\n  return manifest.policies.find((policy) => policy.edgeType === edgeType);\n}\n\nfunction nodeTypeAllowed(\n  allowed: EpistemicNodeType[] | undefined,\n  ref: GraphRef\n): boolean {\n  return (\n    ref.kind !== \"epistemic_node\" ||\n    !allowed ||\n    allowed.includes(ref.nodeType)\n  );\n}\n\nexport function assertEdgePolicyAllowed(\n  manifest: EdgePolicyManifest,\n  edgeType: string,\n  from: GraphRef,\n  to: GraphRef\n): void {\n  const policy = findEdgePolicy(manifest, edgeType);\n  const allowed =\n    Boolean(policy) &&\n    policy!.fromKinds.includes(from.kind) &&\n    policy!.toKinds.includes(to.kind) &&\n    nodeTypeAllowed(policy!.fromNodeTypes, from) &&\n    nodeTypeAllowed(policy!.toNodeTypes, to);\n\n  if (!allowed) {\n    const error = new Error(\n      `Edge policy violation for ${edgeType}: ${from.kind} -> ${to.kind}`\n    ) as Error & { code: \"POLICY_VIOLATION\"; details: EdgePolicyViolation };\n    error.code = \"POLICY_VIOLATION\";\n    error.details = { code: \"POLICY_VIOLATION\", edgeType, from, to };\n    throw error;\n  }\n}\n"]}
+{"version":3,"sources":["../../src/schema-helpers/spine/tables/epistemicNodes.ts","../../src/types/graph-ref.ts","../../src/manifests/edge-policy-manifest.ts"],"names":["z"],"mappings":";;;;;AA4BO,IAAM,UAAA,GAAa;AAAA,EACxB,UAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,OAAA;AAAA,EACA,MAAA;AAAA,EACA,OAAA;AAAA,EACA,OAAA;AAAA,EACA,UAAA;AAAA,EACA,WAAA;AAAA,EACA,QAAA;AAAA,EACA,aAAA;AAAA,EACA,SAAA;AAAA,EACA,QAAA;AAAA,EACA,SAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF,CAAA;AAEsB,IAAI,GAAA,CAAY,UAAU;;;AC9ChD,IAAM,0BAAA,GAA6B;AAAA,EACjC,MAAA;AAAA,EACA,UAAA;AAAA,EACA,MAAA;AAAA,EACA;AACF,CAAA;AAEO,IAAM,oBAAA,GAAuB;AAAA,EAClC,GAAG,UAAA;AAAA,EACH,GAAG;AACL,CAAA;AAIO,IAAM,0BAA0B,CAAA,CAAE,IAAA;AAAA,EACvC;AACF,CAAA;AAQ8B,CAAA,CAAE,kBAAA,CAAmB,MAAA,EAAQ;AAAA,EACzD,EAAE,MAAA,CAAO;AAAA,IACP,IAAA,EAAM,CAAA,CAAE,OAAA,CAAQ,gBAAgB,CAAA;AAAA,IAChC,MAAA,EAAQ,EAAE,MAAA,EAAO;AAAA,IACjB,QAAA,EAAU;AAAA,GACX,CAAA;AAAA,EACD,EAAE,MAAA,CAAO;AAAA,IACP,IAAA,EAAM,CAAA,CAAE,OAAA,CAAQ,iBAAiB,CAAA;AAAA,IACjC,GAAA,EAAK,EAAE,MAAA,CAAO;AAAA,MACZ,QAAA,EAAU,EAAE,MAAA,EAAO;AAAA,MACnB,QAAA,EAAU,EAAE,MAAA;AAAO,KACpB;AAAA,GACF;AACH,CAAC;;;ACjCD,IAAM,eAAeA,CAAAA,CAAE,IAAA,CAAK,CAAC,gBAAA,EAAkB,iBAAiB,CAAC,CAAA;AAE1D,IAAM,qBAAA,GAAwBA,EAAE,MAAA,CAAO;AAAA,EAC5C,QAAA,EAAUA,EAAE,MAAA,EAAO;AAAA,EACnB,SAAA,EAAWA,CAAAA,CAAE,KAAA,CAAM,YAAY,CAAA;AAAA,EAC/B,aAAA,EAAeA,CAAAA,CAAE,KAAA,CAAM,uBAAuB,EAAE,QAAA,EAAS;AAAA,EACzD,OAAA,EAASA,CAAAA,CAAE,KAAA,CAAM,YAAY,CAAA;AAAA,EAC7B,WAAA,EAAaA,CAAAA,CAAE,KAAA,CAAM,uBAAuB,EAAE,QAAA,EAAS;AAAA,EACvD,WAAA,EAAaA,EAAE,MAAA;AACjB,CAAC;AAEM,IAAM,wBAAA,GAA2BA,EAAE,MAAA,CAAO;AAAA,EAC/C,eAAA,EAAiBA,CAAAA,CAAE,OAAA,CAAQ,OAAO,CAAA;AAAA,EAClC,QAAA,EAAUA,CAAAA,CAAE,KAAA,CAAM,qBAAqB;AACzC,CAAC;AAYM,SAAS,cAAA,CACd,UACA,QAAA,EAC6B;AAC7B,EAAA,OAAO,SAAS,QAAA,CAAS,IAAA,CAAK,CAAC,MAAA,KAAW,MAAA,CAAO,aAAa,QAAQ,CAAA;AACxE;AAEA,SAAS,eAAA,CACP,SACA,GAAA,EACS;AACT,EAAA,OACE,GAAA,CAAI,SAAS,gBAAA,IACb,CAAC,WACD,OAAA,CAAQ,QAAA,CAAS,IAAI,QAAQ,CAAA;AAEjC;AAEO,SAAS,uBAAA,CACd,QAAA,EACA,QAAA,EACA,IAAA,EACA,EAAA,EACM;AACN,EAAA,MAAM,MAAA,GAAS,cAAA,CAAe,QAAA,EAAU,QAAQ,CAAA;AAChD,EAAA,MAAM,OAAA,GACJ,OAAA,CAAQ,MAAM,CAAA,IACd,MAAA,CAAQ,UAAU,QAAA,CAAS,IAAA,CAAK,IAAI,CAAA,IACpC,MAAA,CAAQ,OAAA,CAAQ,SAAS,EAAA,CAAG,IAAI,CAAA,IAChC,eAAA,CAAgB,MAAA,CAAQ,aAAA,EAAe,IAAI,CAAA,IAC3C,eAAA,CAAgB,MAAA,CAAQ,WAAA,EAAa,EAAE,CAAA;AAEzC,EAAA,IAAI,CAAC,OAAA,EAAS;AACZ,IAAA,MAAM,QAAQ,IAAI,KAAA;AAAA,MAChB,6BAA6B,QAAQ,CAAA,EAAA,EAAK,KAAK,IAAI,CAAA,IAAA,EAAO,GAAG,IAAI,CAAA;AAAA,KACnE;AACA,IAAA,KAAA,CAAM,IAAA,GAAO,kBAAA;AACb,IAAA,KAAA,CAAM,UAAU,EAAE,IAAA,EAAM,kBAAA,EAAoB,QAAA,EAAU,MAAM,EAAA,EAAG;AAC/D,IAAA,MAAM,KAAA;AAAA,EACR;AACF","file":"edge-policy-manifest.js","sourcesContent":["export type NodeType =\n  | \"decision\"\n  | \"belief\"\n  | \"question\"\n  | \"theme\"\n  | \"deal\"\n  | \"topic\"\n  | \"claim\"\n  | \"evidence\"\n  | \"synthesis\"\n  | \"answer\"\n  | \"atomic_fact\"\n  | \"excerpt\"\n  | \"source\"\n  | \"company\"\n  | \"person\"\n  | \"investor\"\n  | \"function\"\n  | \"value_chain\";\n\nexport type EpistemicLayer =\n  | \"L4\"\n  | \"L3\"\n  | \"L2\"\n  | \"L1\"\n  | \"ontological\"\n  | \"organizational\";\n\nexport const NODE_TYPES = [\n  \"decision\",\n  \"belief\",\n  \"question\",\n  \"theme\",\n  \"deal\",\n  \"topic\",\n  \"claim\",\n  \"evidence\",\n  \"synthesis\",\n  \"answer\",\n  \"atomic_fact\",\n  \"excerpt\",\n  \"source\",\n  \"company\",\n  \"person\",\n  \"investor\",\n  \"function\",\n  \"value_chain\",\n] as const satisfies readonly NodeType[];\n\nconst NODE_TYPE_SET = new Set<string>(NODE_TYPES);\nconst NODE_TYPE_TO_LAYER = new Map<NodeType, EpistemicLayer>([\n  [\"decision\", \"L4\"],\n  [\"belief\", \"L3\"],\n  [\"question\", \"L3\"],\n  [\"theme\", \"L3\"],\n  [\"deal\", \"L3\"],\n  [\"claim\", \"L2\"],\n  [\"evidence\", \"L2\"],\n  [\"synthesis\", \"L2\"],\n  [\"answer\", \"L2\"],\n  [\"atomic_fact\", \"L1\"],\n  [\"excerpt\", \"L1\"],\n  [\"source\", \"L1\"],\n  [\"topic\", \"organizational\"],\n  [\"company\", \"ontological\"],\n  [\"person\", \"ontological\"],\n  [\"investor\", \"ontological\"],\n  [\"function\", \"ontological\"],\n  [\"value_chain\", \"ontological\"],\n]);\n\n// Backward compatibility type guard: callers depend on the exported predicate.\nexport function isNodeType(value: string): value is NodeType {\n  return NODE_TYPE_SET.has(value);\n}\n\nexport function getLayerForNodeType(type: NodeType): EpistemicLayer {\n  const layer = NODE_TYPE_TO_LAYER.get(type);\n  if (!layer) {\n    throw new Error(`Unknown node type: ${type}`);\n  }\n  return layer;\n}\n\nexport function resolveKnownLayerForNodeType(\n  type: string\n): EpistemicLayer | undefined {\n  return isNodeType(type) ? NODE_TYPE_TO_LAYER.get(type) : undefined;\n}\n\nexport function isEpistemicNodeType(type: NodeType): boolean {\n  return getLayerForNodeType(type) !== \"ontological\";\n}\n","import { z } from \"zod\";\nimport { NODE_TYPES } from \"../schema-helpers/spine/tables/epistemicNodes.js\";\n\nconst GRAPH_REF_EXTRA_NODE_TYPES = [\n  \"edge\",\n  \"ontology\",\n  \"lens\",\n  \"contradiction\",\n] as const;\n\nexport const GRAPH_REF_NODE_TYPES = [\n  ...NODE_TYPES,\n  ...GRAPH_REF_EXTRA_NODE_TYPES,\n] as const;\n\ntype GraphRefNodeType = (typeof GRAPH_REF_NODE_TYPES)[number];\n\nexport const EpistemicNodeTypeSchema = z.enum(\n  GRAPH_REF_NODE_TYPES as unknown as [GraphRefNodeType, ...GraphRefNodeType[]]\n);\n\nexport type EpistemicNodeType = z.infer<typeof EpistemicNodeTypeSchema>;\n\nexport type GraphRef =\n  | { kind: \"epistemic_node\"; nodeId: string; nodeType: EpistemicNodeType }\n  | { kind: \"external_belief\"; ref: { tenantId: string; beliefId: string } };\n\nexport const GraphRefSchema = z.discriminatedUnion(\"kind\", [\n  z.object({\n    kind: z.literal(\"epistemic_node\"),\n    nodeId: z.string(),\n    nodeType: EpistemicNodeTypeSchema,\n  }),\n  z.object({\n    kind: z.literal(\"external_belief\"),\n    ref: z.object({\n      tenantId: z.string(),\n      beliefId: z.string(),\n    }),\n  }),\n]);\n","import { z } from \"zod\";\nimport {\n  EpistemicNodeTypeSchema,\n  type EpistemicNodeType,\n  type GraphRef,\n} from \"../types/graph-ref.js\";\n\nconst graphRefKind = z.enum([\"epistemic_node\", \"external_belief\"]);\n\nexport const EdgePolicyEntrySchema = z.object({\n  edgeType: z.string(),\n  fromKinds: z.array(graphRefKind),\n  fromNodeTypes: z.array(EpistemicNodeTypeSchema).optional(),\n  toKinds: z.array(graphRefKind),\n  toNodeTypes: z.array(EpistemicNodeTypeSchema).optional(),\n  description: z.string(),\n});\n\nexport const EdgePolicyManifestSchema = z.object({\n  manifestVersion: z.literal(\"1.0.0\"),\n  policies: z.array(EdgePolicyEntrySchema),\n});\n\nexport type EdgePolicyEntry = z.infer<typeof EdgePolicyEntrySchema>;\nexport type EdgePolicyManifest = z.infer<typeof EdgePolicyManifestSchema>;\n\nexport type EdgePolicyViolation = {\n  code: \"POLICY_VIOLATION\";\n  edgeType: string;\n  from: GraphRef;\n  to: GraphRef;\n};\n\nexport function findEdgePolicy(\n  manifest: EdgePolicyManifest,\n  edgeType: string\n): EdgePolicyEntry | undefined {\n  return manifest.policies.find((policy) => policy.edgeType === edgeType);\n}\n\nfunction nodeTypeAllowed(\n  allowed: EpistemicNodeType[] | undefined,\n  ref: GraphRef\n): boolean {\n  return (\n    ref.kind !== \"epistemic_node\" ||\n    !allowed ||\n    allowed.includes(ref.nodeType)\n  );\n}\n\nexport function assertEdgePolicyAllowed(\n  manifest: EdgePolicyManifest,\n  edgeType: string,\n  from: GraphRef,\n  to: GraphRef\n): void {\n  const policy = findEdgePolicy(manifest, edgeType);\n  const allowed =\n    Boolean(policy) &&\n    policy!.fromKinds.includes(from.kind) &&\n    policy!.toKinds.includes(to.kind) &&\n    nodeTypeAllowed(policy!.fromNodeTypes, from) &&\n    nodeTypeAllowed(policy!.toNodeTypes, to);\n\n  if (!allowed) {\n    const error = new Error(\n      `Edge policy violation for ${edgeType}: ${from.kind} -> ${to.kind}`\n    ) as Error & { code: \"POLICY_VIOLATION\"; details: EdgePolicyViolation };\n    error.code = \"POLICY_VIOLATION\";\n    error.details = { code: \"POLICY_VIOLATION\", edgeType, from, to };\n    throw error;\n  }\n}\n"]}