@lucern/contracts 0.3.0-alpha.17 → 0.3.0-alpha.3

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lucern/contracts",
-  "version": "0.3.0-alpha.17",
+  "version": "0.3.0-alpha.3",
   "type": "module",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
@@ -38,14 +38,6 @@
       "types": "./dist/manifests/*.d.ts",
       "import": "./dist/manifests/*.js"
     },
-    "./manifests/invariants": {
-      "types": "./dist/manifests/invariants/index.d.ts",
-      "import": "./dist/manifests/invariants/index.js"
-    },
-    "./manifests/invariants/*": {
-      "types": "./dist/manifests/invariants/*.d.ts",
-      "import": "./dist/manifests/invariants/*.js"
-    },
     "./projections": {
       "types": "./dist/projections/index.d.ts",
       "import": "./dist/projections/index.js"
@@ -70,22 +62,6 @@
       "types": "./dist/generated/tableOwnership.d.ts",
       "import": "./dist/generated/tableOwnership.js"
     },
-    "./generated/infisicalRuntimeEnv": {
-      "types": "./dist/generated/infisicalRuntimeEnv.d.ts",
-      "import": "./dist/generated/infisicalRuntimeEnv.js"
-    },
-    "./generated/lucernWebPublicEnv": {
-      "types": "./dist/generated/lucernWebPublicEnv.d.ts",
-      "import": "./dist/generated/lucernWebPublicEnv.js"
-    },
-    "./generated/lucernWebServerEnv": {
-      "types": "./dist/generated/lucernWebServerEnv.d.ts",
-      "import": "./dist/generated/lucernWebServerEnv.js"
-    },
-    "./generated/lucernGatewayEnv": {
-      "types": "./dist/generated/lucernGatewayEnv.d.ts",
-      "import": "./dist/generated/lucernGatewayEnv.js"
-    },
     "./generated/tier-expectations.json": {
       "types": "./dist/generated/tier-expectations.json",
       "import": "./dist/generated/tier-expectations.json"
@@ -130,10 +106,6 @@
       "types": "./dist/function-registry/lenses.d.ts",
       "import": "./dist/function-registry/lenses.js"
     },
