tryassay 0.3.0 → 0.11.0

package/dist/runtime/capability-registry.js

@@ -0,0 +1,191 @@
+// ============================================================
+// Assay Verified Agent Runtime — Capability Registry
+// Stores and manages tools with version tracking, rollback,
+// and cryptographic integrity verification.
+// ============================================================
+import { readFile, writeFile, mkdir } from 'node:fs/promises';
+import { dirname } from 'node:path';
+import { createHash } from 'node:crypto';
+// ── CapabilityRegistryManager ──────────────────────────────
+export class CapabilityRegistryManager {
+    registry;
+    registryPath;
+    versionHistory = [];
+    constructor(registryPath) {
+        this.registryPath = registryPath;
+        this.registry = this.createEmptyRegistry();
+    }
+    /**
+     * Load the registry from disk. Creates an empty one if not found.
+     */
+    async load() {
+        try {
+            const raw = await readFile(this.registryPath, 'utf-8');
+            const parsed = JSON.parse(raw);
+            this.registry = parsed;
+        }
+        catch {
+            // File doesn't exist or is invalid — start fresh
+            this.registry = this.createEmptyRegistry();
+        }
+    }
+    /**
+     * Save the registry to disk with updated manifest hash.
+     */
+    async save() {
+        this.registry.manifest_hash = this.computeManifestHash();
+        await mkdir(dirname(this.registryPath), { recursive: true });
+        await writeFile(this.registryPath, JSON.stringify(this.registry, null, 2), 'utf-8');
+    }
+    /**
+     * Get the current registry state (readonly snapshot).
+     */
+    getRegistry() {
+        return {
+            ...this.registry,
+            tools: {
+                active: [...this.registry.tools.active],
+                deprecated: [...this.registry.tools.deprecated],
+            },
+            modifications: [...this.registry.modifications],
+        };
+    }
+    /**
+     * Add a new tool to the registry.
+     * The tool must have status 'approved' before calling this.
+     */
+    addTool(tool, approvedBy, proposalId) {
+        if (tool.status !== 'approved') {
+            throw new Error(`Cannot add tool with status "${tool.status}". Must be "approved".`);
+        }
+        // Check for duplicate IDs
+        if (this.findTool(tool.id)) {
+            throw new Error(`Tool "${tool.id}" already exists in registry.`);
+        }
+        // Save version history for rollback
+        this.pushHistory();
+        // Activate the tool
+        const activeTool = { ...tool, status: 'active' };
+        this.registry.tools.active.push(activeTool);
+        // Log the modification
+        this.logModification(proposalId, 'tool', 'added', tool.id, approvedBy);
+    }
+    /**
+     * Deprecate a tool. It remains in the registry but is no longer active.
+     */
+    deprecateTool(toolId, deprecatedBy, _reason) {
+        const index = this.registry.tools.active.findIndex(t => t.id === toolId);
+        if (index === -1) {
+            throw new Error(`Tool "${toolId}" not found in active tools.`);
+        }
+        this.pushHistory();
+        const tool = this.registry.tools.active[index];
+        this.registry.tools.active.splice(index, 1);
+        const deprecated = { ...tool, status: 'deprecated' };
+        this.registry.tools.deprecated.push(deprecated);
+        this.logModification(`deprecate-${toolId}`, 'tool', 'deprecated', toolId, deprecatedBy);
+    }
+    /**
+     * Rollback the registry to the previous version.
+     * Returns true if rollback succeeded, false if no history available.
+     */
+    rollback(rolledBackBy) {
+        const previous = this.versionHistory.pop();
+        if (!previous)
+            return false;
+        const currentVersion = this.registry.version;
+        this.registry = previous;
+        // Log the rollback (on the restored version)
+        this.logModification(`rollback-from-${currentVersion}`, 'tool', 'rolled_back', 'registry', rolledBackBy);
+        return true;
+    }
+    /**
+     * Find a tool by ID across active and deprecated pools.
+     */
+    findTool(toolId) {
+        return this.registry.tools.active.find(t => t.id === toolId)
+            ?? this.registry.tools.deprecated.find(t => t.id === toolId);
+    }
+    /**
+     * List all active tools.
+     */
+    listActiveTools() {
+        return this.registry.tools.active;
+    }
+    /**
+     * List all deprecated tools.
+     */
+    listDeprecatedTools() {
+        return this.registry.tools.deprecated;
+    }
+    /**
+     * Get the modification history.
+     */
+    getModificationHistory() {
+        return this.registry.modifications;
+    }
+    /**
+     * Verify registry integrity by recomputing the manifest hash.
+     */
+    verifyIntegrity() {
+        const actual = this.computeManifestHash();
+        return {
+            valid: actual === this.registry.manifest_hash,
+            expected: this.registry.manifest_hash,
+            actual,
+        };
+    }
+    // ── Private helpers ──────────────────────────────────────
+    createEmptyRegistry() {
+        return {
+            version: '0.0.1',
+            last_modified: new Date().toISOString(),
+            modified_by: 'system',
+            tools: { active: [], deprecated: [] },
+            manifest_hash: '',
+            layer2_hash: '',
+            modifications: [],
+        };
+    }
+    pushHistory() {
+        // Deep clone the current state for rollback
+        const snapshot = JSON.parse(JSON.stringify(this.registry));
+        this.versionHistory.push(snapshot);
+        // Keep at most 10 versions for rollback
+        if (this.versionHistory.length > 10) {
+            this.versionHistory.shift();
+        }
+    }
+    incrementVersion() {
+        const parts = this.registry.version.split('.').map(Number);
+        parts[2] = (parts[2] ?? 0) + 1;
+        return parts.join('.');
+    }
+    logModification(proposalId, type, action, targetId, approvedBy) {
+        const previousVersion = this.registry.version;
+        const newVersion = this.incrementVersion();
+        this.registry.modifications.push({
+            timestamp: new Date().toISOString(),
+            proposal_id: proposalId,
+            type,
+            action,
+            target_id: targetId,
+            approved_by: approvedBy,
+            registry_version_before: previousVersion,
+            registry_version_after: newVersion,
+        });
+        this.registry.version = newVersion;
+        this.registry.last_modified = new Date().toISOString();
+        this.registry.modified_by = approvedBy;
+    }
+    computeManifestHash() {
+        // Hash everything except the manifest_hash field itself
+        const data = {
+            version: this.registry.version,
+            tools: this.registry.tools,
+            modifications: this.registry.modifications,
+        };
+        return createHash('sha256').update(JSON.stringify(data)).digest('hex');
+    }
+}
+//# sourceMappingURL=capability-registry.js.map

