@aletheia-labs/core 0.1.0

package/dist/types/packet.d.ts

@@ -0,0 +1,564 @@
+/**
+ * ActionContextPacket — the handoff packet given to an acting agent.
+ * Source: specs/aletheia-memory-authority-v0.md §8.
+ *
+ * Hard rule: this is NOT a permission token. The receiving agent must STILL
+ * classify the proposed action and run the receiver algorithm. The packet
+ * carries the data needed to do that, not the decision itself.
+ */
+import { z } from 'zod';
+/**
+ * Per-cited-memory bundle: the atom id + the receipt that justifies citing it.
+ */
+export declare const CitedMemorySchema: z.ZodObject<{
+    memoryId: z.ZodBranded<z.ZodString, "MemoryId">;
+    receipt: z.ZodObject<{
+        src: z.ZodBranded<z.ZodString, "SourceArtifactId">;
+        srcPath: z.ZodEffects<z.ZodString, string, string>;
+        srcDigest: z.ZodString;
+        producedAt: z.ZodString;
+        freshness: z.ZodEnum<["current", "stale", "unknown"]>;
+        scope: z.ZodEnum<["local", "project", "user", "team", "global"]>;
+        promotionBoundary: z.ZodEnum<["no_memory_write", "no_durable_promotion", "human_confirmation_required"]>;
+        forbiddenEffects: z.ZodArray<z.ZodEnum<["local_only", "no_runtime_effect", "external_send_requires_human", "config_change_forbidden"]>, "many">;
+        laterRestrictiveEvent: z.ZodEnum<["none", "superseded", "tombstoned", "conflict_unresolved", "unknown"]>;
+        tupleComplete: z.ZodLiteral<true>;
+        proposedAction: 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"]>;
+        receiptId: z.ZodOptional<z.ZodBranded<z.ZodString, "ReceiptId">>;
+        receiverHint: z.ZodOptional<z.ZodString>;
+        chain: z.ZodOptional<z.ZodString>;
+        confidence: z.ZodOptional<z.ZodNumber>;
+        prose: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        freshness: "unknown" | "current" | "stale";
+        scope: "team" | "local" | "project" | "user" | "global";
+        src: string & z.BRAND<"SourceArtifactId">;
+        srcPath: string;
+        srcDigest: string;
+        producedAt: string;
+        promotionBoundary: "no_memory_write" | "no_durable_promotion" | "human_confirmation_required";
+        forbiddenEffects: ("local_only" | "no_runtime_effect" | "external_send_requires_human" | "config_change_forbidden")[];
+        laterRestrictiveEvent: "unknown" | "none" | "superseded" | "tombstoned" | "conflict_unresolved";
+        tupleComplete: true;
+        proposedAction: "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";
+        confidence?: number | undefined;
+        receiptId?: (string & z.BRAND<"ReceiptId">) | undefined;
+        receiverHint?: string | undefined;
+        chain?: string | undefined;
+        prose?: string | undefined;
+    }, {
+        freshness: "unknown" | "current" | "stale";
+        scope: "team" | "local" | "project" | "user" | "global";
+        src: string;
+        srcPath: string;
+        srcDigest: string;
+        producedAt: string;
+        promotionBoundary: "no_memory_write" | "no_durable_promotion" | "human_confirmation_required";
+        forbiddenEffects: ("local_only" | "no_runtime_effect" | "external_send_requires_human" | "config_change_forbidden")[];
+        laterRestrictiveEvent: "unknown" | "none" | "superseded" | "tombstoned" | "conflict_unresolved";
+        tupleComplete: true;
+        proposedAction: "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";
+        confidence?: number | undefined;
+        receiptId?: string | undefined;
+        receiverHint?: string | undefined;
+        chain?: string | undefined;
+        prose?: string | undefined;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    memoryId: string & z.BRAND<"MemoryId">;
+    receipt: {
+        freshness: "unknown" | "current" | "stale";
+        scope: "team" | "local" | "project" | "user" | "global";
+        src: string & z.BRAND<"SourceArtifactId">;
+        srcPath: string;
+        srcDigest: string;
+        producedAt: string;
+        promotionBoundary: "no_memory_write" | "no_durable_promotion" | "human_confirmation_required";
+        forbiddenEffects: ("local_only" | "no_runtime_effect" | "external_send_requires_human" | "config_change_forbidden")[];
+        laterRestrictiveEvent: "unknown" | "none" | "superseded" | "tombstoned" | "conflict_unresolved";
+        tupleComplete: true;
+        proposedAction: "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";
+        confidence?: number | undefined;
+        receiptId?: (string & z.BRAND<"ReceiptId">) | undefined;
+        receiverHint?: string | undefined;
+        chain?: string | undefined;
+        prose?: string | undefined;
+    };
+}, {
+    memoryId: string;
+    receipt: {
+        freshness: "unknown" | "current" | "stale";
+        scope: "team" | "local" | "project" | "user" | "global";
+        src: string;
+        srcPath: string;
+        srcDigest: string;
+        producedAt: string;
+        promotionBoundary: "no_memory_write" | "no_durable_promotion" | "human_confirmation_required";
+        forbiddenEffects: ("local_only" | "no_runtime_effect" | "external_send_requires_human" | "config_change_forbidden")[];
+        laterRestrictiveEvent: "unknown" | "none" | "superseded" | "tombstoned" | "conflict_unresolved";
+        tupleComplete: true;
+        proposedAction: "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";
+        confidence?: number | undefined;
+        receiptId?: string | undefined;
+        receiverHint?: string | undefined;
+        chain?: string | undefined;
+        prose?: string | undefined;
+    };
+}>;
+export type CitedMemory = z.infer<typeof CitedMemorySchema>;
+export declare const ActionContextPacketSchema: z.ZodObject<{
+    /** Scope within which the receiver is being asked to act. */
+    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";
+    }>]>;
+    /** Memories the proposer cited as authority. */
+    citedMemories: z.ZodArray<z.ZodObject<{
+        memoryId: z.ZodBranded<z.ZodString, "MemoryId">;
+        receipt: z.ZodObject<{
+            src: z.ZodBranded<z.ZodString, "SourceArtifactId">;
+            srcPath: z.ZodEffects<z.ZodString, string, string>;
+            srcDigest: z.ZodString;
+            producedAt: z.ZodString;
+            freshness: z.ZodEnum<["current", "stale", "unknown"]>;
+            scope: z.ZodEnum<["local", "project", "user", "team", "global"]>;
+            promotionBoundary: z.ZodEnum<["no_memory_write", "no_durable_promotion", "human_confirmation_required"]>;
+            forbiddenEffects: z.ZodArray<z.ZodEnum<["local_only", "no_runtime_effect", "external_send_requires_human", "config_change_forbidden"]>, "many">;
+            laterRestrictiveEvent: z.ZodEnum<["none", "superseded", "tombstoned", "conflict_unresolved", "unknown"]>;
+            tupleComplete: z.ZodLiteral<true>;
+            proposedAction: 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"]>;
+            receiptId: z.ZodOptional<z.ZodBranded<z.ZodString, "ReceiptId">>;
+            receiverHint: z.ZodOptional<z.ZodString>;
+            chain: z.ZodOptional<z.ZodString>;
+            confidence: z.ZodOptional<z.ZodNumber>;
+            prose: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            freshness: "unknown" | "current" | "stale";
+            scope: "team" | "local" | "project" | "user" | "global";
+            src: string & z.BRAND<"SourceArtifactId">;
+            srcPath: string;
+            srcDigest: string;
+            producedAt: string;
+            promotionBoundary: "no_memory_write" | "no_durable_promotion" | "human_confirmation_required";
+            forbiddenEffects: ("local_only" | "no_runtime_effect" | "external_send_requires_human" | "config_change_forbidden")[];
+            laterRestrictiveEvent: "unknown" | "none" | "superseded" | "tombstoned" | "conflict_unresolved";
+            tupleComplete: true;
+            proposedAction: "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";
+            confidence?: number | undefined;
+            receiptId?: (string & z.BRAND<"ReceiptId">) | undefined;
+            receiverHint?: string | undefined;
+            chain?: string | undefined;
+            prose?: string | undefined;
+        }, {
+            freshness: "unknown" | "current" | "stale";
+            scope: "team" | "local" | "project" | "user" | "global";
+            src: string;
+            srcPath: string;
+            srcDigest: string;
+            producedAt: string;
+            promotionBoundary: "no_memory_write" | "no_durable_promotion" | "human_confirmation_required";
+            forbiddenEffects: ("local_only" | "no_runtime_effect" | "external_send_requires_human" | "config_change_forbidden")[];
+            laterRestrictiveEvent: "unknown" | "none" | "superseded" | "tombstoned" | "conflict_unresolved";
+            tupleComplete: true;
+            proposedAction: "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";
+            confidence?: number | undefined;
+            receiptId?: string | undefined;
+            receiverHint?: string | undefined;
+            chain?: string | undefined;
+            prose?: string | undefined;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        memoryId: string & z.BRAND<"MemoryId">;
+        receipt: {
+            freshness: "unknown" | "current" | "stale";
+            scope: "team" | "local" | "project" | "user" | "global";
+            src: string & z.BRAND<"SourceArtifactId">;
+            srcPath: string;
+            srcDigest: string;
+            producedAt: string;
+            promotionBoundary: "no_memory_write" | "no_durable_promotion" | "human_confirmation_required";
+            forbiddenEffects: ("local_only" | "no_runtime_effect" | "external_send_requires_human" | "config_change_forbidden")[];
+            laterRestrictiveEvent: "unknown" | "none" | "superseded" | "tombstoned" | "conflict_unresolved";
+            tupleComplete: true;
+            proposedAction: "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";
+            confidence?: number | undefined;
+            receiptId?: (string & z.BRAND<"ReceiptId">) | undefined;
+            receiverHint?: string | undefined;
+            chain?: string | undefined;
+            prose?: string | undefined;
+        };
+    }, {
+        memoryId: string;
+        receipt: {
+            freshness: "unknown" | "current" | "stale";
+            scope: "team" | "local" | "project" | "user" | "global";
+            src: string;
+            srcPath: string;
+            srcDigest: string;
+            producedAt: string;
+            promotionBoundary: "no_memory_write" | "no_durable_promotion" | "human_confirmation_required";
+            forbiddenEffects: ("local_only" | "no_runtime_effect" | "external_send_requires_human" | "config_change_forbidden")[];
+            laterRestrictiveEvent: "unknown" | "none" | "superseded" | "tombstoned" | "conflict_unresolved";
+            tupleComplete: true;
+            proposedAction: "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";
+            confidence?: number | undefined;
+            receiptId?: string | undefined;
+            receiverHint?: string | undefined;
+            chain?: string | undefined;
+            prose?: string | undefined;
+        };
+    }>, "many">;
+    /** Coverage info: what should have been retrieved vs what was. */
+    coverage: z.ZodEffects<z.ZodEffects<z.ZodObject<{
+        highBoundaryTotal: z.ZodNumber;
+        retrievedHighBoundary: z.ZodNumber;
+        missingHighBoundaryDigests: z.ZodArray<z.ZodString, "many">;
+        coverageDecision: z.ZodEnum<["complete", "partial", "critical_gap", "absent"]>;
+    }, "strip", z.ZodTypeAny, {
+        highBoundaryTotal: number;
+        retrievedHighBoundary: number;
+        missingHighBoundaryDigests: string[];
+        coverageDecision: "partial" | "complete" | "critical_gap" | "absent";
+    }, {
+        highBoundaryTotal: number;
+        retrievedHighBoundary: number;
+        missingHighBoundaryDigests: string[];
+        coverageDecision: "partial" | "complete" | "critical_gap" | "absent";
+    }>, {
+        highBoundaryTotal: number;
+        retrievedHighBoundary: number;
+        missingHighBoundaryDigests: string[];
+        coverageDecision: "partial" | "complete" | "critical_gap" | "absent";
+    }, {
+        highBoundaryTotal: number;
+        retrievedHighBoundary: number;
+        missingHighBoundaryDigests: string[];
+        coverageDecision: "partial" | "complete" | "critical_gap" | "absent";
+    }>, {
+        highBoundaryTotal: number;
+        retrievedHighBoundary: number;
+        missingHighBoundaryDigests: string[];
+        coverageDecision: "partial" | "complete" | "critical_gap" | "absent";
+    }, {
+        highBoundaryTotal: number;
+        retrievedHighBoundary: number;
+        missingHighBoundaryDigests: string[];
+        coverageDecision: "partial" | "complete" | "critical_gap" | "absent";
+    }>;
+    /** Any conflicts touching these memories or this topic. */
+    relatedConflicts: z.ZodArray<z.ZodObject<{
+        conflictId: z.ZodBranded<z.ZodString, "ConflictId">;
+        topic: z.ZodString;
+        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";
+        }>]>;
+        claims: z.ZodArray<z.ZodObject<{
+            memoryId: z.ZodBranded<z.ZodString, "MemoryId">;
+            value: z.ZodString;
+            authority: z.ZodNumber;
+            freshness: z.ZodEnum<["current", "stale", "unknown"]>;
+        }, "strip", z.ZodTypeAny, {
+            value: string;
+            authority: number;
+            freshness: "unknown" | "current" | "stale";
+            memoryId: string & z.BRAND<"MemoryId">;
+        }, {
+            value: string;
+            authority: number;
+            freshness: "unknown" | "current" | "stale";
+            memoryId: string;
+        }>, "many">;
+        status: z.ZodEnum<["unresolved", "resolved", "superseded", "requires_human"]>;
+        decisionPolicy: z.ZodEnum<["surface_conflict", "prefer_latest_authoritative", "ask_human", "abstain"]>;
+        recordedAt: z.ZodString;
+        resolvedAt: z.ZodNullable<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: "requires_human" | "superseded" | "unresolved" | "resolved";
+        scope: {
+            kind: "local";
+        } | {
+            kind: "project";
+            projectId: string;
+        } | {
+            kind: "user";
+            userId: string;
+        } | {
+            kind: "team";
+            teamId: string;
+        } | {
+            kind: "global";
+        };
+        conflictId: string & z.BRAND<"ConflictId">;
+        topic: string;
+        claims: {
+            value: string;
+            authority: number;
+            freshness: "unknown" | "current" | "stale";
+            memoryId: string & z.BRAND<"MemoryId">;
+        }[];
+        decisionPolicy: "surface_conflict" | "prefer_latest_authoritative" | "ask_human" | "abstain";
+        recordedAt: string;
+        resolvedAt: string | null;
+    }, {
+        status: "requires_human" | "superseded" | "unresolved" | "resolved";
+        scope: {
+            kind: "local";
+        } | {
+            kind: "project";
+            projectId: string;
+        } | {
+            kind: "user";
+            userId: string;
+        } | {
+            kind: "team";
+            teamId: string;
+        } | {
+            kind: "global";
+        };
+        conflictId: string;
+        topic: string;
+        claims: {
+            value: string;
+            authority: number;
+            freshness: "unknown" | "current" | "stale";
+            memoryId: string;
+        }[];
+        decisionPolicy: "surface_conflict" | "prefer_latest_authoritative" | "ask_human" | "abstain";
+        recordedAt: string;
+        resolvedAt: string | null;
+    }>, "many">;
+    /** Explicit forbidden effects the receiver must honor. */
+    forbiddenEffects: z.ZodArray<z.ZodString, "many">;
+    /** Promotion boundary applicable to this packet. */
+    promotionBoundary: z.ZodString;
+    /**
+     * Instructions for the receiver. Must include the fail-closed rule:
+     * "verify everything before acting".
+     */
+    receiverInstructions: z.ZodString;
+    /** When the packet was assembled. */
+    assembledAt: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    scope: {
+        kind: "local";
+    } | {
+        kind: "project";
+        projectId: string;
+    } | {
+        kind: "user";
+        userId: string;
+    } | {
+        kind: "team";
+        teamId: string;
+    } | {
+        kind: "global";
+    };
+    promotionBoundary: string;
+    forbiddenEffects: string[];
+    citedMemories: {
+        memoryId: string & z.BRAND<"MemoryId">;
+        receipt: {
+            freshness: "unknown" | "current" | "stale";
+            scope: "team" | "local" | "project" | "user" | "global";
+            src: string & z.BRAND<"SourceArtifactId">;
+            srcPath: string;
+            srcDigest: string;
+            producedAt: string;
+            promotionBoundary: "no_memory_write" | "no_durable_promotion" | "human_confirmation_required";
+            forbiddenEffects: ("local_only" | "no_runtime_effect" | "external_send_requires_human" | "config_change_forbidden")[];
+            laterRestrictiveEvent: "unknown" | "none" | "superseded" | "tombstoned" | "conflict_unresolved";
+            tupleComplete: true;
+            proposedAction: "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";
+            confidence?: number | undefined;
+            receiptId?: (string & z.BRAND<"ReceiptId">) | undefined;
+            receiverHint?: string | undefined;
+            chain?: string | undefined;
+            prose?: string | undefined;
+        };
+    }[];
+    coverage: {
+        highBoundaryTotal: number;
+        retrievedHighBoundary: number;
+        missingHighBoundaryDigests: string[];
+        coverageDecision: "partial" | "complete" | "critical_gap" | "absent";
+    };
+    relatedConflicts: {
+        status: "requires_human" | "superseded" | "unresolved" | "resolved";
+        scope: {
+            kind: "local";
+        } | {
+            kind: "project";
+            projectId: string;
+        } | {
+            kind: "user";
+            userId: string;
+        } | {
+            kind: "team";
+            teamId: string;
+        } | {
+            kind: "global";
+        };
+        conflictId: string & z.BRAND<"ConflictId">;
+        topic: string;
+        claims: {
+            value: string;
+            authority: number;
+            freshness: "unknown" | "current" | "stale";
+            memoryId: string & z.BRAND<"MemoryId">;
+        }[];
+        decisionPolicy: "surface_conflict" | "prefer_latest_authoritative" | "ask_human" | "abstain";
+        recordedAt: string;
+        resolvedAt: string | null;
+    }[];
+    receiverInstructions: string;
+    assembledAt: string;
+}, {
+    scope: {
+        kind: "local";
+    } | {
+        kind: "project";
+        projectId: string;
+    } | {
+        kind: "user";
+        userId: string;
+    } | {
+        kind: "team";
+        teamId: string;
+    } | {
+        kind: "global";
+    };
+    promotionBoundary: string;
+    forbiddenEffects: string[];
+    citedMemories: {
+        memoryId: string;
+        receipt: {
+            freshness: "unknown" | "current" | "stale";
+            scope: "team" | "local" | "project" | "user" | "global";
+            src: string;
+            srcPath: string;
+            srcDigest: string;
+            producedAt: string;
+            promotionBoundary: "no_memory_write" | "no_durable_promotion" | "human_confirmation_required";
+            forbiddenEffects: ("local_only" | "no_runtime_effect" | "external_send_requires_human" | "config_change_forbidden")[];
+            laterRestrictiveEvent: "unknown" | "none" | "superseded" | "tombstoned" | "conflict_unresolved";
+            tupleComplete: true;
+            proposedAction: "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";
+            confidence?: number | undefined;
+            receiptId?: string | undefined;
+            receiverHint?: string | undefined;
+            chain?: string | undefined;
+            prose?: string | undefined;
+        };
+    }[];
+    coverage: {
+        highBoundaryTotal: number;
+        retrievedHighBoundary: number;
+        missingHighBoundaryDigests: string[];
+        coverageDecision: "partial" | "complete" | "critical_gap" | "absent";
+    };
+    relatedConflicts: {
+        status: "requires_human" | "superseded" | "unresolved" | "resolved";
+        scope: {
+            kind: "local";
+        } | {
+            kind: "project";
+            projectId: string;
+        } | {
+            kind: "user";
+            userId: string;
+        } | {
+            kind: "team";
+            teamId: string;
+        } | {
+            kind: "global";
+        };
+        conflictId: string;
+        topic: string;
+        claims: {
+            value: string;
+            authority: number;
+            freshness: "unknown" | "current" | "stale";
+            memoryId: string;
+        }[];
+        decisionPolicy: "surface_conflict" | "prefer_latest_authoritative" | "ask_human" | "abstain";
+        recordedAt: string;
+        resolvedAt: string | null;
+    }[];
+    receiverInstructions: string;
+    assembledAt: string;
+}>;
+export type ActionContextPacket = z.infer<typeof ActionContextPacketSchema>;
+//# sourceMappingURL=packet.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"packet.d.ts","sourceRoot":"","sources":["../../src/types/packet.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAOxB;;GAEG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAG5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,eAAO,MAAM,yBAAyB;IACpC,6DAA6D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAE7D,gDAAgD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAEhD,kEAAkE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAElE,2DAA2D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAE3D,0DAA0D;;IAE1D,oDAAoD;;IAEpD;;;OAGG;;IAEH,qCAAqC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAErC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC"}

