pi-harness-runtime 0.5.0 → 0.6.3-beta.13

package/packages/prompt-compiler/dist/types.d.ts

@@ -0,0 +1,121 @@
+/**
+ * Prompt Compiler - Types
+ *
+ * Type definitions for prompt compilation pipeline.
+ */
+import type { CompiledRequirement } from "@pi-harness/requirement-compiler";
+import type { CompiledTask } from "@pi-harness/task-compiler";
+/**
+ * Supported provider targets.
+ */
+export type ProviderTarget = "codex" | "minimax" | "glm" | "openai" | "anthropic" | "gemini";
+/**
+ * Provider-specific formatting preferences.
+ */
+export interface ProviderPromptProfile {
+    id: ProviderTarget;
+    supportsSystemPrompt: boolean;
+    preferredInstructionStyle: "xml" | "markdown" | "plain";
+    maximumInputTokens: number;
+    reservedOutputTokens: number;
+    continuationMarker: string;
+}
+/**
+ * A single section of the compiled prompt.
+ */
+export interface PromptSection {
+    id: string;
+    kind: "identity" | "project_rules" | "objective" | "acceptance_criteria" | "relevant_context" | "known_constraints" | "files_in_scope" | "required_output" | "tool_permissions" | "continuation_instructions" | "supplemental";
+    content: string;
+    required: boolean;
+    compactable: boolean;
+    sourceRefs: SourceRef[];
+}
+/**
+ * Lightweight source reference.
+ */
+export interface SourceRef {
+    source: string;
+    line?: number;
+    text: string;
+}
+/**
+ * Context for resuming a prompt that hit output limits.
+ */
+export interface ContinuationContext {
+    previousResponsePath: string;
+    completedItems: string[];
+    incompleteItems: string[];
+    instruction: "continue_without_repeating";
+}
+/**
+ * Compiled context from the Context Compiler (RFC-0042).
+ * Contains deduplicated, prioritized context entries.
+ */
+export interface CompiledContext {
+    entries: ContextEntry[];
+}
+export interface ContextEntry {
+    id: string;
+    content: string;
+    priority: number;
+    source: string;
+    tags?: string[];
+}
+/**
+ * Redaction rule patterns.
+ */
+export interface RedactionRule {
+    pattern: RegExp;
+    replacement: string;
+    description: string;
+}
+/**
+ * The output artifact of prompt compilation.
+ */
+export interface PromptPackage {
+    version: "1";
+    taskId: string;
+    provider: ProviderTarget;
+    system: string;
+    user: string;
+    sections: PromptSection[];
+    estimatedInputTokens: number;
+    sourceRefs: SourceRef[];
+    hash: string;
+    createdAt: string;
+}
+/**
+ * Input to the prompt compiler.
+ */
+export interface PromptCompileRequest {
+    task: CompiledTask;
+    requirement: CompiledRequirement;
+    context: CompiledContext;
+    provider: ProviderTarget;
+    attempt: number;
+    continuation?: ContinuationContext;
+}
+export type PromptCompileErrorCode = "INVALID_TASK" | "MISSING_OBJECTIVE" | "MISSING_OUTPUT_CONTRACT" | "UNRESOLVED_REQUIRED_SOURCE" | "TOKEN_BUDGET_EXCEEDED" | "POLICY_CONFLICT";
+/**
+ * Prompt compilation error.
+ */
+export declare class PromptCompileError extends Error {
+    readonly code: PromptCompileErrorCode;
+    readonly details?: Record<string, unknown>;
+    constructor(code: PromptCompileErrorCode, message: string, details?: Record<string, unknown>);
+}
+/**
+ * Built-in provider profiles.
+ */
+export declare const PROVIDER_PROFILES: Record<ProviderTarget, ProviderPromptProfile>;
+/**
+ * Deterministic section ordering per RFC-0041.
+ */
+export declare const SECTION_ORDER: PromptSection["kind"][];
+/**
+ * Entries with priority >= this are eligible for compaction.
+ * Priority 0 = critical (never compact).
+ */
+export declare const COMPACTABLE_THRESHOLD = 1;
+//# sourceMappingURL=types.d.ts.map

