@lucern/contracts 0.3.0-alpha.4 → 0.3.0-alpha.5

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (143) hide show
  1. package/dist/edge-policy-manifest-DpmTtjmm.d.ts +132 -0
  2. package/dist/function-registry/beliefs.js +72 -0
  3. package/dist/function-registry/beliefs.js.map +1 -1
  4. package/dist/function-registry/coding.js +72 -0
  5. package/dist/function-registry/coding.js.map +1 -1
  6. package/dist/function-registry/context.js +72 -0
  7. package/dist/function-registry/context.js.map +1 -1
  8. package/dist/function-registry/contracts.js +72 -0
  9. package/dist/function-registry/contracts.js.map +1 -1
  10. package/dist/function-registry/coordination.js +72 -0
  11. package/dist/function-registry/coordination.js.map +1 -1
  12. package/dist/function-registry/edges.js +72 -0
  13. package/dist/function-registry/edges.js.map +1 -1
  14. package/dist/function-registry/evidence.js +72 -0
  15. package/dist/function-registry/evidence.js.map +1 -1
  16. package/dist/function-registry/graph.d.ts +78 -0
  17. package/dist/function-registry/graph.js +129 -0
  18. package/dist/function-registry/graph.js.map +1 -1
  19. package/dist/function-registry/helpers.d.ts +1 -1
  20. package/dist/function-registry/helpers.js +72 -0
  21. package/dist/function-registry/helpers.js.map +1 -1
  22. package/dist/function-registry/identity.js +72 -0
  23. package/dist/function-registry/identity.js.map +1 -1
  24. package/dist/function-registry/index.d.ts +1 -1
  25. package/dist/function-registry/index.js +72 -0
  26. package/dist/function-registry/index.js.map +1 -1
  27. package/dist/function-registry/judgments.js +72 -0
  28. package/dist/function-registry/judgments.js.map +1 -1
  29. package/dist/function-registry/legacy.js +72 -0
  30. package/dist/function-registry/legacy.js.map +1 -1
  31. package/dist/function-registry/lenses.js +72 -0
  32. package/dist/function-registry/lenses.js.map +1 -1
  33. package/dist/function-registry/manifest.d.ts +3 -3
  34. package/dist/function-registry/manifest.js +2 -0
  35. package/dist/function-registry/manifest.js.map +1 -1
  36. package/dist/function-registry/ontologies.js +72 -0
  37. package/dist/function-registry/ontologies.js.map +1 -1
  38. package/dist/function-registry/pipeline.js +72 -0
  39. package/dist/function-registry/pipeline.js.map +1 -1
  40. package/dist/function-registry/questions.js +72 -0
  41. package/dist/function-registry/questions.js.map +1 -1
  42. package/dist/function-registry/tasks.js +72 -0
  43. package/dist/function-registry/tasks.js.map +1 -1
  44. package/dist/function-registry/topics.js +72 -0
  45. package/dist/function-registry/topics.js.map +1 -1
  46. package/dist/function-registry/types.d.ts +1 -1
  47. package/dist/function-registry/worktrees.js +72 -0
  48. package/dist/function-registry/worktrees.js.map +1 -1
  49. package/dist/generated/convexSchemas.js +1 -1
  50. package/dist/generated/convexSchemas.js.map +1 -1
  51. package/dist/graph-intelligence.contract.d.ts +506 -0
  52. package/dist/graph-intelligence.contract.js +595 -0
  53. package/dist/graph-intelligence.contract.js.map +1 -0
  54. package/dist/graph-types/index.d.ts +5 -1
  55. package/dist/graph-types/index.js +15 -4
  56. package/dist/graph-types/index.js.map +1 -1
  57. package/dist/{index-CV-0_VWJ.d.ts → index-O09U2xHk.d.ts} +5 -2
  58. package/dist/index.d.ts +18 -817
  59. package/dist/index.js +744 -10
  60. package/dist/index.js.map +1 -1
  61. package/dist/infisical-runtime.contract.js +120 -0
  62. package/dist/infisical-runtime.contract.js.map +1 -1
  63. package/dist/manifests/edge-policy-manifest.d.ts +2 -0
  64. package/dist/manifests/edge-policy-manifest.data.d.ts +27 -0
  65. package/dist/manifests/edge-policy-manifest.data.js +34 -0
  66. package/dist/manifests/edge-policy-manifest.data.js.map +1 -0
  67. package/dist/manifests/edge-policy-manifest.js +65 -0
  68. package/dist/manifests/edge-policy-manifest.js.map +1 -0
  69. package/dist/manifests/infisical-runtime-manifest.d.ts +151 -0
  70. package/dist/manifests/infisical-runtime-manifest.js +311 -0
  71. package/dist/manifests/infisical-runtime-manifest.js.map +1 -0
  72. package/dist/manifests/invariant-manifest.d.ts +65 -0
  73. package/dist/manifests/invariant-manifest.js +18 -0
  74. package/dist/manifests/invariant-manifest.js.map +1 -0
  75. package/dist/manifests/invariants/ast-utils.d.ts +14 -0
  76. package/dist/manifests/invariants/ast-utils.js +54 -0
  77. package/dist/manifests/invariants/ast-utils.js.map +1 -0
  78. package/dist/manifests/invariants/index.d.ts +15 -0
  79. package/dist/manifests/invariants/index.js +183 -0
  80. package/dist/manifests/invariants/index.js.map +1 -0
  81. package/dist/manifests/invariants/inv-1-beliefs-append-only.d.ts +12 -0
  82. package/dist/manifests/invariants/inv-1-beliefs-append-only.js +94 -0
  83. package/dist/manifests/invariants/inv-1-beliefs-append-only.js.map +1 -0
  84. package/dist/manifests/invariants/inv-14-no-silent-transitions.d.ts +12 -0
  85. package/dist/manifests/invariants/inv-14-no-silent-transitions.js +99 -0
  86. package/dist/manifests/invariants/inv-14-no-silent-transitions.js.map +1 -0
  87. package/dist/manifests/invariants/manifest-1-projections-declare-audit.d.ts +12 -0
  88. package/dist/manifests/invariants/manifest-1-projections-declare-audit.js +42 -0
  89. package/dist/manifests/invariants/manifest-1-projections-declare-audit.js.map +1 -0
  90. package/dist/manifests/tenant-client-manifest.d.ts +303 -0
  91. package/dist/manifests/tenant-client-manifest.js +409 -0
  92. package/dist/manifests/tenant-client-manifest.js.map +1 -0
  93. package/dist/projections/check-convex-args-shape.d.ts +3 -0
  94. package/dist/projections/check-convex-args-shape.js +396 -0
  95. package/dist/projections/check-convex-args-shape.js.map +1 -0
  96. package/dist/projections/create-evidence.projection.d.ts +176 -0
  97. package/dist/projections/create-evidence.projection.js +128 -0
  98. package/dist/projections/create-evidence.projection.js.map +1 -0
  99. package/dist/projections/index.d.ts +102 -0
  100. package/dist/projections/index.js +345 -0
  101. package/dist/projections/index.js.map +1 -0
  102. package/dist/projections/list-beliefs.projection.d.ts +36 -0
  103. package/dist/projections/list-beliefs.projection.js +54 -0
  104. package/dist/projections/list-beliefs.projection.js.map +1 -0
  105. package/dist/projections/list-tasks.projection.d.ts +32 -0
  106. package/dist/projections/list-tasks.projection.js +52 -0
  107. package/dist/projections/list-tasks.projection.js.map +1 -0
  108. package/dist/projections/modulate-confidence.projection.d.ts +219 -0
  109. package/dist/projections/modulate-confidence.projection.js +148 -0
  110. package/dist/projections/modulate-confidence.projection.js.map +1 -0
  111. package/dist/projections/projection-dsl.d.ts +11 -0
  112. package/dist/projections/projection-dsl.js +8 -0
  113. package/dist/projections/projection-dsl.js.map +1 -0
  114. package/dist/schemas/enums.d.ts +5 -2
  115. package/dist/schemas/enums.js +5 -2
  116. package/dist/schemas/enums.js.map +1 -1
  117. package/dist/schemas/index.d.ts +1 -1
  118. package/dist/schemas/index.js +6 -3
  119. package/dist/schemas/index.js.map +1 -1
  120. package/dist/schemas/manifest.d.ts +15 -15
  121. package/dist/schemas/manifest.js +5 -2
  122. package/dist/schemas/manifest.js.map +1 -1
  123. package/dist/schemas/tables/kernel/intelligence.d.ts +2 -2
  124. package/dist/schemas/tables/kernel/spine.d.ts +1 -1
  125. package/dist/schemas/tables/kernel/spine.js +5 -2
  126. package/dist/schemas/tables/kernel/spine.js.map +1 -1
  127. package/dist/schemas/tables/kernel/topic.js +4 -1
  128. package/dist/schemas/tables/kernel/topic.js.map +1 -1
  129. package/dist/{sdk-tools.contract-CD-N1Jf7.d.ts → sdk-tools.contract-Ng8ULxjr.d.ts} +1 -1
  130. package/dist/sdk-tools.contract.d.ts +2 -2
  131. package/dist/sdk-tools.contract.js +70 -0
  132. package/dist/sdk-tools.contract.js.map +1 -1
  133. package/dist/tenant-bootstrap-seed.contract.d.ts +12 -8
  134. package/dist/tenant-bootstrap-seed.contract.js +6 -4
  135. package/dist/tenant-bootstrap-seed.contract.js.map +1 -1
  136. package/dist/tenant-client.contract.d.ts +69 -5
  137. package/dist/tenant-client.contract.js +65 -4
  138. package/dist/tenant-client.contract.js.map +1 -1
  139. package/dist/{tool-contracts-BcKz-VGj.d.ts → tool-contracts-CYXVPN4K.d.ts} +6 -2
  140. package/dist/tool-contracts.d.ts +1 -1
  141. package/dist/tool-contracts.js +71 -1
  142. package/dist/tool-contracts.js.map +1 -1
  143. package/package.json +9 -1
