pi-harness-runtime 1.1.150 → 1.1.152

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-harness-runtime",
-  "version": "1.1.150",
+  "version": "1.1.152",
   "description": "[BETA] Codex-style /usage status + autonomous coding harness for pi. Not production ready — expect breaking changes.",
   "type": "module",
   "scripts": {

package/packages/a2a-adapter/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pi/a2a-adapter",
-  "version": "1.1.150",
+  "version": "1.1.152",
   "type": "module",
   "description": "Google Agent-to-Agent (A2A) protocol adapter for pi-harness",
   "main": "dist/index.js",

package/packages/agent-policy/dist/extension.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Agent Policy Extension
+ *
+ * Registers the policy runtime with Pi's event system:
+ * - before_agent_start: inject system contract
+ * - tool_call: gate mutations until policy received
+ * - harness_rules tool: retrieve and acknowledge rules
+ */
+import type { ExtensionAPI } from "@earendil-works/pi-coding-agent";
+import type { AgentPolicyConfig } from "./types.js";
+/**
+ * Register the agent policy runtime with Pi.
+ */
+export declare function registerAgentPolicy(pi: ExtensionAPI, config: AgentPolicyConfig): void;
+/**
+ * Register with default configuration pointing to harness AGENTS.md.
+ */
+export declare function registerDefault(pi: ExtensionAPI): void;
+//# sourceMappingURL=extension.d.ts.map

package/packages/agent-policy/dist/extension.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extension.d.ts","sourceRoot":"","sources":["../src/extension.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,YAAY,EAIb,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EACV,iBAAiB,EAElB,MAAM,YAAY,CAAC;AAapB;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,EAAE,EAAE,YAAY,EAChB,MAAM,EAAE,iBAAiB,GACxB,IAAI,CA8SN;AA8DD;;GAEG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,YAAY,GAAG,IAAI,CAQtD"}

package/packages/agent-policy/dist/extension.js

@@ -0,0 +1,322 @@
+/**
+ * Agent Policy Extension
+ *
+ * Registers the policy runtime with Pi's event system:
+ * - before_agent_start: inject system contract
+ * - tool_call: gate mutations until policy received
+ * - harness_rules tool: retrieve and acknowledge rules
+ */
+import { PolicyLoader } from "./policy-loader.js";
+import { getPolicyStore } from "./policy-store.js";
+import { renderSystemContract, renderFullRules, } from "./policy-renderer.js";
+import { classifyToolCall } from "./types.js";
+// ---------------------------------------------------------------------------
+// Extension Registration
+// ---------------------------------------------------------------------------
+/**
+ * Register the agent policy runtime with Pi.
+ */
+export function registerAgentPolicy(pi, config) {
+    const loader = new PolicyLoader({
+        harnessRulesPath: config.harnessRulesPath,
+        additionalRulesPaths: config.additionalRulesPaths,
+    });
+    const store = getPolicyStore();
+    const toolClassifier = config.toolClassifier ?? classifyToolCall;
+    // Track if pi-lens is available
+    let piLensAvailable = false;
+    // Check for pi-lens availability on session start
+    pi.on("session_start", async (event) => {
+        // pi-lens registers its own tools, so we can check for them
+        const availableTools = event.availableTools ?? [];
+        piLensAvailable = availableTools.includes("lens_diagnostics");
+    });
+    // ---------------------------------------------------------------------------
+    // before_agent_start: Inject system contract
+    // ---------------------------------------------------------------------------
+    pi.on("before_agent_start", async (event, ctx) => {
+        const cwd = getCwdFromContext(ctx);
+        try {
+            const manifest = await loader.load(cwd);
+            // Record delivery in store
+            const sessionId = getSessionIdFromCtx(ctx);
+            const receipt = store.noteDelivered(sessionId, manifest, "system_prompt");
+            // Render and inject contract
+            const contract = renderSystemContract(manifest);
+            // Build augmented system prompt
+            const augmentedPrompt = event.systemPrompt + "\n\n" + contract;
+            // Log for debugging
+            console.log(`[agent-policy] Delivered policy ${manifest.revision} to session ${receipt.sessionId}`);
+            return { systemPrompt: augmentedPrompt };
+        }
+        catch (err) {
+            const errorMessage = err instanceof Error ? err.message : String(err);
+            console.error(`[agent-policy] Failed to load policy: ${errorMessage}`);
+            // Return minimal contract on failure - don't block startup
+            const fallbackContract = `
+PI-HARNESS POLICY coverage=degraded
+
+WARNING: Policy loading failed. Please report this to your administrator.
+Use harness_rules to check policy status.
+`.trim();
+            return { systemPrompt: event.systemPrompt + "\n\n" + fallbackContract };
+        }
+    });
+    // ---------------------------------------------------------------------------
+    // tool_call: Gate mutations until policy received
+    // ---------------------------------------------------------------------------
+    pi.on("tool_call", async (event, ctx) => {
+        const toolName = event.toolName;
+        const input = event.input;
+        const capability = toolClassifier(toolName, input);
+        // Skip non-mutating calls
+        if (!capability.mutatesProject && !capability.releasesProject && !capability.isChildDelegation) {
+            return {};
+        }
+        const cwd = getCwdFromContext(ctx);
+        const sessionId = getSessionIdFromCtx(ctx);
+        const targetPath = capability.affectedPaths?.[0];
+        try {
+            const manifest = await loader.loadForTarget(cwd, targetPath);
+            const receipt = store.getReceipt(sessionId, manifest.projectRoot);
+            // Check if current revision is covered
+            if (!receipt || receipt.revision !== manifest.revision) {
+                const blockReason = receipt
+                    ? `Policy revision changed (expected ${manifest.revision}, received ${receipt.revision})`
+                    : `Policy revision ${manifest.revision} not yet delivered`;
+                console.log(`[agent-policy] Blocked ${toolName}: ${blockReason}`);
+                const reason = `[POLICY REQUIRED] ${blockReason}\n\n` +
+                    `Call harness_rules action=read to load the current rules, then retry this operation.\n` +
+                    `Or call harness_rules action=manifest to see the current policy status.`;
+                return { block: true, reason };
+            }
+            // Optional: Check git guard
+            if (config.gitGuardEnabled && capability.releasesProject) {
+                // Git operations are gated by pi-lens Git guard if available
+                const blockingFindings = await checkForBlockingFindings(ctx, piLensAvailable);
+                if (blockingFindings) {
+                    return {
+                        block: true,
+                        reason: `[GIT GUARD] Blocking git operation until findings are resolved.\n\n${blockingFindings}`,
+                    };
+                }
+            }
+            // Policy satisfied, allow the call
+            return {};
+        }
+        catch (err) {
+            const errorMessage = err instanceof Error ? err.message : String(err);
+            console.error(`[agent-policy] Policy check failed: ${errorMessage}`);
+            // On error, fail open for the command but log the issue
+            // This matches pi-lens's total handler guard behavior
+            return {};
+        }
+    });
+    // ---------------------------------------------------------------------------
+    // harness_rules tool implementation
+    // ---------------------------------------------------------------------------
+    pi.registerTool({
+        name: "harness_rules",
+        label: "Harness Rules",
+        description: [
+            "Retrieve and acknowledge harness policy rules.",
+            "Actions:",
+            "  - manifest: Show current policy status (revision, coverage, sources)",
+            "  - read: Get full rule text (optionally filtered by source or section)",
+            "  - acknowledge: Confirm receipt of a specific revision",
+        ].join("\n"),
+        parameters: {
+            type: "object",
+            properties: {
+                action: {
+                    type: "string",
+                    enum: ["manifest", "read", "acknowledge"],
+                    description: "Action to perform",
+                },
+                source: {
+                    type: "string",
+                    description: "Source path filter (partial match) for read action",
+                },
+                section: {
+                    type: "string",
+                    description: "Section title filter for read action",
+                },
+                revision: {
+                    type: "string",
+                    description: "Revision to acknowledge",
+                },
+            },
+            required: ["action"],
+        },
+        async execute(_toolCallId, params, _signal, _onUpdate, ctx) {
+            const cwd = ctx.cwd;
+            const sessionId = getSessionIdFromCtx(ctx);
+            try {
+                const input = params;
+                switch (input.action) {
+                    case "manifest": {
+                        const manifest = await loader.load(cwd);
+                        return {
+                            content: [{
+                                    type: "text",
+                                    text: JSON.stringify({ manifest }, null, 2),
+                                }],
+                            details: { manifest },
+                        };
+                    }
+                    case "read": {
+                        const manifest = await loader.load(cwd);
+                        const result = renderFullRules(manifest, {
+                            source: input.source,
+                            section: input.section,
+                        });
+                        // Record delivery if not already recorded
+                        const existingReceipt = store.getReceipt(sessionId, manifest.projectRoot);
+                        if (!existingReceipt || existingReceipt.revision !== manifest.revision) {
+                            store.noteDelivered(sessionId, manifest, "tool", result.sections?.map(s => s.id) ?? ["*"]);
+                        }
+                        // Format output as readable text
+                        let output = `Harness Policy Rules (revision: ${manifest.revision})\n`;
+                        output += "=".repeat(50) + "\n\n";
+                        if (result.sections) {
+                            for (const section of result.sections) {
+                                output += `[${section.priority.toUpperCase()}] ${section.title}\n`;
+                                output += `Source: ${section.source}\n`;
+                                if (section.truncated) {
+                                    output += "(truncated)\n";
+                                }
+                                output += "\n" + section.content + "\n\n";
+                            }
+                        }
+                        return {
+                            content: [{
+                                    type: "text",
+                                    text: output,
+                                }],
+                            details: { sections: result.sections },
+                        };
+                    }
+                    case "acknowledge": {
+                        const manifest = await loader.load(cwd);
+                        // Reject acknowledgement of wrong revision
+                        if (input.revision && input.revision !== manifest.revision) {
+                            return {
+                                content: [{
+                                        type: "text",
+                                        text: `ERROR: Cannot acknowledge revision ${input.revision}: current revision is ${manifest.revision}`,
+                                    }],
+                                isError: true,
+                                details: { error: "revision_mismatch" },
+                            };
+                        }
+                        // Record acknowledgement
+                        const receipt = store.noteDelivered(sessionId, manifest, "tool", ["*"] // Full content acknowledged
+                        );
+                        return {
+                            content: [{
+                                    type: "text",
+                                    text: `Policy acknowledged.\nRevision: ${receipt.revision}\nDelivered: ${new Date(receipt.deliveredAt).toISOString()}`,
+                                }],
+                            details: { receipt },
+                        };
+                    }
+                    default: {
+                        const unknownAction = input.action;
+                        return {
+                            content: [{
+                                    type: "text",
+                                    text: `ERROR: Unknown action: ${unknownAction}`,
+                                }],
+                            isError: true,
+                            details: { error: "unknown_action" },
+                        };
+                    }
+                }
+            }
+            catch (err) {
+                const errorMessage = err instanceof Error ? err.message : String(err);
+                console.error(`[agent-policy] harness_rules failed: ${errorMessage}`);
+                return {
+                    content: [{
+                            type: "text",
+                            text: `Policy operation failed: ${errorMessage}`,
+                        }],
+                    isError: true,
+                    details: { error: errorMessage },
+                };
+            }
+        },
+    });
+    // ---------------------------------------------------------------------------
+    // session_start: Initialize session tracking
+    // ---------------------------------------------------------------------------
+    pi.on("session_start", (_event, ctx) => {
+        const sessionId = getSessionIdFromCtx(ctx);
+        const cwd = getCwdFromContext(ctx);
+        console.log(`[agent-policy] Session started: ${sessionId} in ${cwd}`);
+    });
+    // ---------------------------------------------------------------------------
+    // agent_end: Cleanup
+    // ---------------------------------------------------------------------------
+    pi.on("agent_end", () => {
+        console.log("[agent-policy] Agent ended");
+    });
+    console.log("[agent-policy] Registered agent policy runtime");
+}
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+/**
+ * Extract session ID from context.
+ */
+function getSessionIdFromCtx(ctx) {
+    const ctxObj = ctx;
+    if (typeof ctxObj?.sessionId === "string") {
+        return ctxObj.sessionId;
+    }
+    if (typeof ctxObj?.id === "string") {
+        return ctxObj.id;
+    }
+    // Fallback to a generated ID
+    return `session-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
+}
+/**
+ * Extract working directory from context.
+ */
+function getCwdFromContext(ctx) {
+    const ctxObj = ctx;
+    if (typeof ctxObj?.cwd === "string") {
+        return ctxObj.cwd;
+    }
+    if (typeof ctxObj?.workingDirectory === "string") {
+        return ctxObj.workingDirectory;
+    }
+    // Fallback to process cwd
+    return process.cwd();
+}
+/**
+ * Check for blocking findings (placeholder for pi-lens integration).
+ */
+async function checkForBlockingFindings(_ctx, piLensAvailable) {
+    if (!piLensAvailable) {
+        return null; // No blocking findings without pi-lens
+    }
+    // TODO: Query pi-lens for fresh blocking findings
+    // This would integrate with pi-lens's finding store
+    return null;
+}
+// ---------------------------------------------------------------------------
+// Convenience Export
+// ---------------------------------------------------------------------------
+/**
+ * Register with default configuration pointing to harness AGENTS.md.
+ */
+export function registerDefault(pi) {
+    const harnessRulesPath = new URL("../../../AGENTS.md", import.meta.url);
+    registerAgentPolicy(pi, {
+        harnessRulesPath,
+        requireReceiptBeforeMutation: true,
+        lspMode: "pi-lens",
+    });
+}
+//# sourceMappingURL=extension.js.map

package/packages/agent-policy/dist/extension.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extension.js","sourceRoot":"","sources":["../src/extension.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAYH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EACL,oBAAoB,EACpB,eAAe,GAChB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE9C,8EAA8E;AAC9E,yBAAyB;AACzB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,EAAgB,EAChB,MAAyB;IAEzB,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC;QAC9B,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;KAClD,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,cAAc,EAAE,CAAC;IAC/B,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,IAAI,gBAAgB,CAAC;IAEjE,gCAAgC;IAChC,IAAI,eAAe,GAAG,KAAK,CAAC;IAE5B,kDAAkD;IAClD,EAAE,CAAC,EAAE,CAAC,eAAe,EAAE,KAAK,EAAE,KAAwB,EAAE,EAAE;QACxD,4DAA4D;QAC5D,MAAM,cAAc,GAAI,KAAuC,CAAC,cAAc,IAAI,EAAE,CAAC;QACrF,eAAe,GAAG,cAAc,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,8EAA8E;IAC9E,6CAA6C;IAC7C,8EAA8E;IAE9E,EAAE,CAAC,EAAE,CAAC,oBAAoB,EAAE,KAAK,EAAE,KAA4B,EAAE,GAAG,EAAE,EAAE;QACtE,MAAM,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAEnC,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAExC,2BAA2B;YAC3B,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;YAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CACjC,SAAS,EACT,QAAQ,EACR,eAAe,CAChB,CAAC;YAEF,6BAA6B;YAC7B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;YAEhD,gCAAgC;YAChC,MAAM,eAAe,GAAG,KAAK,CAAC,YAAY,GAAG,MAAM,GAAG,QAAQ,CAAC;YAE/D,oBAAoB;YACpB,OAAO,CAAC,GAAG,CAAC,mCAAmC,QAAQ,CAAC,QAAQ,eAAe,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;YAEpG,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC;QAC3C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,YAAY,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACtE,OAAO,CAAC,KAAK,CAAC,yCAAyC,YAAY,EAAE,CAAC,CAAC;YAEvE,2DAA2D;YAC3D,MAAM,gBAAgB,GAAG;;;;;CAK9B,CAAC,IAAI,EAAE,CAAC;YAEH,OAAO,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,GAAG,MAAM,GAAG,gBAAgB,EAAE,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,8EAA8E;IAC9E,kDAAkD;IAClD,8EAA8E;IAE9E,EAAE,CAAC,EAAE,CAAC,WAAW,EAAE,KAAK,EAAE,KAAoB,EAAE,GAAG,EAAE,EAAE;QACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;QAChC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;QAC1B,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAEnD,0BAA0B;QAC1B,IAAI,CAAC,UAAU,CAAC,cAAc,IAAI,CAAC,UAAU,CAAC,eAAe,IAAI,CAAC,UAAU,CAAC,iBAAiB,EAAE,CAAC;YAC/F,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QAC3C,MAAM,UAAU,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;QAEjD,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YAC7D,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;YAElE,uCAAuC;YACvC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACvD,MAAM,WAAW,GAAG,OAAO;oBACzB,CAAC,CAAC,qCAAqC,QAAQ,CAAC,QAAQ,cAAc,OAAO,CAAC,QAAQ,GAAG;oBACzF,CAAC,CAAC,mBAAmB,QAAQ,CAAC,QAAQ,oBAAoB,CAAC;gBAE7D,OAAO,CAAC,GAAG,CAAC,0BAA0B,QAAQ,KAAK,WAAW,EAAE,CAAC,CAAC;gBAElE,MAAM,MAAM,GAAG,qBAAqB,WAAW,MAAM;oBACnD,wFAAwF;oBACxF,yEAAyE,CAAC;gBAE5E,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YACjC,CAAC;YAED,4BAA4B;YAC5B,IAAI,MAAM,CAAC,eAAe,IAAI,UAAU,CAAC,eAAe,EAAE,CAAC;gBACzD,6DAA6D;gBAC7D,MAAM,gBAAgB,GAAG,MAAM,wBAAwB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;gBAC9E,IAAI,gBAAgB,EAAE,CAAC;oBACrB,OAAO;wBACL,KAAK,EAAE,IAAI;wBACX,MAAM,EAAE,sEAAsE,gBAAgB,EAAE;qBACjG,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,mCAAmC;YACnC,OAAO,EAAE,CAAC;QACZ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,YAAY,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACtE,OAAO,CAAC,KAAK,CAAC,uCAAuC,YAAY,EAAE,CAAC,CAAC;YAErE,wDAAwD;YACxD,sDAAsD;YACtD,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,8EAA8E;IAC9E,oCAAoC;IACpC,8EAA8E;IAE9E,EAAE,CAAC,YAAY,CAAC;QACd,IAAI,EAAE,eAAe;QACrB,KAAK,EAAE,eAAe;QACtB,WAAW,EAAE;YACX,gDAAgD;YAChD,UAAU;YACV,wEAAwE;YACxE,yEAAyE;YACzE,yDAAyD;SAC1D,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,aAAa,CAAC;oBACzC,WAAW,EAAE,mBAAmB;iBACjC;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,oDAAoD;iBAClE;gBACD,OAAO,EAAE;oBACP,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,sCAAsC;iBACpD;gBACD,QAAQ,EAAE;oBACR,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,yBAAyB;iBACvC;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACZ;QAEV,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG;YACxD,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC;YACpB,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;YAE3C,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,MAA2B,CAAC;gBAE1C,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC;oBACrB,KAAK,UAAU,EAAE,CAAC;wBAChB,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;wBACxC,OAAO;4BACL,OAAO,EAAE,CAAC;oCACR,IAAI,EAAE,MAAe;oCACrB,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;iCAC5C,CAAC;4BACF,OAAO,EAAE,EAAE,QAAQ,EAAE;yBACtB,CAAC;oBACJ,CAAC;oBAED,KAAK,MAAM,EAAE,CAAC;wBACZ,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;wBACxC,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE;4BACvC,MAAM,EAAE,KAAK,CAAC,MAAM;4BACpB,OAAO,EAAE,KAAK,CAAC,OAAO;yBACvB,CAAC,CAAC;wBAEH,0CAA0C;wBAC1C,MAAM,eAAe,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;wBAC1E,IAAI,CAAC,eAAe,IAAI,eAAe,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;4BACvE,KAAK,CAAC,aAAa,CACjB,SAAS,EACT,QAAQ,EACR,MAAM,EACN,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CACzC,CAAC;wBACJ,CAAC;wBAED,iCAAiC;wBACjC,IAAI,MAAM,GAAG,mCAAmC,QAAQ,CAAC,QAAQ,KAAK,CAAC;wBACvE,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;wBAElC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;4BACpB,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gCACtC,MAAM,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,KAAK,IAAI,CAAC;gCACnE,MAAM,IAAI,WAAW,OAAO,CAAC,MAAM,IAAI,CAAC;gCACxC,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;oCACtB,MAAM,IAAI,eAAe,CAAC;gCAC5B,CAAC;gCACD,MAAM,IAAI,IAAI,GAAG,OAAO,CAAC,OAAO,GAAG,MAAM,CAAC;4BAC5C,CAAC;wBACH,CAAC;wBAED,OAAO;4BACL,OAAO,EAAE,CAAC;oCACR,IAAI,EAAE,MAAe;oCACrB,IAAI,EAAE,MAAM;iCACb,CAAC;4BACF,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;yBACvC,CAAC;oBACJ,CAAC;oBAED,KAAK,aAAa,EAAE,CAAC;wBACnB,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;wBAExC,2CAA2C;wBAC3C,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;4BAC3D,OAAO;gCACL,OAAO,EAAE,CAAC;wCACR,IAAI,EAAE,MAAe;wCACrB,IAAI,EAAE,sCAAsC,KAAK,CAAC,QAAQ,yBAAyB,QAAQ,CAAC,QAAQ,EAAE;qCACvG,CAAC;gCACF,OAAO,EAAE,IAAI;gCACb,OAAO,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE;6BACxC,CAAC;wBACJ,CAAC;wBAED,yBAAyB;wBACzB,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CACjC,SAAS,EACT,QAAQ,EACR,MAAM,EACN,CAAC,GAAG,CAAC,CAAC,4BAA4B;yBACnC,CAAC;wBAEF,OAAO;4BACL,OAAO,EAAE,CAAC;oCACR,IAAI,EAAE,MAAe;oCACrB,IAAI,EAAE,mCAAmC,OAAO,CAAC,QAAQ,gBAAgB,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE;iCACvH,CAAC;4BACF,OAAO,EAAE,EAAE,OAAO,EAAE;yBACrB,CAAC;oBACJ,CAAC;oBAED,SAAS,CAAC;wBACR,MAAM,aAAa,GAAI,KAA0B,CAAC,MAAM,CAAC;wBACzD,OAAO;4BACL,OAAO,EAAE,CAAC;oCACR,IAAI,EAAE,MAAe;oCACrB,IAAI,EAAE,0BAA0B,aAAa,EAAE;iCAChD,CAAC;4BACF,OAAO,EAAE,IAAI;4BACb,OAAO,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE;yBACrC,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,YAAY,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACtE,OAAO,CAAC,KAAK,CAAC,wCAAwC,YAAY,EAAE,CAAC,CAAC;gBACtE,OAAO;oBACL,OAAO,EAAE,CAAC;4BACR,IAAI,EAAE,MAAe;4BACrB,IAAI,EAAE,4BAA4B,YAAY,EAAE;yBACjD,CAAC;oBACF,OAAO,EAAE,IAAI;oBACb,OAAO,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;iBACjC,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC,CAAC;IAEH,8EAA8E;IAC9E,6CAA6C;IAC7C,8EAA8E;IAE9E,EAAE,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,MAAyB,EAAE,GAAY,EAAE,EAAE;QACjE,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAEnC,OAAO,CAAC,GAAG,CAAC,mCAAmC,SAAS,OAAO,GAAG,EAAE,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,8EAA8E;IAC9E,qBAAqB;IACrB,8EAA8E;IAE9E,EAAE,CAAC,EAAE,CAAC,WAAW,EAAE,GAAG,EAAE;QACtB,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,OAAO,CAAC,GAAG,CAAC,gDAAgD,CAAC,CAAC;AAChE,CAAC;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E;;GAEG;AACH,SAAS,mBAAmB,CAAC,GAAY;IACvC,MAAM,MAAM,GAAG,GAA8B,CAAC;IAE9C,IAAI,OAAO,MAAM,EAAE,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC1C,OAAO,MAAM,CAAC,SAAS,CAAC;IAC1B,CAAC;IAED,IAAI,OAAO,MAAM,EAAE,EAAE,KAAK,QAAQ,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,EAAE,CAAC;IACnB,CAAC;IAED,6BAA6B;IAC7B,OAAO,WAAW,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,GAAY;IACrC,MAAM,MAAM,GAAG,GAA8B,CAAC;IAE9C,IAAI,OAAO,MAAM,EAAE,GAAG,KAAK,QAAQ,EAAE,CAAC;QACpC,OAAO,MAAM,CAAC,GAAG,CAAC;IACpB,CAAC;IAED,IAAI,OAAO,MAAM,EAAE,gBAAgB,KAAK,QAAQ,EAAE,CAAC;QACjD,OAAO,MAAM,CAAC,gBAAgB,CAAC;IACjC,CAAC;IAED,0BAA0B;IAC1B,OAAO,OAAO,CAAC,GAAG,EAAE,CAAC;AACvB,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,wBAAwB,CACrC,IAAa,EACb,eAAwB;IAExB,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC,CAAC,uCAAuC;IACtD,CAAC;IAED,kDAAkD;IAClD,oDAAoD;IACpD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,EAAgB;IAC9C,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,oBAAoB,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;IAExE,mBAAmB,CAAC,EAAE,EAAE;QACtB,gBAAgB;QAChB,4BAA4B,EAAE,IAAI;QAClC,OAAO,EAAE,SAAS;KACnB,CAAC,CAAC;AACL,CAAC"}

package/packages/agent-policy/dist/index.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Agent Policy Package
+ *
+ * Provides mandatory policy delivery and mutation gating for pi-harness.
+ *
+ * @example
+ * ```ts
+ * import { registerAgentPolicy } from "@pi/agent-policy";
+ *
+ * export default function (pi: ExtensionAPI) {
+ *   registerAgentPolicy(pi, {
+ *     harnessRulesPath: new URL("./AGENTS.md", import.meta.url),
+ *     requireReceiptBeforeMutation: true,
+ *     lspMode: "pi-lens",
+ *   });
+ * }
+ * ```
+ */
+export type { AgentPolicyConfig, HarnessRulesInput, HarnessRulesOutput, MinimaxFindingEnvelope, PolicyFinding, PolicyManifest, PolicyReceipt, PolicySection, PolicySource, ToolCallCapability, HarnessAgentVerdict, } from "./types.js";
+export { PolicyLoader, createPolicyLoader } from "./policy-loader.js";
+export { PolicyStore, getPolicyStore, resetPolicyStore } from "./policy-store.js";
+export { renderSystemContract, renderFullRules, renderManifestSummary, renderFindingEnvelope, parseSections, createCleanEnvelope, createDegradedEnvelope, } from "./policy-renderer.js";
+export { registerAgentPolicy, registerDefault } from "./extension.js";
+export { classifyToolCall } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

package/packages/agent-policy/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,YAAY,EACV,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,sBAAsB,EACtB,aAAa,EACb,cAAc,EACd,aAAa,EACb,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EACL,oBAAoB,EACpB,eAAe,EACf,qBAAqB,EACrB,qBAAqB,EACrB,aAAa,EACb,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC"}

package/packages/agent-policy/dist/index.js

@@ -0,0 +1,27 @@
+/**
+ * Agent Policy Package
+ *
+ * Provides mandatory policy delivery and mutation gating for pi-harness.
+ *
+ * @example
+ * ```ts
+ * import { registerAgentPolicy } from "@pi/agent-policy";
+ *
+ * export default function (pi: ExtensionAPI) {
+ *   registerAgentPolicy(pi, {
+ *     harnessRulesPath: new URL("./AGENTS.md", import.meta.url),
+ *     requireReceiptBeforeMutation: true,
+ *     lspMode: "pi-lens",
+ *   });
+ * }
+ * ```
+ */
+// Policy Components
+export { PolicyLoader, createPolicyLoader } from "./policy-loader.js";
+export { PolicyStore, getPolicyStore, resetPolicyStore } from "./policy-store.js";
+export { renderSystemContract, renderFullRules, renderManifestSummary, renderFindingEnvelope, parseSections, createCleanEnvelope, createDegradedEnvelope, } from "./policy-renderer.js";
+// Extension Registration
+export { registerAgentPolicy, registerDefault } from "./extension.js";
+// Tool Classifier
+export { classifyToolCall } from "./types.js";
+//# sourceMappingURL=index.js.map

package/packages/agent-policy/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAiBH,oBAAoB;AACpB,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EACL,oBAAoB,EACpB,eAAe,EACf,qBAAqB,EACrB,qBAAqB,EACrB,aAAa,EACb,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAE9B,yBAAyB;AACzB,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEtE,kBAAkB;AAClB,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC"}

package/packages/agent-policy/dist/policy-loader.d.ts

@@ -0,0 +1,90 @@
+/**
+ * PolicyLoader - Loads and hashes harness and scoped project rules.
+ *
+ * Responsibilities:
+ * - Load the immutable harness policy shipped with the package
+ * - Walk from project root toward target file collecting scoped AGENTS.md
+ * - Normalize newlines and paths, then hash the ordered mandatory content
+ * - Build a PolicyManifest with source paths, scope, priority, and hashes
+ */
+import type { PolicyManifest } from "./types.js";
+/**
+ * Policy loader configuration.
+ */
+export interface PolicyLoaderConfig {
+    /** Path to the harness-owned AGENTS.md */
+    harnessRulesPath: URL;
+    /** Optional additional harness rule files */
+    additionalRulesPaths?: URL[];
+}
+/**
+ * Loads and processes agent policies from harness and project sources.
+ */
+export declare class PolicyLoader {
+    private harnessRulesPath;
+    private additionalRulesPaths;
+    private cache;
+    private readonly CACHE_TTL_MS;
+    constructor(config: PolicyLoaderConfig);
+    /**
+     * Load policy for a given project root.
+     */
+    load(projectRoot: string): Promise<PolicyManifest>;
+    /**
+     * Load policy for a specific target file (considers scoped rules).
+     */
+    loadForTarget(projectRoot: string, targetPath?: string): Promise<PolicyManifest>;
+    /**
+     * Invalidate cache for a project root.
+     */
+    invalidateCache(projectRoot?: string): void;
+    /**
+     * Build manifest for a project root.
+     */
+    private buildManifest;
+    /**
+     * Load harness-owned rule files.
+     */
+    private loadHarnessRules;
+    /**
+     * Load project-owned rule files, walking from root toward target.
+     */
+    private loadProjectRules;
+    /**
+     * Evaluate trust level for a project.
+     */
+    private evaluateTrust;
+    /**
+     * Infer the scope from a relative path.
+     */
+    private inferScope;
+    /**
+     * Normalize content for consistent hashing.
+     */
+    private normalizeContent;
+    /**
+     * Compute SHA-256 hash of content.
+     */
+    private hashContent;
+    /**
+     * Compute combined revision from sources.
+     */
+    private computeRevision;
+    /**
+     * Determine coverage based on loaded sources and errors.
+     */
+    private determineCoverage;
+    /**
+     * Generate cache key for a project root.
+     */
+    private getCacheKey;
+    /**
+     * Read the raw content of a source file.
+     */
+    readSourceContent(path: string): string | null;
+}
+/**
+ * Create a PolicyLoader with the standard harness configuration.
+ */
+export declare function createPolicyLoader(): PolicyLoader;
+//# sourceMappingURL=policy-loader.d.ts.map

package/packages/agent-policy/dist/policy-loader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy-loader.d.ts","sourceRoot":"","sources":["../src/policy-loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAKH,OAAO,KAAK,EAAE,cAAc,EAAgB,MAAM,YAAY,CAAC;AAgC/D;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,0CAA0C;IAC1C,gBAAgB,EAAE,GAAG,CAAC;IACtB,6CAA6C;IAC7C,oBAAoB,CAAC,EAAE,GAAG,EAAE,CAAC;CAC9B;AAED;;GAEG;AACH,qBAAa,YAAY;IACvB,OAAO,CAAC,gBAAgB,CAAM;IAC9B,OAAO,CAAC,oBAAoB,CAAQ;IACpC,OAAO,CAAC,KAAK,CAA0E;IACvF,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAQ;IAErC,YAAY,MAAM,EAAE,kBAAkB,EAGrC;IAED;;OAEG;IACG,IAAI,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAWvD;IAED;;OAEG;IACG,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAuBrF;IAED;;OAEG;IACH,eAAe,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAM1C;IAED;;OAEG;YACW,aAAa;IAsC3B;;OAEG;YACW,gBAAgB;IAkD9B;;OAEG;YACW,gBAAgB;IA8C9B;;OAEG;IACH,OAAO,CAAC,aAAa;IAmBrB;;OAEG;IACH,OAAO,CAAC,UAAU;IAoBlB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAQxB;;OAEG;IACH,OAAO,CAAC,WAAW;IAInB;;OAEG;IACH,OAAO,CAAC,eAAe;IAOvB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAkBzB;;OAEG;IACH,OAAO,CAAC,WAAW;IAInB;;OAEG;IACH,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAS7C;CACF;AAMD;;GAEG;AACH,wBAAgB,kBAAkB,IAAI,YAAY,CAOjD"}