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

package/dist/projections/list-beliefs.projection.d.ts

@@ -0,0 +1,36 @@
+import { ProjectionDef } from './projection-dsl.js';
+import { z } from 'zod';
+
+declare const listBeliefsInputSchema: z.ZodObject<{
+    topicId: z.ZodString;
+    worktreeId: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodEnum<["active", "superseded", "archived", "unscored", "scored"]>>;
+    minConfidence: z.ZodOptional<z.ZodNumber>;
+    limit: z.ZodOptional<z.ZodNumber>;
+    includeEdgeAssociated: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    topicId: string;
+    status?: "active" | "archived" | "unscored" | "scored" | "superseded" | undefined;
+    worktreeId?: string | undefined;
+    limit?: number | undefined;
+    minConfidence?: number | undefined;
+    includeEdgeAssociated?: boolean | undefined;
+}, {
+    topicId: string;
+    status?: "active" | "archived" | "unscored" | "scored" | "superseded" | undefined;
+    worktreeId?: string | undefined;
+    limit?: number | undefined;
+    minConfidence?: number | undefined;
+    includeEdgeAssociated?: boolean | undefined;
+}>;
+type ListBeliefsProjectionInput = z.infer<typeof listBeliefsInputSchema>;
+declare const listBeliefsProjection: ProjectionDef<{
+    topicId: string;
+    status?: "active" | "archived" | "unscored" | "scored" | "superseded" | undefined;
+    worktreeId?: string | undefined;
+    limit?: number | undefined;
+    minConfidence?: number | undefined;
+    includeEdgeAssociated?: boolean | undefined;
+}, Record<string, unknown>>;
+
+export { type ListBeliefsProjectionInput, listBeliefsInputSchema, listBeliefsProjection };

package/dist/projections/list-beliefs.projection.js

@@ -0,0 +1,54 @@
+import { v } from 'convex/values';
+import { z } from 'zod';
+
+// src/projections/list-beliefs.projection.ts
+
+// src/projections/projection-dsl.ts
+function defineProjection(def) {
+  return def;
+}
+
+// src/projections/list-beliefs.projection.ts
+var beliefStatusSchema = z.enum(["active", "superseded", "archived", "unscored", "scored"]).optional().describe("Filter by belief lifecycle or scoring status");
+var listBeliefsInputSchema = z.object({
+  topicId: z.string().describe("Topic scope"),
+  worktreeId: z.string().optional().describe("Filter to worktree scope"),
+  status: beliefStatusSchema,
+  minConfidence: z.number().optional().describe("Minimum confidence threshold"),
+  limit: z.number().optional().describe("Maximum results"),
+  includeEdgeAssociated: z.boolean().optional().describe("Include beliefs associated to the topic through edges")
+});
+function kernelStatus(status) {
+  return status === "active" || status === "superseded" || status === "archived" ? status : void 0;
+}
+function compactRecord(input) {
+  return Object.fromEntries(
+    Object.entries(input).filter(([, value]) => value !== void 0)
+  );
+}
+var listBeliefsProjection = defineProjection({
+  contractName: "list_beliefs",
+  inputSchema: listBeliefsInputSchema,
+  project: (input) => compactRecord({
+    topicId: input.topicId,
+    status: kernelStatus(input.status),
+    limit: input.limit,
+    includeEdgeAssociated: input.includeEdgeAssociated
+  }),
+  convexArgsValidator: v.object({
+    topicId: v.string(),
+    status: v.optional(
+      v.union(
+        v.literal("active"),
+        v.literal("superseded"),
+        v.literal("archived")
+      )
+    ),
+    limit: v.optional(v.number()),
+    includeEdgeAssociated: v.optional(v.boolean())
+  })
+});
+
+export { listBeliefsInputSchema, listBeliefsProjection };
+//# sourceMappingURL=list-beliefs.projection.js.map
+//# sourceMappingURL=list-beliefs.projection.js.map

