@danypops/papyrus 0.60.1 → 0.60.3

package/src/service.ts

@@ -12,6 +12,7 @@ import type { ArtifactTrashStore } from "./artifact/artifact-trash-store.ts";
 import { SQLiteArtifactScopeStore } from "./artifact/sqlite-artifact-scope-store.ts";
 import { SQLiteArtifactStore } from "./artifact/sqlite-artifact-store.ts";
 import { type AuthorityClaim, AuthorityRegistry, AuthorizedArtifactWriter } from "./authority-registry.ts";
+import { BINDER_FILED_IN_RELATION, BINDER_KIND, BINDER_ORGANIZES_RELATION } from "./binder/binder.ts";
 import { SERVICE_MAX_BODY_BYTES, SQLITE_SCHEMA_VERSION } from "./constants.ts";
 import { migrateDb, openDb, schemaVersion } from "./db.ts";
 import { Discussions } from "./discussion/discussion-service.ts";
@@ -25,6 +26,7 @@ import { logEvent } from "./log/log.ts";
 import { Logs } from "./log/log-service.ts";
 import { SQLiteLogStore } from "./log/sqlite-log-store.ts";
 import { OperationRegistry } from "./module-registry.ts";
+import { BINDERS_OPERATION_NAMES, bindersOperations } from "./modules/binders.ts";
 import { DISCUSS_OPERATION_NAMES, discussOperations } from "./modules/discuss.ts";
 import { DOCS_OPERATION_NAMES, docsOperations } from "./modules/docs.ts";
 import { GRAPH_PROJECTION_OPERATION_NAMES, graphProjectionOperations } from "./modules/graph-projection.ts";