package/packages/prompt-compiler/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAI9D;;GAEG;AACH,MAAM,MAAM,cAAc,GACvB,OAAO,GACP,SAAS,GACT,KAAK,GACL,QAAQ,GACR,WAAW,GACX,QAAQ,CAAC;AAIZ;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACrC,EAAE,EAAE,cAAc,CAAC;IACnB,oBAAoB,EAAE,OAAO,CAAC;IAC9B,yBAAyB,EAAE,KAAK,GAAG,UAAU,GAAG,OAAO,CAAC;IACxD,kBAAkB,EAAE,MAAM,CAAC;IAC3B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kBAAkB,EAAE,MAAM,CAAC;CAC3B;AAID;;GAEG;AACH,MAAM,WAAW,aAAa;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EACD,UAAU,GACV,eAAe,GACf,WAAW,GACX,qBAAqB,GACrB,kBAAkB,GAClB,mBAAmB,GACnB,gBAAgB,GAChB,iBAAiB,GACjB,kBAAkB,GAClB,2BAA2B,GAC3B,cAAc,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,OAAO,CAAC;IACrB,UAAU,EAAE,SAAS,EAAE,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACb;AAID;;GAEG;AACH,MAAM,WAAW,mBAAmB;IACnC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,WAAW,EAAE,4BAA4B,CAAC;CAC1C;AAID;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC/B,OAAO,EAAE,YAAY,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,YAAY;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CAChB;AAYD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACpB;AAID;;GAEG;AACH,MAAM,WAAW,aAAa;IAC7B,OAAO,EAAE,GAAG,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,cAAc,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;CAClB;AAID;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACpC,IAAI,EAAE,YAAY,CAAC;IACnB,WAAW,EAAE,mBAAmB,CAAC;IACjC,OAAO,EAAE,eAAe,CAAC;IACzB,QAAQ,EAAE,cAAc,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,mBAAmB,CAAC;CACnC;AAID,MAAM,MAAM,sBAAsB,GAC/B,cAAc,GACd,mBAAmB,GACnB,yBAAyB,GACzB,4BAA4B,GAC5B,uBAAuB,GACvB,iBAAiB,CAAC;AAErB;;GAEG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAG1C,IAAI,EAAE,sBAAsB,EAC5B,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAOlC;AAID;;GAEG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,cAAc,EAAE,qBAAqB,CAkD1E,CAAC;AAIH;;GAEG;AACH,eAAO,MAAM,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,EAYhD,CAAC;AAIF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,IAAI,CAAC"}

package/packages/prompt-compiler/dist/types.js

