@lucern/contracts 0.1.2-alpha.5 → 0.3.0-alpha.1

package/dist/schemas/tables/kernel/epistemic.d.ts

@@ -0,0 +1,317 @@
+import { z } from 'zod';
+import { T as TableContract } from '../../../defineTable-CBQ03FXl.js';
+import { C as ConvexIdSchema } from '../../../idOf-DR8tkhQS.js';
+
+declare const beliefConfidence: TableContract<{
+    beliefId: z.ZodString;
+    belief: z.ZodNumber;
+    disbelief: z.ZodNumber;
+    uncertainty: z.ZodNumber;
+    baseRate: z.ZodNumber;
+    slOperator: z.ZodOptional<z.ZodString>;
+    confidence: z.ZodNumber;
+    confidenceLevel: z.ZodOptional<z.ZodEnum<["high", "medium", "low"]>>;
+    valence: z.ZodOptional<z.ZodNumber>;
+    certainty: z.ZodOptional<z.ZodNumber>;
+    assessedAt: z.ZodNumber;
+    assessedBy: z.ZodString;
+    trigger: z.ZodEnum<["initial", "evidence_added", "evidence_removed", "contradiction_detected", "contradiction_resolved", "propagation", "agent_assessment", "worktree_outcome", "worktree_completed", "fusion", "discount", "deduction", "backfill_synthetic"]>;
+    rationale: z.ZodOptional<z.ZodString>;
+    triggeringEvidenceId: z.ZodOptional<z.ZodString>;
+    triggeringEvidenceIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    triggeringQuestionId: z.ZodOptional<z.ZodString>;
+    triggeringAnswerId: z.ZodOptional<z.ZodString>;
+    triggeringContradictionId: z.ZodOptional<ConvexIdSchema<"contradictions">>;
+    triggeringWorktreeId: z.ZodOptional<z.ZodString>;
+    triggeringAgentId: z.ZodOptional<z.ZodString>;
+    isAgentAssessment: z.ZodOptional<z.ZodBoolean>;
+}>;
+declare const beliefEvidenceLinks: TableContract<{
+    beliefId: z.ZodString;
+    insightId: z.ZodString;
+    relation: z.ZodEnum<["supports", "contradicts"]>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    rationale: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodEnum<["suggested", "approved", "dismissed"]>>;
+    createdBy: z.ZodString;
+    createdAt: z.ZodNumber;
+}>;
+declare const beliefHistory: TableContract<{
+    beliefId: z.ZodString;
+    timestamp: z.ZodNumber;
+    previousStatus: z.ZodOptional<z.ZodString>;
+    newStatus: z.ZodString;
+    justification: z.ZodOptional<z.ZodString>;
+    triggeredByEvidenceIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    triggeredByUserId: z.ZodOptional<z.ZodString>;
+}>;
+declare const beliefScenarios: TableContract<{
+    topicId: z.ZodOptional<z.ZodString>;
+    testedBeliefId: z.ZodString;
+    scenarioType: z.ZodEnum<["falsification", "strengthening", "alternative", "collapse", "critical_path"]>;
+    assumedState: z.ZodEnum<["false", "true", "weakened", "strengthened"]>;
+    title: z.ZodString;
+    description: z.ZodString;
+    cascadeEffects: z.ZodArray<z.ZodObject<{
+        beliefId: z.ZodString;
+        beliefText: z.ZodString;
+        currentConfidence: z.ZodString;
+        projectedConfidence: z.ZodString;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        beliefId: string;
+        beliefText: string;
+        currentConfidence: string;
+        projectedConfidence: string;
+        reason: string;
+    }, {
+        beliefId: string;
+        beliefText: string;
+        currentConfidence: string;
+        projectedConfidence: string;
+        reason: string;
+    }>, "many">;
+    thesisImpact: z.ZodEnum<["thesis_fails", "thesis_weakens", "pillar_fails", "localized", "minimal"]>;
+    pillarImpacts: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        pillar: z.ZodString;
+        impactLevel: z.ZodString;
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        reason: string;
+        pillar: string;
+        impactLevel: string;
+    }, {
+        reason: string;
+        pillar: string;
+        impactLevel: string;
+    }>, "many">>;
+    keyInsights: z.ZodArray<z.ZodString, "many">;
+    recommendedActions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        action: z.ZodString;
+        priority: z.ZodString;
+        rationale: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        action: string;
+        rationale: string;
+        priority: string;
+    }, {
+        action: string;
+        rationale: string;
+        priority: string;
+    }>, "many">>;
+    sourceWorktreeId: z.ZodOptional<z.ZodString>;
+    sourceChatId: z.ZodOptional<ConvexIdSchema<"chats">>;
+    sourceMessageId: z.ZodOptional<ConvexIdSchema<"messages">>;
+    createdAt: z.ZodNumber;
+    createdBy: z.ZodString;
+}>;
+declare const contractEvaluations: TableContract<{
+    contractId: z.ZodString;
+    beliefNodeId: z.ZodString;
+    result: z.ZodEnum<["confirmed", "disconfirmed", "partial", "expired", "error", "inconclusive"]>;
+    evaluatedAt: z.ZodNumber;
+    evaluator: z.ZodString;
+    trigger: z.ZodString;
+    resultData: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull, z.ZodRecord<z.ZodString, z.ZodAny>, z.ZodArray<z.ZodAny, "many">]>>;
+    modulationApplied: z.ZodBoolean;
+    confidenceDelta: z.ZodOptional<z.ZodNumber>;
+    confidenceBefore: z.ZodOptional<z.ZodNumber>;
+    confidenceAfter: z.ZodOptional<z.ZodNumber>;
+    beliefConfidenceId: z.ZodOptional<ConvexIdSchema<"beliefConfidence">>;
+    modulationRationale: z.ZodOptional<z.ZodString>;
+    topicId: z.ZodOptional<z.ZodString>;
+}>;
+declare const contradictions: TableContract<{
+    topicId: z.ZodOptional<z.ZodString>;
+    beliefId: z.ZodString;
+    supportingInsightIds: z.ZodArray<z.ZodString, "many">;
+    contradictingInsightIds: z.ZodArray<z.ZodString, "many">;
+    resolutionStatus: z.ZodEnum<["unresolved", "investigating", "accepted_as_permanent", "resolved_by_fork", "resolved_by_evidence", "resolved_by_reinterpretation", "superseded"]>;
+    status: z.ZodOptional<z.ZodEnum<["unresolved", "investigating", "resolved_support", "resolved_contra", "belief_forked"]>>;
+    blocksDecisionFinalization: z.ZodOptional<z.ZodBoolean>;
+    blockingReason: z.ZodOptional<z.ZodString>;
+    severity: z.ZodEnum<["critical", "significant", "minor"]>;
+    aiAnalysis: z.ZodOptional<z.ZodObject<{
+        summary: z.ZodString;
+        likelyExplanation: z.ZodString;
+        suggestedResolution: z.ZodString;
+        confidenceInAnalysis: z.ZodNumber;
+        analyzedAt: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        summary: string;
+        likelyExplanation: string;
+        suggestedResolution: string;
+        confidenceInAnalysis: number;
+        analyzedAt: number;
+    }, {
+        summary: string;
+        likelyExplanation: string;
+        suggestedResolution: string;
+        confidenceInAnalysis: number;
+        analyzedAt: number;
+    }>>;
+    resolutionWorktreeId: z.ZodOptional<z.ZodString>;
+    resolution: z.ZodOptional<z.ZodObject<{
+        verdict: z.ZodString;
+        reasoning: z.ZodString;
+        beliefUpdate: z.ZodString;
+        resolvedBy: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        verdict: string;
+        reasoning: string;
+        beliefUpdate: string;
+        resolvedBy: string;
+    }, {
+        verdict: string;
+        reasoning: string;
+        beliefUpdate: string;
+        resolvedBy: string;
+    }>>;
+    resultingBeliefIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    detectionMethod: z.ZodOptional<z.ZodEnum<["semantic", "keyword", "manual", "agent"]>>;
+    similarityScore: z.ZodOptional<z.ZodNumber>;
+    detectedAt: z.ZodNumber;
+    resolvedAt: z.ZodOptional<z.ZodNumber>;
+    lastReviewedAt: z.ZodOptional<z.ZodNumber>;
+    createdBy: z.ZodString;
+}>;
+declare const epistemicAudit: TableContract<{
+    entityType: z.ZodEnum<["belief", "evidence", "question", "answer", "contradiction", "decision", "proposal", "edge", "node", "entity", "source", "belief_conditional", "belief_scenario", "ontologyDefinition", "ontologyVersion"]>;
+    entityId: z.ZodString;
+    changeType: z.ZodEnum<["created", "status_changed", "confidence_changed", "criticality_changed", "formulation_modified", "forked", "superseded", "archived", "resolved", "severity_changed", "edge_added", "edge_removed", "annotated", "blocked", "unblocked", "decision_finalized", "proposal_accepted", "proposal_rejected", "pillar_changed", "updated", "deleted", "entity_merged", "entity_attributes_updated", "entity_archived", "published", "deprecated", "source_created", "source_metadata_updated"]>;
+    changedAt: z.ZodNumber;
+    changedBy: z.ZodString;
+    isAgent: z.ZodBoolean;
+    agentType: z.ZodOptional<z.ZodString>;
+    previousState: z.ZodOptional<z.ZodUnion<[z.ZodRecord<z.ZodString, z.ZodAny>, z.ZodNull]>>;
+    newState: z.ZodOptional<z.ZodUnion<[z.ZodRecord<z.ZodString, z.ZodAny>, z.ZodNull]>>;
+    rationale: z.ZodOptional<z.ZodString>;
+    triggeringAction: z.ZodOptional<z.ZodString>;
+    topicId: z.ZodOptional<z.ZodString>;
+    proposalId: z.ZodOptional<z.ZodString>;
+    mcpSessionId: z.ZodOptional<z.ZodString>;
+    mcpToolName: z.ZodOptional<z.ZodString>;
+    sourceCommit: z.ZodOptional<z.ZodString>;
+}>;
+declare const epistemicContracts: TableContract<{
+    beliefNodeId: z.ZodString;
+    contractId: z.ZodString;
+    title: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    conditionType: z.ZodEnum<["assertion", "temporal", "evidential", "threshold", "composite"]>;
+    direction: z.ZodEnum<["confirms", "falsifies"]>;
+    condition: z.ZodObject<{
+        expression: z.ZodString;
+        evaluator: z.ZodString;
+        evaluatorConfig: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull, z.ZodRecord<z.ZodString, z.ZodAny>, z.ZodArray<z.ZodAny, "many">]>>;
+    }, "strip", z.ZodTypeAny, {
+        evaluator: string;
+        expression: string;
+        evaluatorConfig?: string | number | boolean | any[] | Record<string, any> | null | undefined;
+    }, {
+        evaluator: string;
+        expression: string;
+        evaluatorConfig?: string | number | boolean | any[] | Record<string, any> | null | undefined;
+    }>;
+    deadline: z.ZodOptional<z.ZodNumber>;
+    compositeOf: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    compositeOperator: z.ZodOptional<z.ZodEnum<["all", "any", "majority"]>>;
+    modulation: z.ZodObject<{
+        onConfirmed: z.ZodObject<{
+            delta: z.ZodNumber;
+            ceiling: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            delta: number;
+            ceiling?: number | undefined;
+        }, {
+            delta: number;
+            ceiling?: number | undefined;
+        }>;
+        onDisconfirmed: z.ZodObject<{
+            delta: z.ZodNumber;
+            floor: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            delta: number;
+            floor?: number | undefined;
+        }, {
+            delta: number;
+            floor?: number | undefined;
+        }>;
+        onExpired: z.ZodOptional<z.ZodObject<{
+            delta: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            delta: number;
+        }, {
+            delta: number;
+        }>>;
+        onPartial: z.ZodOptional<z.ZodObject<{
+            threshold: z.ZodNumber;
+            delta: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            delta: number;
+            threshold: number;
+        }, {
+            delta: number;
+            threshold: number;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        onConfirmed: {
+            delta: number;
+            ceiling?: number | undefined;
+        };
+        onDisconfirmed: {
+            delta: number;
+            floor?: number | undefined;
+        };
+        onExpired?: {
+            delta: number;
+        } | undefined;
+        onPartial?: {
+            delta: number;
+            threshold: number;
+        } | undefined;
+    }, {
+        onConfirmed: {
+            delta: number;
+            ceiling?: number | undefined;
+        };
+        onDisconfirmed: {
+            delta: number;
+            floor?: number | undefined;
+        };
+        onExpired?: {
+            delta: number;
+        } | undefined;
+        onPartial?: {
+            delta: number;
+            threshold: number;
+        } | undefined;
+    }>;
+    evaluationSchedule: z.ZodEnum<["on_demand", "on_evidence", "periodic", "event_driven"]>;
+    periodicIntervalMs: z.ZodOptional<z.ZodNumber>;
+    status: z.ZodEnum<["active", "satisfied", "violated", "expired", "suspended", "archived"]>;
+    lineageSource: z.ZodEnum<["declared", "inherited"]>;
+    inheritedFromContractId: z.ZodOptional<z.ZodString>;
+    inheritedFromBeliefNodeId: z.ZodOptional<z.ZodString>;
+    inheritedAt: z.ZodOptional<z.ZodNumber>;
+    lastEvaluatedAt: z.ZodOptional<z.ZodNumber>;
+    evaluationCount: z.ZodOptional<z.ZodNumber>;
+    topicId: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodNumber;
+    createdBy: z.ZodString;
+    updatedAt: z.ZodNumber;
+}>;
+declare const questionEvidenceLinks: TableContract<{
+    questionId: z.ZodString;
+    insightId: z.ZodString;
+    helpsAnswer: z.ZodBoolean;
+    relevance: z.ZodOptional<z.ZodNumber>;
+    rationale: z.ZodOptional<z.ZodString>;
+    impactScore: z.ZodOptional<z.ZodNumber>;
+    impact: z.ZodOptional<z.ZodEnum<["supports", "contradicts", "neutral"]>>;
+    status: z.ZodOptional<z.ZodEnum<["suggested", "approved", "dismissed"]>>;
+    createdBy: z.ZodString;
+    createdAt: z.ZodNumber;
+}>;
+
+export { beliefConfidence, beliefEvidenceLinks, beliefHistory, beliefScenarios, contractEvaluations, contradictions, epistemicAudit, epistemicContracts, questionEvidenceLinks };

