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

package/dist/schema-helpers/validators.d.ts

@@ -1,6 +1,6 @@
 import * as convex_values from 'convex/values';
 
-declare const permissiveReturn: convex_values.VAny<any, "optional", string>;
+declare const permissiveReturn: convex_values.VAny<any, "required", string>;
 declare const looseJsonObject: convex_values.VRecord<Record<string, any>, convex_values.VString<string, "required">, convex_values.VAny<any, "required", string>, "required", string>;
 declare const looseJsonArray: convex_values.VArray<any[], convex_values.VAny<any, "required", string>, "required">;
 declare const looseJsonValue: convex_values.VUnion<string | number | boolean | any[] | Record<string, any> | null, [convex_values.VString<string, "required">, convex_values.VFloat64<number, "required">, convex_values.VBoolean<boolean, "required">, convex_values.VNull<null, "required">, convex_values.VRecord<Record<string, any>, convex_values.VString<string, "required">, convex_values.VAny<any, "required", string>, "required", string>, convex_values.VArray<any[], convex_values.VAny<any, "required", string>, "required">], "required", string>;

package/dist/schema-helpers/validators.js

@@ -1,7 +1,7 @@
 import { v } from 'convex/values';
 
 // src/schema-helpers/validators.ts
-var permissiveReturn = v.optional(v.any());
+var permissiveReturn = v.any();
 var looseJsonObject = v.record(v.string(), v.any());
 var looseJsonArray = v.array(v.any());
 var looseJsonValue = v.union(

package/dist/schema-helpers/validators.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/schema-helpers/validators.ts"],"names":[],"mappings":";;;AAEO,IAAM,gBAAA,GAAmB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,KAAK;AAC3C,IAAM,eAAA,GAAkB,EAAE,MAAA,CAAO,CAAA,CAAE,QAAO,EAAG,CAAA,CAAE,KAAK;AACpD,IAAM,cAAA,GAAiB,CAAA,CAAE,KAAA,CAAM,CAAA,CAAE,KAAK;AACtC,IAAM,iBAAiB,CAAA,CAAE,KAAA;AAAA,EAC9B,EAAE,MAAA,EAAO;AAAA,EACT,EAAE,MAAA,EAAO;AAAA,EACT,EAAE,OAAA,EAAQ;AAAA,EACV,EAAE,IAAA,EAAK;AAAA,EACP,eAAA;AAAA,EACA;AACF","file":"validators.js","sourcesContent":["import { v } from \"convex/values\";\n\nexport const permissiveReturn = v.optional(v.any());\nexport const looseJsonObject = v.record(v.string(), v.any());\nexport const looseJsonArray = v.array(v.any());\nexport const looseJsonValue = v.union(\n  v.string(),\n  v.number(),\n  v.boolean(),\n  v.null(),\n  looseJsonObject,\n  looseJsonArray\n);\n"]}
+{"version":3,"sources":["../../src/schema-helpers/validators.ts"],"names":[],"mappings":";;;AAEO,IAAM,gBAAA,GAAmB,EAAE,GAAA;AAC3B,IAAM,eAAA,GAAkB,EAAE,MAAA,CAAO,CAAA,CAAE,QAAO,EAAG,CAAA,CAAE,KAAK;AACpD,IAAM,cAAA,GAAiB,CAAA,CAAE,KAAA,CAAM,CAAA,CAAE,KAAK;AACtC,IAAM,iBAAiB,CAAA,CAAE,KAAA;AAAA,EAC9B,EAAE,MAAA,EAAO;AAAA,EACT,EAAE,MAAA,EAAO;AAAA,EACT,EAAE,OAAA,EAAQ;AAAA,EACV,EAAE,IAAA,EAAK;AAAA,EACP,eAAA;AAAA,EACA;AACF","file":"validators.js","sourcesContent":["import { v } from \"convex/values\";\n\nexport const permissiveReturn = v.any();\nexport const looseJsonObject = v.record(v.string(), v.any());\nexport const looseJsonArray = v.array(v.any());\nexport const looseJsonValue = v.union(\n  v.string(),\n  v.number(),\n  v.boolean(),\n  v.null(),\n  looseJsonObject,\n  looseJsonArray\n);\n"]}