@@ -0,0 +1,103 @@
+/**
+ * Prompt Compiler - Types
+ *
+ * Type definitions for prompt compilation pipeline.
+ */
+function __contextEntryPriority() {
+    // Compactable priorities (higher = less important):
+    // 0 = critical (never compact)
+    // 1-3 = important
+    // 4-6 = useful
+    // 7+ = supplemental
+}
+/**
+ * Prompt compilation error.
+ */
+export class PromptCompileError extends Error {
+    code;
+    details;
+    constructor(code, message, details) {
+        super(message);
+        this.name = "PromptCompileError";
+        this.code = code;
+        this.details = details;
+    }
+}
+// ─── Provider profiles ────────────────────────────────────────────────────
+/**
+ * Built-in provider profiles.
+ */
+export const PROVIDER_PROFILES = {
+    codex: {
+        id: "codex",
+        supportsSystemPrompt: true,
+        preferredInstructionStyle: "markdown",
+        maximumInputTokens: 128_000,
+        reservedOutputTokens: 4_096,
+        continuationMarker: "<!-- CONTINUE -->",
+    },
+    minimax: {
+        id: "minimax",
+        supportsSystemPrompt: true,
+        preferredInstructionStyle: "markdown",
+        maximumInputTokens: 128_000,
+        reservedOutputTokens: 4_096,
+        continuationMarker: "<!-- CONTINUE -->",
+    },
+    glm: {
+        id: "glm",
+        supportsSystemPrompt: true,
+        preferredInstructionStyle: "markdown",
+        maximumInputTokens: 128_000,
+        reservedOutputTokens: 4_096,
+        continuationMarker: "<!-- CONTINUE -->",
+    },
+    openai: {
+        id: "openai",
+        supportsSystemPrompt: true,
+        preferredInstructionStyle: "markdown",
+        maximumInputTokens: 128_000,
+        reservedOutputTokens: 4_096,
+        continuationMarker: "<!-- CONTINUE -->",
+    },
+    anthropic: {
+        id: "anthropic",
+        supportsSystemPrompt: true,
+        preferredInstructionStyle: "xml",
+        maximumInputTokens: 200_000,
+        reservedOutputTokens: 4_096,
+        continuationMarker: "<!-- CONTINUE -->",
+    },
+    gemini: {
+        id: "gemini",
+        supportsSystemPrompt: true,
+        preferredInstructionStyle: "markdown",
+        maximumInputTokens: 1_000_000,
+        reservedOutputTokens: 8_192,
+        continuationMarker: "<!-- CONTINUE -->",
+    },
+};
+// ─── Section order ────────────────────────────────────────────────────────
+/**
+ * Deterministic section ordering per RFC-0041.
+ */
+export const SECTION_ORDER = [
+    "identity",
+    "project_rules",
+    "objective",
+    "acceptance_criteria",
+    "relevant_context",
+    "known_constraints",
+    "files_in_scope",
+    "required_output",
+    "tool_permissions",
+    "continuation_instructions",
+    "supplemental",
+];
+// ─── Compactable priority threshold ───────────────────────────────────────
+/**
+ * Entries with priority >= this are eligible for compaction.
+ * Priority 0 = critical (never compact).
+ */
+export const COMPACTABLE_THRESHOLD = 1;
+//# sourceMappingURL=types.js.map

package/packages/prompt-compiler/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAgGH,SAAS,sBAAsB;IAC9B,oDAAoD;IACpD,+BAA+B;IAC/B,kBAAkB;IAClB,eAAe;IACf,oBAAoB;AACrB,CAAC;AAuDD;;GAEG;AACH,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IACnC,IAAI,CAAyB;IAC7B,OAAO,CAA2B;IAE3C,YACC,IAA4B,EAC5B,OAAe,EACf,OAAiC;QAEjC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;QACjC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACxB,CAAC;CACD;AAED,6EAA6E;AAE7E;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAC7B;IACC,KAAK,EAAE;QACN,EAAE,EAAE,OAAO;QACX,oBAAoB,EAAE,IAAI;QAC1B,yBAAyB,EAAE,UAAU;QACrC,kBAAkB,EAAE,OAAO;QAC3B,oBAAoB,EAAE,KAAK;QAC3B,kBAAkB,EAAE,mBAAmB;KACvC;IACD,OAAO,EAAE;QACR,EAAE,EAAE,SAAS;QACb,oBAAoB,EAAE,IAAI;QAC1B,yBAAyB,EAAE,UAAU;QACrC,kBAAkB,EAAE,OAAO;QAC3B,oBAAoB,EAAE,KAAK;QAC3B,kBAAkB,EAAE,mBAAmB;KACvC;IACD,GAAG,EAAE;QACJ,EAAE,EAAE,KAAK;QACT,oBAAoB,EAAE,IAAI;QAC1B,yBAAyB,EAAE,UAAU;QACrC,kBAAkB,EAAE,OAAO;QAC3B,oBAAoB,EAAE,KAAK;QAC3B,kBAAkB,EAAE,mBAAmB;KACvC;IACD,MAAM,EAAE;QACP,EAAE,EAAE,QAAQ;QACZ,oBAAoB,EAAE,IAAI;QAC1B,yBAAyB,EAAE,UAAU;QACrC,kBAAkB,EAAE,OAAO;QAC3B,oBAAoB,EAAE,KAAK;QAC3B,kBAAkB,EAAE,mBAAmB;KACvC;IACD,SAAS,EAAE;QACV,EAAE,EAAE,WAAW;QACf,oBAAoB,EAAE,IAAI;QAC1B,yBAAyB,EAAE,KAAK;QAChC,kBAAkB,EAAE,OAAO;QAC3B,oBAAoB,EAAE,KAAK;QAC3B,kBAAkB,EAAE,mBAAmB;KACvC;IACD,MAAM,EAAE;QACP,EAAE,EAAE,QAAQ;QACZ,oBAAoB,EAAE,IAAI;QAC1B,yBAAyB,EAAE,UAAU;QACrC,kBAAkB,EAAE,SAAS;QAC7B,oBAAoB,EAAE,KAAK;QAC3B,kBAAkB,EAAE,mBAAmB;KACvC;CACD,CAAC;AAEH,6EAA6E;AAE7E;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAA4B;IACrD,UAAU;IACV,eAAe;IACf,WAAW;IACX,qBAAqB;IACrB,kBAAkB;IAClB,mBAAmB;IACnB,gBAAgB;IAChB,iBAAiB;IACjB,kBAAkB;IAClB,2BAA2B;IAC3B,cAAc;CACd,CAAC;AAEF,6EAA6E;AAE7E;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC"}

