feat: show pro memory policy

Author: logi-cmd

docs/PROJECT_STATE.md

@@ -1,6 +1,6 @@
 # Project State
 
-Last updated: 2026-04-14 (Pro proof memory context visibility)
+Last updated: 2026-04-14 (Pro proof memory policy visibility)
 
 ## Canonical build docs
 
@@ -18,7 +18,7 @@ Strategy, market, pricing, and older design docs still matter, but if there is a
 
 ## Current Version
 
-**v0.19.4** - OSS Pro visibility bundle release: `check --json` exposes installed Pro proof plans, proof recipe summaries, and proof memory context at the top level, and `pro status` plus `check --review` render Pro proof-memory, proof memory health, cleanup history, proof memory context, proof recipes, learned proof, learned proof scoring, proof workbench next actions, stale recipe warnings, proof recipe next actions, proof closure summaries, reusable proof commands, reusable evidence paths, and prioritized proof-surface wording when available.
+**v0.19.4** - OSS Pro visibility bundle release: `check --json` exposes installed Pro proof plans, proof recipe summaries, and proof memory context at the top level, and `pro status` plus `check --review` render Pro proof-memory, proof memory health, cleanup history, proof memory context, proof memory policy, proof recipes, learned proof, learned proof scoring, proof workbench next actions, stale recipe warnings, proof recipe next actions, proof closure summaries, reusable proof commands, reusable evidence paths, and prioritized proof-surface wording when available.
 
 ## Goal
 
@@ -64,6 +64,7 @@ Pivot from a CLI-only merge gate to an agent-native runtime with system-level au
 - Post-v0.19.4 draft update: `check --json` now adds a top-level `proofRecipe` summary when Pro provides learned proof evidence, including memory health penalty and warning fields. `check --review` also renders the Pro-provided memory health penalty and warning without moving scoring logic into OSS.
 - Post-v0.19.4 draft update: agent-guardrails pro status now renders Pro-provided cleanup event history, including cleanup event count, last cleanup time, recent cleanup summary, affected commands, and archive reasons.
 - Post-v0.19.4 draft update: `check --json` now adds a top-level `proofMemoryContext` summary when Pro explains recent proof-memory cleanup. `check --review` renders the same context, archived commands, cleanup reasons, and go-live impact without moving memory-change logic into OSS.
+- Post-v0.19.4 draft update: `agent-guardrails pro status` now renders Pro-provided proof memory policy thresholds, including stale age, failed-reuse archive threshold, and cleanup-context window.
 
 ## Strategic Direction Update (2026-04-07)
 

lib/commands/pro-status.js

@@ -106,6 +106,26 @@ function printProofMemory(proofMemory) {
   }
 }
 
+function formatProofMemoryPolicy(policy) {
+  if (!policy) return null;
+
+  const parts = [];
+  if (policy.staleAfterDays != null) {
+    parts.push(`stale after ${policy.staleAfterDays} days`);
+  }
+  if (policy.maxFailureCount != null) {
+    const failedReuseLabel = Number(policy.maxFailureCount) === 1
+      ? "failed reuse attempt"
+      : "failed reuse attempts";
+    parts.push(`archive after ${policy.maxFailureCount} ${failedReuseLabel}`);
+  }
+  if (policy.recentCleanupDays != null) {
+    parts.push(`cleanup context ${policy.recentCleanupDays} days`);
+  }
+
+  return parts.length > 0 ? `Policy: ${parts.join("; ")}` : null;
+}
+
 function printProofMemoryHealth(proofMemoryHealth) {
   if (!proofMemoryHealth) return;
 
@@ -129,6 +149,11 @@ function printProofMemoryHealth(proofMemoryHealth) {
     `Cleanup candidates: ${counts.cleanupCandidates ?? 0}`
   ].join("; "));
 
+  const policySummary = formatProofMemoryPolicy(proofMemoryHealth.policy || proofMemoryHealth.nextAction?.policy);
+  if (policySummary) {
+    console.log(`  ${policySummary}`);
+  }
+
   if (proofMemoryHealth.lastCleanupAt) {
     console.log(`  Last cleanup: ${proofMemoryHealth.lastCleanupAt}`);
   }

tests/pro-status.test.js

@@ -117,11 +117,12 @@ async function withMockInstalledPro(callback, repoRoot = OSS_REPO_ROOT) {
     "      headline: 'Proof memory needs cleanup before its recommendations should be trusted blindly.',",
     "      summary: 'Proof memory has unreliable or stale recipes that should be reviewed.',",
     "      counts: { trusted: 1, watch: 1, unreliable: 1, unknown: 0, archived: 1, cleanupEvents: 1, cleanupCandidates: 1 },",
+    "      policy: { staleAfterDays: 90, maxFailureCount: 2, recentCleanupDays: 30 },",
     "      lastCleanupAt: '2026-04-13T00:00:00.000Z',",
     "      recentCleanupEvents: [",
     "        { type: 'proof-memory-cleanup', appliedAt: '2026-04-13T00:00:00.000Z', archivedCount: 1, commands: ['npm test'], reasons: ['stale 200 days; failed 4x'], summary: 'Archived 1 proof recipe from active repo memory.' }",
     "      ],",
-    "      nextAction: { code: 'preview-proof-memory-cleanup', label: 'Preview proof memory cleanup', command: 'agent-guardrails pro status --json', value: 'Review cleanup candidates before archiving unreliable proof recipes.' },",
+    "      nextAction: { code: 'preview-proof-memory-cleanup', label: 'Preview proof memory cleanup', command: 'agent-guardrails pro status --json', policy: { staleAfterDays: 90, maxFailureCount: 2, recentCleanupDays: 30 }, value: 'Review cleanup candidates before archiving unreliable proof recipes.' },",
     "      userValue: 'Keeps repo memory useful by separating trusted proof habits from stale or failed advice.'",
     "    },",
     "    demoGoLiveDecision: {",
@@ -222,6 +223,7 @@ export async function run() {
       assert.match(output, /Proof memory health: needs_cleanup \(warning\)/);
       assert.match(output, /Proof memory needs cleanup before its recommendations should be trusted blindly/);
       assert.match(output, /Trusted: 1; Watch: 1; Unreliable: 1; Archived: 1; Cleanup events: 1; Cleanup candidates: 1/);
+      assert.match(output, /Policy: stale after 90 days; archive after 2 failed reuse attempts; cleanup context 30 days/);
       assert.match(output, /Last cleanup: 2026-04-13T00:00:00.000Z/);
       assert.match(output, /Recent cleanup/);
       assert.match(output, /Archived 1 proof recipe from active repo memory/);