@qmilab/lodestar-core 0.1.0

package/dist/schemas/revision.d.ts

@@ -0,0 +1,120 @@
+import { z } from "zod";
+/**
+ * Update to a claim, belief, or decision when evidence shifts.
+ *
+ * Revisions are the eighth (and cyclic) link in the epistemic chain.
+ * They make beliefs defeasible: when new observations contradict an
+ * adopted belief, a Revision event records the change and points to
+ * the Explanation that justifies it.
+ */
+export declare const RevisionSchema: z.ZodObject<{
+    id: z.ZodString;
+    target_type: z.ZodEnum<["claim", "belief", "decision"]>;
+    target_id: z.ZodString;
+    changes: z.ZodArray<z.ZodObject<{
+        field: z.ZodString;
+        old_value: z.ZodUnknown;
+        new_value: z.ZodUnknown;
+    }, "strip", z.ZodTypeAny, {
+        field: string;
+        old_value?: unknown;
+        new_value?: unknown;
+    }, {
+        field: string;
+        old_value?: unknown;
+        new_value?: unknown;
+    }>, "many">;
+    triggered_by: z.ZodString;
+    rationale_id: z.ZodString;
+    at: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    at: string;
+    id: string;
+    rationale_id: string;
+    target_type: "belief" | "claim" | "decision";
+    target_id: string;
+    changes: {
+        field: string;
+        old_value?: unknown;
+        new_value?: unknown;
+    }[];
+    triggered_by: string;
+}, {
+    at: string;
+    id: string;
+    rationale_id: string;
+    target_type: "belief" | "claim" | "decision";
+    target_id: string;
+    changes: {
+        field: string;
+        old_value?: unknown;
+        new_value?: unknown;
+    }[];
+    triggered_by: string;
+}>;
+export type Revision = z.infer<typeof RevisionSchema>;
+/**
+ * Subject types an Explanation can address.
+ *
+ * Every governance event in the system produces an Explanation.
+ * This is what makes the system auditable in a way that traces alone
+ * cannot match: traces show what happened, explanations show why.
+ */
+export declare const ExplanationSubjectSchema: z.ZodEnum<["action_approval", "action_rejection", "memory_promotion", "memory_quarantine", "confidence_downweight", "decision_rationale", "claim_acceptance", "claim_rejection", "belief_revision"]>;
+export type ExplanationSubject = z.infer<typeof ExplanationSubjectSchema>;
+/**
+ * Audience an Explanation is generated for. Affects redaction:
+ * an Explanation targeting `human` redacts content above the
+ * recipient's sensitivity clearance.
+ */
+export declare const ExplanationAudienceSchema: z.ZodEnum<["human", "agent", "audit", "research"]>;
+export type ExplanationAudience = z.infer<typeof ExplanationAudienceSchema>;
+/**
+ * Structured rationale for any governance event.
+ *
+ * An Explanation must reference its inputs (claims_used, evidence_used)
+ * so that a replay can verify the rationale was grounded in real data
+ * rather than post-hoc fabrication.
+ */
+export declare const ExplanationSchema: z.ZodObject<{
+    id: z.ZodString;
+    subject_type: z.ZodEnum<["action_approval", "action_rejection", "memory_promotion", "memory_quarantine", "confidence_downweight", "decision_rationale", "claim_acceptance", "claim_rejection", "belief_revision"]>;
+    subject_id: z.ZodString;
+    audience: z.ZodEnum<["human", "agent", "audit", "research"]>;
+    summary: z.ZodString;
+    full_text: z.ZodString;
+    claims_used: z.ZodArray<z.ZodString, "many">;
+    evidence_used: z.ZodArray<z.ZodString, "many">;
+    uncertainties: z.ZodArray<z.ZodString, "many">;
+    counterarguments: z.ZodArray<z.ZodString, "many">;
+    generated_by: z.ZodString;
+    at: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    at: string;
+    id: string;
+    subject_type: "action_approval" | "action_rejection" | "memory_promotion" | "memory_quarantine" | "confidence_downweight" | "decision_rationale" | "claim_acceptance" | "claim_rejection" | "belief_revision";
+    subject_id: string;
+    audience: "human" | "agent" | "audit" | "research";
+    summary: string;
+    full_text: string;
+    claims_used: string[];
+    evidence_used: string[];
+    uncertainties: string[];
+    counterarguments: string[];
+    generated_by: string;
+}, {
+    at: string;
+    id: string;
+    subject_type: "action_approval" | "action_rejection" | "memory_promotion" | "memory_quarantine" | "confidence_downweight" | "decision_rationale" | "claim_acceptance" | "claim_rejection" | "belief_revision";
+    subject_id: string;
+    audience: "human" | "agent" | "audit" | "research";
+    summary: string;
+    full_text: string;
+    claims_used: string[];
+    evidence_used: string[];
+    uncertainties: string[];
+    counterarguments: string[];
+    generated_by: string;
+}>;
+export type Explanation = z.infer<typeof ExplanationSchema>;
+//# sourceMappingURL=revision.d.ts.map

package/dist/schemas/revision.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"revision.d.ts","sourceRoot":"","sources":["../../src/schemas/revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAGvB;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYzB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAA;AAMrD;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB,sMAUnC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,oDAAkD,CAAA;AACxF,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAa5B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAA"}

