@lucern/contracts 0.3.0-alpha.10 → 0.3.0-alpha.11

package/dist/proof-attestation.json

@@ -0,0 +1,45 @@
+{
+  "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": 1778363337248
+}

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

@@ -2,8 +2,8 @@ import { z } from 'zod';
 
 declare const ComponentTableManifestSchema: z.ZodObject<{
     manifestVersion: z.ZodString;
-    componentName: z.ZodEnum<["kernel", "identity"]>;
-    tier: z.ZodEnum<["K", "I"]>;
+    componentName: z.ZodEnum<["kernel", "control-plane"]>;
+    tier: z.ZodEnum<["K", "CP"]>;
     packageVersion: z.ZodString;
     tables: z.ZodArray<z.ZodObject<{
         name: z.ZodString;
@@ -41,9 +41,9 @@ declare const ComponentTableManifestSchema: z.ZodObject<{
         }[];
     }>, "many">;
 }, "strip", z.ZodTypeAny, {
-    tier: "I" | "K";
+    tier: "K" | "CP";
     manifestVersion: string;
-    componentName: "kernel" | "identity";
+    componentName: "kernel" | "control-plane";
     packageVersion: string;
     tables: {
         name: string;
@@ -55,9 +55,9 @@ declare const ComponentTableManifestSchema: z.ZodObject<{
         }[];
     }[];
 }, {
-    tier: "I" | "K";
+    tier: "K" | "CP";
     manifestVersion: string;
-    componentName: "kernel" | "identity";
+    componentName: "kernel" | "control-plane";
     packageVersion: string;
     tables: {
         name: string;

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

@@ -3,8 +3,8 @@ 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"]),
+  componentName: z.enum(["kernel", "control-plane"]),
+  tier: z.enum(["K", "CP"]),
   packageVersion: z.string(),
   tables: z.array(
     z.object({

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

@@ -1 +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"]}
+{"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,eAAe,CAAC,CAAA;AAAA,EACjD,MAAM,CAAA,CAAE,IAAA,CAAK,CAAC,GAAA,EAAK,IAAI,CAAC,CAAA;AAAA,EACxB,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\", \"control-plane\"]),\n  tier: z.enum([\"K\", \"CP\"]),\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,7 +1,7 @@
 export { EDGE_TYPE, EDGE_TYPE_VALUES, NODE_TYPE, STORAGE_EDGE_TYPE, STORAGE_EDGE_TYPE_VALUES, 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 { ALL_TABLE_CONTRACTS, CONTROL_PLANE_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 '../defineTable-t1wr5wgn.js';
 import '../idOf-DR8tkhQS.js';