@aisy/core 0.1.0

package/dist/agent-loop/types.d.ts

@@ -0,0 +1,183 @@
+export type Provenance = "operator" | "untrusted";
+export interface ContextSpan {
+    role: "system" | "user" | "assistant" | "tool";
+    provenance: Provenance;
+    text: string;
+}
+export interface FrozenSnapshot {
+    prefixBytes: Uint8Array;
+    prefixHash: string;
+    breakpoints: number[];
+    takenAt: string;
+}
+export interface VerificationTraceFile {
+    kind: "file";
+    path: string;
+    existsExpected: true;
+    sha256?: string;
+}
+export interface VerificationTraceSQL {
+    kind: "sql";
+    query: string;
+    expectRows: number | {
+        op: "=" | ">" | ">=";
+        n: number;
+    };
+}
+export interface VerificationTraceHTTP {
+    kind: "http";
+    method: string;
+    url: string;
+    expectStatus: number;
+}
+export interface VerificationTraceExit {
+    kind: "exit";
+    argv: string[];
+    expectCode: number;
+}
+export type VerificationTrace = VerificationTraceFile | VerificationTraceSQL | VerificationTraceHTTP | VerificationTraceExit;
+export interface PlanStep {
+    intent: string;
+    tools: string[];
+    irreversible: boolean;
+    trace: VerificationTrace;
+}
+export interface Plan {
+    steps: PlanStep[];
+}
+export interface TurnInput {
+    sessionId: string;
+    spans: ContextSpan[];
+    /** Optional approval token for Tier-3 plans (AC-01-17) */
+    approvalToken?: string;
+    /** Per-turn cancellation (ADR-0051): /stop aborts the in-flight turn. The loop
+     *  maps an abort to a clean Halt('stopped'), never an error. */
+    signal?: AbortSignal;
+}
+export type TurnState = {
+    status: "ok";
+} | {
+    status: "awaiting-clarification";
+} | {
+    status: "awaiting-approval";
+} | {
+    status: "halted";
+    reason: "loop-guardian" | "all-providers-down" | "plan-lint-failed" | "cap-exceeded" | "budget-capped" | "stopped";
+} | {
+    status: "in-progress";
+    nextStepIndex: number;
+};
+/** Token + dollar usage for a turn (or a single model call). */
+export interface TurnUsage {
+    inputTokens: number;
+    outputTokens: number;
+    dollars: number;
+}
+export interface TurnResult {
+    reply: string;
+    state: "ok" | "awaiting-clarification" | "awaiting-approval" | "halted";
+    haltReason?: "loop-guardian" | "all-providers-down" | "plan-lint-failed" | "cap-exceeded" | "budget-capped" | "stopped";
+    /** On state "awaiting-approval", the hash of the pending Tier-3 plan; the caller must
+     *  echo it back as approvalToken so a swapped plan cannot reuse a prior token (§5, AC-01-17). */
+    planHash?: string;
+    /** True if the turn's context held an untrusted span (outbound is locked). */
+    narrowed?: boolean;
+    /** Accumulated provider usage for the turn (when the adapter reports it). */
+    usage?: TurnUsage;
+}
+export interface AgentLoop {
+    runTurn(input: TurnInput): Promise<TurnResult>;
+}
+export interface Clock {
+    now(): string;
+}
+export interface ModelRequest {
+    sessionId: string;
+    prefixBytes: Uint8Array;
+    spans: ContextSpan[];
+}
+export interface ToolCall {
+    name: string;
+    args: Record<string, unknown>;
+    /** ref back to the span the args were derived from, if any */
+    sourceSpanProvenance?: Provenance;
+}
+export interface ModelResponse {
+    reply: string;
+    toolCalls?: ToolCall[];
+    planPath?: string;
+    interpretationCount?: number;
+    /** Inline plan emitted by the model; linted (R1–R5) before any dispatch. */
+    plan?: Plan;
+    /** Provider usage for this call, when the adapter reports it. */
+    usage?: TurnUsage;
+}
+export interface ProviderError extends Error {
+    kind: "rate-limit" | "server-error" | "timeout" | "all-exhausted";
+}
+export interface ProviderAdapter {
+    complete(req: ModelRequest, signal?: AbortSignal): Promise<ModelResponse>;
+}
+export interface HookCtx {
+    provenance: Provenance;
+    narrowed: boolean;
+}
+export interface HookGate {
+    pre(call: ToolCall, ctx: HookCtx): Promise<"allow" | "deny" | "ask" | {
+        modify: ToolCall;
+    }>;
+    post(call: ToolCall, result: unknown): Promise<void>;
+}
+export interface MemoryPort {
+    snapshot(): Promise<FrozenSnapshot>;
+    forget(factRef: string, humanConfirmed: boolean): Promise<void>;
+}
+export interface LoopGuardian {
+    observe(call: ToolCall): {
+        trip: boolean;
+        period?: 1 | 2 | 3;
+    };
+    note(event: "replan"): void;
+}
+export interface LogEntry {
+    seq: number;
+    ts: string;
+    kind: string;
+    payloadHash: string;
+    payload: unknown;
+}
+export interface SessionSummary {
+    sessionId: string;
+    turns: number;
+    lastAt: string;
+}
+export interface SessionLog {
+    append(entry: LogEntry): void;
+    resume(sessionId: string): TurnState | null;
+    recent?(n: number): SessionSummary[];
+}
+export interface AgentLoopDeps {
+    clock: Clock;
+    provider: ProviderAdapter;
+    hookGate: HookGate;
+    memory: MemoryPort;
+    guardian: LoopGuardian;
+    sessionLog: SessionLog;
+    /** Maximum number of re-plans before halting with cap-exceeded (default 2) */
+    maxReplans?: number;
+    /** Maximum total tool calls before halting with cap-exceeded */
+    maxTotalToolCalls?: number;
+    /** Runs a verification trace probe (ADR-0017); injectable test seam. Default: pass. */
+    probeRunner?: (trace: VerificationTrace) => boolean | Promise<boolean>;
+    /** Executes an allowed tool call; injectable test seam. Default: no-op. */
+    executeTool?: (call: ToolCall) => unknown | Promise<unknown>;
+    /** Post-model-call budget probe (ADR-0051): given the turn's running usage,
+     *  return true to halt the turn with budget-capped. Default: never halts. */
+    budgetCheck?: (usage: {
+        sessionId: string;
+        inputTokens: number;
+        outputTokens: number;
+        dollars: number;
+    }) => boolean | Promise<boolean>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/agent-loop/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/agent-loop/types.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,WAAW,CAAA;AAEjD,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,WAAW,GAAG,MAAM,CAAA;IAC9C,UAAU,EAAE,UAAU,CAAA;IACtB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,UAAU,CAAA;IACvB,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE,MAAM,EAAE,CAAA;IACrB,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,cAAc,EAAE,IAAI,CAAA;IACpB,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,KAAK,CAAA;IACX,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,MAAM,GAAG;QAAE,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,IAAI,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;CACzD;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,GAAG,EAAE,MAAM,CAAA;IACX,YAAY,EAAE,MAAM,CAAA;CACrB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,EAAE,CAAA;IACd,UAAU,EAAE,MAAM,CAAA;CACnB;AAED,MAAM,MAAM,iBAAiB,GACzB,qBAAqB,GACrB,oBAAoB,GACpB,qBAAqB,GACrB,qBAAqB,CAAA;AAEzB,MAAM,WAAW,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,YAAY,EAAE,OAAO,CAAA;IACrB,KAAK,EAAE,iBAAiB,CAAA;CACzB;AAED,MAAM,WAAW,IAAI;IACnB,KAAK,EAAE,QAAQ,EAAE,CAAA;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,SAAS,EAAE,MAAM,CAAA;IACjB,KAAK,EAAE,WAAW,EAAE,CAAA;IACpB,0DAA0D;IAC1D,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB;oEACgE;IAChE,MAAM,CAAC,EAAE,WAAW,CAAA;CACrB;AAED,MAAM,MAAM,SAAS,GACjB;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,GAChB;IAAE,MAAM,EAAE,wBAAwB,CAAA;CAAE,GACpC;IAAE,MAAM,EAAE,mBAAmB,CAAA;CAAE,GAC/B;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,eAAe,GAAG,oBAAoB,GAAG,kBAAkB,GAAG,cAAc,GAAG,eAAe,GAAG,SAAS,CAAA;CAAE,GACxI;IAAE,MAAM,EAAE,aAAa,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,CAAA;AAEpD,gEAAgE;AAChE,MAAM,WAAW,SAAS;IACxB,WAAW,EAAE,MAAM,CAAA;IACnB,YAAY,EAAE,MAAM,CAAA;IACpB,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,IAAI,GAAG,wBAAwB,GAAG,mBAAmB,GAAG,QAAQ,CAAA;IACvE,UAAU,CAAC,EAAE,eAAe,GAAG,oBAAoB,GAAG,kBAAkB,GAAG,cAAc,GAAG,eAAe,GAAG,SAAS,CAAA;IACvH;qGACiG;IACjG,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,8EAA8E;IAC9E,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,6EAA6E;IAC7E,KAAK,CAAC,EAAE,SAAS,CAAA;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,OAAO,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAA;CAC/C;AAID,MAAM,WAAW,KAAK;IACpB,GAAG,IAAI,MAAM,CAAA;CACd;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,MAAM,CAAA;IACjB,WAAW,EAAE,UAAU,CAAA;IACvB,KAAK,EAAE,WAAW,EAAE,CAAA;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC7B,8DAA8D;IAC9D,oBAAoB,CAAC,EAAE,UAAU,CAAA;CAClC;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAA;IACb,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAA;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,mBAAmB,CAAC,EAAE,MAAM,CAAA;IAC5B,4EAA4E;IAC5E,IAAI,CAAC,EAAE,IAAI,CAAA;IACX,iEAAiE;IACjE,KAAK,CAAC,EAAE,SAAS,CAAA;CAClB;AAED,MAAM,WAAW,aAAc,SAAQ,KAAK;IAC1C,IAAI,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,GAAG,eAAe,CAAA;CAClE;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,YAAY,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,CAAA;CAC1E;AAED,MAAM,WAAW,OAAO;IACtB,UAAU,EAAE,UAAU,CAAA;IACtB,QAAQ,EAAE,OAAO,CAAA;CAClB;AAED,MAAM,WAAW,QAAQ;IACvB,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,GAAG,MAAM,GAAG,KAAK,GAAG;QAAE,MAAM,EAAE,QAAQ,CAAA;KAAE,CAAC,CAAA;IAC3F,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;CACrD;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,IAAI,OAAO,CAAC,cAAc,CAAC,CAAA;IACnC,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;CAChE;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,CAAC,IAAI,EAAE,QAAQ,GAAG;QAAE,IAAI,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;KAAE,CAAA;IAC9D,IAAI,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAA;CAC5B;AAED,MAAM,WAAW,QAAQ;IACvB,GAAG,EAAE,MAAM,CAAA;IACX,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,EAAE,MAAM,CAAA;IACnB,OAAO,EAAE,OAAO,CAAA;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,MAAM,CAAA;IACjB,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,UAAU;IACzB,MAAM,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAA;IAC7B,MAAM,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAAA;IAC3C,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,cAAc,EAAE,CAAA;CACrC;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,EAAE,eAAe,CAAA;IACzB,QAAQ,EAAE,QAAQ,CAAA;IAClB,MAAM,EAAE,UAAU,CAAA;IAClB,QAAQ,EAAE,YAAY,CAAA;IACtB,UAAU,EAAE,UAAU,CAAA;IACtB,8EAA8E;IAC9E,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,gEAAgE;IAChE,iBAAiB,CAAC,EAAE,MAAM,CAAA;IAC1B,uFAAuF;IACvF,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IACtE,2EAA2E;IAC3E,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IAC5D;iFAC6E;IAC7E,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE;QACpB,SAAS,EAAE,MAAM,CAAA;QACjB,WAAW,EAAE,MAAM,CAAA;QACnB,YAAY,EAAE,MAAM,CAAA;QACpB,OAAO,EAAE,MAAM,CAAA;KAChB,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CACjC"}

package/dist/agent-loop/types.js

@@ -0,0 +1,3 @@
+// §3 interfaces — pure types, no implementation
+export {};
+//# sourceMappingURL=types.js.map

package/dist/agent-loop/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/agent-loop/types.ts"],"names":[],"mappings":"AAAA,gDAAgD"}

package/dist/bin/aisy.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=aisy.d.ts.map

package/dist/bin/aisy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"aisy.d.ts","sourceRoot":"","sources":["../../src/bin/aisy.ts"],"names":[],"mappings":""}

