@codeworksh/plugin 0.0.1-canary.12.1.gaa0eb2d3 → 0.0.1-canary.13.1.gbddb812f

package/README.md

@@ -52,20 +52,28 @@ for a capability such as `SandboxIO.Shell`.
 ## A prompt plugin
 
 ```ts
-import { Plugin } from "@codeworksh/plugin";
+import { Plugin, Section } from "@codeworksh/plugin";
+
+const GithubPrRules = Section.define("github_pr_rules", { format: "list" });
 
 export default Plugin.define({
 	id: "acme.prompt.house-style",
 	kind: "prompt",
 	setup(ctx) {
-		// `set` replaces the whole prompt, so compose on what earlier plugins rendered.
-		const existing = ctx.plugin.prompt.get();
-		const section = "## House style\n\n- No `any`.";
-		ctx.plugin.prompt.set(existing === undefined ? section : `${existing}\n\n${section}`);
+		// Merges into the one <rules> every plugin writes to.
+		ctx.plugin.prompt.sections.append(Section.Rules, "No `any`.");
+		// Opens <github_pr_rules> on first use; later appends, from any plugin, land in it.
+		ctx.plugin.prompt.sections.append(GithubPrRules, "Link the issue in every PR description.");
 	},
 });
 ```
 
+The harness renders the system prompt from what plugins wrote: the foundation first and untagged
+(`ctx.plugin.prompt.foundation.set`), then `<tools>`, `<rules>`, `<addendum>`, `<project_context>`,
+`<skills>`, `<cwd>`, and custom sections in the order they were first written. `tools` and `cwd`
+belong to the harness. A `list` section renders its entries as deduplicated `- ` bullets; a `text`
+section (the default) keeps them verbatim, separated by a blank line.
+
 ## `kind` decides when a plugin runs
 
 Every `tool` plugin runs before any `prompt` plugin, whichever settings layer each came from, so a

package/index.d.mts

@@ -1,3 +1,4 @@
+import { t as section_d_exports } from "./plugin/section.mjs";
 import { g as tool_d_exports } from "./tool-DuYBgiJf.mjs";
-import { t as plugin_d_exports } from "./plugin-C-N62_a5.mjs";
-export { plugin_d_exports as Plugin, tool_d_exports as Tool };
+import { t as plugin_d_exports } from "./plugin-CaG6IlD-.mjs";
+export { plugin_d_exports as Plugin, section_d_exports as Section, tool_d_exports as Tool };

package/index.mjs

@@ -1,3 +1,4 @@
-import { t as plugin_exports } from "./plugin-lorpq7Oi.mjs";
+import { t as plugin_exports } from "./plugin-XaYYRsX-.mjs";
+import { t as section_exports } from "./plugin/section.mjs";
 import { t as tool_exports } from "./tool.mjs";
-export { plugin_exports as Plugin, tool_exports as Tool };
+export { plugin_exports as Plugin, section_exports as Section, tool_exports as Tool };

package/{location-D4hAfuXF.d.mts → location-Q39els63.d.mts}

@@ -2,6 +2,12 @@ import { i as project_d_exports, n as Info$1 } from "./project-CLGsIFD-.mjs";
 import { a as space_d_exports, n as Info$2 } from "./space-CR-9UxdT.mjs";
 import { Context, Schema } from "effect";
 //#region src/location.d.ts
+declare const Info_base: Schema.Class<Info, Schema.Struct<{
+  /** The absolute cwd tools run in; `space.location` is the root it lives under. */
+  readonly directory: Schema.brand<Schema.String, "AbsolutePath">;
+  readonly space: typeof Info$2;
+  readonly project: typeof Info$1;
+}>, {}>;
 /**
  * Where work happens: a directory inside a space.
  *
@@ -12,7 +18,7 @@ import { Context, Schema } from "effect";
  * equal to or beneath that root. Sessions sharing a space share the project;
  * worktree relationships stay a Project concern beneath it.
  *
- * **Both halves come from the mount, so `Ref` is overrides and nothing else.**
+ * **Both halves come from the mount, and nothing overrides them.**
  * A Location is a directory *within* a mounted namespace — the mount has to be
  * resolved first, the way a volume is mounted before any path on it means
  * anything — and once it is, the namespace and the working directory are already
@@ -24,17 +30,6 @@ import { Context, Schema } from "effect";
  * which belong to the harness; a plugin receives a resolved `Info` on its context and asks for
  * {@link Service} when it needs the live one.
  */
-declare const Ref: Schema.Struct<{
-  /** Defaults to the mount's cwd. Set it to work in a subdirectory of the mount. */
-  readonly directory: Schema.optional<Schema.brand<Schema.String, "AbsolutePath">>;
-}>;
-type Ref = typeof Ref.Type;
-declare const Info_base: Schema.Class<Info, Schema.Struct<{
-  /** The absolute cwd tools run in; `space.location` is the root it lives under. */
-  readonly directory: Schema.brand<Schema.String, "AbsolutePath">;
-  readonly space: typeof Info$2;
-  readonly project: typeof Info$1;
-}>, {}>;
 declare class Info extends Info_base {}
 interface Interface extends Info {}
 declare const Service_base: Context.ServiceClass<Service, "@codeworksh/plugin/location/Service", Interface>;