package/dist/projections/list-beliefs.projection.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/projections/projection-dsl.ts","../../src/projections/list-beliefs.projection.ts"],"names":[],"mappings":";;;;;;AASO,SAAS,iBACd,GAAA,EACqB;AACrB,EAAA,OAAO,GAAA;AACT;;;ACTA,IAAM,kBAAA,GAAqB,CAAA,CACxB,IAAA,CAAK,CAAC,UAAU,YAAA,EAAc,UAAA,EAAY,UAAA,EAAY,QAAQ,CAAC,CAAA,CAC/D,QAAA,EAAS,CACT,SAAS,8CAA8C,CAAA;AAEnD,IAAM,sBAAA,GAAyB,EAAE,MAAA,CAAO;AAAA,EAC7C,OAAA,EAAS,CAAA,CAAE,MAAA,EAAO,CAAE,SAAS,aAAa,CAAA;AAAA,EAC1C,YAAY,CAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,0BAA0B,CAAA;AAAA,EACrE,MAAA,EAAQ,kBAAA;AAAA,EACR,eAAe,CAAA,CACZ,MAAA,GACA,QAAA,EAAS,CACT,SAAS,8BAA8B,CAAA;AAAA,EAC1C,OAAO,CAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,iBAAiB,CAAA;AAAA,EACvD,uBAAuB,CAAA,CACpB,OAAA,GACA,QAAA,EAAS,CACT,SAAS,uDAAuD;AACrE,CAAC;AAMD,SAAS,aAAa,MAAA,EAA8C;AAClE,EAAA,OAAO,WAAW,QAAA,IAChB,MAAA,KAAW,YAAA,IACX,MAAA,KAAW,aACT,MAAA,GACA,MAAA;AACN;AAEA,SAAS,cACP,KAAA,EACyB;AACzB,EAAA,OAAO,MAAA,CAAO,WAAA;AAAA,IACZ,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,KAAU,MAAS;AAAA,GACjE;AACF;AAEO,IAAM,wBAAwB,gBAAA,CAAiB;AAAA,EACpD,YAAA,EAAc,cAAA;AAAA,EACd,WAAA,EAAa,sBAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KACR,aAAA,CAAc;AAAA,IACZ,SAAS,KAAA,CAAM,OAAA;AAAA,IACf,MAAA,EAAQ,YAAA,CAAa,KAAA,CAAM,MAAM,CAAA;AAAA,IACjC,OAAO,KAAA,CAAM,KAAA;AAAA,IACb,uBAAuB,KAAA,CAAM;AAAA,GAC9B,CAAA;AAAA,EACH,mBAAA,EAAqB,EAAE,MAAA,CAAO;AAAA,IAC5B,OAAA,EAAS,EAAE,MAAA,EAAO;AAAA,IAClB,QAAQ,CAAA,CAAE,QAAA;AAAA,MACR,CAAA,CAAE,KAAA;AAAA,QACA,CAAA,CAAE,QAAQ,QAAQ,CAAA;AAAA,QAClB,CAAA,CAAE,QAAQ,YAAY,CAAA;AAAA,QACtB,CAAA,CAAE,QAAQ,UAAU;AAAA;AACtB,KACF;AAAA,IACA,KAAA,EAAO,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC5B,qBAAA,EAAuB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,SAAS;AAAA,GAC9C;AACH,CAAC","file":"list-beliefs.projection.js","sourcesContent":["import type { z } from \"zod\";\n\nexport interface ProjectionDef<TInput, TConvexArgs> {\n  contractName: string;\n  inputSchema: z.ZodSchema<TInput>;\n  project: (input: TInput) => TConvexArgs;\n  convexArgsValidator: unknown;\n}\n\nexport function defineProjection<I, C>(\n  def: ProjectionDef<I, C>\n): ProjectionDef<I, C> {\n  return def;\n}\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst beliefStatusSchema = z\n  .enum([\"active\", \"superseded\", \"archived\", \"unscored\", \"scored\"])\n  .optional()\n  .describe(\"Filter by belief lifecycle or scoring status\");\n\nexport const listBeliefsInputSchema = z.object({\n  topicId: z.string().describe(\"Topic scope\"),\n  worktreeId: z.string().optional().describe(\"Filter to worktree scope\"),\n  status: beliefStatusSchema,\n  minConfidence: z\n    .number()\n    .optional()\n    .describe(\"Minimum confidence threshold\"),\n  limit: z.number().optional().describe(\"Maximum results\"),\n  includeEdgeAssociated: z\n    .boolean()\n    .optional()\n    .describe(\"Include beliefs associated to the topic through edges\"),\n});\n\nexport type ListBeliefsProjectionInput = z.infer<\n  typeof listBeliefsInputSchema\n>;\n\nfunction kernelStatus(status: ListBeliefsProjectionInput[\"status\"]) {\n  return status === \"active\" ||\n    status === \"superseded\" ||\n    status === \"archived\"\n    ? status\n    : undefined;\n}\n\nfunction compactRecord(\n  input: Record<string, unknown>,\n): Record<string, unknown> {\n  return Object.fromEntries(\n    Object.entries(input).filter(([, value]) => value !== undefined),\n  );\n}\n\nexport const listBeliefsProjection = defineProjection({\n  contractName: \"list_beliefs\",\n  inputSchema: listBeliefsInputSchema,\n  project: (input: ListBeliefsProjectionInput) =>\n    compactRecord({\n      topicId: input.topicId,\n      status: kernelStatus(input.status),\n      limit: input.limit,\n      includeEdgeAssociated: input.includeEdgeAssociated,\n    }),\n  convexArgsValidator: v.object({\n    topicId: v.string(),\n    status: v.optional(\n      v.union(\n        v.literal(\"active\"),\n        v.literal(\"superseded\"),\n        v.literal(\"archived\"),\n      ),\n    ),\n    limit: v.optional(v.number()),\n    includeEdgeAssociated: v.optional(v.boolean()),\n  }),\n});\n"]}

package/dist/projections/list-tasks.projection.d.ts

@@ -0,0 +1,32 @@
+import { ProjectionDef } from './projection-dsl.js';
+import { z } from 'zod';
+
+declare const listTasksInputSchema: z.ZodObject<{
+    topicId: z.ZodString;
+    worktreeId: z.ZodOptional<z.ZodString>;
+    linkedWorktreeId: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodEnum<["todo", "in_progress", "blocked", "done"]>>;
+    limit: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    topicId: string;
+    status?: "todo" | "in_progress" | "blocked" | "done" | undefined;
+    worktreeId?: string | undefined;
+    limit?: number | undefined;
+    linkedWorktreeId?: string | undefined;
+}, {
+    topicId: string;
+    status?: "todo" | "in_progress" | "blocked" | "done" | undefined;
+    worktreeId?: string | undefined;
+    limit?: number | undefined;
+    linkedWorktreeId?: string | undefined;
+}>;
+type ListTasksProjectionInput = z.infer<typeof listTasksInputSchema>;
+declare const listTasksProjection: ProjectionDef<{
+    topicId: string;
+    status?: "todo" | "in_progress" | "blocked" | "done" | undefined;
+    worktreeId?: string | undefined;
+    limit?: number | undefined;
+    linkedWorktreeId?: string | undefined;
+}, Record<string, unknown>>;
+
+export { type ListTasksProjectionInput, listTasksInputSchema, listTasksProjection };

package/dist/projections/list-tasks.projection.js

@@ -0,0 +1,52 @@
+import { v } from 'convex/values';
+import { z } from 'zod';
+
+// src/projections/list-tasks.projection.ts
+
+// src/projections/projection-dsl.ts
+function defineProjection(def) {
+  return def;
+}
+
+// src/projections/list-tasks.projection.ts
+var taskStatusSchema = z.enum(["todo", "in_progress", "blocked", "done"]).optional().describe("Filter by task status");
+var listTasksInputSchema = z.object({
+  topicId: z.string().describe("Topic scope"),
+  worktreeId: z.string().optional().describe("Alias for linkedWorktreeId"),
+  linkedWorktreeId: z.string().optional().describe("Filter to tasks linked to this worktree"),
+  status: taskStatusSchema,
+  limit: z.number().optional().describe("Maximum results")
+});
+function compactRecord(input) {
+  return Object.fromEntries(
+    Object.entries(input).filter(([, value]) => value !== void 0)
+  );
+}
+var listTasksProjection = defineProjection({
+  contractName: "list_tasks",
+  inputSchema: listTasksInputSchema,
+  project: (input) => compactRecord({
+    topicId: input.topicId,
+    status: input.status,
+    userId: void 0,
+    limit: input.limit,
+    linkedWorktreeId: input.linkedWorktreeId ?? input.worktreeId
+  }),
+  convexArgsValidator: v.object({
+    topicId: v.string(),
+    status: v.optional(
+      v.union(
+        v.literal("todo"),
+        v.literal("in_progress"),
+        v.literal("blocked"),
+        v.literal("done")
+      )
+    ),
+    limit: v.optional(v.number()),
+    linkedWorktreeId: v.optional(v.string())
+  })
+});
+
+export { listTasksInputSchema, listTasksProjection };
+//# sourceMappingURL=list-tasks.projection.js.map
+//# sourceMappingURL=list-tasks.projection.js.map