package/dist/bin/aisy.js

@@ -0,0 +1,14 @@
+#!/usr/bin/env node
+// Legacy onboarding entry (not a linked bin — the app's unified `aisy` owns the
+// command). Kept runnable via `node dist/bin/aisy.js` for core-only use.
+// All adapter wiring lives in runtime/onboarding-node.ts.
+import { runCli } from '../cli/index.js';
+import { makeNodeOnboardingOps, harnessVersion } from '../runtime/onboarding-node.js';
+const exitCode = await runCli(process.argv.slice(2), {
+    ops: makeNodeOnboardingOps(),
+    out: (s) => process.stdout.write(s + '\n'),
+    err: (s) => process.stderr.write(s + '\n'),
+    version: harnessVersion(),
+});
+process.exit(exitCode);
+//# sourceMappingURL=aisy.js.map

package/dist/bin/aisy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"aisy.js","sourceRoot":"","sources":["../../src/bin/aisy.ts"],"names":[],"mappings":";AACA,gFAAgF;AAChF,yEAAyE;AACzE,0DAA0D;AAE1D,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AACxC,OAAO,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAErF,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;IACnD,GAAG,EAAE,qBAAqB,EAAE;IAC5B,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC;IAC1C,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC;IAC1C,OAAO,EAAE,cAAc,EAAE;CAC1B,CAAC,CAAA;AACF,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA"}