@@ -591,6 +591,84 @@ declare const graphContracts: readonly [{
591
591
  summary: string;
592
592
  tags: string[];
593
593
  };
594
+ }, {
595
+ name: string;
596
+ kind: FunctionKind;
597
+ idempotent: FunctionIdempotency;
598
+ effects: readonly FunctionEffect[];
599
+ invariants: readonly string[] | undefined;
600
+ surfaceIntent: FunctionSurfaceIntent;
601
+ domain: string;
602
+ surfaceClass: SurfaceClass;
603
+ surfaces: FunctionSurfaceMap;
604
+ replacedBy: string | undefined;
605
+ rest: {
606
+ method: "GET" | "POST" | "PATCH" | "DELETE";
607
+ path: string;
608
+ };
609
+ sdk: {
610
+ namespace: string;
611
+ method: string;
612
+ };
613
+ mcp: {
614
+ exposed: boolean;
615
+ toolName: string;
616
+ } & McpToolContract & {
617
+ exposed: boolean;
618
+ toolName: string;
619
+ };
620
+ auth: {
621
+ scopes: string[];
622
+ allowedPrincipalTypes: ("user" | "service" | "agent")[];
623
+ };
624
+ convex: FunctionConvexTarget | undefined;
625
+ args: z.ZodTypeAny;
626
+ returns: z.ZodTypeAny;
627
+ input: z.ZodTypeAny;
628
+ output: z.ZodTypeAny;
629
+ openapi: {
630
+ summary: string;
631
+ tags: string[];
632
+ };
633
+ }, {
634
+ name: string;
635
+ kind: FunctionKind;
636
+ idempotent: FunctionIdempotency;
637
+ effects: readonly FunctionEffect[];
638
+ invariants: readonly string[] | undefined;
639
+ surfaceIntent: FunctionSurfaceIntent;
640
+ domain: string;
641
+ surfaceClass: SurfaceClass;
642
+ surfaces: FunctionSurfaceMap;
643
+ replacedBy: string | undefined;
644
+ rest: {
645
+ method: "GET" | "POST" | "PATCH" | "DELETE";
646
+ path: string;
647
+ };
648
+ sdk: {
649
+ namespace: string;
650
+ method: string;
651
+ };
652
+ mcp: {
653
+ exposed: boolean;
654
+ toolName: string;
655
+ } & McpToolContract & {
656
+ exposed: boolean;
657
+ toolName: string;
658
+ };
659
+ auth: {
660
+ scopes: string[];
661
+ allowedPrincipalTypes: ("user" | "service" | "agent")[];
662
+ };
663
+ convex: FunctionConvexTarget | undefined;
664
+ args: z.ZodTypeAny;
665
+ returns: z.ZodTypeAny;
666
+ input: z.ZodTypeAny;
667
+ output: z.ZodTypeAny;
668
+ openapi: {
669
+ summary: string;
670
+ tags: string[];
671
+ };
594
672
  }];