package/dist/projections/list-tasks.projection.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/projections/projection-dsl.ts","../../src/projections/list-tasks.projection.ts"],"names":[],"mappings":";;;;;;AASO,SAAS,iBACd,GAAA,EACqB;AACrB,EAAA,OAAO,GAAA;AACT;;;ACTA,IAAM,gBAAA,GAAmB,CAAA,CACtB,IAAA,CAAK,CAAC,MAAA,EAAQ,aAAA,EAAe,SAAA,EAAW,MAAM,CAAC,CAAA,CAC/C,QAAA,EAAS,CACT,SAAS,uBAAuB,CAAA;AAE5B,IAAM,oBAAA,GAAuB,EAAE,MAAA,CAAO;AAAA,EAC3C,OAAA,EAAS,CAAA,CAAE,MAAA,EAAO,CAAE,SAAS,aAAa,CAAA;AAAA,EAC1C,YAAY,CAAA,CACT,MAAA,GACA,QAAA,EAAS,CACT,SAAS,4BAA4B,CAAA;AAAA,EACxC,kBAAkB,CAAA,CACf,MAAA,GACA,QAAA,EAAS,CACT,SAAS,yCAAyC,CAAA;AAAA,EACrD,MAAA,EAAQ,gBAAA;AAAA,EACR,OAAO,CAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,iBAAiB;AACzD,CAAC;AAID,SAAS,cACP,KAAA,EACyB;AACzB,EAAA,OAAO,MAAA,CAAO,WAAA;AAAA,IACZ,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,KAAU,MAAS;AAAA,GACjE;AACF;AAEO,IAAM,sBAAsB,gBAAA,CAAiB;AAAA,EAClD,YAAA,EAAc,YAAA;AAAA,EACd,WAAA,EAAa,oBAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KACR,aAAA,CAAc;AAAA,IACZ,SAAS,KAAA,CAAM,OAAA;AAAA,IACf,QAAQ,KAAA,CAAM,MAAA;AAAA,IACd,MAAA,EAAQ,MAAA;AAAA,IACR,OAAO,KAAA,CAAM,KAAA;AAAA,IACb,gBAAA,EAAkB,KAAA,CAAM,gBAAA,IAAoB,KAAA,CAAM;AAAA,GACnD,CAAA;AAAA,EACH,mBAAA,EAAqB,EAAE,MAAA,CAAO;AAAA,IAC5B,OAAA,EAAS,EAAE,MAAA,EAAO;AAAA,IAClB,QAAQ,CAAA,CAAE,QAAA;AAAA,MACR,CAAA,CAAE,KAAA;AAAA,QACA,CAAA,CAAE,QAAQ,MAAM,CAAA;AAAA,QAChB,CAAA,CAAE,QAAQ,aAAa,CAAA;AAAA,QACvB,CAAA,CAAE,QAAQ,SAAS,CAAA;AAAA,QACnB,CAAA,CAAE,QAAQ,MAAM;AAAA;AAClB,KACF;AAAA,IACA,KAAA,EAAO,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC5B,gBAAA,EAAkB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ;AAAA,GACxC;AACH,CAAC","file":"list-tasks.projection.js","sourcesContent":["import type { z } from \"zod\";\n\nexport interface ProjectionDef<TInput, TConvexArgs> {\n  contractName: string;\n  inputSchema: z.ZodSchema<TInput>;\n  project: (input: TInput) => TConvexArgs;\n  convexArgsValidator: unknown;\n}\n\nexport function defineProjection<I, C>(\n  def: ProjectionDef<I, C>\n): ProjectionDef<I, C> {\n  return def;\n}\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst taskStatusSchema = z\n  .enum([\"todo\", \"in_progress\", \"blocked\", \"done\"])\n  .optional()\n  .describe(\"Filter by task status\");\n\nexport const listTasksInputSchema = z.object({\n  topicId: z.string().describe(\"Topic scope\"),\n  worktreeId: z\n    .string()\n    .optional()\n    .describe(\"Alias for linkedWorktreeId\"),\n  linkedWorktreeId: z\n    .string()\n    .optional()\n    .describe(\"Filter to tasks linked to this worktree\"),\n  status: taskStatusSchema,\n  limit: z.number().optional().describe(\"Maximum results\"),\n});\n\nexport type ListTasksProjectionInput = z.infer<typeof listTasksInputSchema>;\n\nfunction compactRecord(\n  input: Record<string, unknown>,\n): Record<string, unknown> {\n  return Object.fromEntries(\n    Object.entries(input).filter(([, value]) => value !== undefined),\n  );\n}\n\nexport const listTasksProjection = defineProjection({\n  contractName: \"list_tasks\",\n  inputSchema: listTasksInputSchema,\n  project: (input: ListTasksProjectionInput) =>\n    compactRecord({\n      topicId: input.topicId,\n      status: input.status,\n      userId: undefined,\n      limit: input.limit,\n      linkedWorktreeId: input.linkedWorktreeId ?? input.worktreeId,\n    }),\n  convexArgsValidator: v.object({\n    topicId: v.string(),\n    status: v.optional(\n      v.union(\n        v.literal(\"todo\"),\n        v.literal(\"in_progress\"),\n        v.literal(\"blocked\"),\n        v.literal(\"done\"),\n      ),\n    ),\n    limit: v.optional(v.number()),\n    linkedWorktreeId: v.optional(v.string()),\n  }),\n});\n"]}

package/dist/projections/modulate-confidence.projection.d.ts

