tryassay 0.3.0 → 0.11.0

package/dist/runtime/shared-memory.js

@@ -0,0 +1,151 @@
+// ============================================================
+// Assay Verified Agent Runtime — Shared Memory Store
+// Append-only shared state with conflict detection.
+// Agents write facts, decisions, conventions, findings.
+// No mutable shared state — conflicts are detected, not hidden.
+// ============================================================
+import { randomUUID } from 'node:crypto';
+// ── Shared Memory Store ────────────────────────────────────
+export class SharedMemoryStore {
+    entries = [];
+    conflicts = [];
+    /**
+     * Add a new entry to shared memory.
+     * Checks for conflicts with existing entries by the same tags.
+     * Returns the entry ID and any detected conflicts.
+     */
+    add(type, content, author, opts) {
+        const entry = {
+            id: randomUUID(),
+            type,
+            content,
+            author,
+            tags: opts?.tags ?? [],
+            verificationStatus: opts?.verificationStatus ?? 'unverified',
+            claims: opts?.claims ?? [],
+            confidence: opts?.confidence ?? 0.5,
+            createdAt: new Date().toISOString(),
+            supersedes: opts?.supersedes,
+        };
+        this.entries.push(entry);
+        // Detect conflicts: entries with overlapping tags that make contradictory claims
+        const newConflicts = this.detectConflicts(entry);
+        this.conflicts.push(...newConflicts);
+        return { entryId: entry.id, conflicts: newConflicts };
+    }
+    /**
+     * Query entries by filter criteria.
+     */
+    query(filter) {
+        return this.entries.filter(entry => {
+            if (filter.type && entry.type !== filter.type)
+                return false;
+            if (filter.tags && filter.tags.length > 0) {
+                const hasTag = filter.tags.some(t => entry.tags.includes(t));
+                if (!hasTag)
+                    return false;
+            }
+            if (filter.minConfidence !== undefined && entry.confidence < filter.minConfidence)
+                return false;
+            if (filter.verificationStatus && entry.verificationStatus !== filter.verificationStatus)
+                return false;
+            if (filter.author && entry.author !== filter.author)
+                return false;
+            if (filter.since && entry.createdAt < filter.since)
+                return false;
+            return true;
+        });
+    }
+    /** Get entries by tag. */
+    getByTag(tag) {
+        return this.entries.filter(e => e.tags.includes(tag));
+    }
+    /** Get entries by author agent ID. */
+    getByAgent(agentId) {
+        return this.entries.filter(e => e.author === agentId);
+    }
+    /** Get only entries where all claims passed verification. */
+    getVerified() {
+        return this.entries.filter(e => e.verificationStatus === 'verified' || e.verificationStatus === 'formally_verified');
+    }
+    /** Get all detected conflicts. */
+    getConflicts() {
+        return this.conflicts;
+    }
+    /** Get only open (unresolved) conflicts. */
+    getOpenConflicts() {
+        return this.conflicts.filter(c => c.status === 'open');
+    }
+    /** Resolve a conflict. */
+    resolveConflict(conflictId, resolution) {
+        const conflict = this.conflicts.find(c => c.id === conflictId);
+        if (!conflict || conflict.status !== 'open')
+            return false;
+        // Mutate the conflict record (conflicts are mutable tracking state)
+        conflict.resolution = resolution;
+        conflict.status = 'resolved';
+        return true;
+    }
+    /** Escalate a conflict for human resolution. */
+    escalateConflict(conflictId) {
+        const conflict = this.conflicts.find(c => c.id === conflictId);
+        if (!conflict || conflict.status !== 'open')
+            return false;
+        conflict.status = 'escalated';
+        return true;
+    }
+    /** Get all entries (for snapshots and audit). */
+    getAllEntries() {
+        return this.entries;
+    }
+    /** Get entry by ID. */
+    getEntry(entryId) {
+        return this.entries.find(e => e.id === entryId);
+    }
+    /** Get the entry that superseded a given entry. */
+    getSuperseding(entryId) {
+        return this.entries.find(e => e.supersedes === entryId);
+    }
+    /** Update verification status of an entry after boundary verification. */
+    updateVerification(entryId, status, claims, confidence) {
+        const entry = this.entries.find(e => e.id === entryId);
+        if (!entry)
+            return;
+        entry.verificationStatus = status;
+        if (claims) {
+            entry.claims = claims;
+        }
+        if (confidence !== undefined) {
+            entry.confidence = confidence;
+        }
+    }
+    // ── Private ─────────────────────────────────────────────
+    detectConflicts(newEntry) {
+        const detected = [];
+        // Only check entries with overlapping tags
+        if (newEntry.tags.length === 0)
+            return detected;
+        // Find entries that share tags and are the same type
+        const candidates = this.entries.filter(existing => existing.id !== newEntry.id &&
+            existing.type === newEntry.type &&
+            existing.tags.some(t => newEntry.tags.includes(t)) &&
+            !existing.supersedes && // Don't conflict with superseded entries
+            !newEntry.supersedes // If new entry supersedes something, that's resolution, not conflict
+        );
+        for (const candidate of candidates) {
+            // Simple heuristic: if two entries of the same type with the same tags
+            // have different content and are from different authors, flag as potential conflict
+            if (candidate.author !== newEntry.author &&
+                candidate.content !== newEntry.content) {
+                detected.push({
+                    id: randomUUID(),
+                    entries: [candidate, newEntry],
+                    detectedBy: 'assay',
+                    status: 'open',
+                });
+            }
+        }
+        return detected;
+    }
+}
+//# sourceMappingURL=shared-memory.js.map