package/dist/schemas/component-table-manifest.d.ts

@@ -0,0 +1,74 @@
+import { z } from 'zod';
+
+declare const ComponentTableManifestSchema: z.ZodObject<{
+    manifestVersion: z.ZodString;
+    componentName: z.ZodEnum<["kernel", "identity"]>;
+    tier: z.ZodEnum<["K", "I"]>;
+    packageVersion: z.ZodString;
+    tables: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        fields: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            type: z.ZodString;
+            optional: z.ZodBoolean;
+            validator: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            type: string;
+            name: string;
+            optional: boolean;
+            validator?: string | undefined;
+        }, {
+            type: string;
+            name: string;
+            optional: boolean;
+            validator?: string | undefined;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        name: string;
+        fields: {
+            type: string;
+            name: string;
+            optional: boolean;
+            validator?: string | undefined;
+        }[];
+    }, {
+        name: string;
+        fields: {
+            type: string;
+            name: string;
+            optional: boolean;
+            validator?: string | undefined;
+        }[];
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    tier: "K" | "I";
+    manifestVersion: string;
+    componentName: "kernel" | "identity";
+    packageVersion: string;
+    tables: {
+        name: string;
+        fields: {
+            type: string;
+            name: string;
+            optional: boolean;
+            validator?: string | undefined;
+        }[];
+    }[];
+}, {
+    tier: "K" | "I";
+    manifestVersion: string;
+    componentName: "kernel" | "identity";
+    packageVersion: string;
+    tables: {
+        name: string;
+        fields: {
+            type: string;
+            name: string;
+            optional: boolean;
+            validator?: string | undefined;
+        }[];
+    }[];
+}>;
+type ComponentTableManifest = z.infer<typeof ComponentTableManifestSchema>;
+
+export { type ComponentTableManifest, ComponentTableManifestSchema };

package/dist/schemas/component-table-manifest.js

@@ -0,0 +1,26 @@
+import { z } from 'zod';
+
+// src/schemas/component-table-manifest.ts
+var ComponentTableManifestSchema = z.object({
+  manifestVersion: z.string(),
+  componentName: z.enum(["kernel", "identity"]),
+  tier: z.enum(["K", "I"]),
+  packageVersion: z.string(),
+  tables: z.array(
+    z.object({
+      name: z.string(),
+      fields: z.array(
+        z.object({
+          name: z.string(),
+          type: z.string(),
+          optional: z.boolean(),
+          validator: z.string().optional()
+        })
+      )
+    })
+  )
+});
+
+export { ComponentTableManifestSchema };
+//# sourceMappingURL=component-table-manifest.js.map
+//# sourceMappingURL=component-table-manifest.js.map

package/dist/schemas/component-table-manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/schemas/component-table-manifest.ts"],"names":[],"mappings":";;;AAEO,IAAM,4BAAA,GAA+B,EAAE,MAAA,CAAO;AAAA,EACnD,eAAA,EAAiB,EAAE,MAAA,EAAO;AAAA,EAC1B,eAAe,CAAA,CAAE,IAAA,CAAK,CAAC,QAAA,EAAU,UAAU,CAAC,CAAA;AAAA,EAC5C,MAAM,CAAA,CAAE,IAAA,CAAK,CAAC,GAAA,EAAK,GAAG,CAAC,CAAA;AAAA,EACvB,cAAA,EAAgB,EAAE,MAAA,EAAO;AAAA,EACzB,QAAQ,CAAA,CAAE,KAAA;AAAA,IACR,EAAE,MAAA,CAAO;AAAA,MACP,IAAA,EAAM,EAAE,MAAA,EAAO;AAAA,MACf,QAAQ,CAAA,CAAE,KAAA;AAAA,QACR,EAAE,MAAA,CAAO;AAAA,UACP,IAAA,EAAM,EAAE,MAAA,EAAO;AAAA,UACf,IAAA,EAAM,EAAE,MAAA,EAAO;AAAA,UACf,QAAA,EAAU,EAAE,OAAA,EAAQ;AAAA,UACpB,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA;AAAS,SAChC;AAAA;AACH,KACD;AAAA;AAEL,CAAC","file":"component-table-manifest.js","sourcesContent":["import { z } from \"zod\";\n\nexport const ComponentTableManifestSchema = z.object({\n  manifestVersion: z.string(),\n  componentName: z.enum([\"kernel\", \"identity\"]),\n  tier: z.enum([\"K\", \"I\"]),\n  packageVersion: z.string(),\n  tables: z.array(\n    z.object({\n      name: z.string(),\n      fields: z.array(\n        z.object({\n          name: z.string(),\n          type: z.string(),\n          optional: z.boolean(),\n          validator: z.string().optional(),\n        })\n      ),\n    })\n  ),\n});\n\nexport type ComponentTableManifest = z.infer<\n  typeof ComponentTableManifestSchema\n>;\n"]}