@@ -0,0 +1,219 @@
+import { ProjectionDef } from './projection-dsl.js';
+import { z } from 'zod';
+
+declare const modulateConfidenceInputSchema: z.ZodEffects<z.ZodObject<{
+    nodeId: z.ZodOptional<z.ZodString>;
+    beliefNodeId: z.ZodOptional<z.ZodString>;
+    worktreeId: z.ZodOptional<z.ZodString>;
+    opinion: z.ZodOptional<z.ZodObject<{
+        belief: z.ZodNumber;
+        disbelief: z.ZodNumber;
+        uncertainty: z.ZodNumber;
+        baseRate: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        belief: number;
+        baseRate: number;
+        disbelief: number;
+        uncertainty: number;
+    }, {
+        belief: number;
+        baseRate: number;
+        disbelief: number;
+        uncertainty: number;
+    }>>;
+    belief: z.ZodOptional<z.ZodNumber>;
+    disbelief: z.ZodOptional<z.ZodNumber>;
+    uncertainty: z.ZodOptional<z.ZodNumber>;
+    baseRate: z.ZodOptional<z.ZodNumber>;
+    trigger: z.ZodEnum<["evidence_added", "evidence_removed", "contradiction_resolved", "agent_assessment", "worktree_outcome", "worktree_completed", "contradiction_detected", "answer_recorded", "fusion", "discount", "deduction", "backfill_synthetic"]>;
+    provenance: z.ZodOptional<z.ZodObject<{
+        evidence: z.ZodOptional<z.ZodString>;
+        question: z.ZodOptional<z.ZodString>;
+        answer: z.ZodOptional<z.ZodString>;
+        contradiction: z.ZodOptional<z.ZodString>;
+        worktree: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        evidence?: string | undefined;
+        question?: string | undefined;
+        contradiction?: string | undefined;
+        worktree?: string | undefined;
+        answer?: string | undefined;
+    }, {
+        evidence?: string | undefined;
+        question?: string | undefined;
+        contradiction?: string | undefined;
+        worktree?: string | undefined;
+        answer?: string | undefined;
+    }>>;
+    triggeringEvidenceId: z.ZodOptional<z.ZodString>;
+    triggeringQuestionId: z.ZodOptional<z.ZodString>;
+    triggeringAnswerId: z.ZodOptional<z.ZodString>;
+    triggeringContradictionId: z.ZodOptional<z.ZodString>;
+    triggeringWorktreeId: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodString;
+    trustedBypassAccessCheck: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    rationale: string;
+    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
+    belief?: number | undefined;
+    baseRate?: number | undefined;
+    nodeId?: string | undefined;
+    disbelief?: number | undefined;
+    uncertainty?: number | undefined;
+    worktreeId?: string | undefined;
+    triggeringEvidenceId?: string | undefined;
+    triggeringQuestionId?: string | undefined;
+    triggeringAnswerId?: string | undefined;
+    triggeringContradictionId?: string | undefined;
+    triggeringWorktreeId?: string | undefined;
+    beliefNodeId?: string | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    opinion?: {
+        belief: number;
+        baseRate: number;
+        disbelief: number;
+        uncertainty: number;
+    } | undefined;
+    provenance?: {
+        evidence?: string | undefined;
+        question?: string | undefined;
+        contradiction?: string | undefined;
+        worktree?: string | undefined;
+        answer?: string | undefined;
+    } | undefined;
+}, {
+    rationale: string;
+    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
+    belief?: number | undefined;
+    baseRate?: number | undefined;
+    nodeId?: string | undefined;
+    disbelief?: number | undefined;
+    uncertainty?: number | undefined;
+    worktreeId?: string | undefined;
+    triggeringEvidenceId?: string | undefined;
+    triggeringQuestionId?: string | undefined;
+    triggeringAnswerId?: string | undefined;
+    triggeringContradictionId?: string | undefined;
+    triggeringWorktreeId?: string | undefined;
+    beliefNodeId?: string | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    opinion?: {
+        belief: number;
+        baseRate: number;
+        disbelief: number;
+        uncertainty: number;
+    } | undefined;
+    provenance?: {
+        evidence?: string | undefined;
+        question?: string | undefined;
+        contradiction?: string | undefined;
+        worktree?: string | undefined;
+        answer?: string | undefined;
+    } | undefined;
+}>, {
+    rationale: string;
+    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
+    belief?: number | undefined;
+    baseRate?: number | undefined;
+    nodeId?: string | undefined;
+    disbelief?: number | undefined;
+    uncertainty?: number | undefined;
+    worktreeId?: string | undefined;
+    triggeringEvidenceId?: string | undefined;
+    triggeringQuestionId?: string | undefined;
+    triggeringAnswerId?: string | undefined;
+    triggeringContradictionId?: string | undefined;
+    triggeringWorktreeId?: string | undefined;
+    beliefNodeId?: string | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    opinion?: {
+        belief: number;
+        baseRate: number;
+        disbelief: number;
+        uncertainty: number;
+    } | undefined;
+    provenance?: {
+        evidence?: string | undefined;
+        question?: string | undefined;
+        contradiction?: string | undefined;
+        worktree?: string | undefined;
+        answer?: string | undefined;
+    } | undefined;
+}, {
+    rationale: string;
+    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
+    belief?: number | undefined;
+    baseRate?: number | undefined;
+    nodeId?: string | undefined;
+    disbelief?: number | undefined;
+    uncertainty?: number | undefined;
+    worktreeId?: string | undefined;
+    triggeringEvidenceId?: string | undefined;
+    triggeringQuestionId?: string | undefined;
+    triggeringAnswerId?: string | undefined;
+    triggeringContradictionId?: string | undefined;
+    triggeringWorktreeId?: string | undefined;
+    beliefNodeId?: string | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    opinion?: {
+        belief: number;
+        baseRate: number;
+        disbelief: number;
+        uncertainty: number;
+    } | undefined;
+    provenance?: {
+        evidence?: string | undefined;
+        question?: string | undefined;
+        contradiction?: string | undefined;
+        worktree?: string | undefined;
+        answer?: string | undefined;
+    } | undefined;
+}>;
+type ModulateConfidenceProjectionInput = z.infer<typeof modulateConfidenceInputSchema>;
+declare const modulateConfidenceProjection: ProjectionDef<{
+    rationale: string;
+    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
+    belief?: number | undefined;
+    baseRate?: number | undefined;
+    nodeId?: string | undefined;
+    disbelief?: number | undefined;
+    uncertainty?: number | undefined;
+    worktreeId?: string | undefined;
+    triggeringEvidenceId?: string | undefined;
+    triggeringQuestionId?: string | undefined;
+    triggeringAnswerId?: string | undefined;
+    triggeringContradictionId?: string | undefined;
+    triggeringWorktreeId?: string | undefined;
+    beliefNodeId?: string | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    opinion?: {
+        belief: number;
+        baseRate: number;
+        disbelief: number;
+        uncertainty: number;
+    } | undefined;
+    provenance?: {
+        evidence?: string | undefined;
+        question?: string | undefined;
+        contradiction?: string | undefined;
+        worktree?: string | undefined;
+        answer?: string | undefined;
+    } | undefined;
+}, {
+    nodeId: string;
+    worktreeId: string | undefined;
+    belief: number;
+    disbelief: number;
+    uncertainty: number;
+    baseRate: number;
+    trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "backfill_synthetic";
+    triggeringEvidenceId: string | undefined;
+    triggeringQuestionId: string | undefined;
+    triggeringAnswerId: string | undefined;
+    triggeringContradictionId: string | undefined;
+    triggeringWorktreeId: string | undefined;
+    rationale: string;
+    trustedBypassAccessCheck: boolean;
+}>;
+
+export { type ModulateConfidenceProjectionInput, modulateConfidenceInputSchema, modulateConfidenceProjection };