package/dist/cli/index.d.ts

@@ -0,0 +1,17 @@
+import type { OnboardingOps } from '../onboarding/index.js';
+export interface ParsedArgs {
+    command: string;
+    flags: Record<string, string | boolean>;
+    positional: string[];
+}
+export declare function parseArgs(argv: string[]): ParsedArgs;
+export interface CliDeps {
+    ops: OnboardingOps;
+    out: (s: string) => void;
+    err: (s: string) => void;
+    version?: string;
+}
+export declare const SETUP_ELEMENTS: readonly ["provider", "telegram", "memory", "personality"];
+export type SetupElement = (typeof SETUP_ELEMENTS)[number];
+export declare function runCli(argv: string[], deps: CliDeps): Promise<number>;
+//# sourceMappingURL=index.d.ts.map

package/dist/cli/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/cli/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAA8B,MAAM,wBAAwB,CAAA;AAQvF,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,CAAA;IACvC,UAAU,EAAE,MAAM,EAAE,CAAA;CACrB;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,UAAU,CAiBpD;AAED,MAAM,WAAW,OAAO;IACtB,GAAG,EAAE,aAAa,CAAA;IAClB,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI,CAAA;IACxB,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI,CAAA;IACxB,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAED,eAAO,MAAM,cAAc,4DAA6D,CAAA;AACxF,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAA;AAuB1D,wBAAsB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAiE3E"}

package/dist/cli/index.js