package/dist/schemas/index.d.ts

@@ -1,5 +1,7 @@
 export { EDGE_TYPE, NODE_TYPE, TOPIC_STATUS, TOPIC_VISIBILITY } from './enums.js';
 export { ALL_TABLE_CONTRACTS, IDENTITY_TABLE_CONTRACTS, KERNEL_TABLE_CONTRACTS, MC_TABLE_CONTRACTS, TABLE_CONTRACTS_BY_COMPONENT, getTableContract, listTableContractsByName } from './manifest.js';
+export { ComponentTableManifest, ComponentTableManifestSchema } from './component-table-manifest.js';
+export { SLOpinionInput, SLOpinionInputSchema } from './sl-opinion.js';
 import 'zod';
 import '../defineTable-CBQ03FXl.js';
 import '../idOf-DR8tkhQS.js';

package/dist/schemas/index.js

@@ -404,6 +404,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",
@@ -473,9 +495,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(),
@@ -484,10 +506,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(),
@@ -1170,7 +1194,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(),
@@ -3839,13 +3863,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(),
@@ -4093,6 +4117,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"] }
   ]
@@ -4125,6 +4151,7 @@ var KERNEL_TABLE_CONTRACTS = [
   questionEvidenceLinks,
   idempotencyTokens,
   autofixJobs,
+  neo4jSyncQueue,
   backgroundJobRuns,
   backgroundJobSettings,
   systemLogs,
@@ -4234,7 +4261,38 @@ function getTableContract(name, component) {
     (contract) => contract.name === name && (component ? contract.component === component : true)
   );
 }
+var ComponentTableManifestSchema = z.object({
+  manifestVersion: z.string(),
+  componentName: z.enum(["kernel", "identity"]),
+  tier: z.enum(["K", "I"]),
+  packageVersion: z.string(),
+  tables: z.array(
+    z.object({
+      name: z.string(),
+      fields: z.array(
+        z.object({
+          name: z.string(),
+          type: z.string(),
+          optional: z.boolean(),
+          validator: z.string().optional()
+        })
+      )
+    })
+  )
+});
+var SL_EPSILON = 1e-9;
+var SLOpinionInputSchema = z.object({
+  belief: z.number(),
+  disbelief: z.number(),
+  uncertainty: z.number(),
+  baseRate: z.number()
+}).refine(
+  (o) => Math.abs(o.belief + o.disbelief + o.uncertainty - 1) < SL_EPSILON,
+  {
+    message: "SL invariant b+d+u=1 violated at API boundary"
+  }
+);
 
-export { ALL_TABLE_CONTRACTS, EDGE_TYPE, IDENTITY_TABLE_CONTRACTS, KERNEL_TABLE_CONTRACTS, MC_TABLE_CONTRACTS, NODE_TYPE, TABLE_CONTRACTS_BY_COMPONENT, TOPIC_STATUS, TOPIC_VISIBILITY, getTableContract, listTableContractsByName };
+export { ALL_TABLE_CONTRACTS, ComponentTableManifestSchema, EDGE_TYPE, IDENTITY_TABLE_CONTRACTS, KERNEL_TABLE_CONTRACTS, MC_TABLE_CONTRACTS, NODE_TYPE, SLOpinionInputSchema, TABLE_CONTRACTS_BY_COMPONENT, TOPIC_STATUS, TOPIC_VISIBILITY, getTableContract, listTableContractsByName };
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map