@aletheia-labs/core 0.1.0

package/dist/types/enums.d.ts

@@ -0,0 +1,135 @@
+/**
+ * Enumerated value sets used across the receipt and atom protocols.
+ *
+ * Every union here is "fail-closed by default": adding a new variant requires
+ * a deliberate spec change. Unknown strings parsed into these schemas reject.
+ */
+import { z } from 'zod';
+export declare const MemoryStatusSchema: z.ZodEnum<["candidate", "verified", "trusted", "deprecated", "rejected", "sealed", "human_required"]>;
+export type MemoryStatus = z.infer<typeof MemoryStatusSchema>;
+export declare const MemoryTypeSchema: z.ZodEnum<["observation", "claim", "preference", "policy", "decision", "task_state", "warning", "skill"]>;
+export type MemoryType = z.infer<typeof MemoryTypeSchema>;
+/**
+ * Visibility is a discriminated union because `team:<name>` carries a payload
+ * the other variants don't have. Encoded compactly on the wire as a single string.
+ */
+export declare const VisibilitySchema: 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";
+}>]>;
+export type Visibility = z.infer<typeof VisibilitySchema>;
+export declare const ScopeKindSchema: z.ZodEnum<["local", "project", "user", "team", "global"]>;
+export type ScopeKind = z.infer<typeof ScopeKindSchema>;
+/**
+ * Scope can be bare (`local`, `global`) or carry an id (`project:foo`, `team:bar`).
+ */
+export declare const ScopeSchema: 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";
+}>]>;
+export type Scope = z.infer<typeof ScopeSchema>;
+export declare const FreshnessSchema: z.ZodEnum<["current", "stale", "unknown"]>;
+export type Freshness = z.infer<typeof FreshnessSchema>;
+export declare const RiskTierSchema: z.ZodEnum<["low_local", "medium_local", "sensitive"]>;
+export type RiskTier = z.infer<typeof RiskTierSchema>;
+export declare const EffectBoundarySchema: z.ZodEnum<["local_only", "no_runtime_effect", "external_send_requires_human", "config_change_forbidden"]>;
+export type EffectBoundary = z.infer<typeof EffectBoundarySchema>;
+export declare const PromotionBoundarySchema: z.ZodEnum<["no_memory_write", "no_durable_promotion", "human_confirmation_required"]>;
+export type PromotionBoundary = z.infer<typeof PromotionBoundarySchema>;
+export declare const ReadinessBoundarySchema: z.ZodEnum<["paper_only", "fixture_only", "research_ready_not_implementation_ready", "implementation_ready"]>;
+export type ReadinessBoundary = z.infer<typeof ReadinessBoundarySchema>;
+export declare const TargetStatusSchema: z.ZodEnum<["candidate", "partial", "experiment_ready", "pass_closed", "blocked", "requires_human"]>;
+export type TargetStatus = z.infer<typeof TargetStatusSchema>;
+export declare const LineageCompletenessSchema: z.ZodEnum<["complete", "partial", "unknown"]>;
+export type LineageCompleteness = z.infer<typeof LineageCompletenessSchema>;
+/**
+ * `LRE=none` is the only safe-to-act value. Anything else (a supersession,
+ * a tombstone, an unresolved conflict) fails closed.
+ */
+export declare const LaterRestrictiveEventSchema: z.ZodEnum<["none", "superseded", "tombstoned", "conflict_unresolved", "unknown"]>;
+export type LaterRestrictiveEvent = z.infer<typeof LaterRestrictiveEventSchema>;
+/**
+ * The `ACT` field of a compressed receipt and the proposed action of `tryAct`.
+ * Sensitive verbs always route to ask_human regardless of receipt validity.
+ */
+export declare const ActionClassSchema: z.ZodEnum<["local_documentation", "local_fixture", "local_diagnostic", "local_report", "external_send", "runtime_change", "config_change", "publication", "durable_memory_write", "delete", "canary", "enforcement", "production_action", "l2_plus", "unknown"]>;
+export type ActionClass = z.infer<typeof ActionClassSchema>;
+/** Verbs that may proceed locally if every other check passes. */
+export declare const SAFE_LOCAL_ACTIONS: ReadonlySet<ActionClass>;
+/** Verbs that always require human approval regardless of receipt validity. */
+export declare const SENSITIVE_ACTIONS: ReadonlySet<ActionClass>;
+export declare const LinkRelationSchema: z.ZodEnum<["supports", "contradicts", "supersedes", "derived_from"]>;
+export type LinkRelation = z.infer<typeof LinkRelationSchema>;
+//# sourceMappingURL=enums.d.ts.map