package/dist/runtime/capability-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability-registry.js","sourceRoot":"","sources":["../../src/runtime/capability-registry.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,qDAAqD;AACrD,4DAA4D;AAC5D,4CAA4C;AAC5C,+DAA+D;AAE/D,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAwBzC,8DAA8D;AAE9D,MAAM,OAAO,yBAAyB;IAC5B,QAAQ,CAAkB;IAC1B,YAAY,CAAS;IACrB,cAAc,GAAsB,EAAE,CAAC;IAE/C,YAAY,YAAoB;QAC9B,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC;IAC7C,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,IAAI;QACR,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YACvD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAoB,CAAC;YAClD,IAAI,CAAC,QAAQ,GAAG,MAAM,CAAC;QACzB,CAAC;QAAC,MAAM,CAAC;YACP,iDAAiD;YACjD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC7C,CAAC;IACH,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,IAAI;QACR,IAAI,CAAC,QAAQ,CAAC,aAAa,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzD,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,MAAM,SAAS,CACb,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EACtC,OAAO,CACR,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,WAAW;QACT,OAAO;YACL,GAAG,IAAI,CAAC,QAAQ;YAChB,KAAK,EAAE;gBACL,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;gBACvC,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC;aAChD;YACD,aAAa,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;SAChD,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,OAAO,CACL,IAAoB,EACpB,UAAkB,EAClB,UAAkB;QAElB,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,CAAC,MAAM,wBAAwB,CAAC,CAAC;QACvF,CAAC;QAED,0BAA0B;QAC1B,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,SAAS,IAAI,CAAC,EAAE,+BAA+B,CAAC,CAAC;QACnE,CAAC;QAED,oCAAoC;QACpC,IAAI,CAAC,WAAW,EAAE,CAAC;QAEnB,oBAAoB;QACpB,MAAM,UAAU,GAAmB,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,QAAsB,EAAE,CAAC;QAC/E,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE5C,uBAAuB;QACvB,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACzE,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,MAAc,EAAE,YAAoB,EAAE,OAAe;QACjE,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;QACzE,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,SAAS,MAAM,8BAA8B,CAAC,CAAC;QACjE,CAAC;QAED,IAAI,CAAC,WAAW,EAAE,CAAC;QAEnB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAE5C,MAAM,UAAU,GAAmB,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,YAA0B,EAAE,CAAC;QACnF,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEhD,IAAI,CAAC,eAAe,CAAC,aAAa,MAAM,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;IAC1F,CAAC;IAED;;;OAGG;IACH,QAAQ,CAAC,YAAoB;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC;QAC3C,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAE5B,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QAC7C,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QAEzB,6CAA6C;QAC7C,IAAI,CAAC,eAAe,CAClB,iBAAiB,cAAc,EAAE,EACjC,MAAM,EACN,aAAa,EACb,UAAU,EACV,YAAY,CACb,CAAC;QAEF,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,MAAc;QACrB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC;eACvD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;IACjE,CAAC;IAED;;OAEG;IACH,eAAe;QACb,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;IACpC,CAAC;IAED;;OAEG;IACH,mBAAmB;QACjB,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC;IACxC,CAAC;IAED;;OAEG;IACH,sBAAsB;QACpB,OAAO,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,eAAe;QACb,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC1C,OAAO;YACL,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC,QAAQ,CAAC,aAAa;YAC7C,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa;YACrC,MAAM;SACP,CAAC;IACJ,CAAC;IAED,4DAA4D;IAEpD,mBAAmB;QACzB,OAAO;YACL,OAAO,EAAE,OAAO;YAChB,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACvC,WAAW,EAAE,QAAQ;YACrB,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE;YACrC,aAAa,EAAE,EAAE;YACjB,WAAW,EAAE,EAAE;YACf,aAAa,EAAE,EAAE;SAClB,CAAC;IACJ,CAAC;IAEO,WAAW;QACjB,4CAA4C;QAC5C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAoB,CAAC;QAC9E,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEnC,wCAAwC;QACxC,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACpC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC9B,CAAC;IACH,CAAC;IAEO,gBAAgB;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3D,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/B,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAEO,eAAe,CACrB,UAAkB,EAClB,IAAsB,EACtB,MAAsC,EACtC,QAAgB,EAChB,UAAkB;QAElB,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAE3C,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC;YAC/B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,WAAW,EAAE,UAAU;YACvB,IAAI;YACJ,MAAM;YACN,SAAS,EAAE,QAAQ;YACnB,WAAW,EAAE,UAAU;YACvB,uBAAuB,EAAE,eAAe;YACxC,sBAAsB,EAAE,UAAU;SACnC,CAAC,CAAC;QAEH,IAAI,CAAC,QAAQ,CAAC,OAAO,GAAG,UAAU,CAAC;QACnC,IAAI,CAAC,QAAQ,CAAC,aAAa,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACvD,IAAI,CAAC,QAAQ,CAAC,WAAW,GAAG,UAAU,CAAC;IACzC,CAAC;IAEO,mBAAmB;QACzB,wDAAwD;QACxD,MAAM,IAAI,GAAG;YACX,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO;YAC9B,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK;YAC1B,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa;SAC3C,CAAC;QACF,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC;CACF"}

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