595
673
 
596
674
  export { graphContracts };
@@ -1146,6 +1146,74 @@ var GET_GRAPH_STRUCTURE_ANALYSIS = {
1146
1146
  ontologyPrimitive: "graph",
1147
1147
  tier: "showcase"
1148
1148
  };
1149
+ var LIST_GRAPH_INTELLIGENCE_QUERIES = {
1150
+ name: "list_graph_intelligence_queries",
1151
+ description: "List the Graph Intelligence query catalog that powers structural graph analysis experiences. Returns categories, query IDs, prompt templates, modes, and the public tool plan each query can use.",
1152
+ parameters: {
1153
+ categoryId: {
1154
+ type: "string",
1155
+ description: "Optional category filter, such as problems or strategic"
1156
+ },
1157
+ mode: {
1158
+ type: "string",
1159
+ description: "Optional mode filter: core, bias, stress, operational, alpha, semantic, or evidence"
1160
+ }
1161
+ },
1162
+ required: [],
1163
+ response: {
1164
+ description: "Graph Intelligence query catalog and mode-to-tool mapping",
1165
+ fields: {
1166
+ categories: "array \u2014 query categories",
1167
+ queries: "array \u2014 query definitions with prompt templates and tools",
1168
+ quickQueries: "array \u2014 recommended one-click query presets",
1169
+ publicToolNamesByMode: "object \u2014 public tool names available to each Graph Intelligence mode"
1170
+ }
1171
+ },
1172
+ ownerModule: "graph-intelligence",
1173
+ ontologyPrimitive: "graph",
1174
+ tier: "showcase"
1175
+ };
1176
+ var RUN_GRAPH_INTELLIGENCE_QUERY = {
1177
+ name: "run_graph_intelligence_query",
1178
+ description: "Run a named Graph Intelligence query against a tenant topic graph. Returns the selected query, prompt, deterministic graph-analysis bundle, graph context, and public tool plan for model synthesis.",
1179
+ parameters: {
1180
+ topicId: { type: "string", description: "Topic to analyze" },
1181
+ queryId: {
1182
+ type: "string",
1183
+ description: "Graph Intelligence query ID, such as confirmation-bias, pre-mortem, or thesis-summary"
1184
+ },
1185
+ prompt: {
1186
+ type: "string",
1187
+ description: "Optional custom prompt for custom analysis runs"
1188
+ },
1189
+ input: {
1190
+ type: "string",
1191
+ description: "Optional entity, theme, belief, company, or search text for input-driven queries"
1192
+ },
1193
+ mode: {
1194
+ type: "string",
1195
+ description: "Optional mode override: core, bias, stress, operational, alpha, semantic, or evidence"
1196
+ },
1197
+ limit: {
1198
+ type: "number",
1199
+ description: "Maximum graph context rows to return"
1200
+ }
1201
+ },
1202
+ required: ["topicId"],
1203
+ response: {
1204
+ description: "Graph Intelligence query result bundle ready for model or prompt-library synthesis",
1205
+ fields: {
1206
+ query: "object \u2014 selected query definition",
1207
+ prompt: "string \u2014 resolved prompt template",
1208
+ toolPlan: "array \u2014 public tools and args the model can call next",
1209
+ analysis: "object \u2014 structure, coverage, gap, and confirmation-bias analysis",
1210
+ context: "object \u2014 sampled beliefs, questions, evidence, edges, and contradictions"
1211
+ }
1212
+ },
1213
+ ownerModule: "graph-intelligence",
1214
+ ontologyPrimitive: "graph",
1215
+ tier: "showcase"
1216
+ };
1149
1217
  var GET_FALSIFICATION_QUESTIONS = {
1150
1218
  name: "get_falsification_questions",
1151
1219
  description: "Generate Popperian falsification questions for beliefs. Like `git test` \u2014 identifies the questions most likely to disprove current beliefs. Karl Popper as a tool: surfaces what would need to be true to invalidate each belief.",
@@ -3721,6 +3789,8 @@ var MCP_TOOL_CONTRACTS = {
3721
3789
  // Graph intelligence (showcase)
3722
3790
  detect_confirmation_bias: DETECT_CONFIRMATION_BIAS,
3723
3791
  get_graph_structure_analysis: GET_GRAPH_STRUCTURE_ANALYSIS,
3792
+ list_graph_intelligence_queries: LIST_GRAPH_INTELLIGENCE_QUERIES,
3793
+ run_graph_intelligence_query: RUN_GRAPH_INTELLIGENCE_QUERY,
3724
3794
  get_falsification_questions: GET_FALSIFICATION_QUESTIONS,
3725
3795
  // Evidence operations (workhorse)
3726
3796
  search_evidence: SEARCH_EVIDENCE,
@@ -3903,6 +3973,8 @@ var MCP_ANALYSIS_PLATFORM_OPERATION_NAMES = [
3903
3973
  "traverse_graph",
3904
3974
  "get_graph_neighborhood",
3905
3975
  "get_graph_structure_analysis",
3976
+ "list_graph_intelligence_queries",
3977
+ "run_graph_intelligence_query",
3906
3978
  "find_contradictions",
3907
3979
  "flag_contradiction",
3908
3980
  "detect_confirmation_bias",
@@ -4390,6 +4462,15 @@ function surfaceContract(args) {
4390
4462
  }
4391
4463
  });
4392
4464
  }