package/dist/types/enums.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"enums.d.ts","sourceRoot":"","sources":["../../src/types/enums.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,eAAO,MAAM,kBAAkB,uGAQ7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAI9D,eAAO,MAAM,gBAAgB,2GAS3B,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAI1D;;;GAGG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAO3B,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAI1D,eAAO,MAAM,eAAe,2DAAyD,CAAC;AACtF,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD;;GAEG;AACH,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAMtB,CAAC;AACH,MAAM,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAIhD,eAAO,MAAM,eAAe,4CAA0C,CAAC;AACvE,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAIxD,eAAO,MAAM,cAAc,uDAAqD,CAAC;AACjF,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAItD,eAAO,MAAM,oBAAoB,2GAK/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAIlE,eAAO,MAAM,uBAAuB,uFAIlC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAIxE,eAAO,MAAM,uBAAuB,8GAKlC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAIxE,eAAO,MAAM,kBAAkB,qGAO7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAI9D,eAAO,MAAM,yBAAyB,+CAA6C,CAAC;AACpF,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAI5E;;;GAGG;AACH,eAAO,MAAM,2BAA2B,mFAMtC,CAAC;AACH,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAIhF;;;GAGG;AACH,eAAO,MAAM,iBAAiB,kQAgB5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,kEAAkE;AAClE,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,WAAW,CAKtD,CAAC;AAEH,+EAA+E;AAC/E,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,WAAW,CAYrD,CAAC;AAIH,eAAO,MAAM,kBAAkB,sEAAoE,CAAC;AACpG,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC"}

package/dist/types/enums.js