@@ -0,0 +1,35 @@
+import type { BoundaryClaim, BoundaryVerificationResult, CollusionEvent, AgentIdentity } from './types.js';
+export declare class CollusionDetector {
+    private events;
+    /**
+     * Check a verification result for collusion signals.
+     *
+     * Collusion is detected when:
+     * 1. Two LLM-backed agents agreed on a claim (Code + Review both say PASS)
+     * 2. The formal verifier disagrees (says FAIL)
+     *
+     * This catches the most dangerous failure mode: correlated LLM errors
+     * where agents trained on similar data share the same blind spots.
+     */
+    check(sourceAgent: AgentIdentity, targetAgent: AgentIdentity, claims: readonly BoundaryClaim[], result: BoundaryVerificationResult): CollusionEvent[];
+    /**
+     * Check if the collusion rate exceeds a threshold for a given agent pair.
+     * Returns true if the ratio of collusion events to total verifications
+     * exceeds the threshold (default: 20%).
+     */
+    isCollusionRateExcessive(agentA: string, agentB: string, totalVerifications: number, threshold?: number): boolean;
+    /** Get all collusion events. */
+    getAllEvents(): readonly CollusionEvent[];
+    /** Get collusion events for a specific agent. */
+    getEventsForAgent(agentId: string): readonly CollusionEvent[];
+    /** Get critical collusion events (security/data-loss claims). */
+    getCriticalEvents(): readonly CollusionEvent[];
+    /** Get collusion event count. */
+    getEventCount(): number;
+    /** Get unique agent pairs involved in collusion. */
+    getColludingPairs(): Array<{
+        agentA: string;
+        agentB: string;
+        count: number;
+    }>;
+}

package/dist/runtime/collusion-detector.js