package/dist/projections/modulate-confidence.projection.js

@@ -0,0 +1,148 @@
+import { v } from 'convex/values';
+import { z } from 'zod';
+
+// src/projections/modulate-confidence.projection.ts
+
+// src/projections/projection-dsl.ts
+function defineProjection(def) {
+  return def;
+}
+
+// src/projections/modulate-confidence.projection.ts
+var confidenceTriggerSchema = z.enum([
+  "evidence_added",
+  "evidence_removed",
+  "contradiction_resolved",
+  "agent_assessment",
+  "worktree_outcome",
+  "worktree_completed",
+  "contradiction_detected",
+  "answer_recorded",
+  "fusion",
+  "discount",
+  "deduction",
+  "backfill_synthetic"
+]);
+var provenanceSchema = z.object({
+  evidence: z.string().optional(),
+  question: z.string().optional(),
+  answer: z.string().optional(),
+  contradiction: z.string().optional(),
+  worktree: z.string().optional()
+});
+var slOpinionProjectionSchema = z.object({
+  belief: z.number(),
+  disbelief: z.number(),
+  uncertainty: z.number(),
+  baseRate: z.number()
+});
+var modulateConfidenceInputObjectSchema = z.object({
+  nodeId: z.string().optional(),
+  beliefNodeId: z.string().optional(),
+  worktreeId: z.string().optional(),
+  opinion: slOpinionProjectionSchema.optional(),
+  belief: z.number().optional(),
+  disbelief: z.number().optional(),
+  uncertainty: z.number().optional(),
+  baseRate: z.number().optional(),
+  trigger: confidenceTriggerSchema,
+  provenance: provenanceSchema.optional(),
+  triggeringEvidenceId: z.string().optional(),
+  triggeringQuestionId: z.string().optional(),
+  triggeringAnswerId: z.string().optional(),
+  triggeringContradictionId: z.string().optional(),
+  triggeringWorktreeId: z.string().optional(),
+  rationale: z.string(),
+  trustedBypassAccessCheck: z.boolean().optional()
+});
+var modulateConfidenceInputSchema = modulateConfidenceInputObjectSchema.superRefine((input, ctx) => {
+  if (hasProvenance(input)) {
+    return;
+  }
+  ctx.addIssue({
+    code: z.ZodIssueCode.custom,
+    message: "modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance",
+    path: ["provenance"]
+  });
+});
+var modulateConfidenceProjection = defineProjection({
+  contractName: "modulate_confidence",
+  inputSchema: modulateConfidenceInputSchema,
+  project: (input) => {
+    const nodeId = input.beliefNodeId ?? input.nodeId;
+    if (!nodeId) {
+      throw new Error("modulate_confidence requires beliefNodeId or nodeId");
+    }
+    const opinion = input.opinion ?? {
+      belief: requireNumber(input.belief, "belief"),
+      disbelief: requireNumber(input.disbelief, "disbelief"),
+      uncertainty: requireNumber(input.uncertainty, "uncertainty"),
+      baseRate: requireNumber(input.baseRate, "baseRate")
+    };
+    assertProvenance(input);
+    return {
+      nodeId,
+      worktreeId: input.worktreeId,
+      belief: opinion.belief,
+      disbelief: opinion.disbelief,
+      uncertainty: opinion.uncertainty,
+      baseRate: opinion.baseRate,
+      trigger: input.trigger === "answer_recorded" ? "agent_assessment" : input.trigger,
+      triggeringEvidenceId: input.provenance?.evidence ?? input.triggeringEvidenceId,
+      triggeringQuestionId: input.provenance?.question ?? input.triggeringQuestionId,
+      triggeringAnswerId: input.provenance?.answer ?? input.triggeringAnswerId,
+      triggeringContradictionId: input.provenance?.contradiction ?? input.triggeringContradictionId,
+      triggeringWorktreeId: input.provenance?.worktree ?? input.triggeringWorktreeId,
+      rationale: input.rationale,
+      trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true
+    };
+  },
+  convexArgsValidator: v.object({
+    nodeId: v.string(),
+    worktreeId: v.optional(v.string()),
+    belief: v.number(),
+    disbelief: v.number(),
+    uncertainty: v.number(),
+    baseRate: v.number(),
+    trigger: v.union(
+      v.literal("evidence_added"),
+      v.literal("evidence_removed"),
+      v.literal("worktree_completed"),
+      v.literal("contradiction_detected"),
+      v.literal("contradiction_resolved"),
+      v.literal("agent_assessment"),
+      v.literal("worktree_outcome"),
+      v.literal("fusion"),
+      v.literal("discount"),
+      v.literal("deduction"),
+      v.literal("backfill_synthetic")
+    ),
+    triggeringEvidenceId: v.optional(v.string()),
+    triggeringQuestionId: v.optional(v.string()),
+    triggeringAnswerId: v.optional(v.string()),
+    triggeringContradictionId: v.optional(v.string()),
+    triggeringWorktreeId: v.optional(v.string()),
+    rationale: v.string(),
+    trustedBypassAccessCheck: v.optional(v.boolean())
+  })
+});
+function requireNumber(value, field) {
+  if (value === void 0) {
+    throw new Error(`modulate_confidence requires ${field}`);
+  }
+  return value;
+}
+function assertProvenance(input) {
+  if (!hasProvenance(input)) {
+    throw new Error(
+      "modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance"
+    );
+  }
+}
+function hasProvenance(input) {
+  return input.trigger === "backfill_synthetic" || Boolean(input.provenance && Object.values(input.provenance).some(Boolean)) || Boolean(input.triggeringEvidenceId) || Boolean(input.triggeringQuestionId) || Boolean(input.triggeringAnswerId) || Boolean(input.triggeringContradictionId) || Boolean(input.triggeringWorktreeId);
+}
+
+export { modulateConfidenceInputSchema, modulateConfidenceProjection };
+//# sourceMappingURL=modulate-confidence.projection.js.map
+//# sourceMappingURL=modulate-confidence.projection.js.map

