@aletheia-labs/core 0.1.0

package/dist/types/memory-proposal.d.ts

@@ -0,0 +1,207 @@
+/**
+ * MemoryProposal — what an agent submits to the WriteGate.
+ * Source: specs/aletheia-memory-authority-v0.md §2 "Memory Proposal Layer".
+ *
+ * Proposals are NOT memories yet. The WriteGate produces (or rejects)
+ * the MemoryAtom from a proposal.
+ */
+import { z } from 'zod';
+/**
+ * A reference to a memory the proposer knows about as a known conflict source.
+ * The proposer is responsible for surfacing known contradictions; the
+ * ConflictRegistry can also discover them.
+ */
+export declare const KnownConflictSchema: z.ZodObject<{
+    conflictingMemoryId: z.ZodBranded<z.ZodString, "MemoryId">;
+    rationale: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    conflictingMemoryId: string & z.BRAND<"MemoryId">;
+    rationale: string;
+}, {
+    conflictingMemoryId: string;
+    rationale: string;
+}>;
+export type KnownConflict = z.infer<typeof KnownConflictSchema>;
+export declare const MemoryProposalSchema: z.ZodObject<{
+    proposalId: z.ZodBranded<z.ZodString, "ProposalId">;
+    proposedBy: z.ZodBranded<z.ZodString, "AgentId">;
+    proposedAt: z.ZodString;
+    candidateType: z.ZodEnum<["observation", "claim", "preference", "policy", "decision", "task_state", "warning", "skill"]>;
+    /** The claim text the proposer wants stored. */
+    claim: z.ZodString;
+    /** Raw events this proposal is grounded in (must be non-empty). */
+    sourceEventIds: z.ZodArray<z.ZodBranded<z.ZodString, "EventId">, "many">;
+    intendedScope: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"local">;
+    }, "strip", z.ZodTypeAny, {
+        kind: "local";
+    }, {
+        kind: "local";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"project">;
+        projectId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "project";
+        projectId: string;
+    }, {
+        kind: "project";
+        projectId: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"user">;
+        userId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "user";
+        userId: string;
+    }, {
+        kind: "user";
+        userId: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"team">;
+        teamId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "team";
+        teamId: string;
+    }, {
+        kind: "team";
+        teamId: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"global">;
+    }, "strip", z.ZodTypeAny, {
+        kind: "global";
+    }, {
+        kind: "global";
+    }>]>;
+    intendedVisibility: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"private:agent">;
+    }, "strip", z.ZodTypeAny, {
+        kind: "private:agent";
+    }, {
+        kind: "private:agent";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"private:user">;
+    }, "strip", z.ZodTypeAny, {
+        kind: "private:user";
+    }, {
+        kind: "private:user";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"team">;
+        name: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: "team";
+        name: string;
+    }, {
+        kind: "team";
+        name: string;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"global:safe">;
+    }, "strip", z.ZodTypeAny, {
+        kind: "global:safe";
+    }, {
+        kind: "global:safe";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"sealed:sensitive">;
+    }, "strip", z.ZodTypeAny, {
+        kind: "sealed:sensitive";
+    }, {
+        kind: "sealed:sensitive";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"ephemeral">;
+    }, "strip", z.ZodTypeAny, {
+        kind: "ephemeral";
+    }, {
+        kind: "ephemeral";
+    }>]>;
+    riskLevel: z.ZodEnum<["low_local", "medium_local", "sensitive"]>;
+    knownConflicts: z.ZodArray<z.ZodObject<{
+        conflictingMemoryId: z.ZodBranded<z.ZodString, "MemoryId">;
+        rationale: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        conflictingMemoryId: string & z.BRAND<"MemoryId">;
+        rationale: string;
+    }, {
+        conflictingMemoryId: string;
+        rationale: string;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    claim: string;
+    sourceEventIds: (string & z.BRAND<"EventId">)[];
+    proposalId: string & z.BRAND<"ProposalId">;
+    proposedBy: string & z.BRAND<"AgentId">;
+    proposedAt: string;
+    candidateType: "observation" | "claim" | "preference" | "policy" | "decision" | "task_state" | "warning" | "skill";
+    intendedScope: {
+        kind: "local";
+    } | {
+        kind: "project";
+        projectId: string;
+    } | {
+        kind: "user";
+        userId: string;
+    } | {
+        kind: "team";
+        teamId: string;
+    } | {
+        kind: "global";
+    };
+    intendedVisibility: {
+        kind: "private:agent";
+    } | {
+        kind: "private:user";
+    } | {
+        kind: "team";
+        name: string;
+    } | {
+        kind: "global:safe";
+    } | {
+        kind: "sealed:sensitive";
+    } | {
+        kind: "ephemeral";
+    };
+    riskLevel: "low_local" | "medium_local" | "sensitive";
+    knownConflicts: {
+        conflictingMemoryId: string & z.BRAND<"MemoryId">;
+        rationale: string;
+    }[];
+}, {
+    claim: string;
+    sourceEventIds: string[];
+    proposalId: string;
+    proposedBy: string;
+    proposedAt: string;
+    candidateType: "observation" | "claim" | "preference" | "policy" | "decision" | "task_state" | "warning" | "skill";
+    intendedScope: {
+        kind: "local";
+    } | {
+        kind: "project";
+        projectId: string;
+    } | {
+        kind: "user";
+        userId: string;
+    } | {
+        kind: "team";
+        teamId: string;
+    } | {
+        kind: "global";
+    };
+    intendedVisibility: {
+        kind: "private:agent";
+    } | {
+        kind: "private:user";
+    } | {
+        kind: "team";
+        name: string;
+    } | {
+        kind: "global:safe";
+    } | {
+        kind: "sealed:sensitive";
+    } | {
+        kind: "ephemeral";
+    };
+    riskLevel: "low_local" | "medium_local" | "sensitive";
+    knownConflicts: {
+        conflictingMemoryId: string;
+        rationale: string;
+    }[];
+}>;
+export type MemoryProposal = z.infer<typeof MemoryProposalSchema>;
+//# sourceMappingURL=memory-proposal.d.ts.map