@@ -0,0 +1,97 @@
+// ============================================================
+// Assay Verified Agent Runtime — Collusion Detector
+// Detects when LLM-backed agents agree on something the formal
+// verifier disagrees with. This is the anti-collusion primitive.
+// ============================================================
+import { randomUUID } from 'node:crypto';
+// ── Collusion Detector ─────────────────────────────────────
+export class CollusionDetector {
+    events = [];
+    /**
+     * Check a verification result for collusion signals.
+     *
+     * Collusion is detected when:
+     * 1. Two LLM-backed agents agreed on a claim (Code + Review both say PASS)
+     * 2. The formal verifier disagrees (says FAIL)
+     *
+     * This catches the most dangerous failure mode: correlated LLM errors
+     * where agents trained on similar data share the same blind spots.
+     */
+    check(sourceAgent, targetAgent, claims, result) {
+        const detected = [];
+        // Only check if both agents are LLM-backed (not formal)
+        if (sourceAgent.trustLevel === 'formal' || targetAgent.trustLevel === 'formal') {
+            return detected;
+        }
+        // Look for formal overrides — these are the collusion signals
+        for (const claim of claims) {
+            if (claim.formalOverride) {
+                // LLM said one thing, formal verifier said another
+                const event = {
+                    id: randomUUID(),
+                    agentA: sourceAgent.id,
+                    agentB: targetAgent.id,
+                    agreedVerdict: claim.formalOverride.originalLlmVerdict,
+                    formalVerdict: claim.formalOverride.formalVerdict,
+                    claimId: claim.id,
+                    claimText: claim.text,
+                    severity: claim.severity,
+                    timestamp: new Date().toISOString(),
+                };
+                detected.push(event);
+                this.events.push(event);
+            }
+        }
+        // Also check for suspicious patterns: both agents consistently
+        // passing claims that the formal stats show disagreement on
+        if (result.formalStats.disagreements > 0 && result.formalStats.formalOverrides > 0) {
+            // Each formal override where both LLM agents agreed is a collusion signal
+            // (already captured above via formalOverride on claims)
+        }
+        return detected;
+    }
+    /**
+     * Check if the collusion rate exceeds a threshold for a given agent pair.
+     * Returns true if the ratio of collusion events to total verifications
+     * exceeds the threshold (default: 20%).
+     */
+    isCollusionRateExcessive(agentA, agentB, totalVerifications, threshold = 0.2) {
+        const pairEvents = this.events.filter(e => (e.agentA === agentA && e.agentB === agentB) ||
+            (e.agentA === agentB && e.agentB === agentA));
+        if (totalVerifications === 0)
+            return false;
+        return pairEvents.length / totalVerifications > threshold;
+    }
+    /** Get all collusion events. */
+    getAllEvents() {
+        return this.events;
+    }
+    /** Get collusion events for a specific agent. */
+    getEventsForAgent(agentId) {
+        return this.events.filter(e => e.agentA === agentId || e.agentB === agentId);
+    }
+    /** Get critical collusion events (security/data-loss claims). */
+    getCriticalEvents() {
+        return this.events.filter(e => e.severity === 'critical' || e.severity === 'high');
+    }
+    /** Get collusion event count. */
+    getEventCount() {
+        return this.events.length;
+    }
+    /** Get unique agent pairs involved in collusion. */
+    getColludingPairs() {
+        const pairs = new Map();
+        for (const event of this.events) {
+            const key = [event.agentA, event.agentB].sort().join('::');
+            const existing = pairs.get(key);
+            if (existing) {
+                existing.count++;
+            }
+            else {
+                pairs.set(key, { agentA: event.agentA, agentB: event.agentB, count: 1 });
+            }
+        }
+        return Array.from(pairs.values());
+    }
+}
+//# sourceMappingURL=collusion-detector.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"collusion-detector.js","sourceRoot":"","sources":["../../src/runtime/collusion-detector.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,oDAAoD;AACpD,+DAA+D;AAC/D,iEAAiE;AACjE,+DAA+D;AAE/D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAQzC,8DAA8D;AAE9D,MAAM,OAAO,iBAAiB;IACpB,MAAM,GAAqB,EAAE,CAAC;IAEtC;;;;;;;;;OASG;IACH,KAAK,CACH,WAA0B,EAC1B,WAA0B,EAC1B,MAAgC,EAChC,MAAkC;QAElC,MAAM,QAAQ,GAAqB,EAAE,CAAC;QAEtC,wDAAwD;QACxD,IAAI,WAAW,CAAC,UAAU,KAAK,QAAQ,IAAI,WAAW,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;YAC/E,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,8DAA8D;QAC9D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;gBACzB,mDAAmD;gBACnD,MAAM,KAAK,GAAmB;oBAC5B,EAAE,EAAE,UAAU,EAAE;oBAChB,MAAM,EAAE,WAAW,CAAC,EAAE;oBACtB,MAAM,EAAE,WAAW,CAAC,EAAE;oBACtB,aAAa,EAAE,KAAK,CAAC,cAAc,CAAC,kBAAkB;oBACtD,aAAa,EAAE,KAAK,CAAC,cAAc,CAAC,aAAa;oBACjD,OAAO,EAAE,KAAK,CAAC,EAAE;oBACjB,SAAS,EAAE,KAAK,CAAC,IAAI;oBACrB,QAAQ,EAAE,KAAK,CAAC,QAAQ;oBACxB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACpC,CAAC;gBAEF,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QAED,+DAA+D;QAC/D,4DAA4D;QAC5D,IAAI,MAAM,CAAC,WAAW,CAAC,aAAa,GAAG,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,eAAe,GAAG,CAAC,EAAE,CAAC;YACnF,0EAA0E;YAC1E,wDAAwD;QAC1D,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;;;OAIG;IACH,wBAAwB,CACtB,MAAc,EACd,MAAc,EACd,kBAA0B,EAC1B,YAAoB,GAAG;QAEvB,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC;YAC5C,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAClD,CAAC;QACF,IAAI,kBAAkB,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3C,OAAO,UAAU,CAAC,MAAM,GAAG,kBAAkB,GAAG,SAAS,CAAC;IAC5D,CAAC;IAED,gCAAgC;IAChC,YAAY;QACV,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,iDAAiD;IACjD,iBAAiB,CAAC,OAAe;QAC/B,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;IAC/E,CAAC;IAED,iEAAiE;IACjE,iBAAiB;QACf,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;IACrF,CAAC;IAED,iCAAiC;IACjC,aAAa;QACX,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5B,CAAC;IAED,oDAAoD;IACpD,iBAAiB;QACf,MAAM,KAAK,GAAG,IAAI,GAAG,EAA6D,CAAC;QAEnF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3D,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,QAAQ,EAAE,CAAC;gBACb,QAAQ,CAAC,KAAK,EAAE,CAAC;YACnB,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACpC,CAAC;CACF"}

package/dist/runtime/composition-verifier.d.ts

@@ -0,0 +1,22 @@
+import type { AgentIdentity, BoundaryArtifact, VerifiedHandoff } from './types.js';
+export declare class CompositionVerifier {
+    private cachedIndex;
+    private codebaseRoot;
+    constructor(codebaseRoot: string);
+    /**
+     * Verify an artifact at a composition boundary between two agents.
+     * Returns a VerifiedHandoff with the verification result and handoff decision.
+     */
+    verifyHandoff(sourceAgent: AgentIdentity, targetAgent: AgentIdentity, artifact: BoundaryArtifact): Promise<VerifiedHandoff>;
+    /** Invalidate cached codebase index after code changes. */
+    invalidateIndex(): void;
+    private extractBoundaryClaims;
+    private verifyClaims;
+    private makeDecision;
+    private makePassResult;
+    private makeHandoff;
+    private artifactToDocument;
+    private getCodebaseIndex;
+    private inferCategory;
+    private inferSeverity;
+}