package/dist/schemas/tables/kernel/epistemic.js

@@ -0,0 +1,329 @@
+import { z } from 'zod';
+
+// src/schemas/tables/kernel/epistemic.ts
+
+// src/dsl/defineTable.ts
+function defineTable(spec) {
+  return spec;
+}
+var CONVEX_ID_TABLE = /* @__PURE__ */ Symbol.for("lucern.contracts.convexIdTable");
+function idOf(table) {
+  const schema = z.string().brand();
+  Object.defineProperty(schema, CONVEX_ID_TABLE, {
+    configurable: false,
+    enumerable: false,
+    value: table,
+    writable: false
+  });
+  return schema;
+}
+
+// src/schemas/tables/kernel/epistemic.ts
+var beliefConfidence = defineTable({
+  name: "beliefConfidence",
+  component: "kernel",
+  category: "epistemic",
+  shape: z.object({
+    "beliefId": z.string(),
+    "belief": z.number(),
+    "disbelief": z.number(),
+    "uncertainty": z.number(),
+    "baseRate": z.number(),
+    "slOperator": z.string().optional(),
+    "confidence": z.number(),
+    "confidenceLevel": z.enum(["high", "medium", "low"]).optional(),
+    "valence": z.number().optional(),
+    "certainty": z.number().optional(),
+    "assessedAt": z.number(),
+    "assessedBy": z.string(),
+    "trigger": z.enum(["initial", "evidence_added", "evidence_removed", "contradiction_detected", "contradiction_resolved", "propagation", "agent_assessment", "worktree_outcome", "worktree_completed", "fusion", "discount", "deduction", "backfill_synthetic"]),
+    "rationale": z.string().optional(),
+    "triggeringEvidenceId": z.string().optional(),
+    "triggeringEvidenceIds": z.array(z.string()).optional(),
+    "triggeringQuestionId": z.string().optional(),
+    "triggeringAnswerId": z.string().optional(),
+    "triggeringContradictionId": idOf("contradictions").optional(),
+    "triggeringWorktreeId": z.string().optional(),
+    "triggeringAgentId": z.string().optional(),
+    "isAgentAssessment": z.boolean().optional()
+  }),
+  indices: [
+    { kind: "index", name: "by_beliefId", columns: ["beliefId"] },
+    { kind: "index", name: "by_beliefId_time", columns: ["beliefId", "assessedAt"] },
+    { kind: "index", name: "by_trigger", columns: ["trigger"] }
+  ]
+});
+var beliefEvidenceLinks = defineTable({
+  name: "beliefEvidenceLinks",
+  component: "kernel",
+  category: "epistemic",
+  shape: z.object({
+    "beliefId": z.string(),
+    "insightId": z.string(),
+    "relation": z.enum(["supports", "contradicts"]),
+    "confidence": z.number().optional(),
+    "rationale": z.string().optional(),
+    "status": z.enum(["suggested", "approved", "dismissed"]).optional(),
+    "createdBy": z.string(),
+    "createdAt": z.number()
+  }),
+  indices: [
+    { kind: "index", name: "by_beliefId", columns: ["beliefId"] },
+    { kind: "index", name: "by_insightId", columns: ["insightId"] },
+    { kind: "index", name: "by_relation", columns: ["beliefId", "relation"] },
+    { kind: "index", name: "by_status", columns: ["status"] }
+  ]
+});
+var beliefHistory = defineTable({
+  name: "beliefHistory",
+  component: "kernel",
+  category: "epistemic",
+  shape: z.object({
+    "beliefId": z.string(),
+    "timestamp": z.number(),
+    "previousStatus": z.string().optional(),
+    "newStatus": z.string(),
+    "justification": z.string().optional(),
+    "triggeredByEvidenceIds": z.array(z.string()).optional(),
+    "triggeredByUserId": z.string().optional()
+  }),
+  indices: [
+    { kind: "index", name: "by_beliefId", columns: ["beliefId"] }
+  ]
+});
+var beliefScenarios = defineTable({
+  name: "beliefScenarios",
+  component: "kernel",
+  category: "epistemic",
+  shape: z.object({
+    "topicId": z.string().optional(),
+    "testedBeliefId": z.string(),
+    "scenarioType": z.enum(["falsification", "strengthening", "alternative", "collapse", "critical_path"]),
+    "assumedState": z.enum(["false", "true", "weakened", "strengthened"]),
+    "title": z.string(),
+    "description": z.string(),
+    "cascadeEffects": z.array(z.object({
+      "beliefId": z.string(),
+      "beliefText": z.string(),
+      "currentConfidence": z.string(),
+      "projectedConfidence": z.string(),
+      "reason": z.string()
+    })),
+    "thesisImpact": z.enum(["thesis_fails", "thesis_weakens", "pillar_fails", "localized", "minimal"]),
+    "pillarImpacts": z.array(z.object({
+      "pillar": z.string(),
+      "impactLevel": z.string(),
+      "reason": z.string()
+    })).optional(),
+    "keyInsights": z.array(z.string()),
+    "recommendedActions": z.array(z.object({
+      "action": z.string(),
+      "priority": z.string(),
+      "rationale": z.string()
+    })).optional(),
+    "sourceWorktreeId": z.string().optional(),
+    "sourceChatId": idOf("chats").optional(),
+    "sourceMessageId": idOf("messages").optional(),
+    "createdAt": z.number(),
+    "createdBy": z.string()
+  }),
+  indices: [
+    { kind: "index", name: "by_topicId", columns: ["topicId"] },
+    { kind: "index", name: "by_topic_scenarioType", columns: ["topicId", "scenarioType"] },
+    { kind: "index", name: "by_topic_thesisImpact", columns: ["topicId", "thesisImpact"] },
+    { kind: "index", name: "by_testedBelief", columns: ["testedBeliefId"] },
+    { kind: "index", name: "by_sourceWorktreeId", columns: ["sourceWorktreeId"] }
+  ]
+});
+var contractEvaluations = defineTable({
+  name: "contractEvaluations",
+  component: "kernel",
+  category: "epistemic",
+  shape: z.object({
+    "contractId": z.string(),
+    "beliefNodeId": z.string(),
+    "result": z.enum(["confirmed", "disconfirmed", "partial", "expired", "error", "inconclusive"]),
+    "evaluatedAt": z.number(),
+    "evaluator": z.string(),
+    "trigger": z.string(),
+    "resultData": z.union([z.string(), z.number(), z.boolean(), z.null(), z.record(z.any()), z.array(z.any())]).optional(),
+    "modulationApplied": z.boolean(),
+    "confidenceDelta": z.number().optional(),
+    "confidenceBefore": z.number().optional(),
+    "confidenceAfter": z.number().optional(),
+    "beliefConfidenceId": idOf("beliefConfidence").optional(),
+    "modulationRationale": z.string().optional(),
+    "topicId": z.string().optional()
+  }),
+  indices: [
+    { kind: "index", name: "by_contract", columns: ["contractId"] },
+    { kind: "index", name: "by_contract_time", columns: ["contractId", "evaluatedAt"] },
+    { kind: "index", name: "by_belief", columns: ["beliefNodeId"] },
+    { kind: "index", name: "by_result", columns: ["result"] },
+    { kind: "index", name: "by_time", columns: ["evaluatedAt"] },
+    { kind: "index", name: "by_topic_time", columns: ["topicId", "evaluatedAt"] }
+  ]
+});
+var contradictions = defineTable({
+  name: "contradictions",
+  component: "kernel",
+  category: "epistemic",
+  shape: z.object({
+    "topicId": z.string().optional(),
+    "beliefId": z.string(),
+    "supportingInsightIds": z.array(z.string()),
+    "contradictingInsightIds": z.array(z.string()),
+    "resolutionStatus": z.enum(["unresolved", "investigating", "accepted_as_permanent", "resolved_by_fork", "resolved_by_evidence", "resolved_by_reinterpretation", "superseded"]),
+    "status": z.enum(["unresolved", "investigating", "resolved_support", "resolved_contra", "belief_forked"]).optional(),
+    "blocksDecisionFinalization": z.boolean().optional(),
+    "blockingReason": z.string().optional(),
+    "severity": z.enum(["critical", "significant", "minor"]),
+    "aiAnalysis": z.object({
+      "summary": z.string(),
+      "likelyExplanation": z.string(),
+      "suggestedResolution": z.string(),
+      "confidenceInAnalysis": z.number(),
+      "analyzedAt": z.number()
+    }).optional(),
+    "resolutionWorktreeId": z.string().optional(),
+    "resolution": z.object({
+      "verdict": z.string(),
+      "reasoning": z.string(),
+      "beliefUpdate": z.string(),
+      "resolvedBy": z.string()
+    }).optional(),
+    "resultingBeliefIds": z.array(z.string()).optional(),
+    "detectionMethod": z.enum(["semantic", "keyword", "manual", "agent"]).optional(),
+    "similarityScore": z.number().optional(),
+    "detectedAt": z.number(),
+    "resolvedAt": z.number().optional(),
+    "lastReviewedAt": z.number().optional(),
+    "createdBy": z.string()
+  }),
+  indices: [
+    { kind: "index", name: "by_topicId", columns: ["topicId"] },
+    { kind: "index", name: "by_topic_resolutionStatus", columns: ["topicId", "resolutionStatus"] },
+    { kind: "index", name: "by_topic_status", columns: ["topicId", "status"] },
+    { kind: "index", name: "by_topic_severity", columns: ["topicId", "severity"] },
+    { kind: "index", name: "by_topic_blocking", columns: ["topicId", "blocksDecisionFinalization"] },
+    { kind: "index", name: "by_beliefId", columns: ["beliefId"] }
+  ]
+});
+var epistemicAudit = defineTable({
+  name: "epistemicAudit",
+  component: "kernel",
+  category: "epistemic",
+  shape: z.object({
+    "entityType": z.enum(["belief", "evidence", "question", "answer", "contradiction", "decision", "proposal", "edge", "node", "entity", "source", "belief_conditional", "belief_scenario", "ontologyDefinition", "ontologyVersion"]),
+    "entityId": z.string(),
+    "changeType": z.enum(["created", "status_changed", "confidence_changed", "criticality_changed", "formulation_modified", "forked", "superseded", "archived", "resolved", "severity_changed", "edge_added", "edge_removed", "annotated", "blocked", "unblocked", "decision_finalized", "proposal_accepted", "proposal_rejected", "pillar_changed", "updated", "deleted", "entity_merged", "entity_attributes_updated", "entity_archived", "published", "deprecated", "source_created", "source_metadata_updated"]),
+    "changedAt": z.number(),
+    "changedBy": z.string(),
+    "isAgent": z.boolean(),
+    "agentType": z.string().optional(),
+    "previousState": z.union([z.record(z.any()), z.null()]).optional(),
+    "newState": z.union([z.record(z.any()), z.null()]).optional(),
+    "rationale": z.string().optional(),
+    "triggeringAction": z.string().optional(),
+    "topicId": z.string().optional(),
+    "proposalId": z.string().optional(),
+    "mcpSessionId": z.string().optional(),
+    "mcpToolName": z.string().optional(),
+    "sourceCommit": z.string().optional()
+  }),
+  indices: [
+    { kind: "index", name: "by_entityId", columns: ["entityId"] },
+    { kind: "index", name: "by_entityType", columns: ["entityType"] },
+    { kind: "index", name: "by_entityType_id", columns: ["entityType", "entityId"] },
+    { kind: "index", name: "by_changedAt", columns: ["changedAt"] },
+    { kind: "index", name: "by_changedBy", columns: ["changedBy"] },
+    { kind: "index", name: "by_topicId", columns: ["topicId"] },
+    { kind: "index", name: "by_changeType", columns: ["changeType"] },
+    { kind: "index", name: "by_mcpSessionId", columns: ["mcpSessionId"] }
+  ]
+});
+var epistemicContracts = defineTable({
+  name: "epistemicContracts",
+  component: "kernel",
+  category: "epistemic",
+  shape: z.object({
+    "beliefNodeId": z.string(),
+    "contractId": z.string(),
+    "title": z.string(),
+    "description": z.string().optional(),
+    "conditionType": z.enum(["assertion", "temporal", "evidential", "threshold", "composite"]),
+    "direction": z.enum(["confirms", "falsifies"]),
+    "condition": z.object({
+      "expression": z.string(),
+      "evaluator": z.string(),
+      "evaluatorConfig": z.union([z.string(), z.number(), z.boolean(), z.null(), z.record(z.any()), z.array(z.any())]).optional()
+    }),
+    "deadline": z.number().optional(),
+    "compositeOf": z.array(z.string()).optional(),
+    "compositeOperator": z.enum(["all", "any", "majority"]).optional(),
+    "modulation": z.object({
+      "onConfirmed": z.object({
+        "delta": z.number(),
+        "ceiling": z.number().optional()
+      }),
+      "onDisconfirmed": z.object({
+        "delta": z.number(),
+        "floor": z.number().optional()
+      }),
+      "onExpired": z.object({
+        "delta": z.number()
+      }).optional(),
+      "onPartial": z.object({
+        "threshold": z.number(),
+        "delta": z.number()
+      }).optional()
+    }),
+    "evaluationSchedule": z.enum(["on_demand", "on_evidence", "periodic", "event_driven"]),
+    "periodicIntervalMs": z.number().optional(),
+    "status": z.enum(["active", "satisfied", "violated", "expired", "suspended", "archived"]),
+    "lineageSource": z.enum(["declared", "inherited"]),
+    "inheritedFromContractId": z.string().optional(),
+    "inheritedFromBeliefNodeId": z.string().optional(),
+    "inheritedAt": z.number().optional(),
+    "lastEvaluatedAt": z.number().optional(),
+    "evaluationCount": z.number().optional(),
+    "topicId": z.string().optional(),
+    "createdAt": z.number(),
+    "createdBy": z.string(),
+    "updatedAt": z.number()
+  }),
+  indices: [
+    { kind: "index", name: "by_contractId", columns: ["contractId"] },
+    { kind: "index", name: "by_belief", columns: ["beliefNodeId"] },
+    { kind: "index", name: "by_status", columns: ["status"] },
+    { kind: "index", name: "by_evaluator", columns: ["condition.evaluator"] },
+    { kind: "index", name: "by_topic", columns: ["topicId"] },
+    { kind: "index", name: "by_schedule", columns: ["evaluationSchedule"] }
+  ]
+});
+var questionEvidenceLinks = defineTable({
+  name: "questionEvidenceLinks",
+  component: "kernel",
+  category: "epistemic",
+  shape: z.object({
+    "questionId": z.string(),
+    "insightId": z.string(),
+    "helpsAnswer": z.boolean(),
+    "relevance": z.number().optional(),
+    "rationale": z.string().optional(),
+    "impactScore": z.number().optional(),
+    "impact": z.enum(["supports", "contradicts", "neutral"]).optional(),
+    "status": z.enum(["suggested", "approved", "dismissed"]).optional(),
+    "createdBy": z.string(),
+    "createdAt": z.number()
+  }),
+  indices: [
+    { kind: "index", name: "by_questionId", columns: ["questionId"] },
+    { kind: "index", name: "by_insightId", columns: ["insightId"] },
+    { kind: "index", name: "by_status", columns: ["status"] }
+  ]
+});
+
+export { beliefConfidence, beliefEvidenceLinks, beliefHistory, beliefScenarios, contractEvaluations, contradictions, epistemicAudit, epistemicContracts, questionEvidenceLinks };
+//# sourceMappingURL=epistemic.js.map
+//# sourceMappingURL=epistemic.js.map