package/dist/runtime/shared-memory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared-memory.js","sourceRoot":"","sources":["../../src/runtime/shared-memory.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,qDAAqD;AACrD,oDAAoD;AACpD,wDAAwD;AACxD,gEAAgE;AAChE,+DAA+D;AAE/D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAWzC,8DAA8D;AAE9D,MAAM,OAAO,iBAAiB;IACpB,OAAO,GAAkB,EAAE,CAAC;IAC5B,SAAS,GAAqB,EAAE,CAAC;IAEzC;;;;OAIG;IACH,GAAG,CACD,IAAqB,EACrB,OAAe,EACf,MAAc,EACd,IAMC;QAED,MAAM,KAAK,GAAgB;YACzB,EAAE,EAAE,UAAU,EAAE;YAChB,IAAI;YACJ,OAAO;YACP,MAAM;YACN,IAAI,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE;YACtB,kBAAkB,EAAE,IAAI,EAAE,kBAAkB,IAAI,YAAY;YAC5D,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI,EAAE;YAC1B,UAAU,EAAE,IAAI,EAAE,UAAU,IAAI,GAAG;YACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,UAAU,EAAE,IAAI,EAAE,UAAU;SAC7B,CAAC;QAEF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEzB,iFAAiF;QACjF,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC;QAErC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC;IACxD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,MAAoB;QACxB,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;YACjC,IAAI,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YAC5D,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC7D,IAAI,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;YAC5B,CAAC;YACD,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,GAAG,MAAM,CAAC,aAAa;gBAAE,OAAO,KAAK,CAAC;YAChG,IAAI,MAAM,CAAC,kBAAkB,IAAI,KAAK,CAAC,kBAAkB,KAAK,MAAM,CAAC,kBAAkB;gBAAE,OAAO,KAAK,CAAC;YACtG,IAAI,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAClE,IAAI,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,KAAK;gBAAE,OAAO,KAAK,CAAC;YACjE,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED,0BAA0B;IAC1B,QAAQ,CAAC,GAAW;QAClB,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,sCAAsC;IACtC,UAAU,CAAC,OAAe;QACxB,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;IACxD,CAAC;IAED,6DAA6D;IAC7D,WAAW;QACT,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAC7B,CAAC,CAAC,kBAAkB,KAAK,UAAU,IAAI,CAAC,CAAC,kBAAkB,KAAK,mBAAmB,CACpF,CAAC;IACJ,CAAC;IAED,kCAAkC;IAClC,YAAY;QACV,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED,4CAA4C;IAC5C,gBAAgB;QACd,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACzD,CAAC;IAED,0BAA0B;IAC1B,eAAe,CAAC,UAAkB,EAAE,UAA8B;QAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC;QAC/D,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO,KAAK,CAAC;QAE1D,oEAAoE;QACnE,QAA+C,CAAC,UAAU,GAAG,UAAU,CAAC;QACxE,QAA+B,CAAC,MAAM,GAAG,UAAU,CAAC;QAErD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gDAAgD;IAChD,gBAAgB,CAAC,UAAkB;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC;QAC/D,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO,KAAK,CAAC;QAEzD,QAA+B,CAAC,MAAM,GAAG,WAAW,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iDAAiD;IACjD,aAAa;QACX,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,uBAAuB;IACvB,QAAQ,CAAC,OAAe;QACtB,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,mDAAmD;IACnD,cAAc,CAAC,OAAe;QAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,OAAO,CAAC,CAAC;IAC1D,CAAC;IAED,0EAA0E;IAC1E,kBAAkB,CAChB,OAAe,EACf,MAAkC,EAClC,MAAiC,EACjC,UAAmB;QAEnB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK;YAAE,OAAO;QAElB,KAA4D,CAAC,kBAAkB,GAAG,MAAM,CAAC;QAC1F,IAAI,MAAM,EAAE,CAAC;YACV,KAA8C,CAAC,MAAM,GAAG,MAAM,CAAC;QAClE,CAAC;QACD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC5B,KAAgC,CAAC,UAAU,GAAG,UAAU,CAAC;QAC5D,CAAC;IACH,CAAC;IAED,2DAA2D;IAEnD,eAAe,CAAC,QAAqB;QAC3C,MAAM,QAAQ,GAAqB,EAAE,CAAC;QAEtC,2CAA2C;QAC3C,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC;QAEhD,qDAAqD;QACrD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAChD,QAAQ,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE;YAC3B,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;YAC/B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAClD,CAAC,QAAQ,CAAC,UAAU,IAAI,yCAAyC;YACjE,CAAC,QAAQ,CAAC,UAAU,CAAC,qEAAqE;SAC3F,CAAC;QAEF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,uEAAuE;YACvE,oFAAoF;YACpF,IACE,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;gBACpC,SAAS,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,EACtC,CAAC;gBACD,QAAQ,CAAC,IAAI,CAAC;oBACZ,EAAE,EAAE,UAAU,EAAE;oBAChB,OAAO,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;oBAC9B,UAAU,EAAE,OAAO;oBACnB,MAAM,EAAE,MAAM;iBACf,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF"}