@@ -0,0 +1,146 @@
+/**
+ * Enumerated value sets used across the receipt and atom protocols.
+ *
+ * Every union here is "fail-closed by default": adding a new variant requires
+ * a deliberate spec change. Unknown strings parsed into these schemas reject.
+ */
+import { z } from 'zod';
+// -- Memory atom status (specs/aletheia-memory-authority-v0.md §4) -----------
+export const MemoryStatusSchema = z.enum([
+    'candidate',
+    'verified',
+    'trusted',
+    'deprecated',
+    'rejected',
+    'sealed',
+    'human_required',
+]);
+// -- Memory types (atom categories) ------------------------------------------
+export const MemoryTypeSchema = z.enum([
+    'observation',
+    'claim',
+    'preference',
+    'policy',
+    'decision',
+    'task_state',
+    'warning',
+    'skill',
+]);
+// -- Visibility planes (specs §5) --------------------------------------------
+/**
+ * Visibility is a discriminated union because `team:<name>` carries a payload
+ * the other variants don't have. Encoded compactly on the wire as a single string.
+ */
+export const VisibilitySchema = z.discriminatedUnion('kind', [
+    z.object({ kind: z.literal('private:agent') }),
+    z.object({ kind: z.literal('private:user') }),
+    z.object({ kind: z.literal('team'), name: z.string().min(1).max(128) }),
+    z.object({ kind: z.literal('global:safe') }),
+    z.object({ kind: z.literal('sealed:sensitive') }),
+    z.object({ kind: z.literal('ephemeral') }),
+]);
+// -- Scope (specs §4 and ACP) ------------------------------------------------
+export const ScopeKindSchema = z.enum(['local', 'project', 'user', 'team', 'global']);
+/**
+ * Scope can be bare (`local`, `global`) or carry an id (`project:foo`, `team:bar`).
+ */
+export const ScopeSchema = z.discriminatedUnion('kind', [
+    z.object({ kind: z.literal('local') }),
+    z.object({ kind: z.literal('project'), projectId: z.string().min(1) }),
+    z.object({ kind: z.literal('user'), userId: z.string().min(1) }),
+    z.object({ kind: z.literal('team'), teamId: z.string().min(1) }),
+    z.object({ kind: z.literal('global') }),
+]);
+// -- Freshness (receipt FRESH field) -----------------------------------------
+export const FreshnessSchema = z.enum(['current', 'stale', 'unknown']);
+// -- Risk tier ---------------------------------------------------------------
+export const RiskTierSchema = z.enum(['low_local', 'medium_local', 'sensitive']);
+// -- Effect boundary ---------------------------------------------------------
+export const EffectBoundarySchema = z.enum([
+    'local_only',
+    'no_runtime_effect',
+    'external_send_requires_human',
+    'config_change_forbidden',
+]);
+// -- Promotion boundary ------------------------------------------------------
+export const PromotionBoundarySchema = z.enum([
+    'no_memory_write',
+    'no_durable_promotion',
+    'human_confirmation_required',
+]);
+// -- Readiness boundary ------------------------------------------------------
+export const ReadinessBoundarySchema = z.enum([
+    'paper_only',
+    'fixture_only',
+    'research_ready_not_implementation_ready',
+    'implementation_ready',
+]);
+// -- Target status (memory authority receipt) --------------------------------
+export const TargetStatusSchema = z.enum([
+    'candidate',
+    'partial',
+    'experiment_ready',
+    'pass_closed',
+    'blocked',
+    'requires_human',
+]);
+// -- Lineage completeness ----------------------------------------------------
+export const LineageCompletenessSchema = z.enum(['complete', 'partial', 'unknown']);
+// -- Later restrictive event (LRE) -------------------------------------------
+/**
+ * `LRE=none` is the only safe-to-act value. Anything else (a supersession,
+ * a tombstone, an unresolved conflict) fails closed.
+ */
+export const LaterRestrictiveEventSchema = z.enum([
+    'none',
+    'superseded',
+    'tombstoned',
+    'conflict_unresolved',
+    'unknown',
+]);
+// -- Action classification (proposed action verbs) ---------------------------
+/**
+ * The `ACT` field of a compressed receipt and the proposed action of `tryAct`.
+ * Sensitive verbs always route to ask_human regardless of receipt validity.
+ */
+export const ActionClassSchema = z.enum([
+    'local_documentation',
+    'local_fixture',
+    'local_diagnostic',
+    'local_report',
+    'external_send',
+    'runtime_change',
+    'config_change',
+    'publication',
+    'durable_memory_write',
+    'delete',
+    'canary',
+    'enforcement',
+    'production_action',
+    'l2_plus',
+    'unknown',
+]);
+/** Verbs that may proceed locally if every other check passes. */
+export const SAFE_LOCAL_ACTIONS = new Set([
+    'local_documentation',
+    'local_fixture',
+    'local_diagnostic',
+    'local_report',
+]);
+/** Verbs that always require human approval regardless of receipt validity. */
+export const SENSITIVE_ACTIONS = new Set([
+    'external_send',
+    'runtime_change',
+    'config_change',
+    'publication',
+    'durable_memory_write',
+    'delete',
+    'canary',
+    'enforcement',
+    'production_action',
+    'l2_plus',
+    'unknown',
+]);
+// -- Memory link relations (atom-to-atom edges) ------------------------------
+export const LinkRelationSchema = z.enum(['supports', 'contradicts', 'supersedes', 'derived_from']);
+//# sourceMappingURL=enums.js.map

