@lucern/contracts 0.3.0-alpha.1 → 0.3.0-alpha.11

package/dist/lens-workflow.contract.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/lens-filter.contract.ts","../src/lens-workflow.contract.ts"],"names":[],"mappings":";AA4EO,SAAS,qBACd,KAAA,EAC6B;AAC7B,EAAA,IAAI,CAAC,KAAA,IAAS,OAAO,KAAA,KAAU,UAAU,OAAO,KAAA;AAChD,EAAA,MAAM,GAAA,GAAM,KAAA;AACZ,EAAA,OAAO,OAAO,GAAA,CAAI,OAAA,KAAY,QAAA,IAAY,OAAO,IAAI,IAAA,KAAS,QAAA;AAChE;AAEO,SAAS,2BACd,KAAA,EACmC;AACnC,EAAA,IAAI,CAAC,oBAAA,CAAqB,KAAK,CAAA,EAAG,OAAO,KAAA;AACzC,EAAA,OAAO,KAAA,CAAM,OAAA,KAAY,CAAA,IAAK,KAAA,CAAM,IAAA,KAAS,UAAA;AAC/C;AAcO,SAAS,uBACd,KAAA,EACwB;AACxB,EAAA,IAAI,KAAA,KAAU,MAAA,IAAa,KAAA,KAAU,IAAA,EAAM;AACzC,IAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AAAA,EACvB;AAEA,EAAA,IAAI,CAAC,oBAAA,CAAqB,KAAK,CAAA,EAAG;AAChC,IAAA,OAAO;AAAA,MACL,KAAA,EAAO,KAAA;AAAA,MACP,MAAA,EAAQ;AAAA,QACN;AAAA;AACF,KACF;AAAA,EACF;AAEA,EAAA,IAAI,0BAAA,CAA2B,KAAK,CAAA,EAAG;AACrC,IAAA,OAAO,yBAAyB,KAAK,CAAA;AAAA,EACvC;AAIA,EAAA,MAAM,GAAA,GAAM,KAAA;AACZ,EAAA,OAAO;AAAA,IACL,KAAA,EAAO,KAAA;AAAA,IACP,MAAA,EAAQ;AAAA,MACN,CAAA,qCAAA,EAAwC,GAAA,CAAI,OAAO,CAAA,OAAA,EAAU,IAAI,IAAI,CAAA;AAAA;AACvE,GACF;AACF;AAEA,SAAS,yBACP,QAAA,EACwB;AACxB,EAAA,MAAM,SAAmB,EAAC;AAE1B,EAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,QAAA,CAAS,iBAAiB,CAAA,EAAG;AAC9C,IAAA,MAAA,CAAO,KAAK,oCAAoC,CAAA;AAChD,IAAA,OAAO,EAAE,KAAA,EAAO,KAAA,EAAO,MAAA,EAAO;AAAA,EAChC;AAEA,EAAA,IAAI,QAAA,CAAS,iBAAA,CAAkB,MAAA,KAAW,CAAA,EAAG;AAC3C,IAAA,MAAA,CAAO,KAAK,mDAAmD,CAAA;AAC/D,IAAA,OAAO,EAAE,KAAA,EAAO,KAAA,EAAO,MAAA,EAAO;AAAA,EAChC;AAEA,EAAA,KAAA,IAAS,IAAI,CAAA,EAAG,CAAA,GAAI,QAAA,CAAS,iBAAA,CAAkB,QAAQ,CAAA,EAAA,EAAK;AAC1D,IAAA,MAAM,MAAA,GAAS,QAAA,CAAS,iBAAA,CAAkB,CAAC,CAAA;AAC3C,IAAA,IAAI,CAAC,MAAA,IAAU,OAAO,MAAA,CAAO,oBAAoB,QAAA,EAAU;AACzD,MAAA,MAAA,CAAO,IAAA;AAAA,QACL,qBAAqB,CAAC,CAAA,4CAAA;AAAA,OACxB;AACA,MAAA;AAAA,IACF;AACA,IAAA,IAAI,MAAA,CAAO,eAAA,CAAgB,IAAA,EAAK,CAAE,WAAW,CAAA,EAAG;AAC9C,MAAA,MAAA,CAAO,IAAA;AAAA,QACL,qBAAqB,CAAC,CAAA,4CAAA;AAAA,OACxB;AAAA,IACF;AACA,IAAA,IACE,MAAA,CAAO,kBAAkB,MAAA,IACzB,CAAC,MAAM,OAAA,CAAQ,MAAA,CAAO,aAAa,CAAA,EACnC;AACA,MAAA,MAAA,CAAO,IAAA,CAAK,CAAA,kBAAA,EAAqB,CAAC,CAAA,gCAAA,CAAkC,CAAA;AAAA,IACtE;AAAA,EACF;AAEA,EAAA,IAAI,QAAA,CAAS,kBAAkB,MAAA,EAAW;AACxC,IAAA,IACE,OAAO,QAAA,CAAS,aAAA,KAAkB,QAAA,IAClC,QAAA,CAAS,kBAAkB,IAAA,EAC3B;AACA,MAAA,MAAA,CAAO,KAAK,iCAAiC,CAAA;AAAA,IAC/C;AAAA,EACF;AAEA,EAAA,OAAO,MAAA,CAAO,MAAA,KAAW,CAAA,GACrB,EAAE,KAAA,EAAO,MAAK,GACd,EAAE,KAAA,EAAO,KAAA,EAAO,MAAA,EAAO;AAC7B;;;ACpKO,IAAM,sBAAA,GAAyB;AAAA,EACpC,eAAA;AAAA,EACA,YAAA;AAAA,EACA,UAAA;AAAA,EACA,YAAA;AAAA,EACA;AACF;AAIO,IAAM,aAAA,GAAgB,CAAC,OAAA,EAAS,QAAA,EAAU,UAAU;AAIpD,IAAM,6BAAA,GAAgC;AAAA,EAC3C,UAAA;AAAA,EACA,MAAA;AAAA,EACA,QAAA;AAAA,EACA;AACF;AAgEO,IAAM,0BAAA,GACX;AAQK,SAAS,yCACd,MAAA,EACqB;AACrB,EAAA,MAAM,UAAA,GAAa,MAAA,EAAQ,IAAA,EAAK,CAAE,WAAA,EAAY;AAC9C,EAAA,IAAI,eAAe,OAAA,EAAS;AAC1B,IAAA,OAAO,YAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,KAAe,MAAA,IAAU,UAAA,KAAe,WAAA,EAAa;AACvD,IAAA,OAAO,YAAA;AAAA,EACT;AACA,EAAA,IAAI,eAAe,OAAA,EAAS;AAC1B,IAAA,OAAO,eAAA;AAAA,EACT;AACA,EAAA,OAAO,UAAA;AACT;AAEO,SAAS,oBAAoB,IAAA,EAMF;AAChC,EAAA,MAAM,eAAA,GAAkB,wCAAA,CAAyC,IAAA,CAAK,MAAM,CAAA;AAC5E,EAAA,OAAO;AAAA,IACL,eAAA,EAAiB,aAAA;AAAA,IACjB,eAAA;AAAA,IACA,OAAA,EACE,qHAAA;AAAA,IACF,gBAAA,EAAkB;AAAA,MAChB,MAAM,IAAA,CAAK,IAAA;AAAA,MACX,aAAa,IAAA,CAAK,WAAA;AAAA,MAClB,SAAS,IAAA,CAAK,OAAA;AAAA,MACd,aAAa,IAAA,CAAK,WAAA;AAAA,MAClB;AAAA;AACF,GACF;AACF;AAEO,SAAS,8BAA8B,IAAA,EAMjB;AAC3B,EAAA,OAAO;AAAA,IACL,UAAA,EAAY,IAAA;AAAA,IACZ,kBAAA,EAAoB,0BAAA;AAAA,IACpB,cAAA,EAAgB,oBAAoB,IAAI;AAAA,GAC1C;AACF","file":"lens-workflow.contract.js","sourcesContent":["/**\n * Lens Filter Criteria Contract\n *\n * Version-discriminated filter DSL for lenses. Each filter criteria document\n * carries a `version` and `kind` discriminator so future shapes can coexist\n * without schema migrations. The Convex `filterCriteria` field remains v.any()\n * — all type enforcement happens here at the TypeScript contract layer.\n *\n * Forward-compatibility guarantees:\n * - `version` field: new versions add fields, never remove or rename existing ones\n * - `kind` field: new filter kinds (temporal, confidence-range) can be added\n *   without touching taxonomy code paths\n * - `entityTypeFilters` array items are open to extension in future versions\n * - Resolution logic switches on `version` + `kind` to select the right resolver\n *\n * @module lucern/contracts/src/lens-filter\n */\n\n// ---------------------------------------------------------------------------\n// V1: Taxonomy Filter — entity type + subtype matching\n// ---------------------------------------------------------------------------\n\n/**\n * A single entity type filter entry. Matches nodes whose `nodeType` equals\n * `entityTypeValue`, optionally further narrowed by subtype membership.\n *\n * V2 will add `propertyMatchers` here for arbitrary JSON Schema facet queries.\n */\nexport type EntityTypeFilterV1 = {\n  /** References ontologyVersion.entityTypes[].value, e.g. \"company\" */\n  entityTypeValue: string;\n\n  /** Optional subtype narrowing. If omitted or empty, all subtypes match. */\n  subtypeValues?: string[];\n};\n\n/**\n * Optional scope to restrict which ontology the filter resolves against.\n * If omitted, resolution uses whatever ontology is active in the workspace.\n */\nexport type OntologyScope = {\n  /** Restrict to a specific ontology by key, e.g. \"vc-investment\" */\n  ontologyKey?: string;\n};\n\n/**\n * Taxonomy filter criteria v1: entity type + subtype matching over ontology.\n */\nexport type TaxonomyFilterCriteriaV1 = {\n  version: 1;\n  kind: \"taxonomy\";\n  entityTypeFilters: EntityTypeFilterV1[];\n  ontologyScope?: OntologyScope;\n};\n\n// ---------------------------------------------------------------------------\n// Union: All filter criteria versions and kinds\n// ---------------------------------------------------------------------------\n\n/**\n * Discriminated union of all supported filter criteria.\n * Resolution logic switches on `version` + `kind`.\n *\n * To add a new filter kind:\n *   1. Define a new type (e.g., TemporalFilterCriteriaV1)\n *   2. Add it to this union\n *   3. Add a resolver in taxonomy-filter.ts\n *   4. No schema migration needed — filterCriteria is v.any()\n */\nexport type LensFilterCriteria = TaxonomyFilterCriteriaV1;\n// Future: | TemporalFilterCriteriaV1 | ConfidenceRangeFilterCriteriaV1 | ...\n\n// ---------------------------------------------------------------------------\n// Type guards\n// ---------------------------------------------------------------------------\n\nexport function isLensFilterCriteria(\n  value: unknown\n): value is LensFilterCriteria {\n  if (!value || typeof value !== \"object\") return false;\n  const obj = value as Record<string, unknown>;\n  return typeof obj.version === \"number\" && typeof obj.kind === \"string\";\n}\n\nexport function isTaxonomyFilterCriteriaV1(\n  value: unknown\n): value is TaxonomyFilterCriteriaV1 {\n  if (!isLensFilterCriteria(value)) return false;\n  return value.version === 1 && value.kind === \"taxonomy\";\n}\n\n// ---------------------------------------------------------------------------\n// Validation\n// ---------------------------------------------------------------------------\n\nexport type FilterValidationResult =\n  | { valid: true }\n  | { valid: false; errors: string[] };\n\n/**\n * Validate a filter criteria document at the contract layer.\n * This runs before persisting to Convex.\n */\nexport function validateFilterCriteria(\n  value: unknown\n): FilterValidationResult {\n  if (value === undefined || value === null) {\n    return { valid: true }; // filterCriteria is optional\n  }\n\n  if (!isLensFilterCriteria(value)) {\n    return {\n      valid: false,\n      errors: [\n        'filterCriteria must have numeric \"version\" and string \"kind\" fields',\n      ],\n    };\n  }\n\n  if (isTaxonomyFilterCriteriaV1(value)) {\n    return validateTaxonomyFilterV1(value);\n  }\n\n  // Cast to access properties — TypeScript narrows to `never` when all union\n  // members are exhausted, but at runtime unknown version/kind combos are possible.\n  const raw = value as { version: number; kind: string };\n  return {\n    valid: false,\n    errors: [\n      `Unsupported filter criteria: version=${raw.version}, kind=${raw.kind}`,\n    ],\n  };\n}\n\nfunction validateTaxonomyFilterV1(\n  criteria: TaxonomyFilterCriteriaV1\n): FilterValidationResult {\n  const errors: string[] = [];\n\n  if (!Array.isArray(criteria.entityTypeFilters)) {\n    errors.push(\"entityTypeFilters must be an array\");\n    return { valid: false, errors };\n  }\n\n  if (criteria.entityTypeFilters.length === 0) {\n    errors.push(\"entityTypeFilters must contain at least one entry\");\n    return { valid: false, errors };\n  }\n\n  for (let i = 0; i < criteria.entityTypeFilters.length; i++) {\n    const filter = criteria.entityTypeFilters[i];\n    if (!filter || typeof filter.entityTypeValue !== \"string\") {\n      errors.push(\n        `entityTypeFilters[${i}].entityTypeValue must be a non-empty string`\n      );\n      continue;\n    }\n    if (filter.entityTypeValue.trim().length === 0) {\n      errors.push(\n        `entityTypeFilters[${i}].entityTypeValue must be a non-empty string`\n      );\n    }\n    if (\n      filter.subtypeValues !== undefined &&\n      !Array.isArray(filter.subtypeValues)\n    ) {\n      errors.push(`entityTypeFilters[${i}].subtypeValues must be an array`);\n    }\n  }\n\n  if (criteria.ontologyScope !== undefined) {\n    if (\n      typeof criteria.ontologyScope !== \"object\" ||\n      criteria.ontologyScope === null\n    ) {\n      errors.push(\"ontologyScope must be an object\");\n    }\n  }\n\n  return errors.length === 0\n    ? { valid: true }\n    : { valid: false, errors };\n}\n","/**\n * Canonical lens workflow contract shared across schema, SDK, and MCP surfaces.\n */\n\n// Re-export filter criteria types for consumers who import from lens-workflow\nexport type {\n  LensFilterCriteria,\n  TaxonomyFilterCriteriaV1,\n  EntityTypeFilterV1,\n  OntologyScope,\n  FilterValidationResult,\n} from \"./lens-filter.contract\";\nexport {\n  validateFilterCriteria,\n  isLensFilterCriteria,\n  isTaxonomyFilterCriteriaV1,\n} from \"./lens-filter.contract\";\n\nexport const LENS_PERSPECTIVE_TYPES = [\n  \"investigation\",\n  \"monitoring\",\n  \"analysis\",\n  \"comparison\",\n  \"taxonomy\",\n] as const;\n\nexport type LensPerspectiveType = (typeof LENS_PERSPECTIVE_TYPES)[number];\n\nexport const LENS_STATUSES = [\"draft\", \"active\", \"archived\"] as const;\n\nexport type LensStatus = (typeof LENS_STATUSES)[number];\n\nexport const LENS_TASK_TEMPLATE_PRIORITIES = [\n  \"critical\",\n  \"high\",\n  \"medium\",\n  \"low\",\n] as const;\n\nexport type LensTaskTemplatePriority =\n  (typeof LENS_TASK_TEMPLATE_PRIORITIES)[number];\n\nexport type LensLooseMetadata = Record<string, unknown>;\n\nexport type LensPromptTemplateReference = {\n  key: string;\n  promptRef: string;\n  phase?: string;\n  role?: string;\n  version?: string;\n  required?: boolean;\n  metadata?: LensLooseMetadata;\n};\n\nexport type LensWorkflowStepTemplate = {\n  key: string;\n  title: string;\n  description?: string;\n  promptTemplateKey?: string;\n  taskTemplateKeys?: string[];\n  metadata?: LensLooseMetadata;\n};\n\nexport type LensWorkflowTemplate = {\n  key: string;\n  name: string;\n  description?: string;\n  steps: LensWorkflowStepTemplate[];\n  metadata?: LensLooseMetadata;\n};\n\nexport type LensTaskTemplate = {\n  key: string;\n  title: string;\n  description?: string;\n  priority?: LensTaskTemplatePriority;\n  phase?: string;\n  metadata?: LensLooseMetadata;\n};\n\nexport type LensQuestionTemplate = {\n  key: string;\n  text: string;\n  priority?: LensTaskTemplatePriority;\n  linkedBeliefKey?: string;\n  metadata?: LensLooseMetadata;\n};\n\nexport type LensBranchMigrationSuggestion = {\n  recommendedTool: \"create_lens\";\n  perspectiveType: LensPerspectiveType;\n  message: string;\n  suggestedPayload: {\n    name: string;\n    description?: string;\n    topicId?: string;\n    workspaceId?: string;\n    perspectiveType: LensPerspectiveType;\n  };\n};\n\nexport const BRANCH_DEPRECATION_MESSAGE =\n  \"Branches are deprecated for operational framing. Create a workspace-scoped lens instead.\";\n\nexport type DeprecatedBranchMetadata = {\n  deprecated: true;\n  deprecationMessage: string;\n  lensSuggestion: LensBranchMigrationSuggestion;\n};\n\nexport function inferLensPerspectiveTypeFromBranchSchema(\n  schema?: string | null\n): LensPerspectiveType {\n  const normalized = schema?.trim().toLowerCase();\n  if (normalized === \"phase\") {\n    return \"monitoring\";\n  }\n  if (normalized === \"axis\" || normalized === \"dimension\") {\n    return \"comparison\";\n  }\n  if (normalized === \"track\") {\n    return \"investigation\";\n  }\n  return \"analysis\";\n}\n\nexport function migrateBranchToLens(args: {\n  name: string;\n  description?: string;\n  topicId?: string;\n  workspaceId?: string;\n  schema?: string | null;\n}): LensBranchMigrationSuggestion {\n  const perspectiveType = inferLensPerspectiveTypeFromBranchSchema(args.schema);\n  return {\n    recommendedTool: \"create_lens\",\n    perspectiveType,\n    message:\n      \"Branches are deprecated for operational framing. Create a workspace-scoped lens with the suggested payload instead.\",\n    suggestedPayload: {\n      name: args.name,\n      description: args.description,\n      topicId: args.topicId,\n      workspaceId: args.workspaceId,\n      perspectiveType,\n    },\n  };\n}\n\nexport function buildDeprecatedBranchMetadata(args: {\n  name: string;\n  description?: string;\n  topicId?: string;\n  workspaceId?: string;\n  schema?: string | null;\n}): DeprecatedBranchMetadata {\n  return {\n    deprecated: true,\n    deprecationMessage: BRANCH_DEPRECATION_MESSAGE,\n    lensSuggestion: migrateBranchToLens(args),\n  };\n}\n"]}
+{"version":3,"sources":["../src/lens-filter.contract.ts","../src/lens-workflow.contract.ts"],"names":[],"mappings":";AA4EO,SAAS,qBACd,KAAA,EAC6B;AAC7B,EAAA,OAAO,QAAA,CAAS,KAAK,CAAA,IAAK,OAAO,MAAM,OAAA,KAAY,QAAA,IAAY,OAAO,KAAA,CAAM,IAAA,KAAS,QAAA;AACvF;AAEO,SAAS,2BACd,KAAA,EACmC;AACnC,EAAA,IAAI,CAAC,oBAAA,CAAqB,KAAK,CAAA,EAAG,OAAO,KAAA;AACzC,EAAA,OAAO,KAAA,CAAM,OAAA,KAAY,CAAA,IAAK,KAAA,CAAM,IAAA,KAAS,UAAA;AAC/C;AAcO,SAAS,uBACd,KAAA,EACwB;AACxB,EAAA,IAAI,KAAA,KAAU,MAAA,IAAa,KAAA,KAAU,IAAA,EAAM;AACzC,IAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AAAA,EACvB;AAEA,EAAA,IAAI,CAAC,oBAAA,CAAqB,KAAK,CAAA,EAAG;AAChC,IAAA,OAAO;AAAA,MACL,KAAA,EAAO,KAAA;AAAA,MACP,MAAA,EAAQ;AAAA,QACN;AAAA;AACF,KACF;AAAA,EACF;AAEA,EAAA,IAAI,0BAAA,CAA2B,KAAK,CAAA,EAAG;AACrC,IAAA,OAAO,yBAAyB,KAAK,CAAA;AAAA,EACvC;AAIA,EAAA,MAAM,GAAA,GAAM,KAAA;AACZ,EAAA,OAAO;AAAA,IACL,KAAA,EAAO,KAAA;AAAA,IACP,MAAA,EAAQ;AAAA,MACN,CAAA,qCAAA,EAAwC,GAAA,CAAI,OAAO,CAAA,OAAA,EAAU,IAAI,IAAI,CAAA;AAAA;AACvE,GACF;AACF;AAEA,SAAS,SAAS,KAAA,EAAkD;AAClE,EAAA,OAAO,KAAA,KAAU,QAAQ,OAAO,KAAA,KAAU,YAAY,CAAC,KAAA,CAAM,QAAQ,KAAK,CAAA;AAC5E;AAEA,SAAS,yBACP,QAAA,EACwB;AACxB,EAAA,MAAM,SAAmB,EAAC;AAE1B,EAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,QAAA,CAAS,iBAAiB,CAAA,EAAG;AAC9C,IAAA,MAAA,CAAO,KAAK,oCAAoC,CAAA;AAChD,IAAA,OAAO,EAAE,KAAA,EAAO,KAAA,EAAO,MAAA,EAAO;AAAA,EAChC;AAEA,EAAA,IAAI,QAAA,CAAS,iBAAA,CAAkB,MAAA,KAAW,CAAA,EAAG;AAC3C,IAAA,MAAA,CAAO,KAAK,mDAAmD,CAAA;AAC/D,IAAA,OAAO,EAAE,KAAA,EAAO,KAAA,EAAO,MAAA,EAAO;AAAA,EAChC;AAEA,EAAA,KAAA,IAAS,IAAI,CAAA,EAAG,CAAA,GAAI,QAAA,CAAS,iBAAA,CAAkB,QAAQ,CAAA,EAAA,EAAK;AAC1D,IAAA,MAAM,MAAA,GAAS,QAAA,CAAS,iBAAA,CAAkB,CAAC,CAAA;AAC3C,IAAA,IAAI,CAAC,MAAA,IAAU,OAAO,MAAA,CAAO,oBAAoB,QAAA,EAAU;AACzD,MAAA,MAAA,CAAO,IAAA;AAAA,QACL,qBAAqB,CAAC,CAAA,4CAAA;AAAA,OACxB;AACA,MAAA;AAAA,IACF;AACA,IAAA,IAAI,MAAA,CAAO,eAAA,CAAgB,IAAA,EAAK,CAAE,WAAW,CAAA,EAAG;AAC9C,MAAA,MAAA,CAAO,IAAA;AAAA,QACL,qBAAqB,CAAC,CAAA,4CAAA;AAAA,OACxB;AAAA,IACF;AACA,IAAA,IACE,MAAA,CAAO,kBAAkB,MAAA,IACzB,CAAC,MAAM,OAAA,CAAQ,MAAA,CAAO,aAAa,CAAA,EACnC;AACA,MAAA,MAAA,CAAO,IAAA,CAAK,CAAA,kBAAA,EAAqB,CAAC,CAAA,gCAAA,CAAkC,CAAA;AAAA,IACtE;AAAA,EACF;AAEA,EAAA,IAAI,QAAA,CAAS,kBAAkB,MAAA,EAAW;AACxC,IAAA,IACE,OAAO,QAAA,CAAS,aAAA,KAAkB,QAAA,IAClC,QAAA,CAAS,kBAAkB,IAAA,EAC3B;AACA,MAAA,MAAA,CAAO,KAAK,iCAAiC,CAAA;AAAA,IAC/C;AAAA,EACF;AAEA,EAAA,OAAO,MAAA,CAAO,MAAA,KAAW,CAAA,GACrB,EAAE,KAAA,EAAO,MAAK,GACd,EAAE,KAAA,EAAO,KAAA,EAAO,MAAA,EAAO;AAC7B;;;ACtKO,IAAM,sBAAA,GAAyB;AAAA,EACpC,eAAA;AAAA,EACA,YAAA;AAAA,EACA,UAAA;AAAA,EACA,YAAA;AAAA,EACA;AACF;AAIO,IAAM,aAAA,GAAgB,CAAC,OAAA,EAAS,QAAA,EAAU,UAAU;AAIpD,IAAM,6BAAA,GAAgC;AAAA,EAC3C,UAAA;AAAA,EACA,MAAA;AAAA,EACA,QAAA;AAAA,EACA;AACF;AAgEO,IAAM,0BAAA,GACX;AAQK,SAAS,yCACd,MAAA,EACqB;AACrB,EAAA,MAAM,UAAA,GAAa,MAAA,EAAQ,IAAA,EAAK,CAAE,WAAA,EAAY;AAC9C,EAAA,IAAI,eAAe,OAAA,EAAS;AAC1B,IAAA,OAAO,YAAA;AAAA,EACT;AACA,EAAA,IAAI,UAAA,KAAe,MAAA,IAAU,UAAA,KAAe,WAAA,EAAa;AACvD,IAAA,OAAO,YAAA;AAAA,EACT;AACA,EAAA,IAAI,eAAe,OAAA,EAAS;AAC1B,IAAA,OAAO,eAAA;AAAA,EACT;AACA,EAAA,OAAO,UAAA;AACT;AAEO,SAAS,oBAAoB,IAAA,EAMF;AAChC,EAAA,MAAM,eAAA,GAAkB,wCAAA,CAAyC,IAAA,CAAK,MAAM,CAAA;AAC5E,EAAA,OAAO;AAAA,IACL,eAAA,EAAiB,aAAA;AAAA,IACjB,eAAA;AAAA,IACA,OAAA,EACE,qHAAA;AAAA,IACF,gBAAA,EAAkB;AAAA,MAChB,MAAM,IAAA,CAAK,IAAA;AAAA,MACX,aAAa,IAAA,CAAK,WAAA;AAAA,MAClB,SAAS,IAAA,CAAK,OAAA;AAAA,MACd,aAAa,IAAA,CAAK,WAAA;AAAA,MAClB;AAAA;AACF,GACF;AACF;AAEO,SAAS,8BAA8B,IAAA,EAMjB;AAC3B,EAAA,OAAO;AAAA,IACL,UAAA,EAAY,IAAA;AAAA,IACZ,kBAAA,EAAoB,0BAAA;AAAA,IACpB,cAAA,EAAgB,oBAAoB,IAAI;AAAA,GAC1C;AACF","file":"lens-workflow.contract.js","sourcesContent":["/**\n * Lens Filter Criteria Contract\n *\n * Version-discriminated filter DSL for lenses. Each filter criteria document\n * carries a `version` and `kind` discriminator so future shapes can coexist\n * without schema migrations. The Convex `filterCriteria` field remains v.any()\n * — all type enforcement happens here at the TypeScript contract layer.\n *\n * Forward-compatibility guarantees:\n * - `version` field: new versions add fields, never remove or rename existing ones\n * - `kind` field: new filter kinds (temporal, confidence-range) can be added\n *   without touching taxonomy code paths\n * - `entityTypeFilters` array items are open to extension in future versions\n * - Resolution logic switches on `version` + `kind` to select the right resolver\n *\n * @module lucern/contracts/src/lens-filter\n */\n\n// ---------------------------------------------------------------------------\n// V1: Taxonomy Filter — entity type + subtype matching\n// ---------------------------------------------------------------------------\n\n/**\n * A single entity type filter entry. Matches nodes whose `nodeType` equals\n * `entityTypeValue`, optionally further narrowed by subtype membership.\n *\n * V2 will add `propertyMatchers` here for arbitrary JSON Schema facet queries.\n */\nexport type EntityTypeFilterV1 = {\n  /** References ontologyVersion.entityTypes[].value, e.g. \"company\" */\n  entityTypeValue: string;\n\n  /** Optional subtype narrowing. If omitted or empty, all subtypes match. */\n  subtypeValues?: string[];\n};\n\n/**\n * Optional scope to restrict which ontology the filter resolves against.\n * If omitted, resolution uses whatever ontology is active in the workspace.\n */\nexport type OntologyScope = {\n  /** Restrict to a specific ontology by key, e.g. \"vc-investment\" */\n  ontologyKey?: string;\n};\n\n/**\n * Taxonomy filter criteria v1: entity type + subtype matching over ontology.\n */\nexport type TaxonomyFilterCriteriaV1 = {\n  version: 1;\n  kind: \"taxonomy\";\n  entityTypeFilters: EntityTypeFilterV1[];\n  ontologyScope?: OntologyScope;\n};\n\n// ---------------------------------------------------------------------------\n// Union: All filter criteria versions and kinds\n// ---------------------------------------------------------------------------\n\n/**\n * Discriminated union of all supported filter criteria.\n * Resolution logic switches on `version` + `kind`.\n *\n * To add a new filter kind:\n *   1. Define a new type (e.g., TemporalFilterCriteriaV1)\n *   2. Add it to this union\n *   3. Add a resolver in taxonomy-filter.ts\n *   4. No schema migration needed — filterCriteria is v.any()\n */\nexport type LensFilterCriteria = TaxonomyFilterCriteriaV1;\n// Future: | TemporalFilterCriteriaV1 | ConfidenceRangeFilterCriteriaV1 | ...\n\n// ---------------------------------------------------------------------------\n// Type guards\n// ---------------------------------------------------------------------------\n\nexport function isLensFilterCriteria(\n  value: unknown\n): value is LensFilterCriteria {\n  return isRecord(value) && typeof value.version === \"number\" && typeof value.kind === \"string\";\n}\n\nexport function isTaxonomyFilterCriteriaV1(\n  value: unknown\n): value is TaxonomyFilterCriteriaV1 {\n  if (!isLensFilterCriteria(value)) return false;\n  return value.version === 1 && value.kind === \"taxonomy\";\n}\n\n// ---------------------------------------------------------------------------\n// Validation\n// ---------------------------------------------------------------------------\n\nexport type FilterValidationResult =\n  | { valid: true }\n  | { valid: false; errors: string[] };\n\n/**\n * Validate a filter criteria document at the contract layer.\n * This runs before persisting to Convex.\n */\nexport function validateFilterCriteria(\n  value: unknown\n): FilterValidationResult {\n  if (value === undefined || value === null) {\n    return { valid: true }; // filterCriteria is optional\n  }\n\n  if (!isLensFilterCriteria(value)) {\n    return {\n      valid: false,\n      errors: [\n        'filterCriteria must have numeric \"version\" and string \"kind\" fields',\n      ],\n    };\n  }\n\n  if (isTaxonomyFilterCriteriaV1(value)) {\n    return validateTaxonomyFilterV1(value);\n  }\n\n  // Cast to access properties — TypeScript narrows to `never` when all union\n  // members are exhausted, but at runtime unknown version/kind combos are possible.\n  const raw = value as { version: number; kind: string };\n  return {\n    valid: false,\n    errors: [\n      `Unsupported filter criteria: version=${raw.version}, kind=${raw.kind}`,\n    ],\n  };\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return value !== null && typeof value === \"object\" && !Array.isArray(value);\n}\n\nfunction validateTaxonomyFilterV1(\n  criteria: TaxonomyFilterCriteriaV1\n): FilterValidationResult {\n  const errors: string[] = [];\n\n  if (!Array.isArray(criteria.entityTypeFilters)) {\n    errors.push(\"entityTypeFilters must be an array\");\n    return { valid: false, errors };\n  }\n\n  if (criteria.entityTypeFilters.length === 0) {\n    errors.push(\"entityTypeFilters must contain at least one entry\");\n    return { valid: false, errors };\n  }\n\n  for (let i = 0; i < criteria.entityTypeFilters.length; i++) {\n    const filter = criteria.entityTypeFilters[i];\n    if (!filter || typeof filter.entityTypeValue !== \"string\") {\n      errors.push(\n        `entityTypeFilters[${i}].entityTypeValue must be a non-empty string`\n      );\n      continue;\n    }\n    if (filter.entityTypeValue.trim().length === 0) {\n      errors.push(\n        `entityTypeFilters[${i}].entityTypeValue must be a non-empty string`\n      );\n    }\n    if (\n      filter.subtypeValues !== undefined &&\n      !Array.isArray(filter.subtypeValues)\n    ) {\n      errors.push(`entityTypeFilters[${i}].subtypeValues must be an array`);\n    }\n  }\n\n  if (criteria.ontologyScope !== undefined) {\n    if (\n      typeof criteria.ontologyScope !== \"object\" ||\n      criteria.ontologyScope === null\n    ) {\n      errors.push(\"ontologyScope must be an object\");\n    }\n  }\n\n  return errors.length === 0\n    ? { valid: true }\n    : { valid: false, errors };\n}\n","/**\n * Canonical lens workflow contract shared across schema, SDK, and MCP surfaces.\n */\n\n// Re-export filter criteria types for consumers who import from lens-workflow\nexport type {\n  LensFilterCriteria,\n  TaxonomyFilterCriteriaV1,\n  EntityTypeFilterV1,\n  OntologyScope,\n  FilterValidationResult,\n} from \"./lens-filter.contract\";\nexport {\n  validateFilterCriteria,\n  isLensFilterCriteria,\n  isTaxonomyFilterCriteriaV1,\n} from \"./lens-filter.contract\";\n\nexport const LENS_PERSPECTIVE_TYPES = [\n  \"investigation\",\n  \"monitoring\",\n  \"analysis\",\n  \"comparison\",\n  \"taxonomy\",\n] as const;\n\nexport type LensPerspectiveType = (typeof LENS_PERSPECTIVE_TYPES)[number];\n\nexport const LENS_STATUSES = [\"draft\", \"active\", \"archived\"] as const;\n\nexport type LensStatus = (typeof LENS_STATUSES)[number];\n\nexport const LENS_TASK_TEMPLATE_PRIORITIES = [\n  \"critical\",\n  \"high\",\n  \"medium\",\n  \"low\",\n] as const;\n\nexport type LensTaskTemplatePriority =\n  (typeof LENS_TASK_TEMPLATE_PRIORITIES)[number];\n\nexport type LensLooseMetadata = Record<string, unknown>;\n\nexport type LensPromptTemplateReference = {\n  key: string;\n  promptRef: string;\n  phase?: string;\n  role?: string;\n  version?: string;\n  required?: boolean;\n  metadata?: LensLooseMetadata;\n};\n\nexport type LensWorkflowStepTemplate = {\n  key: string;\n  title: string;\n  description?: string;\n  promptTemplateKey?: string;\n  taskTemplateKeys?: string[];\n  metadata?: LensLooseMetadata;\n};\n\nexport type LensWorkflowTemplate = {\n  key: string;\n  name: string;\n  description?: string;\n  steps: LensWorkflowStepTemplate[];\n  metadata?: LensLooseMetadata;\n};\n\nexport type LensTaskTemplate = {\n  key: string;\n  title: string;\n  description?: string;\n  priority?: LensTaskTemplatePriority;\n  phase?: string;\n  metadata?: LensLooseMetadata;\n};\n\nexport type LensQuestionTemplate = {\n  key: string;\n  text: string;\n  priority?: LensTaskTemplatePriority;\n  linkedBeliefKey?: string;\n  metadata?: LensLooseMetadata;\n};\n\nexport type LensBranchMigrationSuggestion = {\n  recommendedTool: \"create_lens\";\n  perspectiveType: LensPerspectiveType;\n  message: string;\n  suggestedPayload: {\n    name: string;\n    description?: string;\n    topicId?: string;\n    workspaceId?: string;\n    perspectiveType: LensPerspectiveType;\n  };\n};\n\nexport const BRANCH_DEPRECATION_MESSAGE =\n  \"Branches are deprecated for operational framing. Create a workspace-scoped lens instead.\";\n\nexport type DeprecatedBranchMetadata = {\n  deprecated: true;\n  deprecationMessage: string;\n  lensSuggestion: LensBranchMigrationSuggestion;\n};\n\nexport function inferLensPerspectiveTypeFromBranchSchema(\n  schema?: string | null\n): LensPerspectiveType {\n  const normalized = schema?.trim().toLowerCase();\n  if (normalized === \"phase\") {\n    return \"monitoring\";\n  }\n  if (normalized === \"axis\" || normalized === \"dimension\") {\n    return \"comparison\";\n  }\n  if (normalized === \"track\") {\n    return \"investigation\";\n  }\n  return \"analysis\";\n}\n\nexport function migrateBranchToLens(args: {\n  name: string;\n  description?: string;\n  topicId?: string;\n  workspaceId?: string;\n  schema?: string | null;\n}): LensBranchMigrationSuggestion {\n  const perspectiveType = inferLensPerspectiveTypeFromBranchSchema(args.schema);\n  return {\n    recommendedTool: \"create_lens\",\n    perspectiveType,\n    message:\n      \"Branches are deprecated for operational framing. Create a workspace-scoped lens with the suggested payload instead.\",\n    suggestedPayload: {\n      name: args.name,\n      description: args.description,\n      topicId: args.topicId,\n      workspaceId: args.workspaceId,\n      perspectiveType,\n    },\n  };\n}\n\nexport function buildDeprecatedBranchMetadata(args: {\n  name: string;\n  description?: string;\n  topicId?: string;\n  workspaceId?: string;\n  schema?: string | null;\n}): DeprecatedBranchMetadata {\n  return {\n    deprecated: true,\n    deprecationMessage: BRANCH_DEPRECATION_MESSAGE,\n    lensSuggestion: migrateBranchToLens(args),\n  };\n}\n"]}

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

@@ -0,0 +1,2 @@
+import 'zod';
+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

@@ -0,0 +1,13 @@
+declare const edgePolicyManifest: {
+    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;
+    }[];
+};
+
+export { edgePolicyManifest };

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

@@ -0,0 +1,26 @@
+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: EDGE_TYPE_VALUES.map(publicEpistemicNodeEdgePolicy)
+};
+
+export { edgePolicyManifest };
+//# sourceMappingURL=edge-policy-manifest.data.js.map
+//# sourceMappingURL=edge-policy-manifest.data.js.map

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

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

@@ -0,0 +1,92 @@
+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

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