4465
+ var graphIntelligenceQueryModes = [
4466
+ "core",
4467
+ "bias",
4468
+ "stress",
4469
+ "operational",
4470
+ "alpha",
4471
+ "semantic",
4472
+ "evidence"
4473
+ ];
4393
4474
  var traversalLayerSchema = z.enum([
4394
4475
  "L4",
4395
4476
  "L3",
@@ -4423,6 +4504,22 @@ var graphNeighborhoodArgs = z.object({
4423
4504
  topicId: z.string().optional().describe("Topic scope for edge lookup."),
4424
4505
  limit: z.number().optional().describe("Maximum edges to return.")
4425
4506
  });
4507
+ var graphIntelligenceModeSchema = z.enum([
4508
+ graphIntelligenceQueryModes[0],
4509
+ ...graphIntelligenceQueryModes.slice(1)
4510
+ ]);
4511
+ var graphIntelligenceCatalogArgs = z.object({
4512
+ categoryId: z.string().optional().describe("Optional query category filter."),
4513
+ mode: graphIntelligenceModeSchema.optional().describe("Optional Graph Intelligence query mode filter.")
4514
+ });
4515
+ var graphIntelligenceRunArgs = z.object({
4516
+ topicId: z.string().describe("Topic to analyze."),
4517
+ queryId: z.string().optional().describe("Catalog query ID to run, such as pre-mortem."),
4518
+ prompt: z.string().optional().describe("Custom prompt when queryId is omitted or overridden."),
4519
+ input: z.string().optional().describe("Optional entity, theme, belief, company, or search text."),
4520
+ mode: graphIntelligenceModeSchema.optional().describe("Optional query mode override for custom prompts."),
4521
+ limit: z.number().optional().describe("Maximum graph context rows to return.")
4522
+ });
4426
4523
  var flagContradictionArgs = z.object({
4427
4524
  beliefA: z.string().describe("First belief in tension."),
4428
4525
  beliefB: z.string().describe("Second belief in tension."),
@@ -4528,6 +4625,38 @@ var graphContracts = [
4528
4625
  kind: "query"
4529
4626
  }
4530
4627
  }),
4628
+ surfaceContract({
4629
+ name: "list_graph_intelligence_queries",
4630
+ kind: "query",
4631
+ domain: "graph",
4632
+ surfaceClass: "platform_public",
4633
+ path: "/graph-intelligence/queries",
4634
+ sdkNamespace: "graphAnalysis",
4635
+ sdkMethod: "listGraphIntelligenceQueries",
4636
+ summary: "List Graph Intelligence query catalog entries.",
4637
+ convex: {
4638
+ module: "contextCompiler",
4639
+ functionName: "listGraphIntelligenceQueries",
4640
+ kind: "query"
4641
+ },
4642
+ args: graphIntelligenceCatalogArgs
4643
+ }),
4644
+ surfaceContract({
4645
+ name: "run_graph_intelligence_query",
4646
+ kind: "query",
4647
+ domain: "graph",
4648
+ surfaceClass: "platform_public",
4649
+ path: "/graph-intelligence/run",
4650
+ sdkNamespace: "graphAnalysis",
4651
+ sdkMethod: "runGraphIntelligenceQuery",
4652
+ summary: "Run a Graph Intelligence query against a topic graph.",
4653
+ convex: {
4654
+ module: "contextCompiler",
4655
+ functionName: "runGraphIntelligenceQuery",
4656
+ kind: "query"
4657
+ },
4658
+ args: graphIntelligenceRunArgs
4659
+ }),
4531
4660
  surfaceContract({
4532
4661
  name: "find_contradictions",
4533
4662
  kind: "query",