package/packages/prompt-compiler/dist/validate.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Prompt Compiler - Validation
+ *
+ * Validates compiled sections against the request.
+ * Fails fast on hard requirements.
+ */
+import type { NormalizedRequest } from "./normalize.js";
+import type { PromptSection, ProviderPromptProfile } from "./types.js";
+/**
+ * Validation options.
+ */
+export interface ValidateOptions {
+    provider: ProviderPromptProfile;
+    maxRetries?: number;
+}
+/**
+ * Validate compiled sections.
+ *
+ * Throws PromptCompileError for:
+ * - Empty task ID
+ * - Empty objective
+ * - No expected outputs defined
+ * - Token budget exceeded
+ * - Required source unresolved
+ */
+export declare function validateSections(sections: PromptSection[], request: NormalizedRequest, _options: ValidateOptions): void;
+/**
+ * Validate that the token budget is not exceeded.
+ */
+export declare function validateTokenBudget(estimatedTokens: number, profile: ProviderPromptProfile): void;
+//# sourceMappingURL=validate.d.ts.map

package/packages/prompt-compiler/dist/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACxD,OAAO,KAAK,EAEX,aAAa,EACb,qBAAqB,EACrB,MAAM,YAAY,CAAC;AAGpB;;GAEG;AACH,MAAM,WAAW,eAAe;IAC/B,QAAQ,EAAE,qBAAqB,CAAC;IAChC,UAAU,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,aAAa,EAAE,EACzB,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,EAAE,eAAe,GACvB,IAAI,CAsEN;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAClC,eAAe,EAAE,MAAM,EACvB,OAAO,EAAE,qBAAqB,GAC5B,IAAI,CAcN"}

package/packages/prompt-compiler/dist/validate.js

