@avantf/dsh-mem 0.6.4 → 0.7.0

package/lib/engine/mem-contract/tools.d.ts

@@ -48,6 +48,13 @@ export declare const FACT_VIEW_ADMIN_ACTIONS: readonly ["list", "detail"];
  * explicitly with `mem_admin`'s diagnostic actions.
  */
 export declare function modelFacingToolResult(toolKey: string, action: unknown, value: unknown): unknown;
+/**
+ * The statuses an export may narrow to. Declared here (next to the tool schema that exposes it) so
+ * the core export path, the CLI flag validation and the admin action read ONE set: a value added
+ * here moves the contract, the CLI and the engine together.
+ */
+export declare const EXPORT_STATUSES: readonly ["active", "archived", "all"];
+export type ExportStatus = (typeof EXPORT_STATUSES)[number];
 export declare const REMEMBER_ACTIONS: readonly ["add", "update", "remove", "helpful", "unhelpful"];
 export declare const RememberUnion: z.ZodDiscriminatedUnion<[z.ZodObject<{
     action: z.ZodLiteral<"add">;
@@ -78,6 +85,13 @@ export declare const RememberUnion: z.ZodDiscriminatedUnion<[z.ZodObject<{
     fact_id: z.ZodNumber;
 }, z.core.$strip>], "action">;
 export type RememberRequest = z.infer<typeof RememberUnion>;
+/**
+ * The writes the model may make. `helpful` / `unhelpful` are operator feedback: the model cannot
+ * observe the retention clocks they move, and a model that could would be able to "refresh" a fact by
+ * voting on it — the exact behaviour the retention policy exists to prevent.
+ */
+export declare const MODEL_REMEMBER_ACTIONS: readonly ["add", "update", "remove"];
+export declare const ModelRememberUnion: z.ZodDiscriminatedUnion<readonly z.core.$ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>[], string>;
 export declare const RECALL_ACTIONS: readonly ["search", "ask", "chain", "probe", "reason", "related", "contradict"];
 export declare const RecallUnion: z.ZodDiscriminatedUnion<[z.ZodObject<{
     action: z.ZodLiteral<"search">;
@@ -125,7 +139,14 @@ export declare const RecallUnion: z.ZodDiscriminatedUnion<[z.ZodObject<{
     limit: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>], "action">;
 export type RecallRequest = z.infer<typeof RecallUnion>;
-export declare const ADMIN_ACTIONS: readonly ["stats", "list", "detail", "archive", "restore", "pin", "unpin", "trust_diagnose", "vectors_diagnose", "vectors_fix", "contradict_check", "contradict_resolve", "maintenance"];
+/**
+ * The retrieval actions the model may call. `chain` and `related` are operator graph views
+ * (the settings page and the CLI use them); the model reaches the same facts through
+ * `search`/`probe`/`ask`/`reason`, so the two graph shapes are not part of its tool.
+ */
+export declare const MODEL_RECALL_ACTIONS: readonly ["search", "ask", "probe", "reason", "contradict"];
+export declare const ModelRecallUnion: z.ZodDiscriminatedUnion<readonly z.core.$ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>[], string>;
+export declare const ADMIN_ACTIONS: readonly ["stats", "list", "detail", "archive", "restore", "pin", "unpin", "trust_diagnose", "vectors_diagnose", "vectors_fix", "contradict_check", "contradict_resolve", "maintenance", "export", "import", "merge", "restore_snapshot"];
 export declare const AdminUnion: z.ZodDiscriminatedUnion<[z.ZodObject<{
     action: z.ZodLiteral<"stats">;
 }, z.core.$strip>, z.ZodObject<{
@@ -177,8 +198,41 @@ export declare const AdminUnion: z.ZodDiscriminatedUnion<[z.ZodObject<{
     loser_fact_id: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>, z.ZodObject<{
     action: z.ZodLiteral<"maintenance">;
+}, z.core.$strip>, z.ZodObject<{
+    action: z.ZodLiteral<"export">;
+    status: z.ZodOptional<z.ZodEnum<{
+        active: "active";
+        archived: "archived";
+        all: "all";
+    }>>;
+    file: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, z.ZodObject<{
+    action: z.ZodLiteral<"import">;
+    file: z.ZodString;
+    dry_run: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strip>, z.ZodObject<{
+    action: z.ZodLiteral<"merge">;
+    file: z.ZodString;
+    dry_run: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strip>, z.ZodObject<{
+    action: z.ZodLiteral<"restore_snapshot">;
+    file: z.ZodString;
+    confirm: z.ZodLiteral<true>;
+    dry_run: z.ZodOptional<z.ZodBoolean>;
 }, z.core.$strip>], "action">;
 export type AdminRequest = z.infer<typeof AdminUnion>;
+/**
+ * The admin actions the model may call: a fact page plus the backup/restore family.
+ *
+ * Everything else is OPERATOR machinery: diagnostics and repairs (the model cannot see trust values
+ * and must not rerun the embedding strategy), curation (pin/archive/contradiction verdicts), and
+ * duplicates of what is already model-facing (`detail` is a single-fact view of the same page;
+ * `contradict_check` is the write-side half of `mem_recall.contradict`; `merge` is what `import`
+ * now does automatically for a SQLite file). The full union stays for the runtime, the Remote
+ * gateway (the settings page drives every action) and the CLI.
+ */
+export declare const MODEL_ADMIN_ACTIONS: readonly ["list", "export", "import", "restore_snapshot"];
+export declare const ModelAdminUnion: z.ZodDiscriminatedUnion<readonly z.core.$ZodType<unknown, unknown, z.core.$ZodTypeInternals<unknown, unknown>>[], string>;
 /** The `source` a write gets when it omits one; a document's identity is `(domain, source, title)`. */
 export declare const DEFAULT_KB_SOURCE = "default";
 export declare const KbUnion: z.ZodDiscriminatedUnion<[z.ZodObject<{