@@ -57,5 +52,5 @@ declare const NotDirectoryError_base: Schema.Class<NotDirectoryError, Schema.Tag
 declare class NotDirectoryError extends NotDirectoryError_base {}
 type Error = DirectoryNotFoundError | NotDirectoryError;
 //#endregion
-export { NotDirectoryError as a, Interface as i, Error as n, Ref as o, Info as r, Service as s, DirectoryNotFoundError as t };
-//# sourceMappingURL=location-D4hAfuXF.d.mts.map
+export { NotDirectoryError as a, Interface as i, Error as n, Service as o, Info as r, DirectoryNotFoundError as t };
+//# sourceMappingURL=location-Q39els63.d.mts.map

package/location.d.mts

@@ -1,2 +1,2 @@
-import { a as NotDirectoryError, i as Interface, n as Error, o as Ref, r as Info, s as Service, t as DirectoryNotFoundError } from "./location-D4hAfuXF.mjs";
-export { DirectoryNotFoundError, Error, Info, Interface, NotDirectoryError, Ref, Service };
+import { a as NotDirectoryError, i as Interface, n as Error, o as Service, r as Info, t as DirectoryNotFoundError } from "./location-Q39els63.mjs";
+export { DirectoryNotFoundError, Error, Info, Interface, NotDirectoryError, Service };

package/location.mjs

@@ -14,7 +14,7 @@ import { Context, Schema } from "effect";
 * equal to or beneath that root. Sessions sharing a space share the project;
 * worktree relationships stay a Project concern beneath it.
 *
-* **Both halves come from the mount, so `Ref` is overrides and nothing else.**
+* **Both halves come from the mount, and nothing overrides them.**
 * A Location is a directory *within* a mounted namespace — the mount has to be
 * resolved first, the way a volume is mounted before any path on it means
 * anything — and once it is, the namespace and the working directory are already
@@ -26,9 +26,6 @@ import { Context, Schema } from "effect";
 * which belong to the harness; a plugin receives a resolved `Info` on its context and asks for
 * {@link Service} when it needs the live one.
 */
