@lucern/contracts 0.3.0-alpha.16 → 0.3.0-alpha.2

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

@@ -1,92 +0,0 @@
-import { z } from 'zod';
-
-// src/manifests/edge-policy-manifest.ts
-
-// src/schema-helpers/spine/tables/epistemicNodes.ts
-var NODE_TYPES = [
-  "decision",
-  "belief",
-  "question",
-  "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"),
-    nodeId: z.string(),
-    nodeType: EpistemicNodeTypeSchema
-  }),
-  z.object({
-    kind: z.literal("external_belief"),
-    ref: z.object({
-      tenantId: z.string(),
-      beliefId: z.string()
-    })
-  })
-]);
-
-// src/manifests/edge-policy-manifest.ts
-var graphRefKind = z.enum(["epistemic_node", "external_belief"]);
-var EdgePolicyEntrySchema = z.object({
-  edgeType: z.string(),
-  fromKinds: z.array(graphRefKind),
-  fromNodeTypes: z.array(EpistemicNodeTypeSchema).optional(),
-  toKinds: z.array(graphRefKind),
-  toNodeTypes: z.array(EpistemicNodeTypeSchema).optional(),
-  description: z.string()
-});
-var EdgePolicyManifestSchema = z.object({
-  manifestVersion: z.literal("1.0.0"),
-  policies: z.array(EdgePolicyEntrySchema)
-});
-function findEdgePolicy(manifest, edgeType) {
-  return manifest.policies.find((policy) => policy.edgeType === edgeType);
-}
-function nodeTypeAllowed(allowed, ref) {
-  return ref.kind !== "epistemic_node" || !allowed || allowed.includes(ref.nodeType);
-}
-function assertEdgePolicyAllowed(manifest, edgeType, from, to) {
-  const policy = findEdgePolicy(manifest, edgeType);
-  const allowed = Boolean(policy) && policy.fromKinds.includes(from.kind) && policy.toKinds.includes(to.kind) && nodeTypeAllowed(policy.fromNodeTypes, from) && nodeTypeAllowed(policy.toNodeTypes, to);
-  if (!allowed) {
-    const error = new Error(
-      `Edge policy violation for ${edgeType}: ${from.kind} -> ${to.kind}`
-    );
-    error.code = "POLICY_VIOLATION";
-    error.details = { code: "POLICY_VIOLATION", edgeType, from, to };
-    throw error;
-  }
-}
-
-export { EdgePolicyEntrySchema, EdgePolicyManifestSchema, assertEdgePolicyAllowed, findEdgePolicy };
-//# sourceMappingURL=edge-policy-manifest.js.map
-//# sourceMappingURL=edge-policy-manifest.js.map

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

@@ -1 +0,0 @@
-{"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"]}