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

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

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

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

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

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

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

@@ -1 +0,0 @@
-{"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/proof-attestation.json

@@ -1,45 +0,0 @@
-{
-  "proofIrVersion": "proof-ir/v1",
-  "manifestVersions": {
-    "@lucern/confidence": "0.3.0-alpha.0",
-    "@lucern/contracts": "0.3.0-alpha.0",
-    "edge-policy-manifest": "1.0.0"
-  },
-  "invariantsCovered": [
-    "INV-1: beliefs append-only",
-    "INV-14: no silent state transitions",
-    "MANIFEST-1: kernel projections declare epistemicAudit"
-  ],
-  "invariantResults": [
-    {
-      "invariant": "INV-1: beliefs append-only",
-      "status": "passed",
-      "severity": "block_publish",
-      "evidenceRefs": []
-    },
-    {
-      "invariant": "INV-14: no silent state transitions",
-      "status": "passed",
-      "severity": "block_publish",
-      "evidenceRefs": []
-    },
-    {
-      "invariant": "MANIFEST-1: kernel projections declare epistemicAudit",
-      "status": "passed",
-      "severity": "block_publish",
-      "evidenceRefs": []
-    }
-  ],
-  "contractsCovered": [
-    "create_evidence",
-    "list_beliefs",
-    "list_tasks",
-    "modulate_confidence"
-  ],
-  "emittersUsed": [
-    "typescript-types",
-    "convex-validators",
-    "proof-attestation"
-  ],
-  "signedAt": 1779233363820
-}