package/dist/projections/modulate-confidence.projection.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/projections/projection-dsl.ts","../../src/projections/modulate-confidence.projection.ts"],"names":[],"mappings":";;;;;;AASO,SAAS,iBACd,GAAA,EACqB;AACrB,EAAA,OAAO,GAAA;AACT;;;ACTA,IAAM,uBAAA,GAA0B,EAAE,IAAA,CAAK;AAAA,EACrC,gBAAA;AAAA,EACA,kBAAA;AAAA,EACA,wBAAA;AAAA,EACA,kBAAA;AAAA,EACA,kBAAA;AAAA,EACA,oBAAA;AAAA,EACA,wBAAA;AAAA,EACA,iBAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,WAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,IAAM,gBAAA,GAAmB,EAAE,MAAA,CAAO;AAAA,EAChC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,aAAA,EAAe,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACnC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA;AACvB,CAAC,CAAA;AAED,IAAM,yBAAA,GAA4B,EAAE,MAAA,CAAO;AAAA,EACzC,MAAA,EAAQ,EAAE,MAAA,EAAO;AAAA,EACjB,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,EACpB,WAAA,EAAa,EAAE,MAAA,EAAO;AAAA,EACtB,QAAA,EAAU,EAAE,MAAA;AACd,CAAC,CAAA;AAED,IAAM,mCAAA,GAAsC,EAAE,MAAA,CAAO;AAAA,EACnD,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,YAAA,EAAc,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAClC,UAAA,EAAY,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,OAAA,EAAS,0BAA0B,QAAA,EAAS;AAAA,EAC5C,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,WAAA,EAAa,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,OAAA,EAAS,uBAAA;AAAA,EACT,UAAA,EAAY,iBAAiB,QAAA,EAAS;AAAA,EACtC,oBAAA,EAAsB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,oBAAA,EAAsB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,kBAAA,EAAoB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,yBAAA,EAA2B,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/C,oBAAA,EAAsB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,EACpB,wBAAA,EAA0B,CAAA,CAAE,OAAA,EAAQ,CAAE,QAAA;AACxC,CAAC,CAAA;AAEM,IAAM,6BAAA,GACX,mCAAA,CAAoC,WAAA,CAAY,CAAC,OAAO,GAAA,KAAQ;AAC9D,EAAA,IAAI,aAAA,CAAc,KAAK,CAAA,EAAG;AACxB,IAAA;AAAA,EACF;AAEA,EAAA,GAAA,CAAI,QAAA,CAAS;AAAA,IACX,IAAA,EAAM,EAAE,YAAA,CAAa,MAAA;AAAA,IACrB,OAAA,EACE,gGAAA;AAAA,IACF,IAAA,EAAM,CAAC,YAAY;AAAA,GACpB,CAAA;AACH,CAAC;AAMI,IAAM,+BAA+B,gBAAA,CAAiB;AAAA,EAC3D,YAAA,EAAc,qBAAA;AAAA,EACd,WAAA,EAAa,6BAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KAA6C;AACrD,IAAA,MAAM,MAAA,GAAS,KAAA,CAAM,YAAA,IAAgB,KAAA,CAAM,MAAA;AAC3C,IAAA,IAAI,CAAC,MAAA,EAAQ;AACX,MAAA,MAAM,IAAI,MAAM,qDAAqD,CAAA;AAAA,IACvE;AAEA,IAAA,MAAM,OAAA,GAAU,MAAM,OAAA,IAAW;AAAA,MAC/B,MAAA,EAAQ,aAAA,CAAc,KAAA,CAAM,MAAA,EAAQ,QAAQ,CAAA;AAAA,MAC5C,SAAA,EAAW,aAAA,CAAc,KAAA,CAAM,SAAA,EAAW,WAAW,CAAA;AAAA,MACrD,WAAA,EAAa,aAAA,CAAc,KAAA,CAAM,WAAA,EAAa,aAAa,CAAA;AAAA,MAC3D,QAAA,EAAU,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,UAAU;AAAA,KACpD;AACA,IAAA,gBAAA,CAAiB,KAAK,CAAA;AAEtB,IAAA,OAAO;AAAA,MACL,MAAA;AAAA,MACA,YAAY,KAAA,CAAM,UAAA;AAAA,MAClB,QAAQ,OAAA,CAAQ,MAAA;AAAA,MAChB,WAAW,OAAA,CAAQ,SAAA;AAAA,MACnB,aAAa,OAAA,CAAQ,WAAA;AAAA,MACrB,UAAU,OAAA,CAAQ,QAAA;AAAA,MAClB,OAAA,EACE,KAAA,CAAM,OAAA,KAAY,iBAAA,GACd,qBACA,KAAA,CAAM,OAAA;AAAA,MACZ,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,kBAAA,EAAoB,KAAA,CAAM,UAAA,EAAY,MAAA,IAAU,KAAA,CAAM,kBAAA;AAAA,MACtD,yBAAA,EACE,KAAA,CAAM,UAAA,EAAY,aAAA,IAAiB,KAAA,CAAM,yBAAA;AAAA,MAC3C,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,wBAAA,EAA0B,MAAM,wBAAA,IAA4B;AAAA,KAC9D;AAAA,EACF,CAAA;AAAA,EACA,mBAAA,EAAqB,EAAE,MAAA,CAAO;AAAA,IAC5B,MAAA,EAAQ,EAAE,MAAA,EAAO;AAAA,IACjB,UAAA,EAAY,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,MAAA,EAAQ,EAAE,MAAA,EAAO;AAAA,IACjB,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,IACpB,WAAA,EAAa,EAAE,MAAA,EAAO;AAAA,IACtB,QAAA,EAAU,EAAE,MAAA,EAAO;AAAA,IACnB,SAAS,CAAA,CAAE,KAAA;AAAA,MACT,CAAA,CAAE,QAAQ,gBAAgB,CAAA;AAAA,MAC1B,CAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5B,CAAA,CAAE,QAAQ,oBAAoB,CAAA;AAAA,MAC9B,CAAA,CAAE,QAAQ,wBAAwB,CAAA;AAAA,MAClC,CAAA,CAAE,QAAQ,wBAAwB,CAAA;AAAA,MAClC,CAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5B,CAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5B,CAAA,CAAE,QAAQ,QAAQ,CAAA;AAAA,MAClB,CAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,MACpB,CAAA,CAAE,QAAQ,WAAW,CAAA;AAAA,MACrB,CAAA,CAAE,QAAQ,oBAAoB;AAAA,KAChC;AAAA,IACA,oBAAA,EAAsB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,oBAAA,EAAsB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,kBAAA,EAAoB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,yBAAA,EAA2B,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAChD,oBAAA,EAAsB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,IACpB,wBAAA,EAA0B,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,SAAS;AAAA,GACjD;AACH,CAAC;AAED,SAAS,aAAA,CAAc,OAA2B,KAAA,EAAuB;AACvE,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,6BAAA,EAAgC,KAAK,CAAA,CAAE,CAAA;AAAA,EACzD;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,iBAAiB,KAAA,EAAgD;AACxE,EAAA,IAAI,CAAC,aAAA,CAAc,KAAK,CAAA,EAAG;AACzB,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACF;AAEA,SAAS,cAAc,KAAA,EAAmD;AACxE,EAAA,OACE,KAAA,CAAM,OAAA,KAAY,oBAAA,IAClB,OAAA,CAAQ,MAAM,UAAA,IAAc,MAAA,CAAO,MAAA,CAAO,KAAA,CAAM,UAAU,CAAA,CAAE,IAAA,CAAK,OAAO,CAAC,CAAA,IACzE,OAAA,CAAQ,KAAA,CAAM,oBAAoB,CAAA,IAClC,OAAA,CAAQ,KAAA,CAAM,oBAAoB,KAClC,OAAA,CAAQ,KAAA,CAAM,kBAAkB,CAAA,IAChC,QAAQ,KAAA,CAAM,yBAAyB,CAAA,IACvC,OAAA,CAAQ,MAAM,oBAAoB,CAAA;AAEtC","file":"modulate-confidence.projection.js","sourcesContent":["import type { z } from \"zod\";\n\nexport interface ProjectionDef<TInput, TConvexArgs> {\n  contractName: string;\n  inputSchema: z.ZodSchema<TInput>;\n  project: (input: TInput) => TConvexArgs;\n  convexArgsValidator: unknown;\n}\n\nexport function defineProjection<I, C>(\n  def: ProjectionDef<I, C>\n): ProjectionDef<I, C> {\n  return def;\n}\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst confidenceTriggerSchema = z.enum([\n  \"evidence_added\",\n  \"evidence_removed\",\n  \"contradiction_resolved\",\n  \"agent_assessment\",\n  \"worktree_outcome\",\n  \"worktree_completed\",\n  \"contradiction_detected\",\n  \"answer_recorded\",\n  \"fusion\",\n  \"discount\",\n  \"deduction\",\n  \"backfill_synthetic\",\n]);\n\nconst provenanceSchema = z.object({\n  evidence: z.string().optional(),\n  question: z.string().optional(),\n  answer: z.string().optional(),\n  contradiction: z.string().optional(),\n  worktree: z.string().optional(),\n});\n\nconst slOpinionProjectionSchema = z.object({\n  belief: z.number(),\n  disbelief: z.number(),\n  uncertainty: z.number(),\n  baseRate: z.number(),\n});\n\nconst modulateConfidenceInputObjectSchema = z.object({\n  nodeId: z.string().optional(),\n  beliefNodeId: z.string().optional(),\n  worktreeId: z.string().optional(),\n  opinion: slOpinionProjectionSchema.optional(),\n  belief: z.number().optional(),\n  disbelief: z.number().optional(),\n  uncertainty: z.number().optional(),\n  baseRate: z.number().optional(),\n  trigger: confidenceTriggerSchema,\n  provenance: provenanceSchema.optional(),\n  triggeringEvidenceId: z.string().optional(),\n  triggeringQuestionId: z.string().optional(),\n  triggeringAnswerId: z.string().optional(),\n  triggeringContradictionId: z.string().optional(),\n  triggeringWorktreeId: z.string().optional(),\n  rationale: z.string(),\n  trustedBypassAccessCheck: z.boolean().optional(),\n});\n\nexport const modulateConfidenceInputSchema =\n  modulateConfidenceInputObjectSchema.superRefine((input, ctx) => {\n    if (hasProvenance(input)) {\n      return;\n    }\n\n    ctx.addIssue({\n      code: z.ZodIssueCode.custom,\n      message:\n        \"modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance\",\n      path: [\"provenance\"],\n    });\n  });\n\nexport type ModulateConfidenceProjectionInput = z.infer<\n  typeof modulateConfidenceInputSchema\n>;\n\nexport const modulateConfidenceProjection = defineProjection({\n  contractName: \"modulate_confidence\",\n  inputSchema: modulateConfidenceInputSchema,\n  project: (input: ModulateConfidenceProjectionInput) => {\n    const nodeId = input.beliefNodeId ?? input.nodeId;\n    if (!nodeId) {\n      throw new Error(\"modulate_confidence requires beliefNodeId or nodeId\");\n    }\n\n    const opinion = input.opinion ?? {\n      belief: requireNumber(input.belief, \"belief\"),\n      disbelief: requireNumber(input.disbelief, \"disbelief\"),\n      uncertainty: requireNumber(input.uncertainty, \"uncertainty\"),\n      baseRate: requireNumber(input.baseRate, \"baseRate\"),\n    };\n    assertProvenance(input);\n\n    return {\n      nodeId,\n      worktreeId: input.worktreeId,\n      belief: opinion.belief,\n      disbelief: opinion.disbelief,\n      uncertainty: opinion.uncertainty,\n      baseRate: opinion.baseRate,\n      trigger:\n        input.trigger === \"answer_recorded\"\n          ? \"agent_assessment\"\n          : input.trigger,\n      triggeringEvidenceId:\n        input.provenance?.evidence ?? input.triggeringEvidenceId,\n      triggeringQuestionId:\n        input.provenance?.question ?? input.triggeringQuestionId,\n      triggeringAnswerId: input.provenance?.answer ?? input.triggeringAnswerId,\n      triggeringContradictionId:\n        input.provenance?.contradiction ?? input.triggeringContradictionId,\n      triggeringWorktreeId:\n        input.provenance?.worktree ?? input.triggeringWorktreeId,\n      rationale: input.rationale,\n      trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true,\n    };\n  },\n  convexArgsValidator: v.object({\n    nodeId: v.string(),\n    worktreeId: v.optional(v.string()),\n    belief: v.number(),\n    disbelief: v.number(),\n    uncertainty: v.number(),\n    baseRate: v.number(),\n    trigger: v.union(\n      v.literal(\"evidence_added\"),\n      v.literal(\"evidence_removed\"),\n      v.literal(\"worktree_completed\"),\n      v.literal(\"contradiction_detected\"),\n      v.literal(\"contradiction_resolved\"),\n      v.literal(\"agent_assessment\"),\n      v.literal(\"worktree_outcome\"),\n      v.literal(\"fusion\"),\n      v.literal(\"discount\"),\n      v.literal(\"deduction\"),\n      v.literal(\"backfill_synthetic\"),\n    ),\n    triggeringEvidenceId: v.optional(v.string()),\n    triggeringQuestionId: v.optional(v.string()),\n    triggeringAnswerId: v.optional(v.string()),\n    triggeringContradictionId: v.optional(v.string()),\n    triggeringWorktreeId: v.optional(v.string()),\n    rationale: v.string(),\n    trustedBypassAccessCheck: v.optional(v.boolean()),\n  }),\n});\n\nfunction requireNumber(value: number | undefined, field: string): number {\n  if (value === undefined) {\n    throw new Error(`modulate_confidence requires ${field}`);\n  }\n  return value;\n}\n\nfunction assertProvenance(input: ModulateConfidenceProjectionInput): void {\n  if (!hasProvenance(input)) {\n    throw new Error(\n      \"modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance\",\n    );\n  }\n}\n\nfunction hasProvenance(input: ModulateConfidenceProjectionInput): boolean {\n  return (\n    input.trigger === \"backfill_synthetic\" ||\n    Boolean(input.provenance && Object.values(input.provenance).some(Boolean)) ||\n    Boolean(input.triggeringEvidenceId) ||\n    Boolean(input.triggeringQuestionId) ||\n    Boolean(input.triggeringAnswerId) ||\n    Boolean(input.triggeringContradictionId) ||\n    Boolean(input.triggeringWorktreeId)\n  );\n}\n"]}

