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

package/dist/schemas/manifest.d.ts

@@ -285,9 +285,9 @@ declare const KERNEL_TABLE_CONTRACTS: readonly [TableContract<{
     updatedAt: zod.ZodOptional<zod.ZodNumber>;
 }>, TableContract<{
     beliefId: zod.ZodString;
-    belief: zod.ZodOptional<zod.ZodNumber>;
-    disbelief: zod.ZodOptional<zod.ZodNumber>;
-    uncertainty: zod.ZodOptional<zod.ZodNumber>;
+    belief: zod.ZodNumber;
+    disbelief: zod.ZodNumber;
+    uncertainty: zod.ZodNumber;
     baseRate: zod.ZodNumber;
     slOperator: zod.ZodOptional<zod.ZodString>;
     confidence: zod.ZodNumber;
@@ -296,10 +296,12 @@ declare const KERNEL_TABLE_CONTRACTS: readonly [TableContract<{
     certainty: zod.ZodOptional<zod.ZodNumber>;
     assessedAt: zod.ZodNumber;
     assessedBy: zod.ZodString;
-    trigger: zod.ZodEnum<["initial", "evidence_added", "evidence_removed", "contradiction_detected", "contradiction_resolved", "manual", "decay", "propagation", "agent_assessment", "worktree_outcome", "worktree_completed", "fusion", "discount", "deduction", "backfill_synthetic"]>;
+    trigger: zod.ZodEnum<["initial", "evidence_added", "evidence_removed", "contradiction_detected", "contradiction_resolved", "propagation", "agent_assessment", "worktree_outcome", "worktree_completed", "fusion", "discount", "deduction", "backfill_synthetic"]>;
     rationale: zod.ZodOptional<zod.ZodString>;
     triggeringEvidenceId: zod.ZodOptional<zod.ZodString>;
     triggeringEvidenceIds: zod.ZodOptional<zod.ZodArray<zod.ZodString, "many">>;
+    triggeringQuestionId: zod.ZodOptional<zod.ZodString>;
+    triggeringAnswerId: zod.ZodOptional<zod.ZodString>;
     triggeringContradictionId: zod.ZodOptional<ConvexIdSchema<"contradictions">>;
     triggeringWorktreeId: zod.ZodOptional<zod.ZodString>;
     triggeringAgentId: zod.ZodOptional<zod.ZodString>;
@@ -726,6 +728,17 @@ declare const KERNEL_TABLE_CONTRACTS: readonly [TableContract<{
     maxAttempts: zod.ZodNumber;
     createdAt: zod.ZodNumber;
     updatedAt: zod.ZodNumber;
+}>, TableContract<{
+    entityType: zod.ZodEnum<["node", "edge"]>;
+    entityId: zod.ZodString;
+    operation: zod.ZodEnum<["upsert", "delete"]>;
+    attempts: zod.ZodNumber;
+    maxAttempts: zod.ZodNumber;
+    lastAttemptAt: zod.ZodOptional<zod.ZodNumber>;
+    lastError: zod.ZodOptional<zod.ZodString>;
+    status: zod.ZodEnum<["pending", "in_progress", "failed", "succeeded"]>;
+    createdAt: zod.ZodNumber;
+    updatedAt: zod.ZodNumber;
 }>, TableContract<{
     jobKey: zod.ZodString;
     scheduler: zod.ZodString;
@@ -2528,13 +2541,13 @@ declare const KERNEL_TABLE_CONTRACTS: readonly [TableContract<{
     rationale: zod.ZodOptional<zod.ZodString>;
     confidenceImpact: zod.ZodOptional<zod.ZodEnum<["high", "medium", "low"]>>;
     hypothesis: zod.ZodOptional<zod.ZodString>;
-    executionOrder: zod.ZodOptional<zod.ZodNumber>;
     dependsOn: zod.ZodOptional<zod.ZodArray<ConvexIdSchema<"worktrees">, "many">>;
     blocks: zod.ZodOptional<zod.ZodArray<ConvexIdSchema<"worktrees">, "many">>;
     gate: zod.ZodOptional<zod.ZodString>;
-    track: zod.ZodOptional<zod.ZodString>;
-    trackPosition: zod.ZodOptional<zod.ZodNumber>;
-    executionBand: zod.ZodOptional<zod.ZodNumber>;
+    campaign: zod.ZodOptional<zod.ZodNumber>;
+    lane: zod.ZodOptional<zod.ZodString>;
+    laneOrderInCampaign: zod.ZodOptional<zod.ZodNumber>;
+    orderInLane: zod.ZodOptional<zod.ZodNumber>;
     startDate: zod.ZodNumber;
     endDate: zod.ZodNumber;
     durationWeeks: zod.ZodNumber;
@@ -4720,7 +4733,7 @@ declare const MC_TABLE_CONTRACTS: readonly [TableContract<{
     credentialRef: zod.ZodString;
     tenantId: ConvexIdSchema<"tenants">;
     target: zod.ZodEnum<["kernelDeployment", "appDeployment"]>;
-    environment: zod.ZodEnum<["dev", "prod"]>;
+    environment: zod.ZodEnum<["dev", "staging", "prod"]>;
     encryptedDeployKey: zod.ZodString;
     encryptionVersion: zod.ZodString;
     keyFingerprint: zod.ZodString;
@@ -5189,9 +5202,9 @@ declare const TABLE_CONTRACTS_BY_COMPONENT: {
         updatedAt: zod.ZodOptional<zod.ZodNumber>;
     }>, TableContract<{
         beliefId: zod.ZodString;
-        belief: zod.ZodOptional<zod.ZodNumber>;
-        disbelief: zod.ZodOptional<zod.ZodNumber>;
-        uncertainty: zod.ZodOptional<zod.ZodNumber>;
+        belief: zod.ZodNumber;
+        disbelief: zod.ZodNumber;
+        uncertainty: zod.ZodNumber;
         baseRate: zod.ZodNumber;
         slOperator: zod.ZodOptional<zod.ZodString>;
         confidence: zod.ZodNumber;
@@ -5200,10 +5213,12 @@ declare const TABLE_CONTRACTS_BY_COMPONENT: {
         certainty: zod.ZodOptional<zod.ZodNumber>;
         assessedAt: zod.ZodNumber;
         assessedBy: zod.ZodString;
-        trigger: zod.ZodEnum<["initial", "evidence_added", "evidence_removed", "contradiction_detected", "contradiction_resolved", "manual", "decay", "propagation", "agent_assessment", "worktree_outcome", "worktree_completed", "fusion", "discount", "deduction", "backfill_synthetic"]>;
+        trigger: zod.ZodEnum<["initial", "evidence_added", "evidence_removed", "contradiction_detected", "contradiction_resolved", "propagation", "agent_assessment", "worktree_outcome", "worktree_completed", "fusion", "discount", "deduction", "backfill_synthetic"]>;
         rationale: zod.ZodOptional<zod.ZodString>;
         triggeringEvidenceId: zod.ZodOptional<zod.ZodString>;
         triggeringEvidenceIds: zod.ZodOptional<zod.ZodArray<zod.ZodString, "many">>;
+        triggeringQuestionId: zod.ZodOptional<zod.ZodString>;
+        triggeringAnswerId: zod.ZodOptional<zod.ZodString>;
         triggeringContradictionId: zod.ZodOptional<ConvexIdSchema<"contradictions">>;
         triggeringWorktreeId: zod.ZodOptional<zod.ZodString>;
         triggeringAgentId: zod.ZodOptional<zod.ZodString>;
@@ -5630,6 +5645,17 @@ declare const TABLE_CONTRACTS_BY_COMPONENT: {
         maxAttempts: zod.ZodNumber;
         createdAt: zod.ZodNumber;
         updatedAt: zod.ZodNumber;
+    }>, TableContract<{
+        entityType: zod.ZodEnum<["node", "edge"]>;
+        entityId: zod.ZodString;
+        operation: zod.ZodEnum<["upsert", "delete"]>;
+        attempts: zod.ZodNumber;
+        maxAttempts: zod.ZodNumber;
+        lastAttemptAt: zod.ZodOptional<zod.ZodNumber>;
+        lastError: zod.ZodOptional<zod.ZodString>;
+        status: zod.ZodEnum<["pending", "in_progress", "failed", "succeeded"]>;
+        createdAt: zod.ZodNumber;
+        updatedAt: zod.ZodNumber;
     }>, TableContract<{
         jobKey: zod.ZodString;
         scheduler: zod.ZodString;
@@ -7432,13 +7458,13 @@ declare const TABLE_CONTRACTS_BY_COMPONENT: {
         rationale: zod.ZodOptional<zod.ZodString>;
         confidenceImpact: zod.ZodOptional<zod.ZodEnum<["high", "medium", "low"]>>;
         hypothesis: zod.ZodOptional<zod.ZodString>;
-        executionOrder: zod.ZodOptional<zod.ZodNumber>;
         dependsOn: zod.ZodOptional<zod.ZodArray<ConvexIdSchema<"worktrees">, "many">>;
         blocks: zod.ZodOptional<zod.ZodArray<ConvexIdSchema<"worktrees">, "many">>;
         gate: zod.ZodOptional<zod.ZodString>;
-        track: zod.ZodOptional<zod.ZodString>;
-        trackPosition: zod.ZodOptional<zod.ZodNumber>;
-        executionBand: zod.ZodOptional<zod.ZodNumber>;
+        campaign: zod.ZodOptional<zod.ZodNumber>;
+        lane: zod.ZodOptional<zod.ZodString>;
+        laneOrderInCampaign: zod.ZodOptional<zod.ZodNumber>;
+        orderInLane: zod.ZodOptional<zod.ZodNumber>;
         startDate: zod.ZodNumber;
         endDate: zod.ZodNumber;
         durationWeeks: zod.ZodNumber;
@@ -9624,7 +9650,7 @@ declare const TABLE_CONTRACTS_BY_COMPONENT: {
         credentialRef: zod.ZodString;
         tenantId: ConvexIdSchema<"tenants">;
         target: zod.ZodEnum<["kernelDeployment", "appDeployment"]>;
-        environment: zod.ZodEnum<["dev", "prod"]>;
+        environment: zod.ZodEnum<["dev", "staging", "prod"]>;
         encryptedDeployKey: zod.ZodString;
         encryptionVersion: zod.ZodString;
         keyFingerprint: zod.ZodString;
@@ -10094,9 +10120,9 @@ declare const ALL_TABLE_CONTRACTS: readonly [TableContract<{
     updatedAt: zod.ZodOptional<zod.ZodNumber>;
 }>, TableContract<{
     beliefId: zod.ZodString;
-    belief: zod.ZodOptional<zod.ZodNumber>;
-    disbelief: zod.ZodOptional<zod.ZodNumber>;
-    uncertainty: zod.ZodOptional<zod.ZodNumber>;
+    belief: zod.ZodNumber;
+    disbelief: zod.ZodNumber;
+    uncertainty: zod.ZodNumber;
     baseRate: zod.ZodNumber;
     slOperator: zod.ZodOptional<zod.ZodString>;
     confidence: zod.ZodNumber;
@@ -10105,10 +10131,12 @@ declare const ALL_TABLE_CONTRACTS: readonly [TableContract<{
     certainty: zod.ZodOptional<zod.ZodNumber>;
     assessedAt: zod.ZodNumber;
     assessedBy: zod.ZodString;
-    trigger: zod.ZodEnum<["initial", "evidence_added", "evidence_removed", "contradiction_detected", "contradiction_resolved", "manual", "decay", "propagation", "agent_assessment", "worktree_outcome", "worktree_completed", "fusion", "discount", "deduction", "backfill_synthetic"]>;
+    trigger: zod.ZodEnum<["initial", "evidence_added", "evidence_removed", "contradiction_detected", "contradiction_resolved", "propagation", "agent_assessment", "worktree_outcome", "worktree_completed", "fusion", "discount", "deduction", "backfill_synthetic"]>;
     rationale: zod.ZodOptional<zod.ZodString>;
     triggeringEvidenceId: zod.ZodOptional<zod.ZodString>;
     triggeringEvidenceIds: zod.ZodOptional<zod.ZodArray<zod.ZodString, "many">>;
+    triggeringQuestionId: zod.ZodOptional<zod.ZodString>;
+    triggeringAnswerId: zod.ZodOptional<zod.ZodString>;
     triggeringContradictionId: zod.ZodOptional<ConvexIdSchema<"contradictions">>;
     triggeringWorktreeId: zod.ZodOptional<zod.ZodString>;
     triggeringAgentId: zod.ZodOptional<zod.ZodString>;
@@ -10535,6 +10563,17 @@ declare const ALL_TABLE_CONTRACTS: readonly [TableContract<{
     maxAttempts: zod.ZodNumber;
     createdAt: zod.ZodNumber;
     updatedAt: zod.ZodNumber;
+}>, TableContract<{
+    entityType: zod.ZodEnum<["node", "edge"]>;
+    entityId: zod.ZodString;
+    operation: zod.ZodEnum<["upsert", "delete"]>;
+    attempts: zod.ZodNumber;
+    maxAttempts: zod.ZodNumber;
+    lastAttemptAt: zod.ZodOptional<zod.ZodNumber>;
+    lastError: zod.ZodOptional<zod.ZodString>;
+    status: zod.ZodEnum<["pending", "in_progress", "failed", "succeeded"]>;
+    createdAt: zod.ZodNumber;
+    updatedAt: zod.ZodNumber;
 }>, TableContract<{
     jobKey: zod.ZodString;
     scheduler: zod.ZodString;
@@ -12337,13 +12376,13 @@ declare const ALL_TABLE_CONTRACTS: readonly [TableContract<{
     rationale: zod.ZodOptional<zod.ZodString>;
     confidenceImpact: zod.ZodOptional<zod.ZodEnum<["high", "medium", "low"]>>;
     hypothesis: zod.ZodOptional<zod.ZodString>;
-    executionOrder: zod.ZodOptional<zod.ZodNumber>;
     dependsOn: zod.ZodOptional<zod.ZodArray<ConvexIdSchema<"worktrees">, "many">>;
     blocks: zod.ZodOptional<zod.ZodArray<ConvexIdSchema<"worktrees">, "many">>;
     gate: zod.ZodOptional<zod.ZodString>;
-    track: zod.ZodOptional<zod.ZodString>;
-    trackPosition: zod.ZodOptional<zod.ZodNumber>;
-    executionBand: zod.ZodOptional<zod.ZodNumber>;
+    campaign: zod.ZodOptional<zod.ZodNumber>;
+    lane: zod.ZodOptional<zod.ZodString>;
+    laneOrderInCampaign: zod.ZodOptional<zod.ZodNumber>;
+    orderInLane: zod.ZodOptional<zod.ZodNumber>;
     startDate: zod.ZodNumber;
     endDate: zod.ZodNumber;
     durationWeeks: zod.ZodNumber;
@@ -14527,7 +14566,7 @@ declare const ALL_TABLE_CONTRACTS: readonly [TableContract<{
     credentialRef: zod.ZodString;
     tenantId: ConvexIdSchema<"tenants">;
     target: zod.ZodEnum<["kernelDeployment", "appDeployment"]>;
-    environment: zod.ZodEnum<["dev", "prod"]>;
+    environment: zod.ZodEnum<["dev", "staging", "prod"]>;
     encryptedDeployKey: zod.ZodString;
     encryptionVersion: zod.ZodString;
     keyFingerprint: zod.ZodString;
@@ -15132,6 +15171,17 @@ declare function listTableContractsByName(name: string): (TableContract<{
     maxAttempts: zod.ZodNumber;
     createdAt: zod.ZodNumber;
     updatedAt: zod.ZodNumber;
+}> | TableContract<{
+    entityType: zod.ZodEnum<["node", "edge"]>;
+    entityId: zod.ZodString;
+    operation: zod.ZodEnum<["upsert", "delete"]>;
+    attempts: zod.ZodNumber;
+    maxAttempts: zod.ZodNumber;
+    lastAttemptAt: zod.ZodOptional<zod.ZodNumber>;
+    lastError: zod.ZodOptional<zod.ZodString>;
+    status: zod.ZodEnum<["pending", "in_progress", "failed", "succeeded"]>;
+    createdAt: zod.ZodNumber;
+    updatedAt: zod.ZodNumber;
 }> | TableContract<{
     jobKey: zod.ZodString;
     scheduler: zod.ZodString;
@@ -15160,9 +15210,9 @@ declare function listTableContractsByName(name: string): (TableContract<{
     createdAt: zod.ZodNumber;
 }> | TableContract<{
     beliefId: zod.ZodString;
-    belief: zod.ZodOptional<zod.ZodNumber>;
-    disbelief: zod.ZodOptional<zod.ZodNumber>;
-    uncertainty: zod.ZodOptional<zod.ZodNumber>;
+    belief: zod.ZodNumber;
+    disbelief: zod.ZodNumber;
+    uncertainty: zod.ZodNumber;
     baseRate: zod.ZodNumber;
     slOperator: zod.ZodOptional<zod.ZodString>;
     confidence: zod.ZodNumber;
@@ -15171,10 +15221,12 @@ declare function listTableContractsByName(name: string): (TableContract<{
     certainty: zod.ZodOptional<zod.ZodNumber>;
     assessedAt: zod.ZodNumber;
     assessedBy: zod.ZodString;
-    trigger: zod.ZodEnum<["initial", "evidence_added", "evidence_removed", "contradiction_detected", "contradiction_resolved", "manual", "decay", "propagation", "agent_assessment", "worktree_outcome", "worktree_completed", "fusion", "discount", "deduction", "backfill_synthetic"]>;
+    trigger: zod.ZodEnum<["initial", "evidence_added", "evidence_removed", "contradiction_detected", "contradiction_resolved", "propagation", "agent_assessment", "worktree_outcome", "worktree_completed", "fusion", "discount", "deduction", "backfill_synthetic"]>;
     rationale: zod.ZodOptional<zod.ZodString>;
     triggeringEvidenceId: zod.ZodOptional<zod.ZodString>;
     triggeringEvidenceIds: zod.ZodOptional<zod.ZodArray<zod.ZodString, "many">>;
+    triggeringQuestionId: zod.ZodOptional<zod.ZodString>;
+    triggeringAnswerId: zod.ZodOptional<zod.ZodString>;
     triggeringContradictionId: zod.ZodOptional<ConvexIdSchema<"contradictions">>;
     triggeringWorktreeId: zod.ZodOptional<zod.ZodString>;
     triggeringAgentId: zod.ZodOptional<zod.ZodString>;
@@ -15726,7 +15778,7 @@ declare function listTableContractsByName(name: string): (TableContract<{
     credentialRef: zod.ZodString;
     tenantId: ConvexIdSchema<"tenants">;
     target: zod.ZodEnum<["kernelDeployment", "appDeployment"]>;
-    environment: zod.ZodEnum<["dev", "prod"]>;
+    environment: zod.ZodEnum<["dev", "staging", "prod"]>;
     encryptedDeployKey: zod.ZodString;
     encryptionVersion: zod.ZodString;
     keyFingerprint: zod.ZodString;
@@ -18830,13 +18882,13 @@ declare function listTableContractsByName(name: string): (TableContract<{
     rationale: zod.ZodOptional<zod.ZodString>;
     confidenceImpact: zod.ZodOptional<zod.ZodEnum<["high", "medium", "low"]>>;
     hypothesis: zod.ZodOptional<zod.ZodString>;
-    executionOrder: zod.ZodOptional<zod.ZodNumber>;
     dependsOn: zod.ZodOptional<zod.ZodArray<ConvexIdSchema<"worktrees">, "many">>;
     blocks: zod.ZodOptional<zod.ZodArray<ConvexIdSchema<"worktrees">, "many">>;
     gate: zod.ZodOptional<zod.ZodString>;
-    track: zod.ZodOptional<zod.ZodString>;
-    trackPosition: zod.ZodOptional<zod.ZodNumber>;
-    executionBand: zod.ZodOptional<zod.ZodNumber>;
+    campaign: zod.ZodOptional<zod.ZodNumber>;
+    lane: zod.ZodOptional<zod.ZodString>;
+    laneOrderInCampaign: zod.ZodOptional<zod.ZodNumber>;
+    orderInLane: zod.ZodOptional<zod.ZodNumber>;
     startDate: zod.ZodNumber;
     endDate: zod.ZodNumber;
     durationWeeks: zod.ZodNumber;
@@ -20033,6 +20085,17 @@ declare function getTableContract(name: string, component?: string): TableContra
     maxAttempts: zod.ZodNumber;
     createdAt: zod.ZodNumber;
     updatedAt: zod.ZodNumber;
+}> | TableContract<{
+    entityType: zod.ZodEnum<["node", "edge"]>;
+    entityId: zod.ZodString;
+    operation: zod.ZodEnum<["upsert", "delete"]>;
+    attempts: zod.ZodNumber;
+    maxAttempts: zod.ZodNumber;
+    lastAttemptAt: zod.ZodOptional<zod.ZodNumber>;
+    lastError: zod.ZodOptional<zod.ZodString>;
+    status: zod.ZodEnum<["pending", "in_progress", "failed", "succeeded"]>;
+    createdAt: zod.ZodNumber;
+    updatedAt: zod.ZodNumber;
 }> | TableContract<{
     jobKey: zod.ZodString;
     scheduler: zod.ZodString;
@@ -20061,9 +20124,9 @@ declare function getTableContract(name: string, component?: string): TableContra
     createdAt: zod.ZodNumber;
 }> | TableContract<{
     beliefId: zod.ZodString;
-    belief: zod.ZodOptional<zod.ZodNumber>;
-    disbelief: zod.ZodOptional<zod.ZodNumber>;
-    uncertainty: zod.ZodOptional<zod.ZodNumber>;
+    belief: zod.ZodNumber;
+    disbelief: zod.ZodNumber;
+    uncertainty: zod.ZodNumber;
     baseRate: zod.ZodNumber;
     slOperator: zod.ZodOptional<zod.ZodString>;
     confidence: zod.ZodNumber;
@@ -20072,10 +20135,12 @@ declare function getTableContract(name: string, component?: string): TableContra
     certainty: zod.ZodOptional<zod.ZodNumber>;
     assessedAt: zod.ZodNumber;
     assessedBy: zod.ZodString;
-    trigger: zod.ZodEnum<["initial", "evidence_added", "evidence_removed", "contradiction_detected", "contradiction_resolved", "manual", "decay", "propagation", "agent_assessment", "worktree_outcome", "worktree_completed", "fusion", "discount", "deduction", "backfill_synthetic"]>;
+    trigger: zod.ZodEnum<["initial", "evidence_added", "evidence_removed", "contradiction_detected", "contradiction_resolved", "propagation", "agent_assessment", "worktree_outcome", "worktree_completed", "fusion", "discount", "deduction", "backfill_synthetic"]>;
     rationale: zod.ZodOptional<zod.ZodString>;
     triggeringEvidenceId: zod.ZodOptional<zod.ZodString>;
     triggeringEvidenceIds: zod.ZodOptional<zod.ZodArray<zod.ZodString, "many">>;
+    triggeringQuestionId: zod.ZodOptional<zod.ZodString>;
+    triggeringAnswerId: zod.ZodOptional<zod.ZodString>;
     triggeringContradictionId: zod.ZodOptional<ConvexIdSchema<"contradictions">>;
     triggeringWorktreeId: zod.ZodOptional<zod.ZodString>;
     triggeringAgentId: zod.ZodOptional<zod.ZodString>;
@@ -20627,7 +20692,7 @@ declare function getTableContract(name: string, component?: string): TableContra
     credentialRef: zod.ZodString;
     tenantId: ConvexIdSchema<"tenants">;
     target: zod.ZodEnum<["kernelDeployment", "appDeployment"]>;
-    environment: zod.ZodEnum<["dev", "prod"]>;
+    environment: zod.ZodEnum<["dev", "staging", "prod"]>;
     encryptedDeployKey: zod.ZodString;
     encryptionVersion: zod.ZodString;
     keyFingerprint: zod.ZodString;
@@ -23731,13 +23796,13 @@ declare function getTableContract(name: string, component?: string): TableContra
     rationale: zod.ZodOptional<zod.ZodString>;
     confidenceImpact: zod.ZodOptional<zod.ZodEnum<["high", "medium", "low"]>>;
     hypothesis: zod.ZodOptional<zod.ZodString>;
-    executionOrder: zod.ZodOptional<zod.ZodNumber>;
     dependsOn: zod.ZodOptional<zod.ZodArray<ConvexIdSchema<"worktrees">, "many">>;
     blocks: zod.ZodOptional<zod.ZodArray<ConvexIdSchema<"worktrees">, "many">>;
     gate: zod.ZodOptional<zod.ZodString>;
-    track: zod.ZodOptional<zod.ZodString>;
-    trackPosition: zod.ZodOptional<zod.ZodNumber>;
-    executionBand: zod.ZodOptional<zod.ZodNumber>;
+    campaign: zod.ZodOptional<zod.ZodNumber>;
+    lane: zod.ZodOptional<zod.ZodString>;
+    laneOrderInCampaign: zod.ZodOptional<zod.ZodNumber>;
+    orderInLane: zod.ZodOptional<zod.ZodNumber>;
     startDate: zod.ZodNumber;
     endDate: zod.ZodNumber;
     durationWeeks: zod.ZodNumber;

package/dist/schemas/manifest.js

@@ -400,6 +400,28 @@ var autofixJobs = defineTable({
     { kind: "index", name: "by_createdAt", columns: ["createdAt"] }
   ]
 });
+var neo4jSyncQueue = defineTable({
+  name: "neo4jSyncQueue",
+  component: "kernel",
+  category: "infra",
+  shape: z.object({
+    "entityType": z.enum(["node", "edge"]),
+    "entityId": z.string(),
+    "operation": z.enum(["upsert", "delete"]),
+    "attempts": z.number(),
+    "maxAttempts": z.number(),
+    "lastAttemptAt": z.number().optional(),
+    "lastError": z.string().optional(),
+    "status": z.enum(["pending", "in_progress", "failed", "succeeded"]),
+    "createdAt": z.number(),
+    "updatedAt": z.number()
+  }),
+  indices: [
+    { kind: "index", name: "by_status", columns: ["status"] },
+    { kind: "index", name: "by_entity", columns: ["entityType", "entityId"] },
+    { kind: "index", name: "by_status_attempts", columns: ["status", "attempts"] }
+  ]
+});
 var backgroundJobRuns = defineTable({
   name: "backgroundJobRuns",
   component: "kernel",
@@ -469,9 +491,9 @@ var beliefConfidence = defineTable({
   category: "epistemic",
   shape: z.object({
     "beliefId": z.string(),
-    "belief": z.number().optional(),
-    "disbelief": z.number().optional(),
-    "uncertainty": z.number().optional(),
+    "belief": z.number(),
+    "disbelief": z.number(),
+    "uncertainty": z.number(),
     "baseRate": z.number(),
     "slOperator": z.string().optional(),
     "confidence": z.number(),
@@ -480,10 +502,12 @@ var beliefConfidence = defineTable({
     "certainty": z.number().optional(),
     "assessedAt": z.number(),
     "assessedBy": z.string(),
-    "trigger": z.enum(["initial", "evidence_added", "evidence_removed", "contradiction_detected", "contradiction_resolved", "manual", "decay", "propagation", "agent_assessment", "worktree_outcome", "worktree_completed", "fusion", "discount", "deduction", "backfill_synthetic"]),
+    "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(),
@@ -1166,7 +1190,7 @@ var tenantDeploymentCredentials = defineTable({
     "credentialRef": z.string(),
     "tenantId": idOf("tenants"),
     "target": z.enum(["kernelDeployment", "appDeployment"]),
-    "environment": z.enum(["dev", "prod"]),
+    "environment": z.enum(["dev", "staging", "prod"]),
     "encryptedDeployKey": z.string(),
     "encryptionVersion": z.string(),
     "keyFingerprint": z.string(),
@@ -3841,13 +3865,13 @@ var worktrees = defineTable({
     "rationale": z.string().optional(),
     "confidenceImpact": z.enum(["high", "medium", "low"]).optional(),
     "hypothesis": z.string().optional(),
-    "executionOrder": z.number().optional(),
     "dependsOn": z.array(idOf("worktrees")).optional(),
     "blocks": z.array(idOf("worktrees")).optional(),
     "gate": z.string().optional(),
-    "track": z.string().optional(),
-    "trackPosition": z.number().optional(),
-    "executionBand": z.number().optional(),
+    "campaign": z.number().optional(),
+    "lane": z.string().optional(),
+    "laneOrderInCampaign": z.number().optional(),
+    "orderInLane": z.number().optional(),
     "startDate": z.number(),
     "endDate": z.number(),
     "durationWeeks": z.number(),
@@ -4095,6 +4119,8 @@ var worktrees = defineTable({
     { kind: "index", name: "by_topicId_index", columns: ["topicId", "index"] },
     { kind: "index", name: "by_worktreeType", columns: ["topicId", "worktreeType"] },
     { kind: "index", name: "by_topicId_priority", columns: ["topicId", "priority"] },
+    { kind: "index", name: "by_topicId_campaign_lane_order", columns: ["topicId", "campaign", "laneOrderInCampaign", "orderInLane"] },
+    { kind: "index", name: "by_topicId_lane_order", columns: ["topicId", "lane", "orderInLane"] },
     { kind: "index", name: "by_topicId_branch", columns: ["topicId", "targetBranch"] },
     { kind: "index", name: "by_topicId_scope", columns: ["topicId", "worktreeScope"] }
   ]
@@ -4127,6 +4153,7 @@ var KERNEL_TABLE_CONTRACTS = [
   questionEvidenceLinks,
   idempotencyTokens,
   autofixJobs,
+  neo4jSyncQueue,
   backgroundJobRuns,
   backgroundJobSettings,
   systemLogs,