package/dist/schemas/revision.js

@@ -0,0 +1,72 @@
+import { z } from "zod";
+import { TimestampSchema } from "./common";
+/**
+ * Update to a claim, belief, or decision when evidence shifts.
+ *
+ * Revisions are the eighth (and cyclic) link in the epistemic chain.
+ * They make beliefs defeasible: when new observations contradict an
+ * adopted belief, a Revision event records the change and points to
+ * the Explanation that justifies it.
+ */
+export const RevisionSchema = z.object({
+    id: z.string(),
+    target_type: z.enum(["claim", "belief", "decision"]),
+    target_id: z.string(),
+    changes: z.array(z.object({
+        field: z.string(),
+        old_value: z.unknown(),
+        new_value: z.unknown(),
+    })),
+    triggered_by: z.string().describe("actor_id or event_id"),
+    rationale_id: z.string().describe("Explanation id"),
+    at: TimestampSchema,
+});
+// -----------------------------------------------------------------------------
+// Explanation
+// -----------------------------------------------------------------------------
+/**
+ * Subject types an Explanation can address.
+ *
+ * Every governance event in the system produces an Explanation.
+ * This is what makes the system auditable in a way that traces alone
+ * cannot match: traces show what happened, explanations show why.
+ */
+export const ExplanationSubjectSchema = z.enum([
+    "action_approval",
+    "action_rejection",
+    "memory_promotion",
+    "memory_quarantine",
+    "confidence_downweight",
+    "decision_rationale",
+    "claim_acceptance",
+    "claim_rejection",
+    "belief_revision",
+]);
+/**
+ * Audience an Explanation is generated for. Affects redaction:
+ * an Explanation targeting `human` redacts content above the
+ * recipient's sensitivity clearance.
+ */
+export const ExplanationAudienceSchema = z.enum(["human", "agent", "audit", "research"]);
+/**
+ * Structured rationale for any governance event.
+ *
+ * An Explanation must reference its inputs (claims_used, evidence_used)
+ * so that a replay can verify the rationale was grounded in real data
+ * rather than post-hoc fabrication.
+ */
+export const ExplanationSchema = z.object({
+    id: z.string(),
+    subject_type: ExplanationSubjectSchema,
+    subject_id: z.string(),
+    audience: ExplanationAudienceSchema,
+    summary: z.string().describe("one-sentence summary"),
+    full_text: z.string().describe("multi-paragraph rationale"),
+    claims_used: z.array(z.string()).describe("claim_ids referenced"),
+    evidence_used: z.array(z.string()).describe("evidence_set_ids referenced"),
+    uncertainties: z.array(z.string()).describe("known unknowns acknowledged"),
+    counterarguments: z.array(z.string()).describe("opposing considerations"),
+    generated_by: z.string().describe("actor_id"),
+    at: TimestampSchema,
+});
+//# sourceMappingURL=revision.js.map

package/dist/schemas/revision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"revision.js","sourceRoot":"","sources":["../../src/schemas/revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAA;AAE1C;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACpD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QACxB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;QACjB,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;QACtB,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;KACvB,CAAC,CAAC;IACH,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACzD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC;IACnD,EAAE,EAAE,eAAe;CACpB,CAAC,CAAA;AAGF,gFAAgF;AAChF,cAAc;AACd,gFAAgF;AAEhF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC7C,iBAAiB;IACjB,kBAAkB;IAClB,kBAAkB;IAClB,mBAAmB;IACnB,uBAAuB;IACvB,oBAAoB;IACpB,kBAAkB;IAClB,iBAAiB;IACjB,iBAAiB;CAClB,CAAC,CAAA;AAGF;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAA;AAGxF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,YAAY,EAAE,wBAAwB;IACtC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,yBAAyB;IACnC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACpD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IAC3D,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACjE,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IAC1E,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IAC1E,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,yBAAyB,CAAC;IACzE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC;IAC7C,EAAE,EAAE,eAAe;CACpB,CAAC,CAAA"}

package/package.json

@@ -0,0 +1,54 @@
+{
+  "name": "@qmilab/lodestar-core",
+  "version": "0.1.0",
+  "description": "Schemas and types for the Lodestar epistemic chain. Part of Lodestar, the trust layer for AI agents.",
+  "license": "Apache-2.0",
+  "author": "QMI Lab <hello@qmilab.com>",
+  "homepage": "https://qmilab.com/lodestar",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/qmilab/lodestar.git",
+    "directory": "packages/core"
+  },
+  "bugs": {
+    "url": "https://github.com/qmilab/lodestar/issues"
+  },
+  "keywords": [
+    "ai-agents",
+    "trust",
+    "epistemic",
+    "audit",
+    "agent-governance",
+    "lodestar",
+    "schemas",
+    "types"
+  ],
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "publishConfig": {
+    "access": "public",
+    "provenance": true
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "typecheck": "tsc --noEmit"
+  },
+  "dependencies": {
+    "zod": "^3.23.8"
+  },
+  "devDependencies": {
+    "typescript": "5.6.3"
+  }
+}