@lucern/contracts 0.3.0-alpha.8 → 0.3.0-alpha.9

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"]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lucern/contracts",
-  "version": "0.3.0-alpha.8",
+  "version": "0.3.0-alpha.9",
   "type": "module",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",

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

@@ -1,132 +0,0 @@
-import { z } from 'zod';
-
-declare const EpistemicNodeTypeSchema: z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>;
-type EpistemicNodeType = z.infer<typeof EpistemicNodeTypeSchema>;
-type GraphRef = {
-    kind: "epistemic_node";
-    nodeId: string;
-    nodeType: EpistemicNodeType;
-} | {
-    kind: "external_belief";
-    ref: {
-        tenantId: string;
-        beliefId: string;
-    };
-};
-declare const GraphRefSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
-    kind: z.ZodLiteral<"epistemic_node">;
-    nodeId: z.ZodString;
-    nodeType: z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>;
-}, "strip", z.ZodTypeAny, {
-    kind: "epistemic_node";
-    nodeId: string;
-    nodeType: "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer";
-}, {
-    kind: "epistemic_node";
-    nodeId: string;
-    nodeType: "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer";
-}>, z.ZodObject<{
-    kind: z.ZodLiteral<"external_belief">;
-    ref: z.ZodObject<{
-        tenantId: z.ZodString;
-        beliefId: z.ZodString;
-    }, "strip", z.ZodTypeAny, {
-        tenantId: string;
-        beliefId: string;
-    }, {
-        tenantId: string;
-        beliefId: string;
-    }>;
-}, "strip", z.ZodTypeAny, {
-    kind: "external_belief";
-    ref: {
-        tenantId: string;
-        beliefId: string;
-    };
-}, {
-    kind: "external_belief";
-    ref: {
-        tenantId: string;
-        beliefId: string;
-    };
-}>]>;
-
-declare const EdgePolicyEntrySchema: z.ZodObject<{
-    edgeType: z.ZodString;
-    fromKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
-    fromNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>, "many">>;
-    toKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
-    toNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>, "many">>;
-    description: z.ZodString;
-}, "strip", z.ZodTypeAny, {
-    description: string;
-    edgeType: string;
-    fromKinds: ("epistemic_node" | "external_belief")[];
-    toKinds: ("epistemic_node" | "external_belief")[];
-    fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
-    toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
-}, {
-    description: string;
-    edgeType: string;
-    fromKinds: ("epistemic_node" | "external_belief")[];
-    toKinds: ("epistemic_node" | "external_belief")[];
-    fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
-    toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
-}>;
-declare const EdgePolicyManifestSchema: z.ZodObject<{
-    manifestVersion: z.ZodLiteral<"1.0.0">;
-    policies: z.ZodArray<z.ZodObject<{
-        edgeType: z.ZodString;
-        fromKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
-        fromNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>, "many">>;
-        toKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
-        toNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>, "many">>;
-        description: z.ZodString;
-    }, "strip", z.ZodTypeAny, {
-        description: string;
-        edgeType: string;
-        fromKinds: ("epistemic_node" | "external_belief")[];
-        toKinds: ("epistemic_node" | "external_belief")[];
-        fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
-        toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
-    }, {
-        description: string;
-        edgeType: string;
-        fromKinds: ("epistemic_node" | "external_belief")[];
-        toKinds: ("epistemic_node" | "external_belief")[];
-        fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
-        toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
-    }>, "many">;
-}, "strip", z.ZodTypeAny, {
-    policies: {
-        description: string;
-        edgeType: string;
-        fromKinds: ("epistemic_node" | "external_belief")[];
-        toKinds: ("epistemic_node" | "external_belief")[];
-        fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
-        toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
-    }[];
-    manifestVersion: "1.0.0";
-}, {
-    policies: {
-        description: string;
-        edgeType: string;
-        fromKinds: ("epistemic_node" | "external_belief")[];
-        toKinds: ("epistemic_node" | "external_belief")[];
-        fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
-        toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
-    }[];
-    manifestVersion: "1.0.0";
-}>;
-type EdgePolicyEntry = z.infer<typeof EdgePolicyEntrySchema>;
-type EdgePolicyManifest = z.infer<typeof EdgePolicyManifestSchema>;
-type EdgePolicyViolation = {
-    code: "POLICY_VIOLATION";
-    edgeType: string;
-    from: GraphRef;
-    to: GraphRef;
-};
-declare function findEdgePolicy(manifest: EdgePolicyManifest, edgeType: string): EdgePolicyEntry | undefined;
-declare function assertEdgePolicyAllowed(manifest: EdgePolicyManifest, edgeType: string, from: GraphRef, to: GraphRef): void;
-
-export { type EdgePolicyEntry as E, type GraphRef as G, EdgePolicyEntrySchema as a, type EdgePolicyManifest as b, EdgePolicyManifestSchema as c, type EdgePolicyViolation as d, type EpistemicNodeType as e, EpistemicNodeTypeSchema as f, GraphRefSchema as g, assertEdgePolicyAllowed as h, findEdgePolicy as i };