package/dist/types/memory-proposal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory-proposal.d.ts","sourceRoot":"","sources":["../../src/types/memory-proposal.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAUxB;;;;GAIG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;EAG9B,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,eAAO,MAAM,oBAAoB;;;;;IAK/B,gDAAgD;;IAEhD,mEAAmE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMnE,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC"}

package/dist/types/memory-proposal.js

@@ -0,0 +1,34 @@
+/**
+ * MemoryProposal — what an agent submits to the WriteGate.
+ * Source: specs/aletheia-memory-authority-v0.md §2 "Memory Proposal Layer".
+ *
+ * Proposals are NOT memories yet. The WriteGate produces (or rejects)
+ * the MemoryAtom from a proposal.
+ */
+import { z } from 'zod';
+import { MemoryTypeSchema, RiskTierSchema, ScopeSchema, VisibilitySchema } from './enums.js';
+import { AgentIdSchema, EventIdSchema, IsoTimestampSchema, MemoryIdSchema, ProposalIdSchema, } from './primitives.js';
+/**
+ * A reference to a memory the proposer knows about as a known conflict source.
+ * The proposer is responsible for surfacing known contradictions; the
+ * ConflictRegistry can also discover them.
+ */
+export const KnownConflictSchema = z.object({
+    conflictingMemoryId: MemoryIdSchema,
+    rationale: z.string().min(1).max(2048),
+});
+export const MemoryProposalSchema = z.object({
+    proposalId: ProposalIdSchema,
+    proposedBy: AgentIdSchema,
+    proposedAt: IsoTimestampSchema,
+    candidateType: MemoryTypeSchema,
+    /** The claim text the proposer wants stored. */
+    claim: z.string().min(1).max(16_384),
+    /** Raw events this proposal is grounded in (must be non-empty). */
+    sourceEventIds: z.array(EventIdSchema).min(1),
+    intendedScope: ScopeSchema,
+    intendedVisibility: VisibilitySchema,
+    riskLevel: RiskTierSchema,
+    knownConflicts: z.array(KnownConflictSchema),
+});
+//# sourceMappingURL=memory-proposal.js.map

package/dist/types/memory-proposal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory-proposal.js","sourceRoot":"","sources":["../../src/types/memory-proposal.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC7F,OAAO,EACL,aAAa,EACb,aAAa,EACb,kBAAkB,EAClB,cAAc,EACd,gBAAgB,GACjB,MAAM,iBAAiB,CAAC;AAEzB;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,mBAAmB,EAAE,cAAc;IACnC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;CACvC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,UAAU,EAAE,gBAAgB;IAC5B,UAAU,EAAE,aAAa;IACzB,UAAU,EAAE,kBAAkB;IAC9B,aAAa,EAAE,gBAAgB;IAC/B,gDAAgD;IAChD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;IACpC,mEAAmE;IACnE,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C,aAAa,EAAE,WAAW;IAC1B,kBAAkB,EAAE,gBAAgB;IACpC,SAAS,EAAE,cAAc;IACzB,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;CAC7C,CAAC,CAAC"}