package/dist/types/enums.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"enums.js","sourceRoot":"","sources":["../../src/types/enums.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,+EAA+E;AAE/E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC;IACvC,WAAW;IACX,UAAU;IACV,SAAS;IACT,YAAY;IACZ,UAAU;IACV,QAAQ;IACR,gBAAgB;CACjB,CAAC,CAAC;AAGH,+EAA+E;AAE/E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,IAAI,CAAC;IACrC,aAAa;IACb,OAAO;IACP,YAAY;IACZ,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,SAAS;IACT,OAAO;CACR,CAAC,CAAC;AAGH,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAC3D,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;IAC9C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;IAC7C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;IACvE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;IAC5C,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC;IACjD,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;CAC3C,CAAC,CAAC;AAGH,+EAA+E;AAE/E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAGtF;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACtD,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;IACtC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;CACxC,CAAC,CAAC;AAGH,+EAA+E;AAE/E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AAGvE,+EAA+E;AAE/E,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,cAAc,EAAE,WAAW,CAAC,CAAC,CAAC;AAGjF,+EAA+E;AAE/E,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,IAAI,CAAC;IACzC,YAAY;IACZ,mBAAmB;IACnB,8BAA8B;IAC9B,yBAAyB;CAC1B,CAAC,CAAC;AAGH,+EAA+E;AAE/E,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC5C,iBAAiB;IACjB,sBAAsB;IACtB,6BAA6B;CAC9B,CAAC,CAAC;AAGH,+EAA+E;AAE/E,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC5C,YAAY;IACZ,cAAc;IACd,yCAAyC;IACzC,sBAAsB;CACvB,CAAC,CAAC;AAGH,+EAA+E;AAE/E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC;IACvC,WAAW;IACX,SAAS;IACT,kBAAkB;IAClB,aAAa;IACb,SAAS;IACT,gBAAgB;CACjB,CAAC,CAAC;AAGH,+EAA+E;AAE/E,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAGpF,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,IAAI,CAAC;IAChD,MAAM;IACN,YAAY;IACZ,YAAY;IACZ,qBAAqB;IACrB,SAAS;CACV,CAAC,CAAC;AAGH,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,IAAI,CAAC;IACtC,qBAAqB;IACrB,eAAe;IACf,kBAAkB;IAClB,cAAc;IACd,eAAe;IACf,gBAAgB;IAChB,eAAe;IACf,aAAa;IACb,sBAAsB;IACtB,QAAQ;IACR,QAAQ;IACR,aAAa;IACb,mBAAmB;IACnB,SAAS;IACT,SAAS;CACV,CAAC,CAAC;AAGH,kEAAkE;AAClE,MAAM,CAAC,MAAM,kBAAkB,GAA6B,IAAI,GAAG,CAAc;IAC/E,qBAAqB;IACrB,eAAe;IACf,kBAAkB;IAClB,cAAc;CACf,CAAC,CAAC;AAEH,+EAA+E;AAC/E,MAAM,CAAC,MAAM,iBAAiB,GAA6B,IAAI,GAAG,CAAc;IAC9E,eAAe;IACf,gBAAgB;IAChB,eAAe;IACf,aAAa;IACb,sBAAsB;IACtB,QAAQ;IACR,QAAQ;IACR,aAAa;IACb,mBAAmB;IACnB,SAAS;IACT,SAAS;CACV,CAAC,CAAC;AAEH,+EAA+E;AAE/E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC"}

package/dist/types/event.d.ts

@@ -0,0 +1,187 @@
+/**
+ * Event — the raw, append-only unit recorded in the EventLedger.
+ * Source: specs/aletheia-memory-authority-v0.md §1 "Event Ledger".
+ *
+ * Spec rules carried into the type:
+ *   - events are evidence, not memory authority by themselves;
+ *   - summaries never replace original events;
+ *   - rollback/debug requires source events;
+ *   - external/untrusted text is recorded as "source X claims Y", not as instruction.
+ *
+ * `payload` is intentionally JSON-shaped (not free text). External/untrusted
+ * material lands inside a `claim_of` wrapper so the EventLedger never stores
+ * raw instructions a downstream component might mistake for authority.
+ */
+import { z } from 'zod';
+export declare const EventKindSchema: z.ZodEnum<["conversation", "tool_output", "document", "observation", "decision", "artifact_change", "external_claim"]>;
+export type EventKind = z.infer<typeof EventKindSchema>;
+/**
+ * JSON-serializable payload. Restricted so the storage layer can persist it
+ * via JSON.stringify without information loss.
+ */
+declare const JsonScalarSchema: z.ZodUnion<[z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>;
+type JsonScalar = z.infer<typeof JsonScalarSchema>;
+export type JsonValue = JsonScalar | {
+    readonly [k: string]: JsonValue;
+} | readonly JsonValue[];
+export declare const JsonValueSchema: z.ZodType<JsonValue>;
+export declare const EventSchema: z.ZodObject<{
+    eventId: z.ZodBranded<z.ZodString, "EventId">;
+    kind: z.ZodEnum<["conversation", "tool_output", "document", "observation", "decision", "artifact_change", "external_claim"]>;
+    /** Null when the event has no responsible agent (e.g. external document). */
+    agentId: z.ZodNullable<z.ZodBranded<z.ZodString, "AgentId">>;
+    occurredAt: z.ZodString;
+    /** Structured payload — no free-text "instruction-shaped" content. */
+    payload: z.ZodType<JsonValue, z.ZodTypeDef, JsonValue>;
+    scope: 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";
+    }>]>;
+    visibility: 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";
+    }>]>;
+}, "strip", z.ZodTypeAny, {
+    kind: "observation" | "decision" | "conversation" | "tool_output" | "document" | "artifact_change" | "external_claim";
+    eventId: string & z.BRAND<"EventId">;
+    agentId: (string & z.BRAND<"AgentId">) | null;
+    occurredAt: string;
+    payload: JsonValue;
+    scope: {
+        kind: "local";
+    } | {
+        kind: "project";
+        projectId: string;
+    } | {
+        kind: "user";
+        userId: string;
+    } | {
+        kind: "team";
+        teamId: string;
+    } | {
+        kind: "global";
+    };
+    visibility: {
+        kind: "private:agent";
+    } | {
+        kind: "private:user";
+    } | {
+        kind: "team";
+        name: string;
+    } | {
+        kind: "global:safe";
+    } | {
+        kind: "sealed:sensitive";
+    } | {
+        kind: "ephemeral";
+    };
+}, {
+    kind: "observation" | "decision" | "conversation" | "tool_output" | "document" | "artifact_change" | "external_claim";
+    eventId: string;
+    agentId: string | null;
+    occurredAt: string;
+    payload: JsonValue;
+    scope: {
+        kind: "local";
+    } | {
+        kind: "project";
+        projectId: string;
+    } | {
+        kind: "user";
+        userId: string;
+    } | {
+        kind: "team";
+        teamId: string;
+    } | {
+        kind: "global";
+    };
+    visibility: {
+        kind: "private:agent";
+    } | {
+        kind: "private:user";
+    } | {
+        kind: "team";
+        name: string;
+    } | {
+        kind: "global:safe";
+    } | {
+        kind: "sealed:sensitive";
+    } | {
+        kind: "ephemeral";
+    };
+}>;
+export type Event = z.infer<typeof EventSchema>;
+export {};
+//# sourceMappingURL=event.d.ts.map