-const Ref = Schema.Struct({ 
-/** Defaults to the mount's cwd. Set it to work in a subdirectory of the mount. */
-directory: Schema.optional(AbsolutePath) }).annotate({ identifier: "Location.Ref" });
 var Info = class extends Schema.Class("Location.Info")({
 	/** The absolute cwd tools run in; `space.location` is the root it lives under. */
 	directory: AbsolutePath,
@@ -43,6 +40,6 @@ const Fields = {
 var DirectoryNotFoundError = class extends Schema.TaggedError()("Location.DirectoryNotFoundError", Fields) {};
 var NotDirectoryError = class extends Schema.TaggedError()("Location.NotDirectoryError", Fields) {};
 //#endregion
-export { DirectoryNotFoundError, Info, NotDirectoryError, Ref, Service };
+export { DirectoryNotFoundError, Info, NotDirectoryError, Service };
 
 //# sourceMappingURL=location.mjs.map

package/location.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"location.mjs","names":["SpaceSchema.Info","ProjectSchema.Info","SandboxInstance.ID"],"sources":["../../src/location.ts"],"sourcesContent":["import { Context, Schema } from \"effect\";\nimport { ProjectSchema } from \"./project.ts\";\nimport { AbsolutePath } from \"./schema.ts\";\nimport { SandboxInstance } from \"./sandbox/instance.ts\";\nimport { SpaceSchema } from \"./space.ts\";\n\n/**\n * Where work happens: a directory inside a space.\n *\n * The pair (space, directory) is the key. A path alone does not name a place —\n * `/app/repo` on the host and `/app/repo` inside a remote sandbox are different\n * trees wearing the same spelling — so the space carries the env and the\n * root it lives under (`space.location`), and `directory` is the absolute cwd\n * equal to or beneath that root. Sessions sharing a space share the project;\n * worktree relationships stay a Project concern beneath it.\n *\n * **Both halves come from the mount, so `Ref` is overrides and nothing else.**\n * A Location is a directory *within* a mounted namespace — the mount has to be\n * resolved first, the way a volume is mounted before any path on it means\n * anything — and once it is, the namespace and the working directory are already\n * in scope. Re-declaring them would be two spellings of one value, free to drift;\n * a Location pointing somewhere its own shell is not becomes unrepresentable\n * rather than merely avoided by discipline.\n *\n * Only the shape and the service tag live here. Building one needs Project, Space, Repo and Git,\n * which belong to the harness; a plugin receives a resolved `Info` on its context and asks for\n * {@link Service} when it needs the live one.\n */\nexport const Ref = Schema.Struct({\n\t/** Defaults to the mount's cwd. Set it to work in a subdirectory of the mount. */\n\tdirectory: Schema.optional(AbsolutePath),\n}).annotate({ identifier: \"Location.Ref\" });\nexport type Ref = typeof Ref.Type;\n\nexport class Info extends Schema.Class<Info>(\"Location.Info\")({\n\t/** The absolute cwd tools run in; `space.location` is the root it lives under. */\n\tdirectory: AbsolutePath,\n\tspace: SpaceSchema.Info,\n\tproject: ProjectSchema.Info,\n}) {}\n\nexport interface Interface extends Info {}\n\nexport class Service extends Context.Service<Service, Interface>()(\"@codeworksh/plugin/location/Service\") {}\n\nconst Fields = {\n\tdirectory: AbsolutePath,\n\tsandboxInstanceId: SandboxInstance.ID,\n};\n\nexport class DirectoryNotFoundError extends Schema.TaggedError<DirectoryNotFoundError>()(\n\t\"Location.DirectoryNotFoundError\",\n\tFields,\n) {}\n\nexport class NotDirectoryError extends Schema.TaggedError<NotDirectoryError>()(\"Location.NotDirectoryError\", Fields) {}\n\nexport type Error = DirectoryNotFoundError | NotDirectoryError;\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,MAAa,MAAM,OAAO,OAAO;;AAEhC,WAAW,OAAO,SAAS,YAAY,EACxC,CAAC,CAAC,CAAC,SAAS,EAAE,YAAY,eAAe,CAAC;AAG1C,IAAa,OAAb,cAA0B,OAAO,MAAY,eAAe,CAAC,CAAC;;CAE7D,WAAW;CACX,OAAOA;CACP,SAASC;AACV,CAAC,CAAC,CAAC,CAAC;AAIJ,IAAa,UAAb,cAA6B,QAAQ,QAA4B,CAAC,CAAC,qCAAqC,CAAC,CAAC,CAAC;AAE3G,MAAM,SAAS;CACd,WAAW;CACX,mBAAmBC;AACpB;AAEA,IAAa,yBAAb,cAA4C,OAAO,YAAoC,CAAC,CACvF,mCACA,MACD,CAAC,CAAC,CAAC;AAEH,IAAa,oBAAb,cAAuC,OAAO,YAA+B,CAAC,CAAC,8BAA8B,MAAM,CAAC,CAAC,CAAC"}
+{"version":3,"file":"location.mjs","names":["SpaceSchema.Info","ProjectSchema.Info","SandboxInstance.ID"],"sources":["../../src/location.ts"],"sourcesContent":["import { Context, Schema } from \"effect\";\nimport { ProjectSchema } from \"./project.ts\";\nimport { AbsolutePath } from \"./schema.ts\";\nimport { SandboxInstance } from \"./sandbox/instance.ts\";\nimport { SpaceSchema } from \"./space.ts\";\n\n/**\n * Where work happens: a directory inside a space.\n *\n * The pair (space, directory) is the key. A path alone does not name a place —\n * `/app/repo` on the host and `/app/repo` inside a remote sandbox are different\n * trees wearing the same spelling — so the space carries the env and the\n * root it lives under (`space.location`), and `directory` is the absolute cwd\n * equal to or beneath that root. Sessions sharing a space share the project;\n * worktree relationships stay a Project concern beneath it.\n *\n * **Both halves come from the mount, and nothing overrides them.**\n * A Location is a directory *within* a mounted namespace — the mount has to be\n * resolved first, the way a volume is mounted before any path on it means\n * anything — and once it is, the namespace and the working directory are already\n * in scope. Re-declaring them would be two spellings of one value, free to drift;\n * a Location pointing somewhere its own shell is not becomes unrepresentable\n * rather than merely avoided by discipline.\n *\n * Only the shape and the service tag live here. Building one needs Project, Space, Repo and Git,\n * which belong to the harness; a plugin receives a resolved `Info` on its context and asks for\n * {@link Service} when it needs the live one.\n */\nexport class Info extends Schema.Class<Info>(\"Location.Info\")({\n\t/** The absolute cwd tools run in; `space.location` is the root it lives under. */\n\tdirectory: AbsolutePath,\n\tspace: SpaceSchema.Info,\n\tproject: ProjectSchema.Info,\n}) {}\n\nexport interface Interface extends Info {}\n\nexport class Service extends Context.Service<Service, Interface>()(\"@codeworksh/plugin/location/Service\") {}\n\nconst Fields = {\n\tdirectory: AbsolutePath,\n\tsandboxInstanceId: SandboxInstance.ID,\n};\n\nexport class DirectoryNotFoundError extends Schema.TaggedError<DirectoryNotFoundError>()(\n\t\"Location.DirectoryNotFoundError\",\n\tFields,\n) {}\n\nexport class NotDirectoryError extends Schema.TaggedError<NotDirectoryError>()(\"Location.NotDirectoryError\", Fields) {}\n\nexport type Error = DirectoryNotFoundError | NotDirectoryError;\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,IAAa,OAAb,cAA0B,OAAO,MAAY,eAAe,CAAC,CAAC;;CAE7D,WAAW;CACX,OAAOA;CACP,SAASC;AACV,CAAC,CAAC,CAAC,CAAC;AAIJ,IAAa,UAAb,cAA6B,QAAQ,QAA4B,CAAC,CAAC,qCAAqC,CAAC,CAAC,CAAC;AAE3G,MAAM,SAAS;CACd,WAAW;CACX,mBAAmBC;AACpB;AAEA,IAAa,yBAAb,cAA4C,OAAO,YAAoC,CAAC,CACvF,mCACA,MACD,CAAC,CAAC,CAAC;AAEH,IAAa,oBAAb,cAAuC,OAAO,YAA+B,CAAC,CAAC,8BAA8B,MAAM,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@codeworksh/plugin",
-	"version": "0.0.1-canary.12.1.gaa0eb2d3",
+	"version": "0.0.1-canary.13.1.gbddb812f",
 	"description": "SDK for building CodeWork plugins — the plugin, tool, and sandbox contracts shared with @codeworksh/harness.",
 	"keywords": [
 		"agent",
@@ -45,6 +45,11 @@
 			"import": "./plugin/prompt.mjs",
 			"default": "./plugin/prompt.mjs"
 		},
+		"./plugin/section": {
+			"types": "./plugin/section.d.mts",
+			"import": "./plugin/section.mjs",
+			"default": "./plugin/section.mjs"
+		},
 		"./sandbox": {
 			"types": "./sandbox.d.mts",
 			"import": "./sandbox.mjs",
@@ -163,7 +168,7 @@
 		"uuidv7": "^1.2.1"
 	},
 	"peerDependencies": {
-		"@codeworksh/aikit": "0.9.3-canary.12.1.gaa0eb2d3",
+		"@codeworksh/aikit": "0.9.3-canary.13.1.gbddb812f",
 		"effect": "4.0.0-rc.115"
 	}
 }

package/plugin/prompt.d.mts

@@ -1,2 +1,2 @@
-import { t as PromptRegistry } from "../prompt-BcpagjGh.mjs";
+import { t as PromptRegistry } from "../prompt-DWaA5ZXj.mjs";
 export { PromptRegistry };

package/plugin/prompt.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"prompt.mjs","names":[],"sources":["../../../src/plugin/prompt.ts"],"sourcesContent":["export interface PromptRegistry {\n\treadonly set: (systemPrompt: string) => void;\n\treadonly get: () => string | undefined;\n}\n"],"mappings":""}
+{"version":3,"file":"prompt.mjs","names":[],"sources":["../../../src/plugin/prompt.ts"],"sourcesContent":["import type { Section } from \"./section.ts\";\n\nexport interface PromptRegistry {\n\t/** The untagged head of the system prompt; the last `set` wins. */\n\treadonly foundation: {\n\t\treadonly set: (text: string) => void;\n\t\treadonly get: () => string | undefined;\n\t};\n\treadonly sections: {\n\t\treadonly append: (section: Section, entry: string) => void;\n\t\treadonly set: (section: Section, entries: ReadonlyArray<string>) => void;\n\t\t/** Writing a removed section again opens a new one, last in order. */\n\t\treadonly remove: (section: Section) => void;\n\t\treadonly get: (section: Section) => ReadonlyArray<string> | undefined;\n\t};\n}\n"],"mappings":""}

package/plugin/section.d.mts

@@ -0,0 +1,27 @@
+declare namespace section_d_exports {
+  export { Addendum, Format, ProjectContext, Rules, Section, Skills, builtins, define, invalid, isFormat, reserved };
+}
+/** `text`: entries verbatim, blank-line separated. `list`: deduplicated `- ` bullets. */
+export type Format = "text" | "list";
+export interface Section<Name extends string = string> {
+  readonly name: Name;
+  readonly format: Format;
+}
+export declare const Rules: Section<"rules">;
+export declare const Addendum: Section<"addendum">;
+export declare const ProjectContext: Section<"project_context">;
+export declare const Skills: Section<"skills">;
+/** Rendered in this order, before custom sections. */
+export declare const builtins: ReadonlyArray<Section>;
+/** Rendered by the harness, never by a plugin. */
+export declare const reserved: ReadonlySet<string>;
+/** Runtime check: a JavaScript plugin can pass anything. */
+export declare const isFormat: (format: unknown) => format is Format;
+export declare const invalid: (name: unknown) => string | undefined;
+/** A custom section. Throws on a name that is malformed, reserved, or built in. */
+export declare const define: <const Name extends string>(name: Name, options?: {
+  readonly format?: Format;
+}) => Section<Name>;
+//#endregion
+export { section_d_exports as t };
+//# sourceMappingURL=section.d.mts.map

package/plugin/section.mjs

@@ -0,0 +1,65 @@
+import { t as __exportAll } from "../rolldown-runtime-D7D4PA-g.mjs";
+//#region src/plugin/section.ts
+var section_exports = /* @__PURE__ */ __exportAll({
+	Addendum: () => Addendum,
+	ProjectContext: () => ProjectContext,
+	Rules: () => Rules,
+	Skills: () => Skills,
+	builtins: () => builtins,
+	define: () => define,
+	invalid: () => invalid,
+	isFormat: () => isFormat,
+	reserved: () => reserved
+});
+const Rules = Object.freeze({
+	name: "rules",
+	format: "list"
+});
+const Addendum = Object.freeze({
+	name: "addendum",
+	format: "text"
+});
+const ProjectContext = Object.freeze({
+	name: "project_context",
+	format: "text"
+});
+const Skills = Object.freeze({
+	name: "skills",
+	format: "text"
+});
+/** Rendered in this order, before custom sections. */
+const builtins = Object.freeze([
+	Rules,
+	Addendum,
+	ProjectContext,
+	Skills
+]);
+/** Rendered by the harness, never by a plugin. */
+const reserved = /* @__PURE__ */ new Set([
+	"tools",
+	"cwd",
+	"foundation"
+]);
+const pattern = /^[a-z][a-z0-9_-]*$/;
+const formats = /* @__PURE__ */ new Set(["text", "list"]);
+/** Runtime check: a JavaScript plugin can pass anything. */
+const isFormat = (format) => formats.has(format);
+const invalid = (name) => {
+	if (typeof name !== "string" || !pattern.test(name)) return `prompt section name must be lowercase letters, digits, "_" or "-": ${JSON.stringify(name)}`;
+	if (reserved.has(name)) return `prompt section name is reserved: ${name}`;
+};
+/** A custom section. Throws on a name that is malformed, reserved, or built in. */
+const define = (name, options) => {
+	const reason = invalid(name) ?? (builtins.some((section) => section.name === name) ? `prompt section name is built in: ${name}` : void 0);
+	if (reason !== void 0) throw new Error(reason);
+	const format = options?.format ?? "text";
+	if (!isFormat(format)) throw new Error(`prompt section format must be "text" or "list": ${JSON.stringify(format)}`);
+	return Object.freeze({
+		name,
+		format
+	});
+};
+//#endregion
+export { Addendum, ProjectContext, Rules, Skills, builtins, define, invalid, isFormat, reserved, section_exports as t };
+
+//# sourceMappingURL=section.mjs.map

package/plugin/section.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"section.mjs","names":[],"sources":["../../../src/plugin/section.ts"],"sourcesContent":["// Sections are passed by value, never by name string, so a typo fails to compile instead of\n// quietly opening a new section.\n\n/** `text`: entries verbatim, blank-line separated. `list`: deduplicated `- ` bullets. */\nexport type Format = \"text\" | \"list\";\n\nexport interface Section<Name extends string = string> {\n\treadonly name: Name;\n\treadonly format: Format;\n}\n\nexport const Rules: Section<\"rules\"> = Object.freeze({ name: \"rules\", format: \"list\" });\nexport const Addendum: Section<\"addendum\"> = Object.freeze({ name: \"addendum\", format: \"text\" });\nexport const ProjectContext: Section<\"project_context\"> = Object.freeze({ name: \"project_context\", format: \"text\" });\nexport const Skills: Section<\"skills\"> = Object.freeze({ name: \"skills\", format: \"text\" });\n\n/** Rendered in this order, before custom sections. */\nexport const builtins: ReadonlyArray<Section> = Object.freeze([Rules, Addendum, ProjectContext, Skills]);\n\n/** Rendered by the harness, never by a plugin. */\nexport const reserved: ReadonlySet<string> = new Set([\"tools\", \"cwd\", \"foundation\"]);\n\nconst pattern = /^[a-z][a-z0-9_-]*$/;\n\nconst formats: ReadonlySet<unknown> = new Set<Format>([\"text\", \"list\"]);\n\n/** Runtime check: a JavaScript plugin can pass anything. */\nexport const isFormat = (format: unknown): format is Format => formats.has(format);\n\nexport const invalid = (name: unknown): string | undefined => {\n\tif (typeof name !== \"string\" || !pattern.test(name))\n\t\treturn `prompt section name must be lowercase letters, digits, \"_\" or \"-\": ${JSON.stringify(name)}`;\n\tif (reserved.has(name)) return `prompt section name is reserved: ${name}`;\n\treturn undefined;\n};\n\n/** A custom section. Throws on a name that is malformed, reserved, or built in. */\nexport const define = <const Name extends string>(\n\tname: Name,\n\toptions?: { readonly format?: Format },\n): Section<Name> => {\n\tconst reason =\n\t\tinvalid(name) ??\n\t\t(builtins.some((section) => section.name === name) ? `prompt section name is built in: ${name}` : undefined);\n\tif (reason !== undefined) throw new Error(reason);\n\tconst format = options?.format ?? \"text\";\n\tif (!isFormat(format)) throw new Error(`prompt section format must be \"text\" or \"list\": ${JSON.stringify(format)}`);\n\treturn Object.freeze({ name, format });\n};\n"],"mappings":";;;;;;;;;;;;;AAWA,MAAa,QAA0B,OAAO,OAAO;CAAE,MAAM;CAAS,QAAQ;AAAO,CAAC;AACtF,MAAa,WAAgC,OAAO,OAAO;CAAE,MAAM;CAAY,QAAQ;AAAO,CAAC;AAC/F,MAAa,iBAA6C,OAAO,OAAO;CAAE,MAAM;CAAmB,QAAQ;AAAO,CAAC;AACnH,MAAa,SAA4B,OAAO,OAAO;CAAE,MAAM;CAAU,QAAQ;AAAO,CAAC;;AAGzF,MAAa,WAAmC,OAAO,OAAO;CAAC;CAAO;CAAU;CAAgB;AAAM,CAAC;;AAGvG,MAAa,2BAAgC,IAAI,IAAI;CAAC;CAAS;CAAO;AAAY,CAAC;AAEnF,MAAM,UAAU;AAEhB,MAAM,0BAAgC,IAAI,IAAY,CAAC,QAAQ,MAAM,CAAC;;AAGtE,MAAa,YAAY,WAAsC,QAAQ,IAAI,MAAM;AAEjF,MAAa,WAAW,SAAsC;CAC7D,IAAI,OAAO,SAAS,YAAY,CAAC,QAAQ,KAAK,IAAI,GACjD,OAAO,sEAAsE,KAAK,UAAU,IAAI;CACjG,IAAI,SAAS,IAAI,IAAI,GAAG,OAAO,oCAAoC;AAEpE;;AAGA,MAAa,UACZ,MACA,YACmB;CACnB,MAAM,SACL,QAAQ,IAAI,MACX,SAAS,MAAM,YAAY,QAAQ,SAAS,IAAI,IAAI,oCAAoC,SAAS,KAAA;CACnG,IAAI,WAAW,KAAA,GAAW,MAAM,IAAI,MAAM,MAAM;CAChD,MAAM,SAAS,SAAS,UAAU;CAClC,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,IAAI,MAAM,mDAAmD,KAAK,UAAU,MAAM,GAAG;CAClH,OAAO,OAAO,OAAO;EAAE;EAAM;CAAO,CAAC;AACtC"}

package/{plugin-C-N62_a5.d.mts → plugin-CaG6IlD-.d.mts}

@@ -1,9 +1,10 @@
 import { i as Definition, o as Payload, r as Data, s as PublishOptions } from "./event-9PbbjnHJ.mjs";
 import { n as SessionID } from "./ids-CHjmAdTc.mjs";
-import { r as Info, s as Service } from "./location-D4hAfuXF.mjs";
+import { o as Service, r as Info } from "./location-Q39els63.mjs";
 import { a as Provides, r as Identity, u as io_d_exports } from "./io-BYs7hbiY.mjs";
 import { i as Info$1 } from "./settings-B6-grSTA.mjs";
-import { n as prompt_d_exports, t as PromptRegistry } from "./prompt-BcpagjGh.mjs";
+import { t as section_d_exports } from "./plugin/section.mjs";
+import { n as prompt_d_exports, t as PromptRegistry } from "./prompt-DWaA5ZXj.mjs";
 import { d as ToolRegistry, p as tool_d_exports } from "./tool-BoVqkYvL.mjs";
 import { Model } from "@codeworksh/aikit";
 import { Effect } from "effect";
@@ -133,8 +134,8 @@ interface Plugin {
 }
 declare const define: (plugin: Plugin) => Plugin;
 declare namespace plugin_d_exports {
-  export { Config, Events, Mount, Plugin, PluginKind, PluginOptions, PluginPatch, PluginRef, PluginRegistry, PluginSpec, prompt_d_exports as Prompt, PromptResolver, SharedPluginContext, tool_d_exports as Tool, define, domains, rank };
+  export { Config, Events, Mount, Plugin, PluginKind, PluginOptions, PluginPatch, PluginRef, PluginRegistry, PluginSpec, prompt_d_exports as Prompt, PromptResolver, section_d_exports as Section, SharedPluginContext, tool_d_exports as Tool, define, domains, rank };
 }
 //#endregion
 export { define as a, PluginOptions as c, PluginSpec as d, Config as f, PluginRegistry as g, SharedPluginContext as h, PluginKind as i, PluginPatch as l, PromptResolver as m, Mount as n, domains as o, Events as p, Plugin as r, rank as s, plugin_d_exports as t, PluginRef as u };
-//# sourceMappingURL=plugin-C-N62_a5.d.mts.map
+//# sourceMappingURL=plugin-CaG6IlD-.d.mts.map

package/{plugin-lorpq7Oi.mjs → plugin-XaYYRsX-.mjs}

@@ -1,5 +1,6 @@
 import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
 import { t as prompt_exports } from "./plugin/prompt.mjs";
+import { t as section_exports } from "./plugin/section.mjs";
 import { t as tool_exports } from "./plugin/tool.mjs";
 //#region src/plugin/plugin.ts
 /**
@@ -30,6 +31,7 @@ const define = (plugin) => plugin;
 //#region src/plugin.ts
 var plugin_exports = /* @__PURE__ */ __exportAll({
 	Prompt: () => prompt_exports,
+	Section: () => section_exports,
 	Tool: () => tool_exports,
 	define: () => define,
 	domains: () => domains,
@@ -38,4 +40,4 @@ var plugin_exports = /* @__PURE__ */ __exportAll({
 //#endregion
 export { rank as i, define as n, domains as r, plugin_exports as t };
 
-//# sourceMappingURL=plugin-lorpq7Oi.mjs.map
+//# sourceMappingURL=plugin-XaYYRsX-.mjs.map

package/{plugin-lorpq7Oi.mjs.map → plugin-XaYYRsX-.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"plugin-lorpq7Oi.mjs","names":[],"sources":["../../src/plugin/plugin.ts","../../src/plugin.ts"],"sourcesContent":["import type { Effect } from \"effect\";\nimport type { Definition } from \"../event.ts\";\nimport type { Service as LocationService } from \"../location.ts\";\nimport type { SandboxIO } from \"../sandbox/io.ts\";\nimport type { PluginOptions } from \"./ref.ts\";\nimport type { SharedPluginContext } from \"./context.ts\";\n\n/**\n * The domains a plugin can extend, and the order the harness runs them in.\n *\n * Order is declared, not positional. A plugin's place used to come from where its entry sat in\n * the `plugins` array, which is unknowable when the entry is written: a user's settings file and\n * a project's are edited by different people at different times, and neither can see the other's\n * order. Since a prompt plugin indexes the tools registered before it, that made a tool added\n * from settings invisible in the system prompt, with no way to fix it from a settings file.\n *\n * A plugin instead says which domain it extends, and the harness runs the domains in this order.\n * Entries within one domain keep the order they were written in, because that is where\n * composition actually happens -- a plugin patching another's tool, or appending to the prompt a\n * previous one rendered, is written next to it and deliberately after it.\n *\n * Kept as data so a later release can add a domain, or make the order configurable, without\n * touching the loader: `{ tool: 1, skill: 2, prompt: 3 }` needs no code change here.\n */\nexport const domains = { tool: 1, prompt: 2 } as const;\n\nexport type PluginKind = keyof typeof domains;\n\n/** Sort key for a plugin: its domain first, then where it was written. */\nexport const rank = (kind: PluginKind) => domains[kind];\n\nexport type Mount = SandboxIO.Provides | LocationService;\nexport interface Plugin {\n\treadonly id: string;\n\t/**\n\t * The domain this plugin extends, which decides when it runs: every `tool` plugin is set up\n\t * before any `prompt` plugin, whichever settings layer each came from, so a prompt plugin\n\t * always sees the complete tool set. Plugins within one domain run in the order they were\n\t * written.\n\t */\n\treadonly kind: PluginKind;\n\t/**\n\t * Event definitions this plugin publishes. Declared rather than registered at\n\t * runtime so they are known before the event system builds, and so a bad type\n\t * fails the boot instead of the first publish. Types must be namespaced\n\t * `plugin.<id>.*`.\n\t */\n\treadonly events?: ReadonlyArray<Definition>;\n\t/**\n\t * `options` is this plugin's own configuration block, `{}` when its entry carried none.\n\t * Unvalidated: the harness never looks inside it, so a plugin checks whatever shape it\n\t * documents. It is a second argument rather than a context field so `ctx` stays one object\n\t * shared by every plugin in the exchange.\n\t */\n\treadonly setup: (\n\t\tctx: SharedPluginContext,\n\t\toptions: PluginOptions,\n\t) => void | Promise<void> | Effect.Effect<void, unknown, Mount>;\n}\n\nexport const define = (plugin: Plugin): Plugin => plugin;\n","/**\n * The plugin authoring surface.\n *\n * Everything a third-party plugin needs to describe itself and to write into the harness during\n * `setup`, and nothing about how the harness finds, installs or runs it. Loading, the store and\n * the `.npmrc` anchoring stay in `@codeworksh/harness`, which imports this same module — so a\n * plugin and its host agree on one set of types rather than two that happen to match.\n */\nexport type { Config, Events, PromptResolver, SharedPluginContext } from \"./plugin/context.ts\";\nexport { define, domains, type Mount, type Plugin, type PluginKind, rank } from \"./plugin/plugin.ts\";\nexport * as Prompt from \"./plugin/prompt.ts\";\nexport type { PluginOptions, PluginPatch, PluginRef, PluginSpec } from \"./plugin/ref.ts\";\nexport type { PluginRegistry } from \"./plugin/registry.ts\";\nexport * as Tool from \"./plugin/tool.ts\";\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;AAwBA,MAAa,UAAU;CAAE,MAAM;CAAG,QAAQ;AAAE;;AAK5C,MAAa,QAAQ,SAAqB,QAAQ;AA+BlD,MAAa,UAAU,WAA2B"}
+{"version":3,"file":"plugin-XaYYRsX-.mjs","names":[],"sources":["../../src/plugin/plugin.ts","../../src/plugin.ts"],"sourcesContent":["import type { Effect } from \"effect\";\nimport type { Definition } from \"../event.ts\";\nimport type { Service as LocationService } from \"../location.ts\";\nimport type { SandboxIO } from \"../sandbox/io.ts\";\nimport type { PluginOptions } from \"./ref.ts\";\nimport type { SharedPluginContext } from \"./context.ts\";\n\n/**\n * The domains a plugin can extend, and the order the harness runs them in.\n *\n * Order is declared, not positional. A plugin's place used to come from where its entry sat in\n * the `plugins` array, which is unknowable when the entry is written: a user's settings file and\n * a project's are edited by different people at different times, and neither can see the other's\n * order. Since a prompt plugin indexes the tools registered before it, that made a tool added\n * from settings invisible in the system prompt, with no way to fix it from a settings file.\n *\n * A plugin instead says which domain it extends, and the harness runs the domains in this order.\n * Entries within one domain keep the order they were written in, because that is where\n * composition actually happens -- a plugin patching another's tool, or appending to the prompt a\n * previous one rendered, is written next to it and deliberately after it.\n *\n * Kept as data so a later release can add a domain, or make the order configurable, without\n * touching the loader: `{ tool: 1, skill: 2, prompt: 3 }` needs no code change here.\n */\nexport const domains = { tool: 1, prompt: 2 } as const;\n\nexport type PluginKind = keyof typeof domains;\n\n/** Sort key for a plugin: its domain first, then where it was written. */\nexport const rank = (kind: PluginKind) => domains[kind];\n\nexport type Mount = SandboxIO.Provides | LocationService;\nexport interface Plugin {\n\treadonly id: string;\n\t/**\n\t * The domain this plugin extends, which decides when it runs: every `tool` plugin is set up\n\t * before any `prompt` plugin, whichever settings layer each came from, so a prompt plugin\n\t * always sees the complete tool set. Plugins within one domain run in the order they were\n\t * written.\n\t */\n\treadonly kind: PluginKind;\n\t/**\n\t * Event definitions this plugin publishes. Declared rather than registered at\n\t * runtime so they are known before the event system builds, and so a bad type\n\t * fails the boot instead of the first publish. Types must be namespaced\n\t * `plugin.<id>.*`.\n\t */\n\treadonly events?: ReadonlyArray<Definition>;\n\t/**\n\t * `options` is this plugin's own configuration block, `{}` when its entry carried none.\n\t * Unvalidated: the harness never looks inside it, so a plugin checks whatever shape it\n\t * documents. It is a second argument rather than a context field so `ctx` stays one object\n\t * shared by every plugin in the exchange.\n\t */\n\treadonly setup: (\n\t\tctx: SharedPluginContext,\n\t\toptions: PluginOptions,\n\t) => void | Promise<void> | Effect.Effect<void, unknown, Mount>;\n}\n\nexport const define = (plugin: Plugin): Plugin => plugin;\n","/**\n * The plugin authoring surface.\n *\n * Everything a third-party plugin needs to describe itself and to write into the harness during\n * `setup`, and nothing about how the harness finds, installs or runs it. Loading, the store and\n * the `.npmrc` anchoring stay in `@codeworksh/harness`, which imports this same module — so a\n * plugin and its host agree on one set of types rather than two that happen to match.\n */\nexport type { Config, Events, PromptResolver, SharedPluginContext } from \"./plugin/context.ts\";\nexport { define, domains, type Mount, type Plugin, type PluginKind, rank } from \"./plugin/plugin.ts\";\nexport * as Prompt from \"./plugin/prompt.ts\";\nexport * as Section from \"./plugin/section.ts\";\nexport type { PluginOptions, PluginPatch, PluginRef, PluginSpec } from \"./plugin/ref.ts\";\nexport type { PluginRegistry } from \"./plugin/registry.ts\";\nexport * as Tool from \"./plugin/tool.ts\";\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAwBA,MAAa,UAAU;CAAE,MAAM;CAAG,QAAQ;AAAE;;AAK5C,MAAa,QAAQ,SAAqB,QAAQ;AA+BlD,MAAa,UAAU,WAA2B"}

package/plugin.d.mts

@@ -1,4 +1,5 @@
-import { n as prompt_d_exports } from "./prompt-BcpagjGh.mjs";
+import { t as section_d_exports } from "./plugin/section.mjs";
+import { n as prompt_d_exports } from "./prompt-DWaA5ZXj.mjs";
 import { p as tool_d_exports } from "./tool-BoVqkYvL.mjs";
-import { a as define, c as PluginOptions, d as PluginSpec, f as Config, g as PluginRegistry, h as SharedPluginContext, i as PluginKind, l as PluginPatch, m as PromptResolver, n as Mount, o as domains, p as Events, r as Plugin, s as rank, u as PluginRef } from "./plugin-C-N62_a5.mjs";
-export { type Config, type Events, type Mount, type Plugin, type PluginKind, type PluginOptions, type PluginPatch, type PluginRef, type PluginRegistry, type PluginSpec, prompt_d_exports as Prompt, type PromptResolver, type SharedPluginContext, tool_d_exports as Tool, define, domains, rank };
+import { a as define, c as PluginOptions, d as PluginSpec, f as Config, g as PluginRegistry, h as SharedPluginContext, i as PluginKind, l as PluginPatch, m as PromptResolver, n as Mount, o as domains, p as Events, r as Plugin, s as rank, u as PluginRef } from "./plugin-CaG6IlD-.mjs";
+export { type Config, type Events, type Mount, type Plugin, type PluginKind, type PluginOptions, type PluginPatch, type PluginRef, type PluginRegistry, type PluginSpec, prompt_d_exports as Prompt, type PromptResolver, section_d_exports as Section, type SharedPluginContext, tool_d_exports as Tool, define, domains, rank };

package/plugin.mjs

@@ -1,4 +1,5 @@
-import { i as rank, n as define, r as domains } from "./plugin-lorpq7Oi.mjs";
+import { i as rank, n as define, r as domains } from "./plugin-XaYYRsX-.mjs";
 import { t as prompt_exports } from "./plugin/prompt.mjs";
+import { t as section_exports } from "./plugin/section.mjs";
 import { t as tool_exports } from "./plugin/tool.mjs";
-export { prompt_exports as Prompt, tool_exports as Tool, define, domains, rank };
+export { prompt_exports as Prompt, section_exports as Section, tool_exports as Tool, define, domains, rank };

package/prompt-DWaA5ZXj.d.mts

@@ -0,0 +1,21 @@
+import { Section } from "./plugin/section.mjs";
+declare namespace prompt_d_exports {
+  export { PromptRegistry };
+}
+interface PromptRegistry {
+  /** The untagged head of the system prompt; the last `set` wins. */
+  readonly foundation: {
+    readonly set: (text: string) => void;
+    readonly get: () => string | undefined;
+  };
+  readonly sections: {
+    readonly append: (section: Section, entry: string) => void;
+    readonly set: (section: Section, entries: ReadonlyArray<string>) => void;
+    /** Writing a removed section again opens a new one, last in order. */
+    readonly remove: (section: Section) => void;
+    readonly get: (section: Section) => ReadonlyArray<string> | undefined;
+  };
+}
+//#endregion
+export { prompt_d_exports as n, PromptRegistry as t };
+//# sourceMappingURL=prompt-DWaA5ZXj.d.mts.map

package/prompt-BcpagjGh.d.mts

@@ -1,10 +0,0 @@
-declare namespace prompt_d_exports {
-  export { PromptRegistry };
-}
-interface PromptRegistry {
-  readonly set: (systemPrompt: string) => void;
-  readonly get: () => string | undefined;
-}
-//#endregion
-export { prompt_d_exports as n, PromptRegistry as t };
-//# sourceMappingURL=prompt-BcpagjGh.d.mts.map