package/dist/projections/projection-dsl.d.ts

@@ -0,0 +1,11 @@
+import { z } from 'zod';
+
+interface ProjectionDef<TInput, TConvexArgs> {
+    contractName: string;
+    inputSchema: z.ZodSchema<TInput>;
+    project: (input: TInput) => TConvexArgs;
+    convexArgsValidator: unknown;
+}
+declare function defineProjection<I, C>(def: ProjectionDef<I, C>): ProjectionDef<I, C>;
+
+export { type ProjectionDef, defineProjection };

package/dist/projections/projection-dsl.js

@@ -0,0 +1,8 @@
+// src/projections/projection-dsl.ts
+function defineProjection(def) {
+  return def;
+}
+
+export { defineProjection };
+//# sourceMappingURL=projection-dsl.js.map
+//# sourceMappingURL=projection-dsl.js.map

package/dist/projections/projection-dsl.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/projections/projection-dsl.ts"],"names":[],"mappings":";AASO,SAAS,iBACd,GAAA,EACqB;AACrB,EAAA,OAAO,GAAA;AACT","file":"projection-dsl.js","sourcesContent":["import type { z } from \"zod\";\n\nexport interface ProjectionDef<TInput, TConvexArgs> {\n  contractName: string;\n  inputSchema: z.ZodSchema<TInput>;\n  project: (input: TInput) => TConvexArgs;\n  convexArgsValidator: unknown;\n}\n\nexport function defineProjection<I, C>(\n  def: ProjectionDef<I, C>\n): ProjectionDef<I, C> {\n  return def;\n}\n"]}

