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

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

@@ -0,0 +1,133 @@
+import { z } from 'zod';
+
+declare const GRAPH_REF_NODE_TYPES: readonly ["decision", "belief", "question", "theme", "deal", "topic", "claim", "evidence", "synthesis", "answer", "atomic_fact", "excerpt", "source", "company", "person", "investor", "function", "value_chain", "edge", "ontology", "lens", "contradiction"];
+declare const EpistemicNodeTypeSchema: z.ZodEnum<["function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain", ...("function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain")[]]>;
+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<["function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain", ...("function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain")[]]>;
+}, "strip", z.ZodTypeAny, {
+    kind: "epistemic_node";
+    nodeId: string;
+    nodeType: "function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain";
+}, {
+    kind: "epistemic_node";
+    nodeId: string;
+    nodeType: "function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain";
+}>, 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<["function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain", ...("function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain")[]]>, "many">>;
+    toKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
+    toNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain", ...("function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain")[]]>, "many">>;
+    description: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    description: string;
+    edgeType: 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;
+}, {
+    description: string;
+    edgeType: 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;
+}>;
+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<["function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain", ...("function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain")[]]>, "many">>;
+        toKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
+        toNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain", ...("function" | "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "source" | "lens" | "decision" | "claim" | "answer" | "theme" | "deal" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain")[]]>, "many">>;
+        description: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        description: string;
+        edgeType: 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;
+    }, {
+        description: string;
+        edgeType: 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;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    policies: {
+        description: string;
+        edgeType: 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;
+    }[];
+    manifestVersion: "1.0.0";
+}, {
+    policies: {
+        description: string;
+        edgeType: 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;
+    }[];
+    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, GRAPH_REF_NODE_TYPES as G, EdgePolicyEntrySchema as a, type EdgePolicyManifest as b, EdgePolicyManifestSchema as c, type EdgePolicyViolation as d, type EpistemicNodeType as e, EpistemicNodeTypeSchema as f, type GraphRef as g, GraphRefSchema as h, assertEdgePolicyAllowed as i, findEdgePolicy as j };

package/dist/function-registry/edges.js

@@ -4531,17 +4531,44 @@ function surfaceContract(args) {
     }
   });
 }
-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
+);
 var GraphRefSchema = z.discriminatedUnion("kind", [
   z.object({
     kind: z.literal("epistemic_node"),
@@ -4589,42 +4616,33 @@ function assertEdgePolicyAllowed(manifest, edgeType, from, to) {
     throw error;
   }
 }
+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 = {
-  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)
 };
 
 // src/function-registry/edges.ts
+var CREATE_EDGE_TYPES = edgePolicyManifest.policies.map(
+  (policy) => policy.edgeType
+);
 var createEdgeArgs = z.object({
   from: GraphRefSchema,
   to: GraphRefSchema,
-  edgeType: z.string(),
+  edgeType: z.enum(CREATE_EDGE_TYPES),
   globalId: z.string().optional(),
   weight: z.number().optional(),
   confidence: z.number().optional(),