-    "./function-registry/nodes": {
-      "types": "./dist/function-registry/nodes.d.ts",
-      "import": "./dist/function-registry/nodes.js"
-    },
     "./function-registry/ontologies": {
       "types": "./dist/function-registry/ontologies.d.ts",
       "import": "./dist/function-registry/ontologies.js"
@@ -189,7 +161,6 @@
   },
   "scripts": {
     "build": "node -e \"require('fs').rmSync('dist', { recursive: true, force: true })\" && tsup && node scripts/copy-generated-json.cjs",
-    "postbuild": "test ! -f ../../dist/proof-attestation.json || cp ../../dist/proof-attestation.json dist/proof-attestation.json",
     "prepack": "npm run build",
     "test": "vitest run --config vitest.config.ts",
     "typecheck": "tsc --noEmit"

package/dist/component-host-boundary.contract.d.ts

@@ -1,46 +0,0 @@
-/**
- * Component host persistence boundary
- *
- * Host deployments may call component APIs, but they must not create or mutate
- * component-owned tables directly through top-level ctx.db. This contract keeps
- * tenant SDK clients from accidentally recreating Lucern kernel/control-plane tables
- * as host "ghost tables".
- */
-declare const COMPONENT_HOST_BOUNDARY_CONTRACT_VERSION: "2026-04-28";
-declare const COMPONENT_HOST_PROTECTED_TABLES: readonly ["backgroundJobRuns", "backgroundJobSettings", "systemLogs", "epistemicAudit", "platformPolicyDecisionLogs", "tenantApiKeys", "projectGrants", "userSessions"];
-type ComponentHostProtectedTable = (typeof COMPONENT_HOST_PROTECTED_TABLES)[number];
-declare const COMPONENT_HOST_PROTECTED_TABLE_OWNERS: {
-    readonly backgroundJobRuns: "kernel_component";
-    readonly backgroundJobSettings: "kernel_component";
-    readonly systemLogs: "kernel_component";
-    readonly epistemicAudit: "reasoning_kernel_component";
-    readonly platformPolicyDecisionLogs: "control_plane_component";
-    readonly tenantApiKeys: "control_plane_component";
-    readonly projectGrants: "control_plane_component";
-    readonly userSessions: "tenant_or_control_plane_schema";
-};
-declare const COMPONENT_HOST_DB_WRITE_OPERATIONS: readonly ["insert", "patch", "replace", "delete"];
-type ComponentHostDbWriteOperation = (typeof COMPONENT_HOST_DB_WRITE_OPERATIONS)[number];
-declare const COMPONENT_HOST_DB_READ_OPERATIONS: readonly ["query"];
-type ComponentHostDbReadOperation = (typeof COMPONENT_HOST_DB_READ_OPERATIONS)[number];
-type ComponentHostDbOperation = ComponentHostDbWriteOperation | ComponentHostDbReadOperation;
-declare const COMPONENT_HOST_WRITE_AUDIT_ROOTS: readonly ["apps/web/convex", "packages/server-core/src", "services/kernel-template/convex", "services/control-plane-template/convex", "services/master-control/convex"];
-type ComponentHostWriteAuditRoot = (typeof COMPONENT_HOST_WRITE_AUDIT_ROOTS)[number];
-declare const COMPONENT_HOST_WRITE_ALLOWED_EXCEPTIONS: readonly [{
-    readonly file: "services/master-control/convex/userSessions.ts";
-    readonly table: "userSessions";
-    readonly operation: "insert";
-    readonly reason: "Master Control declares and owns its own userSessions table for gateway session validation.";
-}, {
-    readonly file: "services/master-control/convex/userSessions.ts";
-    readonly table: "userSessions";
-    readonly operation: "query";
-    readonly reason: "Master Control declares and owns its own userSessions table for gateway session validation.";
-}, {
-    readonly file: "services/master-control/convex/permitEnforcement.ts";
-    readonly table: "userSessions";
-    readonly operation: "query";
-    readonly reason: "Permit enforcement validates MC-owned agent session scope before allowing protected control-plane functions.";
-}];
-
-export { COMPONENT_HOST_BOUNDARY_CONTRACT_VERSION, COMPONENT_HOST_DB_READ_OPERATIONS, COMPONENT_HOST_DB_WRITE_OPERATIONS, COMPONENT_HOST_PROTECTED_TABLES, COMPONENT_HOST_PROTECTED_TABLE_OWNERS, COMPONENT_HOST_WRITE_ALLOWED_EXCEPTIONS, COMPONENT_HOST_WRITE_AUDIT_ROOTS, type ComponentHostDbOperation, type ComponentHostDbReadOperation, type ComponentHostDbWriteOperation, type ComponentHostProtectedTable, type ComponentHostWriteAuditRoot };

package/dist/component-host-boundary.contract.js

@@ -1,60 +0,0 @@
-// src/component-host-boundary.contract.ts
-var COMPONENT_HOST_BOUNDARY_CONTRACT_VERSION = "2026-04-28";
-var COMPONENT_HOST_PROTECTED_TABLES = [
-  "backgroundJobRuns",
-  "backgroundJobSettings",
-  "systemLogs",
-  "epistemicAudit",
-  "platformPolicyDecisionLogs",
-  "tenantApiKeys",
-  "projectGrants",
-  "userSessions"
-];
-var COMPONENT_HOST_PROTECTED_TABLE_OWNERS = {
-  backgroundJobRuns: "kernel_component",
-  backgroundJobSettings: "kernel_component",
-  systemLogs: "kernel_component",
-  epistemicAudit: "reasoning_kernel_component",
-  platformPolicyDecisionLogs: "control_plane_component",
-  tenantApiKeys: "control_plane_component",
-  projectGrants: "control_plane_component",
-  userSessions: "tenant_or_control_plane_schema"
-};
-var COMPONENT_HOST_DB_WRITE_OPERATIONS = [
-  "insert",
-  "patch",
-  "replace",
-  "delete"
-];
-var COMPONENT_HOST_DB_READ_OPERATIONS = ["query"];
-var COMPONENT_HOST_WRITE_AUDIT_ROOTS = [
-  "apps/web/convex",
-  "packages/server-core/src",
-  "services/kernel-template/convex",
-  "services/control-plane-template/convex",
-  "services/master-control/convex"
-];
-var COMPONENT_HOST_WRITE_ALLOWED_EXCEPTIONS = [
-  {
-    file: "services/master-control/convex/userSessions.ts",
-    table: "userSessions",
-    operation: "insert",
-    reason: "Master Control declares and owns its own userSessions table for gateway session validation."
-  },
-  {
-    file: "services/master-control/convex/userSessions.ts",
-    table: "userSessions",
-    operation: "query",
-    reason: "Master Control declares and owns its own userSessions table for gateway session validation."
-  },
-  {
-    file: "services/master-control/convex/permitEnforcement.ts",
-    table: "userSessions",
-    operation: "query",
-    reason: "Permit enforcement validates MC-owned agent session scope before allowing protected control-plane functions."
-  }
-];
-
-export { COMPONENT_HOST_BOUNDARY_CONTRACT_VERSION, COMPONENT_HOST_DB_READ_OPERATIONS, COMPONENT_HOST_DB_WRITE_OPERATIONS, COMPONENT_HOST_PROTECTED_TABLES, COMPONENT_HOST_PROTECTED_TABLE_OWNERS, COMPONENT_HOST_WRITE_ALLOWED_EXCEPTIONS, COMPONENT_HOST_WRITE_AUDIT_ROOTS };
-//# sourceMappingURL=component-host-boundary.contract.js.map
-//# sourceMappingURL=component-host-boundary.contract.js.map

package/dist/component-host-boundary.contract.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/component-host-boundary.contract.ts"],"names":[],"mappings":";AASO,IAAM,wCAAA,GAA2C;AAEjD,IAAM,+BAAA,GAAkC;AAAA,EAC7C,mBAAA;AAAA,EACA,uBAAA;AAAA,EACA,YAAA;AAAA,EACA,gBAAA;AAAA,EACA,4BAAA;AAAA,EACA,eAAA;AAAA,EACA,eAAA;AAAA,EACA;AACF;AAIO,IAAM,qCAAA,GAAwC;AAAA,EACnD,iBAAA,EAAmB,kBAAA;AAAA,EACnB,qBAAA,EAAuB,kBAAA;AAAA,EACvB,UAAA,EAAY,kBAAA;AAAA,EACZ,cAAA,EAAgB,4BAAA;AAAA,EAChB,0BAAA,EAA4B,yBAAA;AAAA,EAC5B,aAAA,EAAe,yBAAA;AAAA,EACf,aAAA,EAAe,yBAAA;AAAA,EACf,YAAA,EAAc;AAChB;AAEO,IAAM,kCAAA,GAAqC;AAAA,EAChD,QAAA;AAAA,EACA,OAAA;AAAA,EACA,SAAA;AAAA,EACA;AACF;AAIO,IAAM,iCAAA,GAAoC,CAAC,OAAO;AAQlD,IAAM,gCAAA,GAAmC;AAAA,EAC9C,iBAAA;AAAA,EACA,0BAAA;AAAA,EACA,iCAAA;AAAA,EACA,wCAAA;AAAA,EACA;AACF;AAIO,IAAM,uCAAA,GAA0C;AAAA,EACrD;AAAA,IACE,IAAA,EAAM,gDAAA;AAAA,IACN,KAAA,EAAO,cAAA;AAAA,IACP,SAAA,EAAW,QAAA;AAAA,IACX,MAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,IAAA,EAAM,gDAAA;AAAA,IACN,KAAA,EAAO,cAAA;AAAA,IACP,SAAA,EAAW,OAAA;AAAA,IACX,MAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,IAAA,EAAM,qDAAA;AAAA,IACN,KAAA,EAAO,cAAA;AAAA,IACP,SAAA,EAAW,OAAA;AAAA,IACX,MAAA,EACE;AAAA;AAEN","file":"component-host-boundary.contract.js","sourcesContent":["/**\n * Component host persistence boundary\n *\n * Host deployments may call component APIs, but they must not create or mutate\n * component-owned tables directly through top-level ctx.db. This contract keeps\n * tenant SDK clients from accidentally recreating Lucern kernel/control-plane tables\n * as host \"ghost tables\".\n */\n\nexport const COMPONENT_HOST_BOUNDARY_CONTRACT_VERSION = \"2026-04-28\" as const;\n\nexport const COMPONENT_HOST_PROTECTED_TABLES = [\n  \"backgroundJobRuns\",\n  \"backgroundJobSettings\",\n  \"systemLogs\",\n  \"epistemicAudit\",\n  \"platformPolicyDecisionLogs\",\n  \"tenantApiKeys\",\n  \"projectGrants\",\n  \"userSessions\",\n] as const;\nexport type ComponentHostProtectedTable =\n  (typeof COMPONENT_HOST_PROTECTED_TABLES)[number];\n\nexport const COMPONENT_HOST_PROTECTED_TABLE_OWNERS = {\n  backgroundJobRuns: \"kernel_component\",\n  backgroundJobSettings: \"kernel_component\",\n  systemLogs: \"kernel_component\",\n  epistemicAudit: \"reasoning_kernel_component\",\n  platformPolicyDecisionLogs: \"control_plane_component\",\n  tenantApiKeys: \"control_plane_component\",\n  projectGrants: \"control_plane_component\",\n  userSessions: \"tenant_or_control_plane_schema\",\n} as const satisfies Record<ComponentHostProtectedTable, string>;\n\nexport const COMPONENT_HOST_DB_WRITE_OPERATIONS = [\n  \"insert\",\n  \"patch\",\n  \"replace\",\n  \"delete\",\n] as const;\nexport type ComponentHostDbWriteOperation =\n  (typeof COMPONENT_HOST_DB_WRITE_OPERATIONS)[number];\n\nexport const COMPONENT_HOST_DB_READ_OPERATIONS = [\"query\"] as const;\nexport type ComponentHostDbReadOperation =\n  (typeof COMPONENT_HOST_DB_READ_OPERATIONS)[number];\n\nexport type ComponentHostDbOperation =\n  | ComponentHostDbWriteOperation\n  | ComponentHostDbReadOperation;\n\nexport const COMPONENT_HOST_WRITE_AUDIT_ROOTS = [\n  \"apps/web/convex\",\n  \"packages/server-core/src\",\n  \"services/kernel-template/convex\",\n  \"services/control-plane-template/convex\",\n  \"services/master-control/convex\",\n] as const;\nexport type ComponentHostWriteAuditRoot =\n  (typeof COMPONENT_HOST_WRITE_AUDIT_ROOTS)[number];\n\nexport const COMPONENT_HOST_WRITE_ALLOWED_EXCEPTIONS = [\n  {\n    file: \"services/master-control/convex/userSessions.ts\",\n    table: \"userSessions\",\n    operation: \"insert\",\n    reason:\n      \"Master Control declares and owns its own userSessions table for gateway session validation.\",\n  },\n  {\n    file: \"services/master-control/convex/userSessions.ts\",\n    table: \"userSessions\",\n    operation: \"query\",\n    reason:\n      \"Master Control declares and owns its own userSessions table for gateway session validation.\",\n  },\n  {\n    file: \"services/master-control/convex/permitEnforcement.ts\",\n    table: \"userSessions\",\n    operation: \"query\",\n    reason:\n      \"Permit enforcement validates MC-owned agent session scope before allowing protected control-plane functions.\",\n  },\n] as const satisfies ReadonlyArray<{\n  file: string;\n  table: ComponentHostProtectedTable;\n  operation: ComponentHostDbOperation;\n  reason: string;\n}>;\n"]}

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

@@ -1,133 +0,0 @@
-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 };