package/dist/schemas/enums.d.ts

@@ -5,8 +5,11 @@ import { z } from 'zod';
  */
 
 declare const NODE_TYPE: z.ZodEnum<["decision", "belief", "question", "theme", "deal", "topic", "claim", "evidence", "synthesis", "answer", "atomic_fact", "excerpt", "source", "company", "person", "investor", "function", "value_chain"]>;
-declare const EDGE_TYPE: z.ZodEnum<["supports", "informs", "depends_on", "extracted_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"]>;
+declare const EDGE_TYPE_VALUES: readonly ["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"];
+declare const STORAGE_EDGE_TYPE_VALUES: readonly ["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", "extracted_from"];
+declare const EDGE_TYPE: z.ZodEnum<["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"]>;
+declare const STORAGE_EDGE_TYPE: z.ZodEnum<["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", "extracted_from"]>;
 declare const TOPIC_STATUS: z.ZodEnum<["active", "archived", "watching"]>;
 declare const TOPIC_VISIBILITY: z.ZodEnum<["private", "team", "firm", "external", "public"]>;
 
-export { EDGE_TYPE, NODE_TYPE, TOPIC_STATUS, TOPIC_VISIBILITY };
+export { EDGE_TYPE, EDGE_TYPE_VALUES, NODE_TYPE, STORAGE_EDGE_TYPE, STORAGE_EDGE_TYPE_VALUES, TOPIC_STATUS, TOPIC_VISIBILITY };