@@ -0,0 +1,117 @@
+/**
+ * Prompt Compiler - Validation
+ *
+ * Validates compiled sections against the request.
+ * Fails fast on hard requirements.
+ */
+import { PromptCompileError } from "./types.js";
+/**
+ * Validate compiled sections.
+ *
+ * Throws PromptCompileError for:
+ * - Empty task ID
+ * - Empty objective
+ * - No expected outputs defined
+ * - Token budget exceeded
+ * - Required source unresolved
+ */
+export function validateSections(sections, request, _options) {
+    const errors = [];
+    // 1. Task ID must not be empty
+    if (!request.taskId.trim()) {
+        errors.push({
+            code: "INVALID_TASK",
+            message: "Task ID is empty",
+        });
+    }
+    // 2. Objective must not be empty
+    if (!request.objective.trim()) {
+        errors.push({
+            code: "MISSING_OBJECTIVE",
+            message: "Objective is empty",
+        });
+    }
+    // 3. At least one expected output required
+    if (request.expectedOutputs.length === 0) {
+        errors.push({
+            code: "MISSING_OUTPUT_CONTRACT",
+            message: "No expected outputs defined for task",
+        });
+    }
+    // 4. Check required sections exist
+    const requiredKinds = new Set(sections.filter((s) => s.required).map((s) => s.kind));
+    if (!requiredKinds.has("objective")) {
+        errors.push({
+            code: "MISSING_OBJECTIVE",
+            message: "No objective section produced",
+        });
+    }
+    // 5. Check for unresolved required sources
+    for (const section of sections) {
+        if (section.required) {
+            for (const ref of section.sourceRefs) {
+                const refText = typeof ref.text === "string" ? ref.text : String(ref.text ?? "");
+                if (!refText.trim()) {
+                    errors.push({
+                        code: "UNRESOLVED_REQUIRED_SOURCE",
+                        message: `Required source "${ref.source}" has no content`,
+                    });
+                }
+            }
+        }
+    }
+    // 6. Check tool permissions don't conflict with policy
+    for (const perm of request.toolPermissions) {
+        if (isProhibitedTool(perm)) {
+            errors.push({
+                code: "POLICY_CONFLICT",
+                message: `Tool permission "${perm}" is prohibited by policy`,
+            });
+        }
+    }
+    if (errors.length > 0) {
+        throw new PromptCompileError(errors[0]?.code, errors[0]?.message, {
+            errors,
+        });
+    }
+}
+/**
+ * Validate that the token budget is not exceeded.
+ */
+export function validateTokenBudget(estimatedTokens, profile) {
+    const available = profile.maximumInputTokens - profile.reservedOutputTokens;
+    if (estimatedTokens > available) {
+        throw new PromptCompileError("TOKEN_BUDGET_EXCEEDED", `Estimated ${estimatedTokens} tokens exceeds available budget ${available}`, {
+            estimatedTokens,
+            availableTokens: available,
+            maximumTokens: profile.maximumInputTokens,
+            reservedOutput: profile.reservedOutputTokens,
+        });
+    }
+}
+/**
+ * List of tools/commands prohibited by default policy.
+ * These are never permitted without explicit override.
+ */
+const PROHIBITED_TOOLS = new Set([
+    "rm -rf /",
+    "DROP DATABASE",
+    "DELETE FROM",
+    "TRUNCATE",
+    "sudo rm",
+    "git push --force",
+    "bench --force",
+    "yarn build",
+    "npm run build",
+    "pnpm build",
+]);
+function isProhibitedTool(permission) {
+    const normalized = permission.toLowerCase().trim();
+    for (const prohibited of PROHIBITED_TOOLS) {
+        if (normalized.includes(prohibited.toLowerCase())) {
+            return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=validate.js.map

package/packages/prompt-compiler/dist/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAQH,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAUhD;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC/B,QAAyB,EACzB,OAA0B,EAC1B,QAAyB;IAEzB,MAAM,MAAM,GAA6D,EAAE,CAAC;IAE5E,+BAA+B;IAC/B,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,kBAAkB;SAC3B,CAAC,CAAC;IACJ,CAAC;IAED,iCAAiC;IACjC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,oBAAoB;SAC7B,CAAC,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,IAAI,OAAO,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1C,MAAM,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,sCAAsC;SAC/C,CAAC,CAAC;IACJ,CAAC;IAED,mCAAmC;IACnC,MAAM,aAAa,GAAG,IAAI,GAAG,CAC5B,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACrD,CAAC;IAEF,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,+BAA+B;SACxC,CAAC,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAChC,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACtB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACtC,MAAM,OAAO,GACZ,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;gBAClE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;oBACrB,MAAM,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,4BAA4B;wBAClC,OAAO,EAAE,oBAAoB,GAAG,CAAC,MAAM,kBAAkB;qBACzD,CAAC,CAAC;gBACJ,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IAED,uDAAuD;IACvD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;QAC5C,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,oBAAoB,IAAI,2BAA2B;aAC5D,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE;YACjE,MAAM;SACN,CAAC,CAAC;IACJ,CAAC;AACF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAClC,eAAuB,EACvB,OAA8B;IAE9B,MAAM,SAAS,GAAG,OAAO,CAAC,kBAAkB,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAC5E,IAAI,eAAe,GAAG,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,kBAAkB,CAC3B,uBAAuB,EACvB,aAAa,eAAe,oCAAoC,SAAS,EAAE,EAC3E;YACC,eAAe;YACf,eAAe,EAAE,SAAS;YAC1B,aAAa,EAAE,OAAO,CAAC,kBAAkB;YACzC,cAAc,EAAE,OAAO,CAAC,oBAAoB;SAC5C,CACD,CAAC;IACH,CAAC;AACF,CAAC;AAED;;;GAGG;AACH,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAChC,UAAU;IACV,eAAe;IACf,aAAa;IACb,UAAU;IACV,SAAS;IACT,kBAAkB;IAClB,eAAe;IACf,YAAY;IACZ,eAAe;IACf,YAAY;CACZ,CAAC,CAAC;AAEH,SAAS,gBAAgB,CAAC,UAAkB;IAC3C,MAAM,UAAU,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;IACnD,KAAK,MAAM,UAAU,IAAI,gBAAgB,EAAE,CAAC;QAC3C,IAAI,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;YACnD,OAAO,IAAI,CAAC;QACb,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC"}

package/packages/prompt-compiler/package.json

@@ -0,0 +1,28 @@
+{
+  "name": "@pi/prompt-compiler",
+  "version": "0.6.3-beta.13",
+  "description": "Deterministic prompt compiler for pi-harness-runtime",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "scripts": {
+    "test": "bun test",
+    "typecheck": "tsc --noEmit"
+  },
+  "dependencies": {
+    "@pi-harness/requirement-compiler": "workspace:*",
+    "@pi-harness/task-compiler": "workspace:*",
+    "@pi-harness/types": "workspace:*"
+  },
+  "devDependencies": {
+    "bun-types": "^1.0.0",
+    "@biomejs/biome": "^1.9.0",
+    "@types/node": "^20.0.0"
+  }
+}

package/packages/prompt-compiler/src/budget.ts

@@ -0,0 +1,170 @@
+/**
+ * Prompt Compiler - Budget / Compaction
+ *
+ * Compacts optional sections to fit within the token budget.
+ * Required sections are never removed.
+ * Compaction order (least to most important to keep):
+ * 1. Historical logs
+ * 2. Previous successful examples
+ * 3. Low-priority repository notes
+ * 4. Non-blocking discussion
+ * 5. Redundant file summaries
+ *
+ * Priority 0 entries (critical) are never compacted.
+ */
+
+import type { PromptSection } from "./types.js";
+
+/**
+ * Compaction result.
+ */
+export interface CompactionResult {
+	sections: PromptSection[];
+	removed: string[];
+	estimatedTokens: number;
+}
+
+/**
+ * Compact sections to fit within the token budget.
+ *
+ * Only compactable sections are affected.
+ * Required sections are preserved verbatim.
+ *
+ * @param sections - Input sections
+ * @param availableTokens - Maximum tokens available
+ * @param estimateTokens - Token estimation function
+ * @returns Compacted sections and removed section IDs
+ */
+export function compactToBudget(
+	sections: PromptSection[],
+	availableTokens: number,
+	estimateTokens: (content: string) => number,
+): CompactionResult {
+	const removed: string[] = [];
+
+	// Calculate tokens used by required sections
+	let requiredTokens = 0;
+	for (const section of sections) {
+		if (!section.compactable) {
+			requiredTokens += estimateTokens(section.content);
+		}
+	}
+
+	const budgetForOptional = availableTokens - requiredTokens;
+
+	// Get compactable sections, sorted by priority (most compactable first)
+	// within each section, compact from the bottom up
+	const compactableSections = sections
+		.map((s, i) => ({ section: s, index: i }))
+		.filter(({ section }) => section.compactable)
+		.reverse(); // process from end of document
+
+	let currentOptionalTokens = 0;
+	const optionalSectionTokens: Map<number, number> = new Map();
+
+	for (const { section, index } of compactableSections) {
+		const tokens = estimateTokens(section.content);
+		optionalSectionTokens.set(index, tokens);
+		currentOptionalTokens += tokens;
+	}
+
+	// If within budget, return as-is
+	if (currentOptionalTokens <= budgetForOptional) {
+		return {
+			sections,
+			removed: [],
+			estimatedTokens: requiredTokens + currentOptionalTokens,
+		};
+	}
+
+	// Otherwise, compact compactable sections by removing low-priority content
+	// from the end of each section
+	const workingSections = sections.map((s) => ({ ...s }));
+	let overBudgetBy = currentOptionalTokens - budgetForOptional;
+
+	// Sort compactable sections by priority label (higher priority label = more important)
+	// Within each section, trim lines from the end that are marked as lower priority
+	for (const { section, index } of compactableSections) {
+		if (overBudgetBy <= 0) break;
+
+		const lines = workingSections[index]?.content.split("\n");
+		const sectionTokens = optionalSectionTokens.get(index) ?? 0;
+
+		// Estimate tokens per line (rough approximation)
+		const avgTokensPerLine =
+			lines.length > 0 ? Math.ceil(sectionTokens / lines.length) : 1;
+
+		// Remove lines from the end (least important), working backwards
+		const priorityKeywords = [
+			"SUPPLEMENTAL",
+			"NON-BLOCKING",
+			"HISTORICAL",
+			"DISCUSSION",
+			"NOTE",
+			"EXAMPLE",
+			"CONTEXT",
+			"REFERENCE",
+		];
+
+		let linesRemoved = 0;
+		const trimmedLines: string[] = [];
+
+		for (let i = 0; i < lines.length; i++) {
+			trimmedLines.push(lines[i] ?? "");
+		}
+
+		// Remove from end
+		while (trimmedLines.length > 0 && overBudgetBy > 0) {
+			const lastLine = trimmedLines[trimmedLines.length - 1];
+			if (!lastLine || lastLine.trim() === "" || lastLine.startsWith("#")) {
+				// Never remove headers or blank lines at the start
+				break;
+			}
+
+			const isLowPriority = priorityKeywords.some((kw) =>
+				lastLine.toUpperCase().includes(kw),
+			);
+
+			if (isLowPriority) {
+				trimmedLines.pop();
+				overBudgetBy -= avgTokensPerLine;
+				linesRemoved++;
+			} else {
+				break;
+			}
+		}
+
+		if (trimmedLines.length < lines.length) {
+			const removedText = lines.slice(trimmedLines.length).join("\n");
+			if (removedText.trim()) {
+				removed.push(`${section.id}: ${removedText.slice(0, 100)}...`);
+			}
+			workingSections[index] = {
+				...(workingSections[index] ?? section),
+				content: trimmedLines.join("\n"),
+			};
+		}
+	}
+
+	const finalTokens =
+		requiredTokens +
+		[...workingSections]
+			.filter((s) => s.compactable)
+			.reduce((sum, s) => sum + estimateTokens(s.content), 0);
+
+	return {
+		sections: workingSections,
+		removed,
+		estimatedTokens: finalTokens,
+	};
+}
+
+/**
+ * Simple word-based token estimator.
+ * ~4 characters per token on average.
+ */
+export function estimateTokens(text: string): number {
+	if (!text || text.trim() === "") return 0;
+	// Rough estimate: 1 token ≈ 4 characters
+	return Math.ceil(text.length / 4);
+}