@otto-code/protocol 0.8.17 → 0.8.19

package/dist/project-knowledge.d.ts

@@ -16,6 +16,22 @@ export declare const ProjectKnowledgeStatusSchema: z.ZodEnum<{
     proposed: "proposed";
     confirmed: "confirmed";
 }>;
+/**
+ * Where a project keeps its Knowledge store. `repository` is the historical
+ * `.otto/` directory in the working tree; `host` is a directory under the
+ * daemon's `$OTTO_HOME`, so the working tree stays clean. `null` on a project
+ * means "inherit the host default".
+ *
+ * Declared up here rather than beside the store RPCs at the bottom of the file:
+ * `messages.ts` composes it into the project descriptor, and the AOT validator
+ * generator evaluates these modules for real, so a schema referenced by another
+ * must already exist when that reference runs.
+ * COMPAT(projectKnowledgeStoreLocation): added in v0.8.18.
+ */
+export declare const ProjectKnowledgeStoreLocationValueSchema: z.ZodEnum<{
+    repository: "repository";
+    host: "host";
+}>;
 export declare const ProjectDeliveryStatusSchema: z.ZodEnum<{
     reference: "reference";
     charter: "charter";
@@ -92,6 +108,7 @@ export declare const ProjectKnowledgeRecordSchema: z.ZodObject<{
         affects: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$strip>>>;
     path: z.ZodOptional<z.ZodString>;
+    absolutePath: z.ZodOptional<z.ZodString>;
 }, z.core.$strip>;
 /** Review health, not a persisted project-knowledge finding record. */
 export declare const ProjectKnowledgeHealthSchema: z.ZodObject<{
@@ -113,7 +130,9 @@ export declare const ProjectKnowledgeRootPageSchema: z.ZodObject<{
     slug: z.ZodString;
     title: z.ZodString;
     path: z.ZodString;
+    absolutePath: z.ZodOptional<z.ZodString>;
     body: z.ZodString;
+    bodyDigest: z.ZodOptional<z.ZodString>;
 }, z.core.$strip>;
 export declare const ProjectKnowledgeListRequestMessageSchema: z.ZodObject<{
     type: z.ZodLiteral<"project.knowledge.list.request">;
@@ -178,12 +197,15 @@ export declare const ProjectKnowledgeListResponseMessageSchema: z.ZodObject<{
                 affects: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>>;
             path: z.ZodOptional<z.ZodString>;
+            absolutePath: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
         rootPages: z.ZodOptional<z.ZodArray<z.ZodObject<{
             slug: z.ZodString;
             title: z.ZodString;
             path: z.ZodString;
+            absolutePath: z.ZodOptional<z.ZodString>;
             body: z.ZodString;
+            bodyDigest: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>>;
         findings: z.ZodArray<z.ZodObject<{
             kind: z.ZodEnum<{
@@ -270,6 +292,7 @@ export declare const ProjectKnowledgeGetResponseMessageSchema: z.ZodObject<{
                 affects: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>>;
             path: z.ZodOptional<z.ZodString>;
+            absolutePath: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
@@ -379,6 +402,7 @@ export declare const ProjectKnowledgeCreateResponseMessageSchema: z.ZodObject<{
                 affects: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>>;
             path: z.ZodOptional<z.ZodString>;
+            absolutePath: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>;
     }, z.core.$strip>;
 }, z.core.$strip>;
@@ -390,6 +414,7 @@ export declare const ProjectKnowledgeApplyRequestMessageSchema: z.ZodObject<{
     title: z.ZodOptional<z.ZodString>;
     statement: z.ZodOptional<z.ZodString>;
     evidence: z.ZodOptional<z.ZodString>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
     provenanceText: z.ZodOptional<z.ZodString>;
     provenanceSource: z.ZodOptional<z.ZodString>;
     provenanceAffects: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -453,6 +478,7 @@ export declare const ProjectKnowledgeApplyResponseMessageSchema: z.ZodObject<{
                 affects: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>>;
             path: z.ZodOptional<z.ZodString>;
+            absolutePath: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
         error: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
@@ -527,6 +553,7 @@ export declare const ProjectKnowledgeStatusResponseMessageSchema: z.ZodObject<{
                 affects: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>>;
             path: z.ZodOptional<z.ZodString>;
+            absolutePath: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
     }, z.core.$strip>;
 }, z.core.$strip>;
@@ -611,6 +638,7 @@ export declare const ProjectKnowledgeProjectApplyResponseMessageSchema: z.ZodObj
                 affects: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>>;
             path: z.ZodOptional<z.ZodString>;
+            absolutePath: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
         error: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
@@ -689,6 +717,7 @@ export declare const ProjectKnowledgeReferenceApplyResponseMessageSchema: z.ZodO
                 affects: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>>;
             path: z.ZodOptional<z.ZodString>;
+            absolutePath: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
         error: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
@@ -708,8 +737,176 @@ export declare const ProjectKnowledgeRootApplyResponseMessageSchema: z.ZodObject
             slug: z.ZodString;
             title: z.ZodString;
             path: z.ZodString;
+            absolutePath: z.ZodOptional<z.ZodString>;
+            body: z.ZodString;
+            bodyDigest: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+/**
+ * A reviewed refinement commits an accepted proposal, not an ordinary edit.
+ * Confirmed atomic Knowledge is demoted atomically with its new truth; root
+ * pages use a body digest because they have no review state.
+ */
+export declare const ProjectKnowledgeRefineApplyRequestMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"project.knowledge.refine.apply.request">;
+    requestId: z.ZodString;
+    workspaceId: z.ZodString;
+    target: z.ZodEnum<{
+        record: "record";
+        root: "root";
+    }>;
+    id: z.ZodOptional<z.ZodString>;
+    slug: z.ZodOptional<z.ZodString>;
+    statement: z.ZodOptional<z.ZodString>;
+    evidence: z.ZodOptional<z.ZodString>;
+    body: z.ZodOptional<z.ZodString>;
+    expectedUpdatedAt: z.ZodOptional<z.ZodString>;
+    expectedBodyDigest: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export declare const ProjectKnowledgeRefineApplyResponseMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"project.knowledge.refine.apply.response">;
+    payload: z.ZodObject<{
+        requestId: z.ZodString;
+        record: z.ZodNullable<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<{
+                project: "project";
+                reference: "reference";
+                decision: "decision";
+                constraint: "constraint";
+                requirement: "requirement";
+                architecture: "architecture";
+                finding: "finding";
+            }>;
+            title: z.ZodString;
+            statement: z.ZodString;
+            statementDigest: z.ZodOptional<z.ZodString>;
+            evidence: z.ZodOptional<z.ZodString>;
+            tags: z.ZodArray<z.ZodString>;
+            status: z.ZodEnum<{
+                superseded: "superseded";
+                proposed: "proposed";
+                confirmed: "confirmed";
+            }>;
+            deliveryStatus: z.ZodOptional<z.ZodEnum<{
+                reference: "reference";
+                charter: "charter";
+                in_build: "in_build";
+                partial: "partial";
+                blocked: "blocked";
+                complete: "complete";
+                deferred: "deferred";
+                cancelled: "cancelled";
+            }>>;
+            progress: z.ZodOptional<z.ZodObject<{
+                completed: z.ZodNumber;
+                total: z.ZodNumber;
+                unit: z.ZodString;
+            }, z.core.$strip>>;
+            referenceDisposition: z.ZodOptional<z.ZodEnum<{
+                read: "read";
+                unevaluated: "unevaluated";
+                adopted: "adopted";
+                rejected: "rejected";
+                dependency: "dependency";
+            }>>;
+            sourceUrl: z.ZodOptional<z.ZodString>;
+            createdAt: z.ZodString;
+            updatedAt: z.ZodString;
+            provenance: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                text: z.ZodString;
+                recordedAt: z.ZodString;
+                source: z.ZodOptional<z.ZodString>;
+                kind: z.ZodOptional<z.ZodString>;
+                affects: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>>;
+            path: z.ZodOptional<z.ZodString>;
+            absolutePath: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        page: z.ZodNullable<z.ZodObject<{
+            slug: z.ZodString;
+            title: z.ZodString;
+            path: z.ZodString;
+            absolutePath: z.ZodOptional<z.ZodString>;
             body: z.ZodString;
+            bodyDigest: z.ZodOptional<z.ZodString>;
         }, z.core.$strip>>;
+        demoted: z.ZodBoolean;
+        error: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+/** An exact source span inside an editable Project Knowledge title or body. */
+export declare const ProjectKnowledgeRefinementAnchorSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"text">;
+    start: z.ZodNumber;
+    end: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"fence">;
+    start: z.ZodNumber;
+    end: z.ZodNumber;
+    language: z.ZodNullable<z.ZodString>;
+}, z.core.$strip>], "kind">;
+/** A temporary source-bound instruction sent to the dedicated Knowledge writer. */
+export declare const ProjectKnowledgeRefinementDirectiveSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    kind: z.ZodEnum<{
+        replace: "replace";
+        refine: "refine";
+    }>;
+    selectedText: z.ZodOptional<z.ZodString>;
+    beforeContext: z.ZodOptional<z.ZodString>;
+    afterContext: z.ZodOptional<z.ZodString>;
+    anchor: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"text">;
+        start: z.ZodNumber;
+        end: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"fence">;
+        start: z.ZodNumber;
+        end: z.ZodNumber;
+        language: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>], "kind">>;
+    value: z.ZodString;
+}, z.core.$strip>;
+/**
+ * Produces one inert Knowledge proposal. Direct replacements have already been
+ * applied by the caller; this request carries only the remaining refinement
+ * instructions and never writes the store.
+ */
+export declare const ProjectKnowledgeRefinementProposeRequestMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"project.knowledge.refinement.propose.request">;
+    requestId: z.ZodString;
+    workspaceId: z.ZodString;
+    content: z.ZodString;
+    directives: z.ZodArray<z.ZodObject<{
+        id: z.ZodOptional<z.ZodString>;
+        kind: z.ZodEnum<{
+            replace: "replace";
+            refine: "refine";
+        }>;
+        selectedText: z.ZodOptional<z.ZodString>;
+        beforeContext: z.ZodOptional<z.ZodString>;
+        afterContext: z.ZodOptional<z.ZodString>;
+        anchor: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"text">;
+            start: z.ZodNumber;
+            end: z.ZodNumber;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"fence">;
+            start: z.ZodNumber;
+            end: z.ZodNumber;
+            language: z.ZodNullable<z.ZodString>;
+        }, z.core.$strip>], "kind">>;
+        value: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export declare const ProjectKnowledgeRefinementProposeResponseMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"project.knowledge.refinement.propose.response">;
+    payload: z.ZodObject<{
+        requestId: z.ZodString;
+        content: z.ZodNullable<z.ZodString>;
+        error: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
 }, z.core.$strip>;
 export declare const ProjectKnowledgeDeleteRequestMessageSchema: z.ZodObject<{
@@ -732,9 +929,110 @@ export type ProjectKnowledgeListResponseMessage = z.infer<typeof ProjectKnowledg
 export type ProjectKnowledgeGetResponseMessage = z.infer<typeof ProjectKnowledgeGetResponseMessageSchema>;
 export type ProjectKnowledgeCreateResponseMessage = z.infer<typeof ProjectKnowledgeCreateResponseMessageSchema>;
 export type ProjectKnowledgeApplyResponseMessage = z.infer<typeof ProjectKnowledgeApplyResponseMessageSchema>;
+export type ProjectKnowledgeRefinementProposeResponseMessage = z.infer<typeof ProjectKnowledgeRefinementProposeResponseMessageSchema>;
 export type ProjectKnowledgeStatusResponseMessage = z.infer<typeof ProjectKnowledgeStatusResponseMessageSchema>;
 export type ProjectKnowledgeProjectApplyResponseMessage = z.infer<typeof ProjectKnowledgeProjectApplyResponseMessageSchema>;
 export type ProjectKnowledgeReferenceApplyResponseMessage = z.infer<typeof ProjectKnowledgeReferenceApplyResponseMessageSchema>;
 export type ProjectKnowledgeRootApplyResponseMessage = z.infer<typeof ProjectKnowledgeRootApplyResponseMessageSchema>;
+export type ProjectKnowledgeRefineApplyResponseMessage = z.infer<typeof ProjectKnowledgeRefineApplyResponseMessageSchema>;
 export type ProjectKnowledgeDeleteResponseMessage = z.infer<typeof ProjectKnowledgeDeleteResponseMessageSchema>;
+/** What the daemon resolved for a workspace, and why the client may act on it. */
+export declare const ProjectKnowledgeStoreDescriptorSchema: z.ZodObject<{
+    location: z.ZodEnum<{
+        repository: "repository";
+        host: "host";
+    }>;
+    override: z.ZodNullable<z.ZodEnum<{
+        repository: "repository";
+        host: "host";
+    }>>;
+    hostDefault: z.ZodEnum<{
+        repository: "repository";
+        host: "host";
+    }>;
+    basePath: z.ZodString;
+    projectId: z.ZodNullable<z.ZodString>;
+    hasPages: z.ZodBoolean;
+    otherLocationHasPages: z.ZodBoolean;
+}, z.core.$strip>;
+/**
+ * Addressed by project or by workspace. Project Settings has a project and no
+ * open workspace; the Knowledge panel has a workspace and reaches its project
+ * through it. Both are optional on the wire and the daemon rejects neither
+ * being set, rather than forcing a caller to invent an id it does not have.
+ */
+export declare const ProjectKnowledgeStoreGetRequestMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"project.knowledge.store.get.request">;
+    requestId: z.ZodString;
+    workspaceId: z.ZodOptional<z.ZodString>;
+    projectId: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export declare const ProjectKnowledgeStoreGetResponseMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"project.knowledge.store.get.response">;
+    payload: z.ZodObject<{
+        requestId: z.ZodString;
+        store: z.ZodNullable<z.ZodObject<{
+            location: z.ZodEnum<{
+                repository: "repository";
+                host: "host";
+            }>;
+            override: z.ZodNullable<z.ZodEnum<{
+                repository: "repository";
+                host: "host";
+            }>>;
+            hostDefault: z.ZodEnum<{
+                repository: "repository";
+                host: "host";
+            }>;
+            basePath: z.ZodString;
+            projectId: z.ZodNullable<z.ZodString>;
+            hasPages: z.ZodBoolean;
+            otherLocationHasPages: z.ZodBoolean;
+        }, z.core.$strip>>;
+        error: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export declare const ProjectKnowledgeStoreSetRequestMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"project.knowledge.store.set.request">;
+    requestId: z.ZodString;
+    projectId: z.ZodString;
+    workspaceId: z.ZodOptional<z.ZodString>;
+    location: z.ZodNullable<z.ZodEnum<{
+        repository: "repository";
+        host: "host";
+    }>>;
+    movePages: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strip>;
+export declare const ProjectKnowledgeStoreSetResponseMessageSchema: z.ZodObject<{
+    type: z.ZodLiteral<"project.knowledge.store.set.response">;
+    payload: z.ZodObject<{
+        requestId: z.ZodString;
+        projectId: z.ZodString;
+        accepted: z.ZodBoolean;
+        store: z.ZodNullable<z.ZodObject<{
+            location: z.ZodEnum<{
+                repository: "repository";
+                host: "host";
+            }>;
+            override: z.ZodNullable<z.ZodEnum<{
+                repository: "repository";
+                host: "host";
+            }>>;
+            hostDefault: z.ZodEnum<{
+                repository: "repository";
+                host: "host";
+            }>;
+            basePath: z.ZodString;
+            projectId: z.ZodNullable<z.ZodString>;
+            hasPages: z.ZodBoolean;
+            otherLocationHasPages: z.ZodBoolean;
+        }, z.core.$strip>>;
+        movedPageCount: z.ZodNumber;
+        error: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$strip>;
+export type ProjectKnowledgeStoreDescriptor = z.infer<typeof ProjectKnowledgeStoreDescriptorSchema>;
+export type ProjectKnowledgeStoreGetResponseMessage = z.infer<typeof ProjectKnowledgeStoreGetResponseMessageSchema>;
+export type ProjectKnowledgeStoreSetResponseMessage = z.infer<typeof ProjectKnowledgeStoreSetResponseMessageSchema>;
+export type ProjectKnowledgeStoreLocationValue = z.infer<typeof ProjectKnowledgeStoreLocationValueSchema>;
 //# sourceMappingURL=project-knowledge.d.ts.map

package/dist/project-knowledge.js

@@ -15,6 +15,19 @@ export const ProjectKnowledgeKindSchema = z.enum([
     "reference",
 ]);
 export const ProjectKnowledgeStatusSchema = z.enum(["proposed", "confirmed", "superseded"]);
+/**
+ * Where a project keeps its Knowledge store. `repository` is the historical
+ * `.otto/` directory in the working tree; `host` is a directory under the
+ * daemon's `$OTTO_HOME`, so the working tree stays clean. `null` on a project
+ * means "inherit the host default".
+ *
+ * Declared up here rather than beside the store RPCs at the bottom of the file:
+ * `messages.ts` composes it into the project descriptor, and the AOT validator
+ * generator evaluates these modules for real, so a schema referenced by another
+ * must already exist when that reference runs.
+ * COMPAT(projectKnowledgeStoreLocation): added in v0.8.18.
+ */
+export const ProjectKnowledgeStoreLocationValueSchema = z.enum(["repository", "host"]);
 export const ProjectDeliveryStatusSchema = z.enum([
     "charter",
     "in_build",
@@ -61,7 +74,13 @@ export const ProjectKnowledgeRecordSchema = z.object({
         affects: z.array(z.string()).optional(),
     }))
         .optional(),
+    // Relative to the store's path base: the project root for a repository
+    // store, the store directory for a host store. Prefer `absolutePath` when
+    // the client needs a path it can actually open.
     path: z.string().optional(),
+    // COMPAT(projectKnowledgeStoreLocation): added in v0.8.18; the only path a
+    // client can open for a host-local store. Absent from older daemons.
+    absolutePath: z.string().optional(),
 });
 /** Review health, not a persisted project-knowledge finding record. */
 export const ProjectKnowledgeHealthSchema = z.object({
@@ -76,7 +95,12 @@ export const ProjectKnowledgeRootPageSchema = z.object({
     slug: z.string(),
     title: z.string(),
     path: z.string(),
+    // COMPAT(projectKnowledgeStoreLocation): added in v0.8.18. See the same field
+    // on ProjectKnowledgeRecordSchema.
+    absolutePath: z.string().optional(),
     body: z.string(),
+    /** Conditional-write precondition for a reviewed root-page refinement. */
+    bodyDigest: z.string().optional(),
 });
 export const ProjectKnowledgeListRequestMessageSchema = z.object({
     type: z.literal("project.knowledge.list.request"),
@@ -135,6 +159,9 @@ export const ProjectKnowledgeApplyRequestMessageSchema = z.object({
     title: z.string().max(160).optional(),
     statement: z.string().optional(),
     evidence: z.string().optional(),
+    // COMPAT(projectKnowledgeTagEditing): added in v0.8.21, accepted through
+    // 2027-02-27 for clients before tag editing.
+    tags: z.array(z.string().max(48)).max(32).optional(),
     provenanceText: z.string().optional(),
     provenanceSource: z.string().max(160).optional(),
     provenanceAffects: z.array(z.string()).optional(),
@@ -210,6 +237,78 @@ export const ProjectKnowledgeRootApplyResponseMessageSchema = z.object({
         page: ProjectKnowledgeRootPageSchema.nullable(),
     }),
 });
+/**
+ * A reviewed refinement commits an accepted proposal, not an ordinary edit.
+ * Confirmed atomic Knowledge is demoted atomically with its new truth; root
+ * pages use a body digest because they have no review state.
+ */
+export const ProjectKnowledgeRefineApplyRequestMessageSchema = z.object({
+    type: z.literal("project.knowledge.refine.apply.request"),
+    requestId: z.string(),
+    workspaceId: z.string(),
+    target: z.enum(["record", "root"]),
+    id: z.string().optional(),
+    slug: z.string().optional(),
+    statement: z.string().optional(),
+    // COMPAT(projectKnowledgeEvidenceRefinement): added in v0.8.18, accepted
+    // through 2027-02-27 for clients before multi-field record review.
+    evidence: z.string().optional(),
+    body: z.string().optional(),
+    expectedUpdatedAt: z.string().optional(),
+    expectedBodyDigest: z.string().optional(),
+});
+export const ProjectKnowledgeRefineApplyResponseMessageSchema = z.object({
+    type: z.literal("project.knowledge.refine.apply.response"),
+    payload: z.object({
+        requestId: z.string(),
+        record: ProjectKnowledgeRecordSchema.nullable(),
+        page: ProjectKnowledgeRootPageSchema.nullable(),
+        demoted: z.boolean(),
+        error: z.string().optional(),
+    }),
+});
+/** An exact source span inside an editable Project Knowledge title or body. */
+export const ProjectKnowledgeRefinementAnchorSchema = z.discriminatedUnion("kind", [
+    z.object({ kind: z.literal("text"), start: z.number().int(), end: z.number().int() }),
+    z.object({
+        kind: z.literal("fence"),
+        start: z.number().int(),
+        end: z.number().int(),
+        language: z.string().nullable(),
+    }),
+]);
+/** A temporary source-bound instruction sent to the dedicated Knowledge writer. */
+export const ProjectKnowledgeRefinementDirectiveSchema = z.object({
+    id: z.string().optional(),
+    kind: z.enum(["replace", "refine"]),
+    // COMPAT(projectKnowledgePhraseRefinement): accepted through 2027-02-27 for
+    // clients before source-owned review anchors.
+    selectedText: z.string().optional(),
+    beforeContext: z.string().optional(),
+    afterContext: z.string().optional(),
+    anchor: ProjectKnowledgeRefinementAnchorSchema.optional(),
+    value: z.string(),
+});
+/**
+ * Produces one inert Knowledge proposal. Direct replacements have already been
+ * applied by the caller; this request carries only the remaining refinement
+ * instructions and never writes the store.
+ */
+export const ProjectKnowledgeRefinementProposeRequestMessageSchema = z.object({
+    type: z.literal("project.knowledge.refinement.propose.request"),
+    requestId: z.string(),
+    workspaceId: z.string(),
+    content: z.string(),
+    directives: z.array(ProjectKnowledgeRefinementDirectiveSchema),
+});
+export const ProjectKnowledgeRefinementProposeResponseMessageSchema = z.object({
+    type: z.literal("project.knowledge.refinement.propose.response"),
+    payload: z.object({
+        requestId: z.string(),
+        content: z.string().nullable(),
+        error: z.string().optional(),
+    }),
+});
 export const ProjectKnowledgeDeleteRequestMessageSchema = z.object({
     type: z.literal("project.knowledge.delete.request"),
     requestId: z.string(),
@@ -226,4 +325,71 @@ export const ProjectKnowledgeDeleteResponseMessageSchema = z.object({
         error: z.string().optional(),
     }),
 });
+// COMPAT(projectKnowledgeStoreLocation): added in v0.8.18, drop the gate when
+// floor >= v0.8.18. Gated by server_info features.projectKnowledgeStoreLocation.
+/** What the daemon resolved for a workspace, and why the client may act on it. */
+export const ProjectKnowledgeStoreDescriptorSchema = z.object({
+    location: ProjectKnowledgeStoreLocationValueSchema,
+    /** The project's own override; null means it is following the host default. */
+    override: ProjectKnowledgeStoreLocationValueSchema.nullable(),
+    /** The host default in force, so the UI can label the inherited choice. */
+    hostDefault: ProjectKnowledgeStoreLocationValueSchema,
+    /** Absolute directory holding `KNOWLEDGE.md` and the `knowledge/` tree. */
+    basePath: z.string(),
+    /** The project this store belongs to, when the workspace has a registered one. */
+    projectId: z.string().nullable(),
+    /** Whether the resolved store holds pages a switch would offer to carry over. */
+    hasPages: z.boolean(),
+    /** Whether the other location already holds pages a switch would land beside. */
+    otherLocationHasPages: z.boolean(),
+});
+/**
+ * Addressed by project or by workspace. Project Settings has a project and no
+ * open workspace; the Knowledge panel has a workspace and reaches its project
+ * through it. Both are optional on the wire and the daemon rejects neither
+ * being set, rather than forcing a caller to invent an id it does not have.
+ */
+export const ProjectKnowledgeStoreGetRequestMessageSchema = z.object({
+    type: z.literal("project.knowledge.store.get.request"),
+    requestId: z.string(),
+    workspaceId: z.string().optional(),
+    projectId: z.string().optional(),
+});
+export const ProjectKnowledgeStoreGetResponseMessageSchema = z.object({
+    type: z.literal("project.knowledge.store.get.response"),
+    payload: z.object({
+        requestId: z.string(),
+        store: ProjectKnowledgeStoreDescriptorSchema.nullable(),
+        error: z.string().nullable(),
+    }),
+});
+export const ProjectKnowledgeStoreSetRequestMessageSchema = z.object({
+    type: z.literal("project.knowledge.store.set.request"),
+    requestId: z.string(),
+    projectId: z.string().min(1),
+    /**
+     * The workspace whose context report should be refreshed. Optional because
+     * the setting is reachable from Project Settings, where no workspace is open.
+     */
+    workspaceId: z.string().optional(),
+    /** Null returns the project to inheriting the host default. */
+    location: ProjectKnowledgeStoreLocationValueSchema.nullable(),
+    /**
+     * Whether to carry the existing pages to the new location. The daemon never
+     * decides this: a silent move stages a deletion in the user's working tree.
+     */
+    movePages: z.boolean().default(false),
+});
+export const ProjectKnowledgeStoreSetResponseMessageSchema = z.object({
+    type: z.literal("project.knowledge.store.set.response"),
+    payload: z.object({
+        requestId: z.string(),
+        projectId: z.string(),
+        accepted: z.boolean(),
+        store: ProjectKnowledgeStoreDescriptorSchema.nullable(),
+        /** Pages actually carried across. Zero when `movePages` was false. */
+        movedPageCount: z.number().int().nonnegative(),
+        error: z.string().nullable(),
+    }),
+});
 //# sourceMappingURL=project-knowledge.js.map