package/dist/runtime/specialized-agent.d.ts

@@ -0,0 +1,72 @@
+import type { AgentIdentity, AgentSpecialization, AgentCapability, TrustLevel, BoundaryArtifact, AgentMessage } from './types.js';
+import type { MessageBus } from './message-bus.js';
+export interface TaskAssignmentPayload {
+    readonly taskId: string;
+    readonly goal: string;
+    readonly constraints: readonly string[];
+    readonly dependencies: readonly string[];
+    readonly contextRefs: readonly {
+        summary: string;
+        content?: string;
+    }[];
+}
+export interface TaskResultPayload {
+    readonly taskId: string;
+    readonly status: 'completed' | 'blocked' | 'failed';
+    readonly artifacts: readonly BoundaryArtifact[];
+    readonly summary: string;
+    readonly claimsAboutArtifacts: readonly string[];
+    readonly blockers?: readonly string[];
+}
+export interface FindingPayload {
+    readonly severity: 'critical' | 'high' | 'medium' | 'low';
+    readonly category: string;
+    readonly description: string;
+    readonly evidence: string;
+    readonly suggestedFix?: string;
+    readonly affectedFiles: readonly string[];
+}
+export declare abstract class SpecializedAgent {
+    readonly identity: AgentIdentity;
+    protected messageBus: MessageBus;
+    protected modelId: string;
+    constructor(name: string, specialization: AgentSpecialization, capabilities: AgentCapability[], messageBus: MessageBus, opts?: {
+        model?: string;
+        initialTrust?: TrustLevel;
+    });
+    /** Handle an incoming message. Subclasses override for specific behavior. */
+    protected abstract onMessage(message: AgentMessage): void;
+    /**
+     * Execute a task assignment. Returns the result as artifacts.
+     * Each agent role implements this differently.
+     */
+    abstract executeTask(task: TaskAssignmentPayload): Promise<TaskResultPayload>;
+    /** Get the agent's identity. */
+    getIdentity(): AgentIdentity;
+    /**
+     * Call Claude with a system prompt and user prompt.
+     * Returns the raw response text and token usage.
+     */
+    protected callClaude(systemPrompt: string, userPrompt: string): Promise<{
+        content: string;
+        inputTokens: number;
+        outputTokens: number;
+    }>;
+    /** Send a task result back to the coordinator. */
+    protected sendResult(result: TaskResultPayload, threadId: string): void;
+    /** Send a finding to another agent or coordinator. */
+    protected sendFinding(recipient: string, finding: FindingPayload, threadId: string): void;
+    /** Send an escalation to the coordinator. */
+    protected sendEscalation(reason: string, context: string, attemptsMade: string[], threadId: string): void;
+    /** Create a BoundaryArtifact from produced output. */
+    protected makeArtifact(type: BoundaryArtifact['type'], content: string, opts?: {
+        path?: string;
+        language?: string;
+        metadata?: Record<string, unknown>;
+    }): BoundaryArtifact;
+}
+export declare function checkModelDiversity(agents: AgentIdentity[]): {
+    diverse: boolean;
+    providers: Map<string, string[]>;
+    recommendation: string | null;
+};

package/dist/runtime/specialized-agent.js