package/dist/types/packet.js

@@ -0,0 +1,43 @@
+/**
+ * ActionContextPacket — the handoff packet given to an acting agent.
+ * Source: specs/aletheia-memory-authority-v0.md §8.
+ *
+ * Hard rule: this is NOT a permission token. The receiving agent must STILL
+ * classify the proposed action and run the receiver algorithm. The packet
+ * carries the data needed to do that, not the decision itself.
+ */
+import { z } from 'zod';
+import { CompressedReceiptSchema } from './compressed-receipt.js';
+import { ConflictRecordSchema } from './conflict.js';
+import { CoverageReceiptSchema } from './coverage.js';
+import { ScopeSchema } from './enums.js';
+import { IsoTimestampSchema, MemoryIdSchema } from './primitives.js';
+/**
+ * Per-cited-memory bundle: the atom id + the receipt that justifies citing it.
+ */
+export const CitedMemorySchema = z.object({
+    memoryId: MemoryIdSchema,
+    receipt: CompressedReceiptSchema,
+});
+export const ActionContextPacketSchema = z.object({
+    /** Scope within which the receiver is being asked to act. */
+    scope: ScopeSchema,
+    /** Memories the proposer cited as authority. */
+    citedMemories: z.array(CitedMemorySchema),
+    /** Coverage info: what should have been retrieved vs what was. */
+    coverage: CoverageReceiptSchema,
+    /** Any conflicts touching these memories or this topic. */
+    relatedConflicts: z.array(ConflictRecordSchema),
+    /** Explicit forbidden effects the receiver must honor. */
+    forbiddenEffects: z.array(z.string().min(1)),
+    /** Promotion boundary applicable to this packet. */
+    promotionBoundary: z.string().min(1),
+    /**
+     * Instructions for the receiver. Must include the fail-closed rule:
+     * "verify everything before acting".
+     */
+    receiverInstructions: z.string().min(1).max(8192),
+    /** When the packet was assembled. */
+    assembledAt: IsoTimestampSchema,
+});
+//# sourceMappingURL=packet.js.map

