pi-soly 1.6.0 → 1.8.0

package/commands.ts

@@ -21,9 +21,11 @@ import type { ExtensionAPI } from "@earendil-works/pi-coding-agent";
 import {
 	analyzeRules,
 	buildProgressBar,
+	buildRulesContextStats,
 	CONTEXT_WINDOW_TOKENS,
 	extractFilePathsFromPrompt,
 	formatAnalyticsFull,
+	formatRulesContextStats,
 	formatTok,
 	readIfExists,
 	solyDirFor,
@@ -70,7 +72,7 @@ export function registerCommands(pi: ExtensionAPI, deps: CommandsDeps): void {
 
 	pi.registerCommand("rules", {
 		description:
-			"manage soly rules (list, show, analytics, reload, enable, disable)",
+			"manage soly rules (list, show, stats, analytics, reload, enable, disable)",
 		handler: async (args, ctx) => {
 			const ui: CommandUI = {
 				notify: (t, k) => ctx.ui.notify(t, k ?? "info"),
@@ -129,6 +131,16 @@ export function registerCommands(pi: ExtensionAPI, deps: CommandsDeps): void {
 				return;
 			}
 
+			if (sub === "stats") {
+				// Claude-memory-style breakdown: shows which rules are always-on
+				// (every turn) vs glob-matched (only when prompt has file paths).
+				// Surfaces context bloat and verifies rules will actually fire.
+				const rules = getRules();
+				const stats = buildRulesContextStats(rules, CONTEXT_WINDOW_TOKENS);
+				ui.notify(formatRulesContextStats(stats), "info");
+				return;
+			}
+
 			if (sub === "show") {
 				if (!target) {
 					ui.notify("Usage: /rules show <path>", "error");

package/core.ts

@@ -993,6 +993,127 @@ export function formatAnalyticsFull(analytics: RuleAnalytics): string {
   return lines.join("\n");
 }
 
+// =============================================================================
+// Rules context stats — Claude-memory-style breakdown
+// =============================================================================
+//
+// Shows which rules are "always-on" (loaded every turn) vs "glob-matched"
+// (loaded only when file paths in prompt match). Useful for spotting
+// context bloat and verifying rules will actually fire.
+
+export interface RuleStat {
+  relPath: string;
+  tokens: number;
+  sourceLabel: string;
+  description?: string;
+  always: boolean;
+  globs: string[];
+  loadedLastTurn: boolean;
+}
+
+export interface RulesContextStats {
+  totalLoaded: number;
+  totalTokens: number;
+  contextBudgetPct: number;
+  alwaysOn: RuleStat[];
+  globMatched: RuleStat[];
+  disabled: RuleStat[];
+  lastTurn: {
+    promptFiles: string[];
+    matchedRulePaths: string[];
+  };
+}
+
+export function buildRulesContextStats(
+  rules: RuleFile[],
+  contextWindowTokens: number,
+  lastTurn?: { promptFiles: string[]; matchedRelPaths: string[] },
+): RulesContextStats {
+  const enabled = rules.filter((r) => r.enabled);
+  const disabled = rules.filter((r) => !r.enabled);
+  const lastTurnMatched = new Set(lastTurn?.matchedRelPaths ?? []);
+  const stat = (r: RuleFile, loadedLastTurn: boolean): RuleStat => ({
+    relPath: r.relPath,
+    tokens: estimateTokens(r.body),
+    sourceLabel: r.sourceLabel,
+    description: r.meta.description,
+    always: r.meta.always === true,
+    globs: r.meta.globs ?? [],
+    loadedLastTurn,
+  });
+  const alwaysOn: RuleStat[] = [];
+  const globMatched: RuleStat[] = [];
+  for (const r of enabled) {
+    const isAlways = r.meta.always === true;
+    const isLoadedLastTurn = lastTurnMatched.has(r.relPath) || isAlways;
+    const s = stat(r, isLoadedLastTurn);
+    if (isAlways) alwaysOn.push(s);
+    else globMatched.push(s);
+  }
+  const totalTokens = [...alwaysOn, ...globMatched].reduce((a, b) => a + b.tokens, 0);
+  return {
+    totalLoaded: enabled.length,
+    totalTokens,
+    contextBudgetPct:
+      contextWindowTokens > 0 ? (totalTokens / contextWindowTokens) * 100 : 0,
+    alwaysOn,
+    globMatched,
+    disabled: disabled.map((r) => stat(r, false)),
+    lastTurn: {
+      promptFiles: lastTurn?.promptFiles ?? [],
+      matchedRulePaths: lastTurn?.matchedRelPaths ?? [],
+    },
+  };
+}
+
+export function formatRulesContextStats(stats: RulesContextStats): string {
+  const lines: string[] = [];
+  lines.push(`📊 Rules context stats`);
+  lines.push(``);
+  const ctxWindow = stats.contextBudgetPct > 0
+    ? Math.round(stats.totalTokens / (stats.contextBudgetPct / 100))
+    : 0;
+  lines.push(
+    `Loaded: ${stats.totalLoaded} rule(s) · ${formatTok(stats.totalTokens)} · ${stats.contextBudgetPct.toFixed(1)}% of ${formatTok(ctxWindow)} context`,
+  );
+  lines.push(``);
+  if (stats.alwaysOn.length > 0) {
+    lines.push(`ALWAYS-ON (loaded every turn):`);
+    for (const r of stats.alwaysOn) {
+      const last = r.loadedLastTurn ? " ✓" : "";
+      const desc = r.description ? ` — "${r.description}"` : "";
+      lines.push(`  ● ${r.relPath}  ${formatTok(r.tokens)}${desc}${last}`);
+    }
+    lines.push(``);
+  }
+  if (stats.globMatched.length > 0) {
+    lines.push(`GLOB-MATCHED (loaded when prompt file matches):`);
+    for (const r of stats.globMatched) {
+      const last = r.loadedLastTurn ? " ✓" : "";
+      const desc = r.description ? ` — "${r.description}"` : "";
+      const globs = r.globs.length > 0 ? `  [globs: ${r.globs.join(", ")}]` : "";
+      lines.push(`  ◐ ${r.relPath}  ${formatTok(r.tokens)}${desc}${globs}${last}`);
+    }
+    lines.push(``);
+  }
+  if (stats.disabled.length > 0) {
+    lines.push(`DISABLED:`);
+    for (const r of stats.disabled) {
+      lines.push(`  ○ ${r.relPath}  ${formatTok(r.tokens)} — disabled`);
+    }
+    lines.push(``);
+  }
+  if (stats.lastTurn.promptFiles.length > 0) {
+    lines.push(`Last turn: ${stats.lastTurn.promptFiles.length} file path(s) in prompt`);
+    for (const f of stats.lastTurn.promptFiles) {
+      lines.push(`  → ${f}`);
+    }
+  } else {
+    lines.push(`Last turn: no file paths in prompt (only always-on rules loaded)`);
+  }
+  return lines.join("\n");
+}
+
 // ============================================================================
 // @import resolver (markdown only)
 // ============================================================================
@@ -1614,3 +1735,33 @@ export function buildDriftReminder(turnsSinceLastVerb: number): string | null {
 	const when = turnsSinceLastVerb === 1 ? "1 turn" : `${turnsSinceLastVerb} turns`;
 	return `soly drift hint: ${when} since last soly verb. Consider \`${verb}\` to sync state (pause saves HANDOFF for resume across compactions).`;
 }
+
+// =============================================================================
+// Post-work rules check: which rules apply to a set of edited files?
+// =============================================================================
+//
+// Used by the turn_end hook to surface a checklist of rules that SHOULD have
+// been followed during this turn. Honest post-hook — does not claim to detect
+// violations, just lists what was applicable so the user can verify.
+
+export function rulesApplicableToFiles(
+  rules: RuleFile[],
+  editedFiles: string[],
+): string[] {
+  const applicable = new Set<string>();
+  for (const filePath of editedFiles) {
+    for (const rule of rules) {
+      if (!rule.enabled) continue;
+      const globs = rule.meta.globs;
+      const always = rule.meta.always === true;
+      if (always) {
+        applicable.add(rule.relPath);
+        continue;
+      }
+      if (globs && globs.some((g) => matchesGlob(filePath, g))) {
+        applicable.add(rule.relPath);
+      }
+    }
+  }
+  return [...applicable];
+}

package/index.ts

@@ -36,6 +36,8 @@ import {
 	loadAllRules,
 	loadPhaseRules,
 	loadProjectState,
+	matchesGlob,
+	rulesApplicableToFiles,
 	STATUS_ID,
 	solyDirFor,
 	isLegacySolyDir,
@@ -125,7 +127,7 @@ export default function solyExtension(pi: ExtensionAPI) {
 
 	// Behavioral nudge state
 	let nudgeActiveForTask = false;
-	let rulesEditNotifyShown = false;
+	let editedFilesThisTurn = new Set<string>();
 	let lastNudgePromptKey = "";
 
 	// Git context (cached, refreshed on hot reload + before_agent_start)
@@ -427,7 +429,6 @@ export default function solyExtension(pi: ExtensionAPI) {
 		rulesLoaded = [];
 		lastRulesTokens = 0;
 		nudgeActiveForTask = false;
-		rulesEditNotifyShown = false;
 		lastNudgePromptKey = "";
 		sessionStats = { turns: 0, tokensEstimate: 0 };
 
@@ -711,21 +712,35 @@ export default function solyExtension(pi: ExtensionAPI) {
 		if (rulesChanged || stateChanged) {
 			updateStatus(ctx);
 		}
+
+		// Post-work rules check: surface applicable rules for files edited
+		// in this turn. Honest post-hook — doesn't pretend to detect violations,
+		// just reminds the user which rules SHOULD have been followed.
+		if (editedFilesThisTurn.size > 0) {
+			const applicable = rulesApplicableToFiles(
+				combinedRules(),
+				[...editedFilesThisTurn],
+			);
+			if (applicable.length > 0) {
+				ctx.ui.notify(
+					`📋 Rules check: edited ${editedFilesThisTurn.size} file(s), ${applicable.length} rule(s) applied:\n  • ${applicable.join("\n  • ")}`,
+					"info",
+				);
+			}
+			editedFilesThisTurn = new Set();
+		}
 	});
 
 	// ============================================================================
-	// tool_call: rules reinforcement — fire a brief notify to the user when
-	// the LLM is about to edit/write a file that has applicable rules.
-	// This doesn't block the tool — it's a visibility signal so the user
-	// can spot when the LLM is editing without checking rules.
+	// tool_call: track files edited in this turn. Used at turn_end to surface
+	// applicable rules as a post-work checklist ("did the agent follow them?").
 	// ============================================================================
 	pi.on("tool_call", async (event, _ctx) => {
 		if (event.toolName !== "edit" && event.toolName !== "write") return;
-		const activeRules = combinedRules();
-		if (activeRules.length === 0) return;
-		// Don't spam — only notify once per session
-		if (rulesEditNotifyShown) return;
-		rulesEditNotifyShown = true;
+		const input = event.input as { path?: string };
+		if (input?.path) {
+			editedFilesThisTurn.add(input.path);
+		}
 	});
 
 	// Mount built-in sub-features

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-soly",
-  "version": "1.6.0",
+  "version": "1.8.0",
   "description": "Project management framework for pi-coding-agent. Workflows, planning, multi-question picker, agent switcher, live task list — one npm install, zero config.",
   "type": "module",
   "main": "index.ts",