@@ -0,0 +1,123 @@
+// ============================================================
+// Assay Verified Agent Runtime — Specialized Agent
+// Base class for all agent roles. Handles Claude API calls,
+// message receiving, and artifact production.
+// ============================================================
+import { randomUUID } from 'node:crypto';
+import { getClient, MODEL } from '../lib/anthropic.js';
+// ── Specialized Agent ───────────────────────────────────────
+export class SpecializedAgent {
+    identity;
+    messageBus;
+    modelId;
+    constructor(name, specialization, capabilities, messageBus, opts) {
+        this.identity = {
+            id: randomUUID(),
+            name,
+            specialization,
+            capabilities,
+            trustLevel: opts?.initialTrust ?? 'untrusted',
+            model: opts?.model ?? MODEL,
+            spawnedAt: new Date().toISOString(),
+            verificationHistory: {
+                totalHandoffs: 0,
+                passRate: 0,
+                formalOverrides: 0,
+            },
+        };
+        this.messageBus = messageBus;
+        this.modelId = opts?.model ?? MODEL;
+        // Listen for messages addressed to this agent
+        messageBus.on(`message:${this.identity.id}`, (msg) => {
+            this.onMessage(msg);
+        });
+    }
+    /** Get the agent's identity. */
+    getIdentity() {
+        return this.identity;
+    }
+    // ── Protected helpers for subclasses ──────────────────────
+    /**
+     * Call Claude with a system prompt and user prompt.
+     * Returns the raw response text and token usage.
+     */
+    async callClaude(systemPrompt, userPrompt) {
+        const client = getClient();
+        let content = '';
+        const stream = client.messages.stream({
+            model: this.modelId,
+            max_tokens: 8_000,
+            system: systemPrompt,
+            messages: [{ role: 'user', content: userPrompt }],
+        });
+        stream.on('text', (text) => {
+            content += text;
+        });
+        const finalMessage = await stream.finalMessage();
+        return {
+            content,
+            inputTokens: finalMessage.usage.input_tokens,
+            outputTokens: finalMessage.usage.output_tokens,
+        };
+    }
+    /** Send a task result back to the coordinator. */
+    sendResult(result, threadId) {
+        this.messageBus.send(this.identity.id, 'coordinator', 'task_result', result, { threadId });
+    }
+    /** Send a finding to another agent or coordinator. */
+    sendFinding(recipient, finding, threadId) {
+        this.messageBus.send(this.identity.id, recipient, 'finding', finding, { threadId });
+    }
+    /** Send an escalation to the coordinator. */
+    sendEscalation(reason, context, attemptsMade, threadId) {
+        this.messageBus.send(this.identity.id, 'coordinator', 'escalation', { reason, context, attemptsMade }, { threadId });
+    }
+    /** Create a BoundaryArtifact from produced output. */
+    makeArtifact(type, content, opts) {
+        return {
+            type,
+            content,
+            path: opts?.path,
+            language: opts?.language,
+            metadata: opts?.metadata ?? {},
+        };
+    }
+}
+// ── Model Diversity Checker ────────────────────────────────
+export function checkModelDiversity(agents) {
+    const providers = new Map();
+    for (const agent of agents) {
+        // Extract provider from model name (e.g., "claude-sonnet-4-5" -> "anthropic")
+        const provider = inferProvider(agent.model);
+        const existing = providers.get(provider) ?? [];
+        existing.push(agent.name);
+        providers.set(provider, existing);
+    }
+    // Model diversity is satisfied if agents that verify each other
+    // use different providers
+    const allSameProvider = providers.size === 1;
+    const recommendation = allSameProvider
+        ? 'All agents use the same provider. Consider using different providers for Code and Review agents to reduce correlated failures.'
+        : null;
+    return {
+        diverse: !allSameProvider,
+        providers,
+        recommendation,
+    };
+}
+function inferProvider(model) {
+    if (model.startsWith('claude') || model.includes('anthropic'))
+        return 'anthropic';
+    if (model.startsWith('gpt') || model.includes('openai'))
+        return 'openai';
+    if (model.startsWith('gemini') || model.includes('google'))
+        return 'google';
+    if (model.startsWith('llama') || model.includes('meta'))
+        return 'meta';
+    if (model.startsWith('mistral'))
+        return 'mistral';
+    if (model.startsWith('deepseek'))
+        return 'deepseek';
+    return 'unknown';
+}
+//# sourceMappingURL=specialized-agent.js.map