package/dist/types/packet.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"packet.js","sourceRoot":"","sources":["../../src/types/packet.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAErE;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,QAAQ,EAAE,cAAc;IACxB,OAAO,EAAE,uBAAuB;CACjC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,6DAA6D;IAC7D,KAAK,EAAE,WAAW;IAClB,gDAAgD;IAChD,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACzC,kEAAkE;IAClE,QAAQ,EAAE,qBAAqB;IAC/B,2DAA2D;IAC3D,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IAC/C,0DAA0D;IAC1D,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5C,oDAAoD;IACpD,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC;;;OAGG;IACH,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;IACjD,qCAAqC;IACrC,WAAW,EAAE,kBAAkB;CAChC,CAAC,CAAC"}

package/dist/types/primitives.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Primitive value objects shared across all domain types.
+ *
+ * All identifiers are zod-branded strings: at runtime a `MemoryId` and an
+ * `EventId` are both strings; TypeScript enforces nominal separation so they
+ * cannot be mixed. The single source of truth is the zod schema — types are
+ * derived from it via `z.infer`.
+ */
+import { z } from 'zod';
+export declare const MemoryIdSchema: z.ZodBranded<z.ZodString, "MemoryId">;
+export type MemoryId = z.infer<typeof MemoryIdSchema>;
+export declare const EventIdSchema: z.ZodBranded<z.ZodString, "EventId">;
+export type EventId = z.infer<typeof EventIdSchema>;
+export declare const ProposalIdSchema: z.ZodBranded<z.ZodString, "ProposalId">;
+export type ProposalId = z.infer<typeof ProposalIdSchema>;
+export declare const ConflictIdSchema: z.ZodBranded<z.ZodString, "ConflictId">;
+export type ConflictId = z.infer<typeof ConflictIdSchema>;
+export declare const AgentIdSchema: z.ZodBranded<z.ZodString, "AgentId">;
+export type AgentId = z.infer<typeof AgentIdSchema>;
+export declare const SourceArtifactIdSchema: z.ZodBranded<z.ZodString, "SourceArtifactId">;
+export type SourceArtifactId = z.infer<typeof SourceArtifactIdSchema>;
+export declare const ReceiptIdSchema: z.ZodBranded<z.ZodString, "ReceiptId">;
+export type ReceiptId = z.infer<typeof ReceiptIdSchema>;
+/** ISO-8601 UTC timestamp. We never accept partial dates or local timezones. */
+export declare const IsoTimestampSchema: z.ZodString;
+export type IsoTimestamp = z.infer<typeof IsoTimestampSchema>;
+/**
+ * Content digest of a source artifact. We accept any well-formed hex hash
+ * (sha256, blake3, etc.) — the algorithm is implicit in the lane that produced it.
+ */
+export declare const HashDigestSchema: z.ZodString;
+export type HashDigest = z.infer<typeof HashDigestSchema>;
+/**
+ * Path or registry lane to the source artifact. NOT prose: must be resolvable
+ * to a real artifact by the source-lane resolver.
+ */
+export declare const SourcePathSchema: z.ZodEffects<z.ZodString, string, string>;
+export type SourcePath = z.infer<typeof SourcePathSchema>;
+//# sourceMappingURL=primitives.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/types/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB,eAAO,MAAM,cAAc,uCAA8B,CAAC;AAC1D,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD,eAAO,MAAM,aAAa,sCAA6B,CAAC;AACxD,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD,eAAO,MAAM,gBAAgB,yCAAgC,CAAC;AAC9D,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,eAAO,MAAM,gBAAgB,yCAAgC,CAAC;AAC9D,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,eAAO,MAAM,aAAa,sCAA6B,CAAC;AACxD,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD,eAAO,MAAM,sBAAsB,+CAAsC,CAAC;AAC1E,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,eAAe,wCAA+B,CAAC;AAC5D,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAIxD,gFAAgF;AAChF,eAAO,MAAM,kBAAkB,aAE+D,CAAC;AAC/F,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAI9D;;;GAGG;AACH,eAAO,MAAM,gBAAgB,aAEmD,CAAC;AACjF,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAI1D;;;GAGG;AACH,eAAO,MAAM,gBAAgB,2CAI6C,CAAC;AAC3E,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC"}