@@ -0,0 +1,114 @@
+export function parseArgs(argv) {
+    const flags = {};
+    const positional = [];
+    let command = '';
+    for (const arg of argv) {
+        if (arg.startsWith('--')) {
+            const body = arg.slice(2);
+            const eq = body.indexOf('=');
+            if (eq >= 0)
+                flags[body.slice(0, eq)] = body.slice(eq + 1);
+            else
+                flags[body] = true;
+        }
+        else if (!command) {
+            command = arg;
+        }
+        else {
+            positional.push(arg);
+        }
+    }
+    return { command, flags, positional };
+}
+export const SETUP_ELEMENTS = ['provider', 'telegram', 'memory', 'personality'];
+const USAGE = `aisy — personal agent harness
+
+Usage:
+  aisy run                                          Boot the Telegram agent
+  aisy init [--yes] [--force] [--non-interactive]   Scaffold & validate a config (idempotent)
+  aisy setup [<element>]                            Re-run onboarding (optionally for one element)
+  aisy doctor [--fix] [--json] [--post-upgrade]     Full-stack health check (read-only by default)
+              [--only=a,b] [--skip=a,b]
+  aisy diagnostics [--out=path]                     Write a redacted support bundle
+  aisy --help                                       Show this help`;
+const list = (v) => typeof v === 'string' && v.length > 0 ? v.split(',') : undefined;
+function printReport(r, out) {
+    out(`doctor: ${r.ok ? 'OK' : 'FAIL'} (${r.checks.length} checks, harness ${r.harnessVersion})`);
+    for (const c of r.checks) {
+        if (c.status !== 'pass')
+            out(`  [${c.status}/${c.severity}] ${c.id} — ${c.detail}`);
+    }
+}
+export async function runCli(argv, deps) {
+    const { command, flags, positional } = parseArgs(argv);
+    const { ops, out, err } = deps;
+    if (command === '' || command === 'help' || flags['help'] === true) {
+        out(USAGE);
+        return 0;
+    }
+    switch (command) {
+        case 'init': {
+            const res = await ops.init({
+                yes: flags['yes'] === true,
+                force: flags['force'] === true,
+                nonInteractive: flags['non-interactive'] === true,
+            });
+            out(res.completed ? `init: complete — scaffolded ${res.scaffolded.join(', ')}` : 'init: incomplete');
+            for (const o of res.outcomes)
+                if (o.result === 'failed')
+                    err(`  ${o.step}: ${o.detail}`);
+            return res.completed ? 0 : 1;
+        }
+        case 'setup': {
+            const element = positional[0];
+            if (element !== undefined) {
+                if (!SETUP_ELEMENTS.includes(element)) {
+                    err(`setup: unknown element "${element}". Valid elements: ${SETUP_ELEMENTS.join(', ')}`);
+                    return 2;
+                }
+            }
+            // Route to init; element (if any) is passed through as a positional hint.
+            // Per-element re-config flow is a documented follow-up — init currently ignores it.
+            const res = await ops.init({
+                yes: flags['yes'] === true,
+                force: flags['force'] === true,
+                nonInteractive: flags['non-interactive'] === true,
+            });
+            out(res.completed ? `init: complete — scaffolded ${res.scaffolded.join(', ')}` : 'init: incomplete');
+            for (const o of res.outcomes)
+                if (o.result === 'failed')
+                    err(`  ${o.step}: ${o.detail}`);
+            return res.completed ? 0 : 1;
+        }
+        case 'doctor': {
+            // Build conditionally — exactOptionalPropertyTypes forbids passing `undefined`.
+            const dopts = {
+                fix: flags['fix'] === true,
+                postUpgrade: flags['post-upgrade'] === true,
+            };
+            const only = list(flags['only']);
+            if (only)
+                dopts.only = only;
+            const skip = list(flags['skip']);
+            if (skip)
+                dopts.skip = skip;
+            const report = await ops.doctor(dopts);
+            if (flags['json'] === true)
+                out(ops.toJson(report));
+            else
+                printReport(report, out);
+            return report.ok ? 0 : 1;
+        }
+        case 'diagnostics': {
+            const out0 = typeof flags['out'] === 'string' ? flags['out'] : undefined;
+            const res = await ops.diagnostics(out0 !== undefined ? { out: out0 } : {});
+            out(`diagnostics: wrote ${res.bundlePath} (redacted: ${res.redactedFields.join(', ') || 'none'})`);
+            return 0;
+        }
+        default:
+            err(`unknown command: ${command}`);
+            err(USAGE);
+            return 2;
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/cli/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/cli/index.ts"],"names":[],"mappings":"AAcA,MAAM,UAAU,SAAS,CAAC,IAAc;IACtC,MAAM,KAAK,GAAqC,EAAE,CAAA;IAClD,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,IAAI,OAAO,GAAG,EAAE,CAAA;IAChB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;YACzB,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;YAC5B,IAAI,EAAE,IAAI,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;;gBACrD,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAA;QACzB,CAAC;aAAM,IAAI,CAAC,OAAO,EAAE,CAAC;YACpB,OAAO,GAAG,GAAG,CAAA;QACf,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACtB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA;AACvC,CAAC;AASD,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,CAAU,CAAA;AAGxF,MAAM,KAAK,GAAG;;;;;;;;;mEASqD,CAAA;AAEnE,MAAM,IAAI,GAAG,CAAC,CAA+B,EAA8B,EAAE,CAC3E,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAoB,CAAC,CAAC,CAAC,SAAS,CAAA;AAEtF,SAAS,WAAW,CAAC,CAAe,EAAE,GAAwB;IAC5D,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,oBAAoB,CAAC,CAAC,cAAc,GAAG,CAAC,CAAA;IAC/F,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;IACrF,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAc,EAAE,IAAa;IACxD,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IACtD,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAA;IAE9B,IAAI,OAAO,KAAK,EAAE,IAAI,OAAO,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;QACnE,GAAG,CAAC,KAAK,CAAC,CAAA;QACV,OAAO,CAAC,CAAA;IACV,CAAC;IAED,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC;gBACzB,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI;gBAC1B,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI;gBAC9B,cAAc,EAAE,KAAK,CAAC,iBAAiB,CAAC,KAAK,IAAI;aAClD,CAAC,CAAA;YACF,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,+BAA+B,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAA;YACpG,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ;gBAAE,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ;oBAAE,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;YACxF,OAAO,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC9B,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;YAC7B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,IAAI,CAAE,cAAoC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC7D,GAAG,CAAC,2BAA2B,OAAO,sBAAsB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBACxF,OAAO,CAAC,CAAA;gBACV,CAAC;YACH,CAAC;YACD,0EAA0E;YAC1E,oFAAoF;YACpF,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC;gBACzB,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI;gBAC1B,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI;gBAC9B,cAAc,EAAE,KAAK,CAAC,iBAAiB,CAAC,KAAK,IAAI;aAClD,CAAC,CAAA;YACF,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,+BAA+B,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAA;YACpG,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ;gBAAE,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ;oBAAE,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;YACxF,OAAO,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC9B,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,gFAAgF;YAChF,MAAM,KAAK,GAA2F;gBACpG,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI;gBAC1B,WAAW,EAAE,KAAK,CAAC,cAAc,CAAC,KAAK,IAAI;aAC5C,CAAA;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;YAChC,IAAI,IAAI;gBAAE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAA;YAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;YAChC,IAAI,IAAI;gBAAE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAA;YAC3B,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACtC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI;gBAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;;gBAC9C,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;YAC7B,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1B,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,KAAK,CAAC,KAAK,CAAY,CAAC,CAAC,CAAC,SAAS,CAAA;YACpF,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,WAAW,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC1E,GAAG,CAAC,sBAAsB,GAAG,CAAC,UAAU,eAAe,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG,CAAC,CAAA;YAClG,OAAO,CAAC,CAAA;QACV,CAAC;QACD;YACE,GAAG,CAAC,oBAAoB,OAAO,EAAE,CAAC,CAAA;YAClC,GAAG,CAAC,KAAK,CAAC,CAAA;YACV,OAAO,CAAC,CAAA;IACZ,CAAC;AACH,CAAC"}

package/dist/context-engine/index.d.ts

@@ -0,0 +1,4 @@
+import type { ContextEngine, ContextEngineDeps } from './types.js';
+export type { SegmentKind, CompactionTier, TranscriptEntry, ContextSegment, CompactionView, ContextEngineDeps, ContextEngine, Provenance, } from './types.js';
+export declare function makeContextEngine(deps: ContextEngineDeps): ContextEngine;
+//# sourceMappingURL=index.d.ts.map

package/dist/context-engine/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/context-engine/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,aAAa,EACb,iBAAiB,EAGlB,MAAM,YAAY,CAAA;AAEnB,YAAY,EACV,WAAW,EACX,cAAc,EACd,eAAe,EACf,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,aAAa,EACb,UAAU,GACX,MAAM,YAAY,CAAA;AAWnB,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,GAAG,aAAa,CAoIxE"}

package/dist/context-engine/index.js

@@ -0,0 +1,126 @@
+// ---------------------------------------------------------------------------
+// makeContextEngine — projection over an append-only transcript (ADR-0040).
+// Compaction is a VIEW: the journal (transcript of record) is never mutated;
+// each tier produces fresh segments referencing transcript ranges.
+// ---------------------------------------------------------------------------
+const TIERS = ['snip', 'micro', 'collapse', 'auto'];
+const TAIL_VERBATIM = 1; // most-recent turns always kept verbatim
+export function makeContextEngine(deps) {
+    const seqBy = new Map();
+    const lastTier = new Map();
+    const est = (t) => deps.estimateTokens(t);
+    const verbatim = (e) => ({
+        kind: 'verbatim',
+        provenance: e.provenance,
+        text: e.text,
+        coversSeq: [e.seq, e.seq],
+    });
+    // A summary inherits the STRICTEST provenance of its sources (ADR-0027):
+    // any untrusted source → the summary is untrusted (cannot be laundered).
+    const summarySeg = async (entries) => ({
+        kind: 'summary',
+        provenance: entries.some(e => e.provenance === 'untrusted') ? 'untrusted' : 'operator',
+        text: await deps.summarize(entries),
+        coversSeq: [entries[0].seq, entries[entries.length - 1].seq],
+    });
+    const totalTokens = (pinnedText, segs) => est(pinnedText) + segs.reduce((n, s) => n + est(s.text), 0);
+    // --- tier builders (recall-first: load-bearing entries never summarized) ---
+    const buildSnip = (entries) => {
+        const seen = new Set();
+        return entries.filter(e => (seen.has(e.text) ? false : (seen.add(e.text), true))).map(verbatim);
+    };
+    const buildMicro = async (entries) => {
+        const idx = entries.findIndex(e => !e.loadBearing && e.role === 'tool');
+        if (idx < 0)
+            return entries.map(verbatim);
+        const out = [];
+        for (let i = 0; i < entries.length; i++) {
+            out.push(i === idx ? await summarySeg([entries[i]]) : verbatim(entries[i]));
+        }
+        return out;
+    };
+    const buildCollapse = async (entries) => {
+        const mid = Math.floor(entries.length / 2);
+        const toSummarize = entries.slice(0, mid).filter(e => !e.loadBearing);
+        const keep = [...entries.slice(0, mid).filter(e => e.loadBearing), ...entries.slice(mid)];
+        const segs = toSummarize.length ? [await summarySeg(toSummarize)] : [];
+        return [...segs, ...keep.map(verbatim)];
+    };
+    const buildAuto = async (entries) => {
+        const tailStart = Math.max(0, entries.length - TAIL_VERBATIM);
+        const keepVerbatim = entries.filter((e, i) => e.loadBearing || i >= tailStart);
+        const toSummarize = entries.filter((e, i) => !e.loadBearing && i < tailStart);
+        const segs = toSummarize.length ? [await summarySeg(toSummarize)] : [];
+        return [...segs, ...keepVerbatim.map(verbatim)];
+    };
+    const buildTier = (tier, entries) => {
+        switch (tier) {
+            case 'snip': return buildSnip(entries);
+            case 'micro': return buildMicro(entries);
+            case 'collapse': return buildCollapse(entries);
+            default: return buildAuto(entries);
+        }
+    };
+    // Deterministic fallback (no model): drop oldest non-load-bearing entries
+    // from the view until it fits — used when the summarizer is unavailable (§7).
+    const trimDeterministic = (entries, pinnedText, windowTokens) => {
+        const kept = [...entries];
+        while (totalTokens(pinnedText, kept.map(verbatim)) > windowTokens) {
+            const dropIdx = kept.findIndex(e => !e.loadBearing);
+            if (dropIdx < 0)
+                break; // only load-bearing left — keep them (recall-first)
+            kept.splice(dropIdx, 1);
+        }
+        return kept.map(verbatim);
+    };
+    return {
+        record(sessionId, entry) {
+            const seq = (seqBy.get(sessionId) ?? 0) + 1;
+            seqBy.set(sessionId, seq);
+            deps.journalAppend({ ...entry, seq });
+        },
+        currentTier(sessionId) {
+            return lastTier.get(sessionId) ?? 'none';
+        },
+        async assemble(sessionId) {
+            const entries = deps.journalRead(sessionId);
+            const pinned = deps.pinnedPrefix();
+            const pinnedSeg = { kind: 'pinned', provenance: 'operator', text: pinned.text, coversSeq: [-1, -1] };
+            const breakpoints = pinned.breakpoints.slice(0, 4); // ADR-0019: ≤4, re-pinned post-projection
+            const { windowTokens, compactAtFraction } = deps.budget;
+            // Under budget → verbatim, no compaction.
+            const verbatimTotal = totalTokens(pinned.text, entries.map(verbatim));
+            if (verbatimTotal <= windowTokens * compactAtFraction) {
+                const segments = [pinnedSeg, ...entries.map(verbatim)];
+                lastTier.set(sessionId, 'none');
+                deps.emitEvent?.('context.assembled', { tier: 'none', tokens: verbatimTotal });
+                return { segments, breakpoints, tier: 'none', tokensEstimated: verbatimTotal };
+            }
+            // Compaction needed → require a durable trace (fail-closed, §7).
+            if (deps.journalAvailable && !deps.journalAvailable()) {
+                throw new Error('context-engine: journal unavailable — refusing to compact without a durable trace (fail-closed)');
+            }
+            const finalize = (tier, segs) => {
+                const segments = [pinnedSeg, ...segs];
+                lastTier.set(sessionId, tier);
+                deps.emitEvent?.('context.compacted', { tier, covers: segs.map(s => s.coversSeq) });
+                return { segments, breakpoints, tier, tokensEstimated: totalTokens(pinned.text, segs) };
+            };
+            try {
+                for (const tier of TIERS) {
+                    const segs = await buildTier(tier, entries);
+                    if (totalTokens(pinned.text, segs) <= windowTokens || tier === 'auto') {
+                        return finalize(tier, segs);
+                    }
+                }
+                // unreachable (auto always returns), but keep the type checker happy
+                return finalize('auto', await buildAuto(entries));
+            }
+            catch {
+                // Summarizer failed → degrade to deterministic trimming, never throw (AC-15-9).
+                return finalize('auto', trimDeterministic(entries, pinned.text, windowTokens));
+            }
+        },
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/context-engine/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/context-engine/index.ts"],"names":[],"mappings":"AAoBA,8EAA8E;AAC9E,4EAA4E;AAC5E,6EAA6E;AAC7E,mEAAmE;AACnE,8EAA8E;AAE9E,MAAM,KAAK,GAAqB,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,CAAA;AACrE,MAAM,aAAa,GAAG,CAAC,CAAA,CAAC,yCAAyC;AAEjE,MAAM,UAAU,iBAAiB,CAAC,IAAuB;IACvD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAA;IACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAA;IAClD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAA;IAEzD,MAAM,QAAQ,GAAG,CAAC,CAAkB,EAAkB,EAAE,CAAC,CAAC;QACxD,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,SAAS,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC;KAC1B,CAAC,CAAA;IAEF,yEAAyE;IACzE,yEAAyE;IACzE,MAAM,UAAU,GAAG,KAAK,EAAE,OAA0B,EAA2B,EAAE,CAAC,CAAC;QACjF,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU;QACtF,IAAI,EAAE,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;QACnC,SAAS,EAAE,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,GAAG,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,GAAG,CAAC;KAC/D,CAAC,CAAA;IAEF,MAAM,WAAW,GAAG,CAAC,UAAkB,EAAE,IAAsB,EAAU,EAAE,CACzE,GAAG,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IAE7D,8EAA8E;IAE9E,MAAM,SAAS,GAAG,CAAC,OAA0B,EAAoB,EAAE;QACjE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACjG,CAAC,CAAA;IAED,MAAM,UAAU,GAAG,KAAK,EAAE,OAA0B,EAA6B,EAAE;QACjF,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;QACvE,IAAI,GAAG,GAAG,CAAC;YAAE,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACzC,MAAM,GAAG,GAAqB,EAAE,CAAA;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAA;QAC/E,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC,CAAA;IAED,MAAM,aAAa,GAAG,KAAK,EAAE,OAA0B,EAA6B,EAAE;QACpF,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;QAC1C,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAA;QACrE,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;QACzF,MAAM,IAAI,GAAqB,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QACxF,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;IACzC,CAAC,CAAA;IAED,MAAM,SAAS,GAAG,KAAK,EAAE,OAA0B,EAA6B,EAAE;QAChF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,GAAG,aAAa,CAAC,CAAA;QAC7D,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,IAAI,SAAS,CAAC,CAAA;QAC9E,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,GAAG,SAAS,CAAC,CAAA;QAC7E,MAAM,IAAI,GAAqB,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QACxF,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;IACjD,CAAC,CAAA;IAED,MAAM,SAAS,GAAG,CAAC,IAAoB,EAAE,OAA0B,EAAgD,EAAE;QACnH,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,MAAM,CAAC,CAAC,OAAO,SAAS,CAAC,OAAO,CAAC,CAAA;YACtC,KAAK,OAAO,CAAC,CAAC,OAAO,UAAU,CAAC,OAAO,CAAC,CAAA;YACxC,KAAK,UAAU,CAAC,CAAC,OAAO,aAAa,CAAC,OAAO,CAAC,CAAA;YAC9C,OAAO,CAAC,CAAC,OAAO,SAAS,CAAC,OAAO,CAAC,CAAA;QACpC,CAAC;IACH,CAAC,CAAA;IAED,0EAA0E;IAC1E,8EAA8E;IAC9E,MAAM,iBAAiB,GAAG,CAAC,OAA0B,EAAE,UAAkB,EAAE,YAAoB,EAAoB,EAAE;QACnH,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,CAAA;QACzB,OAAO,WAAW,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,YAAY,EAAE,CAAC;YAClE,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAA;YACnD,IAAI,OAAO,GAAG,CAAC;gBAAE,MAAK,CAAC,oDAAoD;YAC3E,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;QACzB,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IAC3B,CAAC,CAAA;IAED,OAAO;QACL,MAAM,CAAC,SAAS,EAAE,KAAK;YACrB,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA;YAC3C,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;YACzB,IAAI,CAAC,aAAa,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;QACvC,CAAC;QAED,WAAW,CAAC,SAAS;YACnB,OAAO,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,MAAM,CAAA;QAC1C,CAAC;QAED,KAAK,CAAC,QAAQ,CAAC,SAAS;YACtB,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;YAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;YAClC,MAAM,SAAS,GAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;YACpH,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA,CAAC,0CAA0C;YAC7F,MAAM,EAAE,YAAY,EAAE,iBAAiB,EAAE,GAAG,IAAI,CAAC,MAAM,CAAA;YAEvD,0CAA0C;YAC1C,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;YACrE,IAAI,aAAa,IAAI,YAAY,GAAG,iBAAiB,EAAE,CAAC;gBACtD,MAAM,QAAQ,GAAG,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;gBACtD,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;gBAC/B,IAAI,CAAC,SAAS,EAAE,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAA;gBAC9E,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,aAAa,EAAE,CAAA;YAChF,CAAC;YAED,iEAAiE;YACjE,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC;gBACtD,MAAM,IAAI,KAAK,CAAC,iGAAiG,CAAC,CAAA;YACpH,CAAC;YAED,MAAM,QAAQ,GAAG,CAAC,IAAoB,EAAE,IAAsB,EAAkB,EAAE;gBAChF,MAAM,QAAQ,GAAG,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,CAAA;gBACrC,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;gBAC7B,IAAI,CAAC,SAAS,EAAE,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;gBACnF,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAA;YACzF,CAAC,CAAA;YAED,IAAI,CAAC;gBACH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;oBAC3C,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,YAAY,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;wBACtE,OAAO,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;oBAC7B,CAAC;gBACH,CAAC;gBACD,qEAAqE;gBACrE,OAAO,QAAQ,CAAC,MAAM,EAAE,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;YACnD,CAAC;YAAC,MAAM,CAAC;gBACP,gFAAgF;gBAChF,OAAO,QAAQ,CAAC,MAAM,EAAE,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAA;YAChF,CAAC;QACH,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/context-engine/types.d.ts

@@ -0,0 +1,54 @@
+import type { Provenance } from '../agent-loop/types.js';
+export type { Provenance };
+export type SegmentKind = 'pinned' | 'verbatim' | 'summary';
+export type CompactionTier = 'none' | 'snip' | 'micro' | 'collapse' | 'auto';
+export interface TranscriptEntry {
+    seq: number;
+    role: 'system' | 'user' | 'assistant' | 'tool';
+    provenance: Provenance;
+    text: string;
+    /** unresolved bug / open decision / pending TODO — survives compaction (recall-first). */
+    loadBearing?: boolean;
+}
+export interface ContextSegment {
+    kind: SegmentKind;
+    provenance: Provenance;
+    text: string;
+    coversSeq: [number, number];
+}
+export interface CompactionView {
+    segments: ContextSegment[];
+    breakpoints: number[];
+    tier: CompactionTier;
+    tokensEstimated: number;
+}
+export interface ContextEngineDeps {
+    /** Append-only transcript of record (Observability 12). */
+    journalAppend(entry: TranscriptEntry): void;
+    journalRead(sessionId: string): TranscriptEntry[];
+    /** Whether the durable journal is readable — fail-closed when false (spec §7). */
+    journalAvailable?(): boolean;
+    /** Frozen Level-1 prefix (Core/Memory) — pinned, never compacted. */
+    pinnedPrefix(): {
+        text: string;
+        breakpoints: number[];
+    };
+    budget: {
+        windowTokens: number;
+        compactAtFraction: number;
+    };
+    /** Drafts a recall-first summary of a range; NEVER mutates the trace. May throw. */
+    summarize(entries: TranscriptEntry[]): Promise<string>;
+    estimateTokens(text: string): number;
+    /** Observability sink (context.assembled / context.compacted). */
+    emitEvent?(event: string, payload: unknown): void;
+}
+export interface ContextEngine {
+    /** Append a turn to the transcript of record (write-through). */
+    record(sessionId: string, entry: Omit<TranscriptEntry, 'seq'>): void;
+    /** Project the transcript to the smallest recall-first view under budget. */
+    assemble(sessionId: string): Promise<CompactionView>;
+    /** Current tier without re-projecting (introspection / `/context`). */
+    currentTier(sessionId: string): CompactionTier;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/context-engine/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/context-engine/types.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AAExD,YAAY,EAAE,UAAU,EAAE,CAAA;AAE1B,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAA;AAC3D,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,CAAA;AAE5E,MAAM,WAAW,eAAe;IAC9B,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,WAAW,GAAG,MAAM,CAAA;IAC9C,UAAU,EAAE,UAAU,CAAA;IACtB,IAAI,EAAE,MAAM,CAAA;IACZ,0FAA0F;IAC1F,WAAW,CAAC,EAAE,OAAO,CAAA;CACtB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,WAAW,CAAA;IACjB,UAAU,EAAE,UAAU,CAAA;IACtB,IAAI,EAAE,MAAM,CAAA;IACZ,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAC5B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,cAAc,EAAE,CAAA;IAC1B,WAAW,EAAE,MAAM,EAAE,CAAA;IACrB,IAAI,EAAE,cAAc,CAAA;IACpB,eAAe,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,WAAW,iBAAiB;IAChC,2DAA2D;IAC3D,aAAa,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI,CAAA;IAC3C,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,eAAe,EAAE,CAAA;IACjD,kFAAkF;IAClF,gBAAgB,CAAC,IAAI,OAAO,CAAA;IAC5B,qEAAqE;IACrE,YAAY,IAAI;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,EAAE,CAAA;KAAE,CAAA;IACvD,MAAM,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,iBAAiB,EAAE,MAAM,CAAA;KAAE,CAAA;IAC3D,oFAAoF;IACpF,SAAS,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;IACtD,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;IACpC,kEAAkE;IAClE,SAAS,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAAA;CAClD;AAED,MAAM,WAAW,aAAa;IAC5B,iEAAiE;IACjE,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,GAAG,IAAI,CAAA;IACpE,6EAA6E;IAC7E,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAAA;IACpD,uEAAuE;IACvE,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,cAAc,CAAA;CAC/C"}

package/dist/context-engine/types.js

@@ -0,0 +1,4 @@
+// Component 15 — Context Engine. Pure types, no implementation.
+// See docs/specs/15-context-engine.md §3 and ADR-0040.
+export {};
+//# sourceMappingURL=types.js.map

package/dist/context-engine/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/context-engine/types.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,uDAAuD"}

package/dist/eval/index.d.ts

@@ -0,0 +1,20 @@
+export type { CaseRuns, PassHatKReport, TrajectoryStep, Trajectory, DivergenceKind, Divergence, TrajectoryDiff, GoldenCase, ReplayReport, JournalLike, } from './types.js';
+import type { CaseRuns, PassHatKReport, Trajectory, TrajectoryStep, TrajectoryDiff, GoldenCase, ReplayReport, JournalLike } from './types.js';
+export declare function passHatK(cases: CaseRuns[]): PassHatKReport;
+export declare function stepSignature(step: TrajectoryStep): string;
+export declare function diffTrajectory(golden: Trajectory, replayed: Trajectory): TrajectoryDiff;
+/**
+ * Replay a golden suite through an injected driver and gate on any divergence.
+ * The driver maps a prompt to the trajectory the current harness produces; in a
+ * real run it wraps the assembled system (safety/memory/gateway/observability),
+ * in a unit test it is a fake — the diff logic is identical either way.
+ */
+export declare function replaySuite(golden: GoldenCase[], replay: (prompt: string) => Trajectory): ReplayReport;
+/**
+ * Derive a comparable trajectory from the append-only journal (Observability 12
+ * / ADR-0017). Volatile fields (ts/seq/prevHash/hash) never enter the step, so
+ * two runs that differ only in timing produce identical trajectories. tool ←
+ * payload.tool || entry.kind; verdict ← payload.verdict || (payload.pass ? …).
+ */
+export declare function trajectoryFromJournal(entries: JournalLike[]): Trajectory;
+//# sourceMappingURL=index.d.ts.map

package/dist/eval/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/eval/index.ts"],"names":[],"mappings":"AAEA,YAAY,EACV,QAAQ,EACR,cAAc,EACd,cAAc,EACd,UAAU,EACV,cAAc,EACd,UAAU,EACV,cAAc,EACd,UAAU,EACV,YAAY,EACZ,WAAW,GACZ,MAAM,YAAY,CAAA;AAEnB,OAAO,KAAK,EACV,QAAQ,EACR,cAAc,EACd,UAAU,EACV,cAAc,EACd,cAAc,EAEd,UAAU,EACV,YAAY,EACZ,WAAW,EACZ,MAAM,YAAY,CAAA;AAQnB,wBAAgB,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,cAAc,CAyC1D;AAqBD,wBAAgB,aAAa,CAAC,IAAI,EAAE,cAAc,GAAG,MAAM,CAE1D;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,GAAG,cAAc,CA4BvF;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,UAAU,GAAG,YAAY,CAStG;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,UAAU,CAUxE"}