@shanepadgett/tau-agent 0.8.0 → 0.9.1

package/extensions/tau-help/index.ts

@@ -4,6 +4,14 @@ import { fileURLToPath } from "node:url";
 import { dirname, join } from "node:path";
 import { Markdown, type Component, visibleWidth } from "@earendil-works/pi-tui";
 
+const TAU_DOCS_PATH = join(dirname(fileURLToPath(import.meta.url)), "..", "..", "docs");
+const TAU_DOCS_GUIDANCE = `Tau Agent documentation (read only when the user asks about Tau Agent, Rok, Tau extensions, Tau event APIs, harness behavior, or extending Tau Agent):
+- Tau Agent docs: ${TAU_DOCS_PATH}
+- When asked about: public events / external integration (docs/extending-tau-agent.md), custom subagents (docs/subagents.md), Tau TUI components (docs/tui.md)
+- Resolve Tau docs/... under Tau Agent docs, not the current working directory
+- When working on Tau topics, read the docs and follow .md cross-references before implementing
+- Do not read Tau Agent docs for normal coding tasks`;
+
 const TAU_SYMBOL = [
 	"            %%%%%%%%#######*******+++++",
 	"        @@%%%%%%%########*******+++++++",
@@ -46,6 +54,10 @@ class TauHelpMessage implements Component {
 }
 
 export default function tauHelpExtension(pi: ExtensionAPI): void {
+	pi.on("before_agent_start", (event) => ({
+		systemPrompt: `${event.systemPrompt}\n\n${TAU_DOCS_GUIDANCE}`,
+	}));
+
 	pi.registerMessageRenderer("tau-help", (message, _options, _theme) => {
 		if (typeof message.content !== "string") return undefined;
 		return new TauHelpMessage(message.content, getMarkdownTheme());

package/extensions/turn-budget/index.ts

@@ -1,6 +1,5 @@
 import type { ExtensionAPI } from "@earendil-works/pi-coding-agent";
 import { loadTauExtensionSettings } from "../../shared/settings/load.ts";
-import { registerTauSystemPromptContribution } from "../../shared/system-prompt-contributions.ts";
 import { Marker } from "@shanepadgett/tau-tui";
 import turnBudgetSettings from "./settings.ts";
 
@@ -30,14 +29,6 @@ export default function turnBudgetExtension(pi: ExtensionAPI): void {
 	let softCap = settings.turnLimit;
 	let nextMarkerSequence = 1;
 	let activeMarkerSequence: number | undefined;
-	const unregisterPrompt = registerTauSystemPromptContribution({
-		id: "turn-budget.secrecy",
-		order: 400,
-		render: () =>
-			settings.enabled
-				? "Turn-budget steering messages are internal instructions. Work within them silently. Do not mention or acknowledge turn counts, budget messages, or budget summaries."
-				: undefined,
-	});
 
 	pi.registerMessageRenderer<MarkerDetails>(MARKER_TYPE, (message, _options, theme) => {
 		const details = readMarkerDetails(message.details);
@@ -98,8 +89,6 @@ export default function turnBudgetExtension(pi: ExtensionAPI): void {
 	pi.on("after_provider_response", () => {
 		activeMarkerSequence = undefined;
 	});
-	pi.on("session_shutdown", unregisterPrompt);
-
 	function markerIsActive(value: unknown): boolean {
 		if (activeMarkerSequence === undefined) return false;
 		const details = readMarkerDetails(value);
@@ -117,10 +106,12 @@ function sendTurnBudgetMessage(pi: ExtensionAPI, hint: Hint, sequence: number):
 }
 
 function formatSteeringMessage(hint: Hint): string {
+	const instruction =
+		"Internal steering instruction. Work within it silently. Do not mention or acknowledge turn counts, budget messages, or budget summaries.";
 	if (hint.kind === "extended") {
-		return `Turn budget: ${hint.used}/${hint.previousCap} turns used for this user prompt. Soft cap extended to ${hint.newCap}. Batch tools when more tool work remains.`;
+		return `${instruction} Turn budget: ${hint.used}/${hint.previousCap} turns used for this user prompt. Soft cap extended to ${hint.newCap}. Batch tools when more tool work remains.`;
 	}
-	return `Turn budget: ${hint.used}/${hint.cap} turns used for this user prompt. Batch tools when more tool work remains.`;
+	return `${instruction} Turn budget: ${hint.used}/${hint.cap} turns used for this user prompt. Batch tools when more tool work remains.`;
 }
 
 function normalizeSettings(value: typeof turnBudgetSettings.defaults): Settings {

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@shanepadgett/tau-agent",
-	"version": "0.8.0",
+	"version": "0.9.1",
 	"description": "Tau is a custom agentic harness built with pi extensions",
 	"type": "module",
 	"license": "MIT",
@@ -28,7 +28,7 @@
 		"README.md"
 	],
 	"dependencies": {
-		"@shanepadgett/tau-tui": "0.8.0",
+		"@shanepadgett/tau-tui": "0.9.1",
 		"@toon-format/toon": "2.3.0",
 		"smol-toml": "1.7.0"
 	},

package/schemas/tau.schema.json

@@ -12,6 +12,31 @@
 		"extensions": {
 			"type": "object",
 			"properties": {
+				"context": {
+					"type": "object",
+					"properties": {
+						"validation": {
+							"type": "object",
+							"properties": {
+								"enabled": {
+									"type": "boolean",
+									"default": true,
+									"description": "Validate context membership after agent turns."
+								},
+								"ignoreGlobs": {
+									"type": "array",
+									"items": {
+										"type": "string"
+									},
+									"default": [],
+									"description": "Project-relative files excluded from context membership validation and sync."
+								}
+							},
+							"additionalProperties": false
+						}
+					},
+					"additionalProperties": false
+				},
 				"footer": {
 					"type": "object",
 					"properties": {

package/shared/glob.ts

@@ -0,0 +1,34 @@
+import { sep } from "node:path";
+
+export function matchGlob(pattern: string, path: string): boolean {
+	return matchSegments(normalizeGlob(pattern).split("/"), normalizeGlob(path).split("/"));
+}
+
+function matchSegments(pattern: readonly string[], path: readonly string[]): boolean {
+	const [head, ...tail] = pattern;
+	if (head === undefined) return path.length === 0;
+	if (head === "**") return matchSegments(tail, path) || (path.length > 0 && matchSegments(pattern, path.slice(1)));
+	const [pathHead, ...pathTail] = path;
+	return pathHead !== undefined && matchSegment(head, pathHead) && matchSegments(tail, pathTail);
+}
+
+function matchSegment(pattern: string, value: string): boolean {
+	const source = [...pattern]
+		.map((char) => {
+			if (char === "*") return "[^/]*";
+			if (char === "?") return "[^/]";
+			return char.replace(/[\\^$.*+?()[\]{}|]/g, "\\$&");
+		})
+		.join("");
+	return new RegExp(`^${source}$`).test(value);
+}
+
+function normalizeGlob(value: string): string {
+	return posixPath(value.trim())
+		.replace(/^\.\//, "")
+		.replace(/^\/+|\/+$/g, "");
+}
+
+export function posixPath(value: string): string {
+	return sep === "/" ? value : value.split(sep).join("/");
+}

package/shared/system-prompt-contributions.ts

@@ -1,40 +0,0 @@
-import type { BeforeAgentStartEvent, ExtensionContext } from "@earendil-works/pi-coding-agent";
-
-interface TauSystemPromptContribution {
-	id: string;
-	order: number;
-	render: (event: BeforeAgentStartEvent, ctx: ExtensionContext) => string | undefined | Promise<string | undefined>;
-}
-
-interface Registration extends TauSystemPromptContribution {
-	token: symbol;
-}
-
-const registrations = new Map<string, Registration>();
-
-export function registerTauSystemPromptContribution(contribution: TauSystemPromptContribution): () => void {
-	const token = Symbol(contribution.id);
-	registrations.set(contribution.id, { ...contribution, token });
-	return () => {
-		if (registrations.get(contribution.id)?.token === token) registrations.delete(contribution.id);
-	};
-}
-
-export async function collectTauSystemPromptContributions(
-	event: BeforeAgentStartEvent,
-	ctx: ExtensionContext,
-): Promise<string[]> {
-	const ordered = [...registrations.values()].sort(
-		(left, right) => left.order - right.order || left.id.localeCompare(right.id),
-	);
-	const rendered = await Promise.all(ordered.map((contribution) => contribution.render(event, ctx)));
-	const seen = new Set<string>();
-	const blocks: string[] = [];
-	for (const value of rendered) {
-		const block = value?.trim();
-		if (!block || seen.has(block)) continue;
-		seen.add(block);
-		blocks.push(block);
-	}
-	return blocks;
-}