package/dist/types/event.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"event.d.ts","sourceRoot":"","sources":["../../src/types/event.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,eAAO,MAAM,eAAe,wHAQ1B,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD;;;GAGG;AACH,QAAA,MAAM,gBAAgB,iEAA2D,CAAC;AAClF,KAAK,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AACnD,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG;IAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAAG,SAAS,SAAS,EAAE,CAAC;AAChG,eAAO,MAAM,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAEhD,CAAC;AAEF,eAAO,MAAM,WAAW;;;IAGtB,6EAA6E;;;IAG7E,sEAAsE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAItE,CAAC;AACH,MAAM,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC"}

package/dist/types/event.js

@@ -0,0 +1,44 @@
+/**
+ * Event — the raw, append-only unit recorded in the EventLedger.
+ * Source: specs/aletheia-memory-authority-v0.md §1 "Event Ledger".
+ *
+ * Spec rules carried into the type:
+ *   - events are evidence, not memory authority by themselves;
+ *   - summaries never replace original events;
+ *   - rollback/debug requires source events;
+ *   - external/untrusted text is recorded as "source X claims Y", not as instruction.
+ *
+ * `payload` is intentionally JSON-shaped (not free text). External/untrusted
+ * material lands inside a `claim_of` wrapper so the EventLedger never stores
+ * raw instructions a downstream component might mistake for authority.
+ */
+import { z } from 'zod';
+import { ScopeSchema, VisibilitySchema } from './enums.js';
+import { AgentIdSchema, EventIdSchema, IsoTimestampSchema } from './primitives.js';
+export const EventKindSchema = z.enum([
+    'conversation',
+    'tool_output',
+    'document',
+    'observation',
+    'decision',
+    'artifact_change',
+    'external_claim',
+]);
+/**
+ * JSON-serializable payload. Restricted so the storage layer can persist it
+ * via JSON.stringify without information loss.
+ */
+const JsonScalarSchema = z.union([z.string(), z.number(), z.boolean(), z.null()]);
+export const JsonValueSchema = z.lazy(() => z.union([JsonScalarSchema, z.array(JsonValueSchema), z.record(JsonValueSchema)]));
+export const EventSchema = z.object({
+    eventId: EventIdSchema,
+    kind: EventKindSchema,
+    /** Null when the event has no responsible agent (e.g. external document). */
+    agentId: AgentIdSchema.nullable(),
+    occurredAt: IsoTimestampSchema,
+    /** Structured payload — no free-text "instruction-shaped" content. */
+    payload: JsonValueSchema,
+    scope: ScopeSchema,
+    visibility: VisibilitySchema,
+});
+//# sourceMappingURL=event.js.map