@@ -99,6 +101,7 @@ const COMPOSITION_ROOT_OPERATION_NAMES = [
 export const EXPECTED_OPERATION_NAMES = [
 	...COMPOSITION_ROOT_OPERATION_NAMES,
 	...TASKS_OPERATION_NAMES,
+	...BINDERS_OPERATION_NAMES,
 	...DOCS_OPERATION_NAMES,
 	...NOTES_OPERATION_NAMES,
 	...RULES_OPERATION_NAMES,
@@ -163,6 +166,13 @@ const tasksAuthorityClaim: AuthorityClaim = {
 	denyMessage: () => "task lifecycle changes require a tasks.* operation so history and review invariants are preserved",
 };
 
+const bindersAuthorityClaim: AuthorityClaim = {
+	owner: "binders",
+	matchesArtifact: (kind) => kind === BINDER_KIND,
+	matchesRelation: (relation) => relation === BINDER_ORGANIZES_RELATION || relation === BINDER_FILED_IN_RELATION,
+	denyMessage: () => "Binder creation, hierarchy, and filing require a binders.* operation so path and cycle invariants are preserved",
+};
+
 /**
  * The same status-bypass protection Tasks and Notes already have, extended to every other kind
  * with its own validated transition set (Doc's draft/active/archived, Rule/Playbook's
@@ -183,6 +193,7 @@ export function createAuthorityRegistry(): AuthorityRegistry {
 	authority.claimAll([
 		notesAuthorityClaim,
 		tasksAuthorityClaim,
+		bindersAuthorityClaim,
 		lifecycleAuthorityClaim("docs", "doc"),
 		lifecycleAuthorityClaim("rules", "rule"),
 		lifecycleAuthorityClaim("playbooks", "playbook"),
@@ -320,10 +331,20 @@ function handlers(
 				depth: optionalNumber(input, "depth"),
 				maxNodes: optionalNumber(input, "max_nodes") ?? optionalNumber(input, "maxNodes"),
 			}),
-		"artifact.remove": (input) =>
-			artifacts.trash(string(input, "id"), { reason: optionalString(input, "reason"), context: eventContext(input) }),
-		"artifact.remove_subtree": (input) =>
-			removeArtifactSubtree(artifacts, string(input, "id"), { reason: optionalString(input, "reason"), context: eventContext(input) }),
+		"artifact.remove": (input) => {
+			const id = string(input, "id");
+			if (artifacts.get(id)?.kind === BINDER_KIND) {
+				throw new Error("Binder removal requires binders.remove so a non-empty directory cannot be orphaned");
+			}
+			return artifacts.trash(id, { reason: optionalString(input, "reason"), context: eventContext(input) });
+		},
+		"artifact.remove_subtree": (input) => {
+			const id = string(input, "id");
+			if (artifacts.get(id)?.kind === BINDER_KIND) {
+				throw new Error("Binder removal requires binders.remove so a non-empty directory cannot be orphaned");
+			}
+			return removeArtifactSubtree(artifacts, id, { reason: optionalString(input, "reason"), context: eventContext(input) });
+		},
 		"artifact.restore": (input) => artifacts.restore(string(input, "id"), eventContext(input)),
 		"artifact.trash_status": (input) => artifacts.trashStatus(string(input, "id")),
 		"artifact.trash_list": () => artifacts.listTrash(),
@@ -388,6 +409,7 @@ function handlers(
 		"tasks.create": forwardToModule("tasks.create"),
 		"tasks.update": forwardToModule("tasks.update"),
 		"tasks.list": forwardToModule("tasks.list"),
+		"tasks.list_page": forwardToModule("tasks.list_page"),
 		"tasks.graph": forwardToModule("tasks.graph"),
 		"tasks.plan": forwardToModule("tasks.plan"),
 		"tasks.show": forwardToModule("tasks.show"),
@@ -428,6 +450,24 @@ function handlers(
 		"tasks.reap_stale_leases": forwardToModule("tasks.reap_stale_leases"),
 		"tasks.event_feed": forwardToModule("tasks.event_feed"),
 		"tasks.reap_stale_focus": forwardToModule("tasks.reap_stale_focus"),
+		"binders.create": forwardToModule("binders.create"),
+		"binders.list": forwardToModule("binders.list"),
+		"binders.tree": forwardToModule("binders.tree"),
+		"binders.show": forwardToModule("binders.show"),
+		"binders.update": forwardToModule("binders.update"),
+		"binders.move": forwardToModule("binders.move"),
+		"binders.file": forwardToModule("binders.file"),
+		"binders.unfile": forwardToModule("binders.unfile"),
+		"binders.remove": forwardToModule("binders.remove"),
+		"binders.scope": forwardToModule("binders.scope"),
+		"binders.set_global": forwardToModule("binders.set_global"),
+		"binders.set_none": forwardToModule("binders.set_none"),
+		"binders.add_project": forwardToModule("binders.add_project"),
+		"binders.remove_project": forwardToModule("binders.remove_project"),
+		"binders.replace_projects": forwardToModule("binders.replace_projects"),
+		"binders.add_group": forwardToModule("binders.add_group"),
+		"binders.remove_group": forwardToModule("binders.remove_group"),
+		"binders.replace_groups": forwardToModule("binders.replace_groups"),
 		"docs.create": forwardToModule("docs.create"),
 		"docs.list": forwardToModule("docs.list"),
 		"docs.show": forwardToModule("docs.show"),
@@ -448,6 +488,7 @@ function handlers(
 		"docs.update": forwardToModule("docs.update"),
 		"notes.capture": forwardToModule("notes.capture"),
 		"notes.list": forwardToModule("notes.list"),
+		"notes.list_page": forwardToModule("notes.list_page"),
 		"notes.show": forwardToModule("notes.show"),
 		"notes.history": forwardToModule("notes.history"),
 		"notes.consume": forwardToModule("notes.consume"),
@@ -563,6 +604,7 @@ export function createPapyrusService(path: string): PapyrusService {
 	moduleRegistry.registerAll(sessionIdentityOperations(sessionIdentity));
 	moduleRegistry.registerAll(discussOperations(discussions));
 	moduleRegistry.registerAll(tasksOperations(tasks, artifacts, sessionIdentity));
+	moduleRegistry.registerAll(bindersOperations(artifacts, artifactScopes, projectRegistry, scopeGroups));
 	moduleRegistry.registerAll(docsOperations(artifacts, artifactScopes, authority, projectRegistry, scopeGroups));
 	moduleRegistry.registerAll(rulesOperations(artifacts, artifactScopes, projectRegistry, scopeGroups));
 	moduleRegistry.registerAll(

package/src/task/task-service.ts

@@ -11,6 +11,8 @@ import {
 	TASK_EXECUTION_MAX_NODES,
 	TASK_LABEL_MAX_COUNT,
 	TASK_LABEL_MAX_LENGTH,
+	TASK_LIST_PAGE_DEFAULT_LIMIT,
+	TASK_LIST_PAGE_MAX_LIMIT,
 	TASK_SCOPE_MAX_TASKS,
 	TASK_TITLE_MAX_LENGTH,
 } from "../constants.ts";
@@ -98,6 +100,15 @@ export interface TaskFilter {
 	labels?: string[];
 }
 
+export interface TaskPageFilter extends TaskFilter {
+	cursor?: string;
+}
+
+export interface TaskPage {
+	items: Artifact[];
+	nextCursor?: string;
+}
+
 export type TaskStatus = TaskLifecycleStatus;
 
 export interface TaskMutationMetadata {
@@ -207,6 +218,45 @@ function canonicalJson(value: unknown): string {
 	return JSON.stringify(value) ?? "null";
 }
 
+interface TaskPageCursor {
+	v: 1;
+	createdAt: string;
+	id: string;
+	filterHash: string;
+}
+
+function taskPageFilterHash(filter: TaskFilter, selection: TaskViewSelection): string {
+	return createHash("sha256")
+		.update(
+			canonicalJson({
+				status: filter.status,
+				text: filter.text,
+				labels: [...(filter.labels ?? [])].sort(),
+				mode: selection.mode,
+				projectRoot: selection.projectRoot,
+				rootTaskId: selection.rootTaskId,
+			}),
+		)
+		.digest("base64url");
+}
+
+function encodeTaskPageCursor(task: Artifact, filterHash: string): string {
+	return Buffer.from(JSON.stringify({ v: 1, createdAt: task.created_at, id: task.id, filterHash } satisfies TaskPageCursor)).toString(
+		"base64url",
+	);
+}
+
+function decodeTaskPageCursor(cursor: string | undefined, filterHash: string): TaskPageCursor | undefined {
+	if (cursor === undefined) return undefined;
+	try {
+		const parsed = JSON.parse(Buffer.from(cursor, "base64url").toString("utf8")) as Partial<TaskPageCursor>;
+		if (parsed.v !== 1 || !parsed.createdAt || !parsed.id || parsed.filterHash !== filterHash) throw new Error("invalid cursor");
+		return parsed as TaskPageCursor;
+	} catch {
+		throw new Error("task page cursor is invalid or does not match the requested filters");
+	}
+}
+
 export class Tasks {
 	constructor(
 		private readonly artifacts: ArtifactStore,
@@ -428,6 +478,52 @@ export class Tasks {
 			.slice(0, limit);
 	}
 
+	/** Stable, cursor-paged Task inventory. Creation order is immutable, so content updates cannot move an item between pages. */
+	listPage(filter: TaskPageFilter = {}): TaskPage {
+		const selection = this.projectScope.scopeSelection(filter.projectRoot, filter.scope, filter.rootTaskId);
+		const limit = filter.limit ?? TASK_LIST_PAGE_DEFAULT_LIMIT;
+		if (!Number.isInteger(limit) || limit < 1 || limit > TASK_LIST_PAGE_MAX_LIMIT) {
+			throw new Error(`task page limit must be between 1 and ${TASK_LIST_PAGE_MAX_LIMIT}`);
+		}
+		const filterHash = taskPageFilterHash(filter, selection);
+		const cursor = decodeTaskPageCursor(filter.cursor, filterHash);
+		let candidates: Artifact[];
+		if (selection.mode === "all") {
+			candidates = this.artifacts.query({
+				kind: "task",
+				excludeSubtype: DISCUSSION_SUBTYPE,
+				status: filter.status,
+				text: filter.text,
+				labels: filter.labels,
+				order: "created_desc",
+				...(cursor ? { after: { createdAt: cursor.createdAt, id: cursor.id } } : {}),
+				limit: limit + 1,
+			});
+		} else {
+			const ids = this.scopes.taskIds(selection.projectRoot, TASK_SCOPE_MAX_TASKS + 1);
+			if (ids.length > TASK_SCOPE_MAX_TASKS) throw new Error(`task project scope exceeds ${TASK_SCOPE_MAX_TASKS} tasks`);
+			const selectedIds = selection.mode === "graph" ? this.descendantIds(selection.rootTaskId!, ids) : new Set(ids);
+			const text = filter.text?.toLowerCase();
+			const labels = filter.labels ?? [];
+			candidates = this.artifacts
+				.query({ kind: "task", excludeSubtype: DISCUSSION_SUBTYPE, ids: [...selectedIds] })
+				.filter((task) => filter.status === undefined || task.status === filter.status)
+				.filter((task) => text === undefined || task.title.toLowerCase().includes(text) || task.body.toLowerCase().includes(text))
+				.filter((task) => labels.every((label) => task.labels.includes(label)))
+				.sort((left, right) => right.created_at.localeCompare(left.created_at) || left.id.localeCompare(right.id))
+				.filter(
+					(task) =>
+						cursor === undefined || task.created_at < cursor.createdAt || (task.created_at === cursor.createdAt && task.id > cursor.id),
+				)
+				.slice(0, limit + 1);
+		}
+		const items = candidates.slice(0, limit);
+		return {
+			items,
+			...(candidates.length > limit && items.length > 0 ? { nextCursor: encodeTaskPageCursor(items.at(-1)!, filterHash) } : {}),
+		};
+	}
+
 	scopeSelection(projectRoot?: string, mode?: TaskViewMode, rootTaskId?: string): TaskViewSelection {
 		return this.projectScope.scopeSelection(projectRoot, mode, rootTaskId);
 	}