package/dist/runtime/composition-verifier.js

@@ -0,0 +1,265 @@
+// ============================================================
+// Assay Verified Agent Runtime — Composition Verifier
+// Verifies artifacts at every agent-to-agent boundary.
+// No artifact moves between agents without passing this gate.
+// ============================================================
+import { randomUUID } from 'node:crypto';
+import { extractClaims } from '../lib/claim-extractor.js';
+import { verifyClaims } from '../lib/code-verifier.js';
+import { indexCodebase } from '../lib/codebase-indexer.js';
+const TRUST_POLICIES = {
+    untrusted: { verifyAll: true, sampleRate: 1.0, requireFormalForCritical: true },
+    provisional: { verifyAll: true, sampleRate: 1.0, requireFormalForCritical: true },
+    trusted: { verifyAll: false, sampleRate: 0.2, requireFormalForCritical: true },
+    formal: { verifyAll: false, sampleRate: 0, requireFormalForCritical: false },
+};
+// ── CompositionVerifier ─────────────────────────────────────
+export class CompositionVerifier {
+    cachedIndex = null;
+    codebaseRoot;
+    constructor(codebaseRoot) {
+        this.codebaseRoot = codebaseRoot;
+    }
+    /**
+     * Verify an artifact at a composition boundary between two agents.
+     * Returns a VerifiedHandoff with the verification result and handoff decision.
+     */
+    async verifyHandoff(sourceAgent, targetAgent, artifact) {
+        const boundaryId = randomUUID();
+        const start = Date.now();
+        // Determine verification intensity based on source agent trust
+        const policy = TRUST_POLICIES[sourceAgent.trustLevel];
+        // Formal agents produce ground truth — skip verification
+        if (sourceAgent.trustLevel === 'formal') {
+            const passResult = this.makePassResult(boundaryId, start);
+            return this.makeHandoff(boundaryId, sourceAgent, targetAgent, artifact, passResult);
+        }
+        // Extract claims from the artifact
+        const claims = await this.extractBoundaryClaims(artifact, policy);
+        if (claims.length === 0) {
+            const passResult = this.makePassResult(boundaryId, start);
+            return this.makeHandoff(boundaryId, sourceAgent, targetAgent, artifact, passResult);
+        }
+        // Verify claims
+        const verificationResult = await this.verifyClaims(boundaryId, claims, start);
+        // Make handoff decision
+        const decision = this.makeDecision(verificationResult);
+        const boundary = {
+            id: boundaryId,
+            sourceAgent: sourceAgent.id,
+            targetAgent: targetAgent.id,
+            artifact,
+            extractedClaims: claims,
+            verificationResult,
+            timestamp: new Date().toISOString(),
+        };
+        return {
+            id: randomUUID(),
+            boundary,
+            artifact,
+            verificationResult,
+            decision,
+            timestamp: new Date().toISOString(),
+        };
+    }
+    /** Invalidate cached codebase index after code changes. */
+    invalidateIndex() {
+        this.cachedIndex = null;
+    }
+    // ── Private methods ─────────────────────────────────────
+    async extractBoundaryClaims(artifact, policy) {
+        // Build a document representation for claim extraction
+        const document = this.artifactToDocument(artifact);
+        try {
+            const { claims: rawClaims } = await extractClaims(document);
+            // Apply sampling if trusted agent
+            let claimsToVerify = rawClaims;
+            if (!policy.verifyAll && policy.sampleRate < 1.0) {
+                // Always include critical/high severity claims
+                // Sample from medium/low
+                const highPriority = rawClaims.filter(c => {
+                    const text = c.text?.toLowerCase() ?? '';
+                    return text.includes('security') || text.includes('injection') ||
+                        text.includes('authentication') || text.includes('authorization');
+                });
+                const rest = rawClaims.filter(c => !highPriority.includes(c));
+                const sampled = rest.filter(() => Math.random() < policy.sampleRate);
+                claimsToVerify = [...highPriority, ...sampled];
+            }
+            // Convert to BoundaryClaims (initially unverified)
+            return claimsToVerify.map((c, i) => ({
+                id: `${randomUUID().slice(0, 8)}-BC-${String(i + 1).padStart(3, '0')}`,
+                text: c.text || `Claim ${i + 1}`,
+                category: this.inferCategory(c.text || ''),
+                severity: this.inferSeverity(c.text || ''),
+                source: 'implicit',
+                verificationMethod: 'llm',
+                verdict: 'N/A',
+                evidence: '',
+            }));
+        }
+        catch {
+            return [];
+        }
+    }
+    async verifyClaims(boundaryId, claims, startTime) {
+        const index = await this.getCodebaseIndex();
+        // Convert BoundaryClaims to the Claim format that verifyClaims expects
+        const assayClaims = claims.map(c => ({
+            id: c.id,
+            text: c.text,
+            section: c.category,
+            category: c.category,
+            severity: c.severity,
+            testable: true,
+        }));
+        try {
+            const { verifications } = await verifyClaims(assayClaims, index);
+            // Map back to BoundaryClaims with verdicts
+            const verifiedClaims = claims.map((claim, i) => {
+                const v = verifications[i];
+                if (!v)
+                    return claim;
+                const avgConfidence = v.evidence?.length > 0
+                    ? v.evidence.reduce((sum, e) => sum + e.confidence, 0) / v.evidence.length
+                    : 0.5;
+                return {
+                    ...claim,
+                    verdict: v.verdict,
+                    verificationMethod: avgConfidence >= 0.95 ? 'formal' : 'llm',
+                    evidence: v.evidence?.map((e) => e.text ?? e.snippet ?? '').join('; ') ?? '',
+                };
+            });
+            const passed = verifiedClaims.filter(c => c.verdict === 'PASS').length;
+            const failed = verifiedClaims.filter(c => c.verdict === 'FAIL').length;
+            const partial = verifiedClaims.filter(c => c.verdict === 'PARTIAL').length;
+            const formallyVerified = verifiedClaims.filter(c => c.verificationMethod === 'formal').length;
+            const formalOverrides = verifiedClaims.filter(c => c.formalOverride).length;
+            const verdict = failed > 0 ? 'FAIL' :
+                partial > 0 ? 'PARTIAL' :
+                    'PASS';
+            return {
+                boundaryId,
+                passed,
+                failed,
+                partial,
+                total: verifiedClaims.length,
+                formalStats: {
+                    formallyVerified,
+                    llmVerified: verifiedClaims.length - formallyVerified,
+                    disagreements: formalOverrides,
+                    formalOverrides,
+                },
+                verdict,
+                blockers: verifiedClaims.filter(c => c.verdict === 'FAIL' && (c.severity === 'critical' || c.severity === 'high')),
+                durationMs: Date.now() - startTime,
+            };
+        }
+        catch {
+            // Verification pipeline error — report as partial
+            return {
+                boundaryId,
+                passed: 0,
+                failed: 0,
+                partial: claims.length,
+                total: claims.length,
+                formalStats: { formallyVerified: 0, llmVerified: 0, disagreements: 0, formalOverrides: 0 },
+                verdict: 'PARTIAL',
+                blockers: [],
+                durationMs: Date.now() - startTime,
+            };
+        }
+    }
+    makeDecision(result) {
+        // Any critical/high FAIL → reject
+        if (result.blockers.length > 0) {
+            return { action: 'reject', blockers: result.blockers };
+        }
+        // Any formal override → reject (formal verifier disagrees with LLM consensus)
+        if (result.formalStats.formalOverrides > 0) {
+            return { action: 'reject', blockers: result.blockers };
+        }
+        // Only low/medium failures → pass with warnings
+        if (result.failed > 0) {
+            const warnings = result.blockers; // already filtered to critical/high
+            return { action: 'pass_with_warnings', warnings };
+        }
+        // Too many partial results → escalate
+        if (result.partial > result.total * 0.5) {
+            return { action: 'escalate', reason: 'Too many ambiguous verification results' };
+        }
+        return { action: 'pass' };
+    }
+    makePassResult(boundaryId, startTime) {
+        return {
+            boundaryId,
+            passed: 0,
+            failed: 0,
+            partial: 0,
+            total: 0,
+            formalStats: { formallyVerified: 0, llmVerified: 0, disagreements: 0, formalOverrides: 0 },
+            verdict: 'PASS',
+            blockers: [],
+            durationMs: Date.now() - startTime,
+        };
+    }
+    makeHandoff(boundaryId, source, target, artifact, result) {
+        return {
+            id: randomUUID(),
+            boundary: {
+                id: boundaryId,
+                sourceAgent: source.id,
+                targetAgent: target.id,
+                artifact,
+                extractedClaims: [],
+                verificationResult: result,
+                timestamp: new Date().toISOString(),
+            },
+            artifact,
+            verificationResult: result,
+            decision: { action: 'pass' },
+            timestamp: new Date().toISOString(),
+        };
+    }
+    artifactToDocument(artifact) {
+        const header = `// Artifact type: ${artifact.type}\n`;
+        const pathLine = artifact.path ? `// Path: ${artifact.path}\n` : '';
+        const langLine = artifact.language ? `// Language: ${artifact.language}\n` : '';
+        return `${header}${pathLine}${langLine}\n${artifact.content}`;
+    }
+    async getCodebaseIndex() {
+        if (this.cachedIndex)
+            return this.cachedIndex;
+        this.cachedIndex = await indexCodebase(this.codebaseRoot);
+        return this.cachedIndex;
+    }
+    inferCategory(claimText) {
+        const lower = claimText.toLowerCase();
+        if (lower.includes('security') || lower.includes('injection') || lower.includes('xss'))
+            return 'security';
+        if (lower.includes('error') || lower.includes('exception') || lower.includes('null'))
+            return 'error-handling';
+        if (lower.includes('type') || lower.includes('interface'))
+            return 'type-safety';
+        if (lower.includes('test') || lower.includes('assert'))
+            return 'test-quality';
+        if (lower.includes('performance') || lower.includes('latency'))
+            return 'performance';
+        if (lower.includes('edge') || lower.includes('boundary'))
+            return 'edge-case';
+        if (lower.includes('complete') || lower.includes('implement'))
+            return 'completeness';
+        return 'correctness';
+    }
+    inferSeverity(claimText) {
+        const lower = claimText.toLowerCase();
+        if (lower.includes('injection') || lower.includes('auth') || lower.includes('secret'))
+            return 'critical';
+        if (lower.includes('error') || lower.includes('crash') || lower.includes('data loss'))
+            return 'high';
+        if (lower.includes('performance') || lower.includes('edge case'))
+            return 'medium';
+        return 'low';
+    }
+}
+//# sourceMappingURL=composition-verifier.js.map