package/dist/types/event.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"event.js","sourceRoot":"","sources":["../../src/types/event.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAEnF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,IAAI,CAAC;IACpC,cAAc;IACd,aAAa;IACb,UAAU;IACV,aAAa;IACb,UAAU;IACV,iBAAiB;IACjB,gBAAgB;CACjB,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAGlF,MAAM,CAAC,MAAM,eAAe,GAAyB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAC/D,CAAC,CAAC,KAAK,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CACjF,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,OAAO,EAAE,aAAa;IACtB,IAAI,EAAE,eAAe;IACrB,6EAA6E;IAC7E,OAAO,EAAE,aAAa,CAAC,QAAQ,EAAE;IACjC,UAAU,EAAE,kBAAkB;IAC9B,sEAAsE;IACtE,OAAO,EAAE,eAAe;IACxB,KAAK,EAAE,WAAW;IAClB,UAAU,EAAE,gBAAgB;CAC7B,CAAC,CAAC"}

package/dist/types/human-receipt.d.ts

@@ -0,0 +1,108 @@
+/**
+ * Human-readable receipt (specs/memory-authority-receipt-v0.md §"Canonical fields").
+ *
+ * The verbose YAML/Markdown form for audits and human handoffs. Less compact
+ * than CompressedReceipt but carries the same authority semantics.
+ */
+import { z } from 'zod';
+/**
+ * The "nextAllowedAction" sub-object of a human-readable receipt.
+ * Spec rule: must be exact; generic "continue" is not authority.
+ */
+export declare const NextAllowedActionSchema: z.ZodObject<{
+    /** Specific verb the receiver is allowed to take. */
+    action: z.ZodEnum<["local_documentation", "local_fixture", "local_diagnostic", "local_report", "external_send", "runtime_change", "config_change", "publication", "durable_memory_write", "delete", "canary", "enforcement", "production_action", "l2_plus", "unknown"]>;
+    /** Exact next target (e.g. file path, fixture id). */
+    target: z.ZodString;
+    /** The source target this succeeds. */
+    successorOf: z.ZodString;
+    /** Whether re-running the action is allowed. */
+    redoAllowed: z.ZodBoolean;
+}, "strip", z.ZodTypeAny, {
+    action: "unknown" | "local_documentation" | "local_fixture" | "local_diagnostic" | "local_report" | "external_send" | "runtime_change" | "config_change" | "publication" | "durable_memory_write" | "delete" | "canary" | "enforcement" | "production_action" | "l2_plus";
+    target: string;
+    successorOf: string;
+    redoAllowed: boolean;
+}, {
+    action: "unknown" | "local_documentation" | "local_fixture" | "local_diagnostic" | "local_report" | "external_send" | "runtime_change" | "config_change" | "publication" | "durable_memory_write" | "delete" | "canary" | "enforcement" | "production_action" | "l2_plus";
+    target: string;
+    successorOf: string;
+    redoAllowed: boolean;
+}>;
+export type NextAllowedAction = z.infer<typeof NextAllowedActionSchema>;
+export declare const HumanReadableReceiptSchema: z.ZodObject<{
+    sourceArtifactId: z.ZodBranded<z.ZodString, "SourceArtifactId">;
+    sourceArtifactPath: z.ZodEffects<z.ZodString, string, string>;
+    producedAt: z.ZodString;
+    receiverFreshness: z.ZodEnum<["current", "stale", "unknown"]>;
+    targetStatus: z.ZodEnum<["candidate", "partial", "experiment_ready", "pass_closed", "blocked", "requires_human"]>;
+    readinessBoundary: z.ZodEnum<["paper_only", "fixture_only", "research_ready_not_implementation_ready", "implementation_ready"]>;
+    effectBoundary: z.ZodEnum<["local_only", "no_runtime_effect", "external_send_requires_human", "config_change_forbidden"]>;
+    promotionBoundary: z.ZodEnum<["no_memory_write", "no_durable_promotion", "human_confirmation_required"]>;
+    lineageCompleteness: z.ZodEnum<["complete", "partial", "unknown"]>;
+    riskTier: z.ZodEnum<["low_local", "medium_local", "sensitive"]>;
+    nextAllowedAction: z.ZodObject<{
+        /** Specific verb the receiver is allowed to take. */
+        action: z.ZodEnum<["local_documentation", "local_fixture", "local_diagnostic", "local_report", "external_send", "runtime_change", "config_change", "publication", "durable_memory_write", "delete", "canary", "enforcement", "production_action", "l2_plus", "unknown"]>;
+        /** Exact next target (e.g. file path, fixture id). */
+        target: z.ZodString;
+        /** The source target this succeeds. */
+        successorOf: z.ZodString;
+        /** Whether re-running the action is allowed. */
+        redoAllowed: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        action: "unknown" | "local_documentation" | "local_fixture" | "local_diagnostic" | "local_report" | "external_send" | "runtime_change" | "config_change" | "publication" | "durable_memory_write" | "delete" | "canary" | "enforcement" | "production_action" | "l2_plus";
+        target: string;
+        successorOf: string;
+        redoAllowed: boolean;
+    }, {
+        action: "unknown" | "local_documentation" | "local_fixture" | "local_diagnostic" | "local_report" | "external_send" | "runtime_change" | "config_change" | "publication" | "durable_memory_write" | "delete" | "canary" | "enforcement" | "production_action" | "l2_plus";
+        target: string;
+        successorOf: string;
+        redoAllowed: boolean;
+    }>;
+    /** How the claim was checked (free text, audit only). */
+    validation: z.ZodString;
+    /** Local/shadow safety result string (audit only). */
+    safetyResult: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    validation: string;
+    producedAt: string;
+    promotionBoundary: "no_memory_write" | "no_durable_promotion" | "human_confirmation_required";
+    sourceArtifactId: string & z.BRAND<"SourceArtifactId">;
+    sourceArtifactPath: string;
+    receiverFreshness: "unknown" | "current" | "stale";
+    targetStatus: "candidate" | "partial" | "experiment_ready" | "pass_closed" | "blocked" | "requires_human";
+    readinessBoundary: "paper_only" | "fixture_only" | "research_ready_not_implementation_ready" | "implementation_ready";
+    effectBoundary: "local_only" | "no_runtime_effect" | "external_send_requires_human" | "config_change_forbidden";
+    lineageCompleteness: "unknown" | "partial" | "complete";
+    riskTier: "low_local" | "medium_local" | "sensitive";
+    nextAllowedAction: {
+        action: "unknown" | "local_documentation" | "local_fixture" | "local_diagnostic" | "local_report" | "external_send" | "runtime_change" | "config_change" | "publication" | "durable_memory_write" | "delete" | "canary" | "enforcement" | "production_action" | "l2_plus";
+        target: string;
+        successorOf: string;
+        redoAllowed: boolean;
+    };
+    safetyResult: string;
+}, {
+    validation: string;
+    producedAt: string;
+    promotionBoundary: "no_memory_write" | "no_durable_promotion" | "human_confirmation_required";
+    sourceArtifactId: string;
+    sourceArtifactPath: string;
+    receiverFreshness: "unknown" | "current" | "stale";
+    targetStatus: "candidate" | "partial" | "experiment_ready" | "pass_closed" | "blocked" | "requires_human";
+    readinessBoundary: "paper_only" | "fixture_only" | "research_ready_not_implementation_ready" | "implementation_ready";
+    effectBoundary: "local_only" | "no_runtime_effect" | "external_send_requires_human" | "config_change_forbidden";
+    lineageCompleteness: "unknown" | "partial" | "complete";
+    riskTier: "low_local" | "medium_local" | "sensitive";
+    nextAllowedAction: {
+        action: "unknown" | "local_documentation" | "local_fixture" | "local_diagnostic" | "local_report" | "external_send" | "runtime_change" | "config_change" | "publication" | "durable_memory_write" | "delete" | "canary" | "enforcement" | "production_action" | "l2_plus";
+        target: string;
+        successorOf: string;
+        redoAllowed: boolean;
+    };
+    safetyResult: string;
+}>;
+export type HumanReadableReceipt = z.infer<typeof HumanReadableReceiptSchema>;
+//# sourceMappingURL=human-receipt.d.ts.map

package/dist/types/human-receipt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"human-receipt.d.ts","sourceRoot":"","sources":["../../src/types/human-receipt.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAaxB;;;GAGG;AACH,eAAO,MAAM,uBAAuB;IAClC,qDAAqD;;IAErD,sDAAsD;;IAEtD,uCAAuC;;IAEvC,gDAAgD;;;;;;;;;;;;EAEhD,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,eAAO,MAAM,0BAA0B;;;;;;;;;;;;QAXrC,qDAAqD;;QAErD,sDAAsD;;QAEtD,uCAAuC;;QAEvC,gDAAgD;;;;;;;;;;;;;IAiBhD,yDAAyD;;IAEzD,sDAAsD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEtD,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC"}