package/dist/runtime/specialized-agent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"specialized-agent.js","sourceRoot":"","sources":["../../src/runtime/specialized-agent.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,mDAAmD;AACnD,4DAA4D;AAC5D,8CAA8C;AAC9C,+DAA+D;AAE/D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AA2CvD,+DAA+D;AAE/D,MAAM,OAAgB,gBAAgB;IAC3B,QAAQ,CAAgB;IACvB,UAAU,CAAa;IACvB,OAAO,CAAS;IAE1B,YACE,IAAY,EACZ,cAAmC,EACnC,YAA+B,EAC/B,UAAsB,EACtB,IAGC;QAED,IAAI,CAAC,QAAQ,GAAG;YACd,EAAE,EAAE,UAAU,EAAE;YAChB,IAAI;YACJ,cAAc;YACd,YAAY;YACZ,UAAU,EAAE,IAAI,EAAE,YAAY,IAAI,WAAW;YAC7C,KAAK,EAAE,IAAI,EAAE,KAAK,IAAI,KAAK;YAC3B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,mBAAmB,EAAE;gBACnB,aAAa,EAAE,CAAC;gBAChB,QAAQ,EAAE,CAAC;gBACX,eAAe,EAAE,CAAC;aACnB;SACF,CAAC;QACF,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,OAAO,GAAG,IAAI,EAAE,KAAK,IAAI,KAAK,CAAC;QAEpC,8CAA8C;QAC9C,UAAU,CAAC,EAAE,CAAC,WAAW,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,GAAiB,EAAE,EAAE;YACjE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC;IACL,CAAC;IAWD,gCAAgC;IAChC,WAAW;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED,6DAA6D;IAE7D;;;OAGG;IACO,KAAK,CAAC,UAAU,CACxB,YAAoB,EACpB,UAAkB;QAElB,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;QAC3B,IAAI,OAAO,GAAG,EAAE,CAAC;QAEjB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;YACpC,KAAK,EAAE,IAAI,CAAC,OAAO;YACnB,UAAU,EAAE,KAAK;YACjB,MAAM,EAAE,YAAY;YACpB,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;SAClD,CAAC,CAAC;QAEH,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YACzB,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC,CAAC,CAAC;QAEH,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC;QAEjD,OAAO;YACL,OAAO;YACP,WAAW,EAAE,YAAY,CAAC,KAAK,CAAC,YAAY;YAC5C,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,aAAa;SAC/C,CAAC;IACJ,CAAC;IAED,kDAAkD;IACxC,UAAU,CAAC,MAAyB,EAAE,QAAgB;QAC9D,IAAI,CAAC,UAAU,CAAC,IAAI,CAClB,IAAI,CAAC,QAAQ,CAAC,EAAE,EAChB,aAAa,EACb,aAAa,EACb,MAAM,EACN,EAAE,QAAQ,EAAE,CACb,CAAC;IACJ,CAAC;IAED,sDAAsD;IAC5C,WAAW,CACnB,SAAiB,EACjB,OAAuB,EACvB,QAAgB;QAEhB,IAAI,CAAC,UAAU,CAAC,IAAI,CAClB,IAAI,CAAC,QAAQ,CAAC,EAAE,EAChB,SAAS,EACT,SAAS,EACT,OAAO,EACP,EAAE,QAAQ,EAAE,CACb,CAAC;IACJ,CAAC;IAED,6CAA6C;IACnC,cAAc,CACtB,MAAc,EACd,OAAe,EACf,YAAsB,EACtB,QAAgB;QAEhB,IAAI,CAAC,UAAU,CAAC,IAAI,CAClB,IAAI,CAAC,QAAQ,CAAC,EAAE,EAChB,aAAa,EACb,YAAY,EACZ,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,EACjC,EAAE,QAAQ,EAAE,CACb,CAAC;IACJ,CAAC;IAED,sDAAsD;IAC5C,YAAY,CACpB,IAA8B,EAC9B,OAAe,EACf,IAA+E;QAE/E,OAAO;YACL,IAAI;YACJ,OAAO;YACP,IAAI,EAAE,IAAI,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI,EAAE,QAAQ;YACxB,QAAQ,EAAE,IAAI,EAAE,QAAQ,IAAI,EAAE;SAC/B,CAAC;IACJ,CAAC;CACF;AAED,8DAA8D;AAE9D,MAAM,UAAU,mBAAmB,CACjC,MAAuB;IAEvB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE9C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,8EAA8E;QAC9E,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC/C,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1B,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED,gEAAgE;IAChE,0BAA0B;IAC1B,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,KAAK,CAAC,CAAC;IAC7C,MAAM,cAAc,GAAG,eAAe;QACpC,CAAC,CAAC,gIAAgI;QAClI,CAAC,CAAC,IAAI,CAAC;IAET,OAAO;QACL,OAAO,EAAE,CAAC,eAAe;QACzB,SAAS;QACT,cAAc;KACf,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,WAAW,CAAC;IAClF,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IACzE,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC5E,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IACvE,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACpD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/runtime/stall-detector.d.ts

@@ -0,0 +1,13 @@
+import type { TaskGraph, StallReport } from './types.js';
+export declare class StallDetector {
+    /**
+     * Detect stalls in a task graph.
+     * Returns stall reports for any problematic tasks.
+     */
+    detectStalls(graph: TaskGraph, thresholdMs: number): StallReport[];
+    /**
+     * Detect circular dependencies in the task graph.
+     * Returns task IDs involved in deadlock cycles.
+     */
+    private detectDeadlocks;
+}

package/dist/runtime/stall-detector.js

@@ -0,0 +1,121 @@
+// ============================================================
+// Assay Verified Agent Runtime — Stall Detector
+// Monitors task graph for timeouts, reject loops,
+// dependency deadlocks, and resource contention.
+// ============================================================
+// ── Stall Detector ─────────────────────────────────────────
+export class StallDetector {
+    /**
+     * Detect stalls in a task graph.
+     * Returns stall reports for any problematic tasks.
+     */
+    detectStalls(graph, thresholdMs) {
+        const reports = [];
+        const now = Date.now();
+        for (const task of graph.tasks) {
+            // Skip completed or failed tasks
+            if (task.status === 'completed' || task.status === 'failed')
+                continue;
+            // Check for timeout: task in progress for too long
+            if (task.status === 'in_progress' || task.status === 'assigned') {
+                const taskStart = new Date(task.createdAt).getTime();
+                const elapsed = now - taskStart;
+                if (elapsed > thresholdMs) {
+                    reports.push({
+                        taskId: task.id,
+                        type: 'timeout',
+                        duration: elapsed,
+                        attempts: task.attempts,
+                        suggestedAction: task.attempts >= task.maxAttempts ? 'escalate' : 'reassign',
+                    });
+                }
+            }
+            // Check for reject loop: task rejected too many times
+            if (task.status === 'rejected' && task.attempts >= task.maxAttempts) {
+                reports.push({
+                    taskId: task.id,
+                    type: 'reject_loop',
+                    duration: now - new Date(task.createdAt).getTime(),
+                    attempts: task.attempts,
+                    suggestedAction: task.attempts >= task.maxAttempts ? 'escalate' : 'simplify',
+                });
+            }
+            // Check for resource contention: multiple tasks waiting for the same specialization
+            if (task.status === 'ready' || task.status === 'pending') {
+                const waitingForSameSpec = graph.tasks.filter(t => t.id !== task.id &&
+                    t.specialization === task.specialization &&
+                    (t.status === 'in_progress' || t.status === 'assigned'));
+                if (waitingForSameSpec.length >= 2) {
+                    reports.push({
+                        taskId: task.id,
+                        type: 'resource_contention',
+                        duration: now - new Date(task.createdAt).getTime(),
+                        attempts: task.attempts,
+                        suggestedAction: 'reassign',
+                    });
+                }
+            }
+        }
+        // Check for dependency deadlocks: circular dependencies
+        const deadlockTasks = this.detectDeadlocks(graph);
+        for (const taskId of deadlockTasks) {
+            const task = graph.tasks.find(t => t.id === taskId);
+            if (task) {
+                reports.push({
+                    taskId: task.id,
+                    type: 'dependency_deadlock',
+                    duration: now - new Date(task.createdAt).getTime(),
+                    attempts: task.attempts,
+                    suggestedAction: 'abort',
+                });
+            }
+        }
+        return reports;
+    }
+    /**
+     * Detect circular dependencies in the task graph.
+     * Returns task IDs involved in deadlock cycles.
+     */
+    detectDeadlocks(graph) {
+        const deadlocked = new Set();
+        // Build adjacency list from blocking edges
+        const blockingEdges = graph.edges.filter(e => e.type === 'blocks');
+        const adjacency = new Map();
+        for (const edge of blockingEdges) {
+            const existing = adjacency.get(edge.from) ?? [];
+            existing.push(edge.to);
+            adjacency.set(edge.from, existing);
+        }
+        // DFS-based cycle detection
+        const visited = new Set();
+        const inStack = new Set();
+        const dfs = (taskId) => {
+            if (inStack.has(taskId)) {
+                // Found a cycle — collect all tasks in the cycle
+                deadlocked.add(taskId);
+                return true;
+            }
+            if (visited.has(taskId))
+                return false;
+            visited.add(taskId);
+            inStack.add(taskId);
+            const neighbors = adjacency.get(taskId) ?? [];
+            for (const neighbor of neighbors) {
+                if (dfs(neighbor)) {
+                    deadlocked.add(taskId);
+                }
+            }
+            inStack.delete(taskId);
+            return false;
+        };
+        // Only check tasks that are not yet completed
+        const activeTasks = graph.tasks
+            .filter(t => t.status !== 'completed' && t.status !== 'failed')
+            .map(t => t.id);
+        for (const taskId of activeTasks) {
+            dfs(taskId);
+        }
+        return Array.from(deadlocked);
+    }
+}
+//# sourceMappingURL=stall-detector.js.map

package/dist/runtime/stall-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stall-detector.js","sourceRoot":"","sources":["../../src/runtime/stall-detector.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,gDAAgD;AAChD,kDAAkD;AAClD,iDAAiD;AACjD,+DAA+D;AAQ/D,8DAA8D;AAE9D,MAAM,OAAO,aAAa;IACxB;;;OAGG;IACH,YAAY,CAAC,KAAgB,EAAE,WAAmB;QAChD,MAAM,OAAO,GAAkB,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAEvB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,iCAAiC;YACjC,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ;gBAAE,SAAS;YAEtE,mDAAmD;YACnD,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBAChE,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC;gBACrD,MAAM,OAAO,GAAG,GAAG,GAAG,SAAS,CAAC;gBAChC,IAAI,OAAO,GAAG,WAAW,EAAE,CAAC;oBAC1B,OAAO,CAAC,IAAI,CAAC;wBACX,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,IAAI,EAAE,SAAS;wBACf,QAAQ,EAAE,OAAO;wBACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;wBACvB,eAAe,EAAE,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;qBAC7E,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,sDAAsD;YACtD,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACpE,OAAO,CAAC,IAAI,CAAC;oBACX,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,IAAI,EAAE,aAAa;oBACnB,QAAQ,EAAE,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE;oBAClD,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,eAAe,EAAE,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;iBAC7E,CAAC,CAAC;YACL,CAAC;YAED,oFAAoF;YACpF,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzD,MAAM,kBAAkB,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAChD,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;oBAChB,CAAC,CAAC,cAAc,KAAK,IAAI,CAAC,cAAc;oBACxC,CAAC,CAAC,CAAC,MAAM,KAAK,aAAa,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CACxD,CAAC;gBACF,IAAI,kBAAkB,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;oBACnC,OAAO,CAAC,IAAI,CAAC;wBACX,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,IAAI,EAAE,qBAAqB;wBAC3B,QAAQ,EAAE,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE;wBAClD,QAAQ,EAAE,IAAI,CAAC,QAAQ;wBACvB,eAAe,EAAE,UAAU;qBAC5B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,wDAAwD;QACxD,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QAClD,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;YACpD,IAAI,IAAI,EAAE,CAAC;gBACT,OAAO,CAAC,IAAI,CAAC;oBACX,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,IAAI,EAAE,qBAAqB;oBAC3B,QAAQ,EAAE,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE;oBAClD,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,eAAe,EAAE,OAAO;iBACzB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;OAGG;IACK,eAAe,CAAC,KAAgB;QACtC,MAAM,UAAU,GAAgB,IAAI,GAAG,EAAE,CAAC;QAE1C,2CAA2C;QAC3C,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAChD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACvB,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACrC,CAAC;QAED,4BAA4B;QAC5B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,MAAM,GAAG,GAAG,CAAC,MAAc,EAAW,EAAE;YACtC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxB,iDAAiD;gBACjD,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACvB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAC;YAEtC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACpB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAEpB,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAC9C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAClB,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;YAED,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QAEF,8CAA8C;QAC9C,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK;aAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC;aAC9D,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAElB,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;YACjC,GAAG,CAAC,MAAM,CAAC,CAAC;QACd,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC;CACF"}

package/dist/runtime/strategy-library.d.ts

@@ -0,0 +1,11 @@
+import type { Strategy, Experience, ExperienceOutcome, OperationType } from './types.js';
+export declare class StrategyLibrary {
+    private strategies;
+    constructor(initial?: Strategy[]);
+    rank(domain: string, operationType: OperationType): Promise<Strategy[]>;
+    recordOutcome(strategyId: string, outcome: ExperienceOutcome, verificationPassRate: number, durationMs: number): Promise<void>;
+    discover(experiences: Experience[]): Promise<Strategy[]>;
+    getAll(): Strategy[];
+    load(strategies: Strategy[]): void;
+    private proposeStrategy;
+}

package/dist/runtime/strategy-library.js

@@ -0,0 +1,142 @@
+// ============================================================
+// Assay Verified Agent Runtime — Strategy Library
+// Maintains named strategies per domain/operation type,
+// ranked by historical success rate.
+// ============================================================
+import { randomUUID } from 'node:crypto';
+import { getClient, MODEL } from '../lib/anthropic.js';
+export class StrategyLibrary {
+    strategies = new Map();
+    constructor(initial) {
+        if (initial) {
+            for (const s of initial) {
+                this.strategies.set(s.id, s);
+            }
+        }
+    }
+    async rank(domain, operationType) {
+        const matches = Array.from(this.strategies.values())
+            .filter(s => s.domain === domain && s.operationType === operationType)
+            .filter(s => s.timesUsed >= 5) // only rank strategies with enough data
+            .filter(s => s.successRate >= 0.3) // exclude deprecated strategies
+            .sort((a, b) => b.successRate - a.successRate);
+        return matches;
+    }
+    async recordOutcome(strategyId, outcome, verificationPassRate, durationMs) {
+        const strategy = this.strategies.get(strategyId);
+        if (!strategy)
+            return;
+        strategy.timesUsed++;
+        if (outcome === 'success')
+            strategy.timesSucceeded++;
+        strategy.successRate = strategy.timesUsed > 0
+            ? strategy.timesSucceeded / strategy.timesUsed
+            : 0;
+        // Running average for verification pass rate
+        const prevTotal = strategy.avgVerificationPassRate * (strategy.timesUsed - 1);
+        strategy.avgVerificationPassRate = (prevTotal + verificationPassRate) / strategy.timesUsed;
+        // Running average for duration
+        const prevDurTotal = strategy.avgDurationMs * (strategy.timesUsed - 1);
+        strategy.avgDurationMs = (prevDurTotal + durationMs) / strategy.timesUsed;
+        strategy.lastUsed = new Date().toISOString();
+    }
+    async discover(experiences) {
+        // Group successful experiences by domain + operation type
+        const groups = new Map();
+        for (const exp of experiences) {
+            if (exp.outcome !== 'success')
+                continue;
+            for (const step of exp.plan.steps) {
+                const key = `${exp.domain}:${step.operation.type}`;
+                const group = groups.get(key) ?? [];
+                group.push(exp);
+                groups.set(key, group);
+            }
+        }
+        const newStrategies = [];
+        for (const [key, exps] of groups) {
+            if (exps.length < 3)
+                continue; // need at least 3 examples
+            const [domain, opType] = key.split(':');
+            // Check if we already have strategies for this combination
+            const existing = Array.from(this.strategies.values())
+                .filter(s => s.domain === domain && s.operationType === opType);
+            if (existing.length >= 5)
+                continue; // enough strategies already
+            try {
+                const strategy = await this.proposeStrategy(domain, opType, exps);
+                if (strategy) {
+                    this.strategies.set(strategy.id, strategy);
+                    newStrategies.push(strategy);
+                }
+            }
+            catch {
+                // Skip on failure — strategy discovery is best-effort
+            }
+        }
+        return newStrategies;
+    }
+    getAll() {
+        return Array.from(this.strategies.values());
+    }
+    load(strategies) {
+        for (const s of strategies) {
+            this.strategies.set(s.id, s);
+        }
+    }
+    async proposeStrategy(domain, operationType, experiences) {
+        const summaries = experiences.slice(0, 5).map(e => ({
+            lessons: e.lessons,
+            planSteps: e.plan.steps.map(s => s.description),
+            duration: e.execution.totalDurationMs,
+        }));
+        const client = getClient();
+        const response = await client.messages.create({
+            model: MODEL,
+            max_tokens: 1024,
+            system: 'Extract a named strategy from successful agent experiences. Respond with ONLY JSON, no markdown.',
+            messages: [{
+                    role: 'user',
+                    content: `These ${experiences.length} successful experiences in "${domain}" (operation: ${operationType}) share a common approach. Name and describe the strategy.
+
+EXAMPLES:
+${JSON.stringify(summaries, null, 2)}
+
+Respond:
+{
+  "name": "short-kebab-case-name",
+  "description": "when to use this strategy",
+  "planTemplate": "natural language template for the planner"
+}`,
+                }],
+        });
+        const text = response.content[0].type === 'text' ? response.content[0].text : '';
+        try {
+            let cleaned = text.trim();
+            if (cleaned.startsWith('```')) {
+                cleaned = cleaned.replace(/^```(?:json)?\s*/, '').replace(/\s*```$/, '');
+            }
+            const parsed = JSON.parse(cleaned);
+            return {
+                id: randomUUID(),
+                domain,
+                operationType,
+                name: parsed.name,
+                description: parsed.description,
+                planTemplate: parsed.planTemplate,
+                timesUsed: 0,
+                timesSucceeded: 0,
+                successRate: 0,
+                avgVerificationPassRate: 0,
+                avgDurationMs: 0,
+                lastUsed: '',
+                discoveredFrom: experiences.map(e => e.id),
+                createdAt: new Date().toISOString(),
+            };
+        }
+        catch {
+            return null;
+        }
+    }
+}
+//# sourceMappingURL=strategy-library.js.map