package/dist/runtime/composition-verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"composition-verifier.js","sourceRoot":"","sources":["../../src/runtime/composition-verifier.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,sDAAsD;AACtD,uDAAuD;AACvD,8DAA8D;AAC9D,+DAA+D;AAE/D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAqB3D,MAAM,cAAc,GAA2C;IAC7D,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,wBAAwB,EAAE,IAAI,EAAE;IAC/E,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,wBAAwB,EAAE,IAAI,EAAE;IACjF,OAAO,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,wBAAwB,EAAE,IAAI,EAAE;IAC9E,MAAM,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,wBAAwB,EAAE,KAAK,EAAE;CAC7E,CAAC;AAEF,+DAA+D;AAE/D,MAAM,OAAO,mBAAmB;IACtB,WAAW,GAAyB,IAAI,CAAC;IACzC,YAAY,CAAS;IAE7B,YAAY,YAAoB;QAC9B,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;IACnC,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,aAAa,CACjB,WAA0B,EAC1B,WAA0B,EAC1B,QAA0B;QAE1B,MAAM,UAAU,GAAG,UAAU,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAEzB,+DAA+D;QAC/D,MAAM,MAAM,GAAG,cAAc,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAEtD,yDAAyD;QACzD,IAAI,WAAW,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;YACxC,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YAC1D,OAAO,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;QACtF,CAAC;QAED,mCAAmC;QACnC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,qBAAqB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAElE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YAC1D,OAAO,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;QACtF,CAAC;QAED,gBAAgB;QAChB,MAAM,kBAAkB,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QAE9E,wBAAwB;QACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,kBAAkB,CAAC,CAAC;QAEvD,MAAM,QAAQ,GAAwB;YACpC,EAAE,EAAE,UAAU;YACd,WAAW,EAAE,WAAW,CAAC,EAAE;YAC3B,WAAW,EAAE,WAAW,CAAC,EAAE;YAC3B,QAAQ;YACR,eAAe,EAAE,MAAM;YACvB,kBAAkB;YAClB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;QAEF,OAAO;YACL,EAAE,EAAE,UAAU,EAAE;YAChB,QAAQ;YACR,QAAQ;YACR,kBAAkB;YAClB,QAAQ;YACR,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;IACJ,CAAC;IAED,2DAA2D;IAC3D,eAAe;QACb,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,2DAA2D;IAEnD,KAAK,CAAC,qBAAqB,CACjC,QAA0B,EAC1B,MAA0B;QAE1B,uDAAuD;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAEnD,IAAI,CAAC;YACH,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,aAAa,CAAC,QAAQ,CAAC,CAAC;YAE5D,kCAAkC;YAClC,IAAI,cAAc,GAAG,SAAS,CAAC;YAC/B,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,UAAU,GAAG,GAAG,EAAE,CAAC;gBACjD,+CAA+C;gBAC/C,yBAAyB;gBACzB,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;oBACxC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;oBACzC,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;wBACvD,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;gBAC3E,CAAC,CAAC,CAAC;gBACH,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9D,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;gBACrE,cAAc,GAAG,CAAC,GAAG,YAAY,EAAE,GAAG,OAAO,CAAC,CAAC;YACjD,CAAC;YAED,mDAAmD;YACnD,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBACnC,EAAE,EAAE,GAAG,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;gBACtE,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE;gBAChC,QAAQ,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;gBAC1C,QAAQ,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;gBAC1C,MAAM,EAAE,UAAmB;gBAC3B,kBAAkB,EAAE,KAAc;gBAClC,OAAO,EAAE,KAAc;gBACvB,QAAQ,EAAE,EAAE;aACb,CAAC,CAAC,CAAC;QACN,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,YAAY,CACxB,UAAkB,EAClB,MAAuB,EACvB,SAAiB;QAEjB,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAE5C,uEAAuE;QACvE,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnC,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,QAAQ;YACnB,QAAQ,EAAE,CAAC,CAAC,QAAmF;YAC/F,QAAQ,EAAE,CAAC,CAAC,QAAkD;YAC9D,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC,CAAC;QAEJ,IAAI,CAAC;YACH,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAEjE,2CAA2C;YAC3C,MAAM,cAAc,GAAoB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;gBAC9D,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;gBAC3B,IAAI,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAErB,MAAM,aAAa,GAAG,CAAC,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC;oBAC1C,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAW,EAAE,CAAyB,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM;oBAC1G,CAAC,CAAC,GAAG,CAAC;gBAER,OAAO;oBACL,GAAG,KAAK;oBACR,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,kBAAkB,EAAE,aAAa,IAAI,IAAI,CAAC,CAAC,CAAC,QAAiB,CAAC,CAAC,CAAC,KAAc;oBAC9E,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAsC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;iBAClH,CAAC;YACJ,CAAC,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;YACvE,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;YACvE,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;YAC3E,MAAM,gBAAgB,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,kBAAkB,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;YAC9F,MAAM,eAAe,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC;YAE5E,MAAM,OAAO,GACX,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACrB,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;oBACzB,MAAM,CAAC;YAET,OAAO;gBACL,UAAU;gBACV,MAAM;gBACN,MAAM;gBACN,OAAO;gBACP,KAAK,EAAE,cAAc,CAAC,MAAM;gBAC5B,WAAW,EAAE;oBACX,gBAAgB;oBAChB,WAAW,EAAE,cAAc,CAAC,MAAM,GAAG,gBAAgB;oBACrD,aAAa,EAAE,eAAe;oBAC9B,eAAe;iBAChB;gBACD,OAAO;gBACP,QAAQ,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAClC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAC7E;gBACD,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aACnC,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,kDAAkD;YAClD,OAAO;gBACL,UAAU;gBACV,MAAM,EAAE,CAAC;gBACT,MAAM,EAAE,CAAC;gBACT,OAAO,EAAE,MAAM,CAAC,MAAM;gBACtB,KAAK,EAAE,MAAM,CAAC,MAAM;gBACpB,WAAW,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE;gBAC1F,OAAO,EAAE,SAAS;gBAClB,QAAQ,EAAE,EAAE;gBACZ,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aACnC,CAAC;QACJ,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,MAAkC;QACrD,kCAAkC;QAClC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;QACzD,CAAC;QACD,8EAA8E;QAC9E,IAAI,MAAM,CAAC,WAAW,CAAC,eAAe,GAAG,CAAC,EAAE,CAAC;YAC3C,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;QACzD,CAAC;QACD,gDAAgD;QAChD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,oCAAoC;YACtE,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,QAAQ,EAAE,CAAC;QACpD,CAAC;QACD,sCAAsC;QACtC,IAAI,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,KAAK,GAAG,GAAG,EAAE,CAAC;YACxC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,yCAAyC,EAAE,CAAC;QACnF,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC5B,CAAC;IAEO,cAAc,CAAC,UAAkB,EAAE,SAAiB;QAC1D,OAAO;YACL,UAAU;YACV,MAAM,EAAE,CAAC;YACT,MAAM,EAAE,CAAC;YACT,OAAO,EAAE,CAAC;YACV,KAAK,EAAE,CAAC;YACR,WAAW,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE;YAC1F,OAAO,EAAE,MAAM;YACf,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACnC,CAAC;IACJ,CAAC;IAEO,WAAW,CACjB,UAAkB,EAClB,MAAqB,EACrB,MAAqB,EACrB,QAA0B,EAC1B,MAAkC;QAElC,OAAO;YACL,EAAE,EAAE,UAAU,EAAE;YAChB,QAAQ,EAAE;gBACR,EAAE,EAAE,UAAU;gBACd,WAAW,EAAE,MAAM,CAAC,EAAE;gBACtB,WAAW,EAAE,MAAM,CAAC,EAAE;gBACtB,QAAQ;gBACR,eAAe,EAAE,EAAE;gBACnB,kBAAkB,EAAE,MAAM;gBAC1B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC;YACD,QAAQ;YACR,kBAAkB,EAAE,MAAM;YAC1B,QAAQ,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;YAC5B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;IACJ,CAAC;IAEO,kBAAkB,CAAC,QAA0B;QACnD,MAAM,MAAM,GAAG,qBAAqB,QAAQ,CAAC,IAAI,IAAI,CAAC;QACtD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,QAAQ,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,OAAO,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC;IAChE,CAAC;IAEO,KAAK,CAAC,gBAAgB;QAC5B,IAAI,IAAI,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC;QAC9C,IAAI,CAAC,WAAW,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC1D,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IAEO,aAAa,CAAC,SAAiB;QACrC,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC;QAC1G,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,gBAAgB,CAAC;QAC9G,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,OAAO,aAAa,CAAC;QAChF,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,OAAO,cAAc,CAAC;QAC9E,IAAI,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,OAAO,aAAa,CAAC;QACrF,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;YAAE,OAAO,WAAW,CAAC;QAC7E,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,OAAO,cAAc,CAAC;QACrF,OAAO,aAAa,CAAC;IACvB,CAAC;IAEO,aAAa,CAAC,SAAiB;QACrC,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,OAAO,UAAU,CAAC;QACzG,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,OAAO,MAAM,CAAC;QACrG,IAAI,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,OAAO,QAAQ,CAAC;QAClF,OAAO,KAAK,CAAC;IACf,CAAC;CACF"}

package/dist/runtime/confidence-calibrator.d.ts

@@ -0,0 +1,10 @@
+import type { Experience, CalibrationProfile } from './types.js';
+export declare class ConfidenceCalibrator {
+    private profiles;
+    constructor(initial?: CalibrationProfile[]);
+    calibrate(domain: string, statedConfidence: number): number;
+    update(experience: Experience): Promise<void>;
+    getProfile(domain: string): CalibrationProfile | null;
+    getAllProfiles(): CalibrationProfile[];
+    load(profiles: CalibrationProfile[]): void;
+}