tryassay 0.3.0 → 0.11.0

package/dist/runtime/safety-enforcer.js

@@ -0,0 +1,165 @@
+// ============================================================
+// Assay Verified Agent Runtime — Safety Policy Enforcer
+// Circuit breakers that halt the system when safety thresholds
+// are exceeded. Integrates trust, collusion, and stall signals.
+// ============================================================
+import { randomUUID } from 'node:crypto';
+// ── Safety Enforcer ────────────────────────────────────────
+export class SafetyEnforcer {
+    policy;
+    trustManager;
+    collusionDetector;
+    escalationManager;
+    breakers = [];
+    halted = false;
+    haltReason = null;
+    constructor(policy, trustManager, collusionDetector, escalationManager) {
+        this.policy = policy;
+        this.trustManager = trustManager;
+        this.collusionDetector = collusionDetector;
+        this.escalationManager = escalationManager;
+        // Initialize circuit breakers
+        this.breakers = [
+            {
+                id: randomUUID(),
+                rule: 'max_formal_overrides_per_session',
+                currentValue: 0,
+                threshold: policy.escalationRules.maxFormalOverridesBeforeHalt,
+                tripped: false,
+                action: 'halt',
+            },
+            {
+                id: randomUUID(),
+                rule: 'max_trust_demotions_per_agent',
+                currentValue: 0,
+                threshold: policy.escalationRules.maxTrustDemotions,
+                tripped: false,
+                action: 'escalate',
+            },
+            {
+                id: randomUUID(),
+                rule: 'max_reject_cycles_per_task',
+                currentValue: 0,
+                threshold: policy.escalationRules.maxRejectCyclesPerTask,
+                tripped: false,
+                action: 'escalate',
+            },
+            {
+                id: randomUUID(),
+                rule: 'critical_collusion_detected',
+                currentValue: 0,
+                threshold: 1,
+                tripped: false,
+                action: 'halt',
+            },
+        ];
+    }
+    /**
+     * Check all safety signals and trip breakers if thresholds exceeded.
+     * Returns whether the system should halt.
+     */
+    evaluate(context) {
+        if (this.halted) {
+            return { shouldHalt: true, trippedBreakers: [], reason: this.haltReason };
+        }
+        const tripped = [];
+        // Check formal override count across all agents
+        const allAgents = this.trustManager.getAllAgents();
+        let totalOverrides = 0;
+        let maxDemotions = 0;
+        for (const agent of allAgents) {
+            const stats = this.trustManager.getSessionStats(agent.id);
+            totalOverrides += stats.overrides;
+            if (stats.demotions > maxDemotions) {
+                maxDemotions = stats.demotions;
+            }
+        }
+        // Formal override breaker
+        const overrideBreaker = this.breakers.find(b => b.rule === 'max_formal_overrides_per_session');
+        overrideBreaker.currentValue = totalOverrides;
+        if (totalOverrides >= overrideBreaker.threshold && !overrideBreaker.tripped) {
+            overrideBreaker.tripped = true;
+            overrideBreaker.trippedAt = new Date().toISOString();
+            tripped.push(overrideBreaker);
+        }
+        // Trust demotion breaker
+        const demotionBreaker = this.breakers.find(b => b.rule === 'max_trust_demotions_per_agent');
+        demotionBreaker.currentValue = maxDemotions;
+        if (maxDemotions >= demotionBreaker.threshold && !demotionBreaker.tripped) {
+            demotionBreaker.tripped = true;
+            demotionBreaker.trippedAt = new Date().toISOString();
+            tripped.push(demotionBreaker);
+            // Find which agent triggered this
+            const collapsedAgent = allAgents.find(a => {
+                const stats = this.trustManager.getSessionStats(a.id);
+                return stats.demotions >= demotionBreaker.threshold;
+            });
+            if (collapsedAgent) {
+                this.escalationManager.escalateTrustCollapse(collapsedAgent.id, maxDemotions, context);
+            }
+        }
+        // Critical collusion breaker
+        const collusionBreaker = this.breakers.find(b => b.rule === 'critical_collusion_detected');
+        const criticalCollusions = this.collusionDetector.getCriticalEvents();
+        collusionBreaker.currentValue = criticalCollusions.length;
+        if (criticalCollusions.length >= collusionBreaker.threshold && !collusionBreaker.tripped) {
+            collusionBreaker.tripped = true;
+            collusionBreaker.trippedAt = new Date().toISOString();
+            tripped.push(collusionBreaker);
+            // Escalate each critical collusion event
+            for (const event of criticalCollusions) {
+                this.escalationManager.escalateCollusion(event, context);
+            }
+        }
+        // Determine if we should halt
+        const haltBreakers = tripped.filter(b => b.action === 'halt');
+        if (haltBreakers.length > 0) {
+            this.halted = true;
+            this.haltReason = `Safety halt: ${haltBreakers.map(b => b.rule).join(', ')}`;
+        }
+        return {
+            shouldHalt: this.halted,
+            trippedBreakers: tripped,
+            reason: this.haltReason,
+        };
+    }
+    /**
+     * Check if a specific task has exceeded reject cycles.
+     */
+    checkTaskRejectCycles(taskId, attempts, context) {
+        const rejectBreaker = this.breakers.find(b => b.rule === 'max_reject_cycles_per_task');
+        if (attempts >= rejectBreaker.threshold) {
+            rejectBreaker.currentValue = attempts;
+            if (!rejectBreaker.tripped) {
+                rejectBreaker.tripped = true;
+                rejectBreaker.trippedAt = new Date().toISOString();
+            }
+            this.escalationManager.escalateStall([{ taskId, type: 'reject_loop', duration: 0, attempts, suggestedAction: 'escalate' }], context);
+            return true;
+        }
+        return false;
+    }
+    /** Get all circuit breakers and their states. */
+    getBreakers() {
+        return this.breakers;
+    }
+    /** Check if the system is halted. */
+    isHalted() {
+        return this.halted;
+    }
+    /** Get the halt reason if halted. */
+    getHaltReason() {
+        return this.haltReason;
+    }
+    /** Reset all circuit breakers (e.g., after human intervention). */
+    reset() {
+        this.halted = false;
+        this.haltReason = null;
+        for (const breaker of this.breakers) {
+            breaker.tripped = false;
+            breaker.currentValue = 0;
+            delete breaker.trippedAt;
+        }
+    }
+}
+//# sourceMappingURL=safety-enforcer.js.map

package/dist/runtime/safety-enforcer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"safety-enforcer.js","sourceRoot":"","sources":["../../src/runtime/safety-enforcer.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,wDAAwD;AACxD,+DAA+D;AAC/D,gEAAgE;AAChE,+DAA+D;AAE/D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAWzC,8DAA8D;AAE9D,MAAM,OAAO,cAAc;IACjB,MAAM,CAAe;IACrB,YAAY,CAAe;IAC3B,iBAAiB,CAAoB;IACrC,iBAAiB,CAAyB;IAC1C,QAAQ,GAA2B,EAAE,CAAC;IACtC,MAAM,GAAY,KAAK,CAAC;IACxB,UAAU,GAAkB,IAAI,CAAC;IAEzC,YACE,MAAoB,EACpB,YAA0B,EAC1B,iBAAoC,EACpC,iBAAyC;QAEzC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,IAAI,CAAC,iBAAiB,GAAG,iBAAiB,CAAC;QAC3C,IAAI,CAAC,iBAAiB,GAAG,iBAAiB,CAAC;QAE3C,8BAA8B;QAC9B,IAAI,CAAC,QAAQ,GAAG;YACd;gBACE,EAAE,EAAE,UAAU,EAAE;gBAChB,IAAI,EAAE,kCAAkC;gBACxC,YAAY,EAAE,CAAC;gBACf,SAAS,EAAE,MAAM,CAAC,eAAe,CAAC,4BAA4B;gBAC9D,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,MAAM;aACf;YACD;gBACE,EAAE,EAAE,UAAU,EAAE;gBAChB,IAAI,EAAE,+BAA+B;gBACrC,YAAY,EAAE,CAAC;gBACf,SAAS,EAAE,MAAM,CAAC,eAAe,CAAC,iBAAiB;gBACnD,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,UAAU;aACnB;YACD;gBACE,EAAE,EAAE,UAAU,EAAE;gBAChB,IAAI,EAAE,4BAA4B;gBAClC,YAAY,EAAE,CAAC;gBACf,SAAS,EAAE,MAAM,CAAC,eAAe,CAAC,sBAAsB;gBACxD,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,UAAU;aACnB;YACD;gBACE,EAAE,EAAE,UAAU,EAAE;gBAChB,IAAI,EAAE,6BAA6B;gBACnC,YAAY,EAAE,CAAC;gBACf,SAAS,EAAE,CAAC;gBACZ,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,MAAM;aACf;SACF,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,QAAQ,CAAC,OAA0B;QAKjC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;QAC5E,CAAC;QAED,MAAM,OAAO,GAA2B,EAAE,CAAC;QAE3C,gDAAgD;QAChD,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,YAAY,EAAE,CAAC;QACnD,IAAI,cAAc,GAAG,CAAC,CAAC;QACvB,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC1D,cAAc,IAAI,KAAK,CAAC,SAAS,CAAC;YAClC,IAAI,KAAK,CAAC,SAAS,GAAG,YAAY,EAAE,CAAC;gBACnC,YAAY,GAAG,KAAK,CAAC,SAAS,CAAC;YACjC,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kCAAkC,CAAE,CAAC;QAC/F,eAA4C,CAAC,YAAY,GAAG,cAAc,CAAC;QAC5E,IAAI,cAAc,IAAI,eAAe,CAAC,SAAS,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC;YAC3E,eAAwC,CAAC,OAAO,GAAG,IAAI,CAAC;YACxD,eAAyC,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAChF,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAChC,CAAC;QAED,yBAAyB;QACzB,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,+BAA+B,CAAE,CAAC;QAC5F,eAA4C,CAAC,YAAY,GAAG,YAAY,CAAC;QAC1E,IAAI,YAAY,IAAI,eAAe,CAAC,SAAS,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC;YACzE,eAAwC,CAAC,OAAO,GAAG,IAAI,CAAC;YACxD,eAAyC,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAChF,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAE9B,kCAAkC;YAClC,MAAM,cAAc,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;gBACxC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACtD,OAAO,KAAK,CAAC,SAAS,IAAI,eAAe,CAAC,SAAS,CAAC;YACtD,CAAC,CAAC,CAAC;YACH,IAAI,cAAc,EAAE,CAAC;gBACnB,IAAI,CAAC,iBAAiB,CAAC,qBAAqB,CAC1C,cAAc,CAAC,EAAE,EACjB,YAAY,EACZ,OAAO,CACR,CAAC;YACJ,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,MAAM,gBAAgB,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,6BAA6B,CAAE,CAAC;QAC5F,MAAM,kBAAkB,GAAG,IAAI,CAAC,iBAAiB,CAAC,iBAAiB,EAAE,CAAC;QACrE,gBAA6C,CAAC,YAAY,GAAG,kBAAkB,CAAC,MAAM,CAAC;QACxF,IAAI,kBAAkB,CAAC,MAAM,IAAI,gBAAgB,CAAC,SAAS,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC;YACxF,gBAAyC,CAAC,OAAO,GAAG,IAAI,CAAC;YACzD,gBAA0C,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACjF,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAE/B,yCAAyC;YACzC,KAAK,MAAM,KAAK,IAAI,kBAAkB,EAAE,CAAC;gBACvC,IAAI,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QAED,8BAA8B;QAC9B,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QAC9D,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;YACnB,IAAI,CAAC,UAAU,GAAG,gBAAgB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,CAAC;QAED,OAAO;YACL,UAAU,EAAE,IAAI,CAAC,MAAM;YACvB,eAAe,EAAE,OAAO;YACxB,MAAM,EAAE,IAAI,CAAC,UAAU;SACxB,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,qBAAqB,CAAC,MAAc,EAAE,QAAgB,EAAE,OAA0B;QAChF,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,4BAA4B,CAAE,CAAC;QACxF,IAAI,QAAQ,IAAI,aAAa,CAAC,SAAS,EAAE,CAAC;YACvC,aAA0C,CAAC,YAAY,GAAG,QAAQ,CAAC;YACpE,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC;gBAC1B,aAAsC,CAAC,OAAO,GAAG,IAAI,CAAC;gBACtD,aAAuC,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAChF,CAAC;YACD,IAAI,CAAC,iBAAiB,CAAC,aAAa,CAClC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC,EACrF,OAAO,CACR,CAAC;YACF,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,iDAAiD;IACjD,WAAW;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED,qCAAqC;IACrC,QAAQ;QACN,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,qCAAqC;IACrC,aAAa;QACX,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,mEAAmE;IACnE,KAAK;QACH,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;QACvB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnC,OAAgC,CAAC,OAAO,GAAG,KAAK,CAAC;YACjD,OAAoC,CAAC,YAAY,GAAG,CAAC,CAAC;YACvD,OAAQ,OAAkC,CAAC,SAAS,CAAC;QACvD,CAAC;IACH,CAAC;CACF"}

package/dist/runtime/safety-status.d.ts

@@ -0,0 +1,48 @@
+import { Layer2Guardian } from './layer2-guardian.js';
+import { KillSwitch } from './kill-switch.js';
+import { RollbackManager } from './rollback-manager.js';
+import type { IntegrityCheckResult, KillSwitchEvent, RollbackEvent } from './types.js';
+export interface SafetyReport {
+    readonly timestamp: string;
+    readonly overall_status: 'safe' | 'degraded' | 'critical' | 'halted';
+    readonly layer2: {
+        readonly integrity: IntegrityCheckResult | null;
+        readonly manifest_present: boolean;
+        readonly permissions_valid: boolean;
+        readonly permission_findings: readonly {
+            path: string;
+            issue: string;
+        }[];
+    };
+    readonly kill_switch: {
+        readonly system_halted: boolean;
+        readonly suspended_count: number;
+        readonly suspended_entities: readonly {
+            target: string;
+            level: string;
+            reason: string;
+            since: string;
+        }[];
+        readonly recent_events: readonly KillSwitchEvent[];
+    };
+    readonly rollback: {
+        readonly total_rollbacks: number;
+        readonly recent_rollbacks: readonly RollbackEvent[];
+        readonly auto_rollbacks: number;
+        readonly human_rollbacks: number;
+        readonly layer2_rollbacks: number;
+    };
+    readonly recommendations: readonly string[];
+}
+export declare class SafetyStatusReporter {
+    private guardian;
+    private killSwitch;
+    private rollbackManager;
+    constructor(guardian: Layer2Guardian, killSwitch: KillSwitch, rollbackManager: RollbackManager);
+    /**
+     * Generate a comprehensive safety status report.
+     */
+    generateReport(): Promise<SafetyReport>;
+    private determineOverallStatus;
+    private generateRecommendations;
+}

package/dist/runtime/safety-status.js

@@ -0,0 +1,119 @@
+// ============================================================
+// Assay Verified Agent Runtime — Safety Status Reporter
+// Aggregates all safety subsystems into a single report:
+// - Layer 2 integrity
+// - Kill switch state
+// - Rollback history
+// - Suspended entities
+// - Overall safety posture
+// ============================================================
+// ── Safety Status Reporter ─────────────────────────────
+export class SafetyStatusReporter {
+    guardian;
+    killSwitch;
+    rollbackManager;
+    constructor(guardian, killSwitch, rollbackManager) {
+        this.guardian = guardian;
+        this.killSwitch = killSwitch;
+        this.rollbackManager = rollbackManager;
+    }
+    /**
+     * Generate a comprehensive safety status report.
+     */
+    async generateReport() {
+        // Layer 2 status
+        const audit = await this.guardian.fullAudit();
+        // Kill switch status
+        const suspended = this.killSwitch.getSuspended();
+        const suspendedEntries = Array.from(suspended.entries()).map(([target, event]) => ({
+            target,
+            level: event.level,
+            reason: event.reason,
+            since: event.timestamp,
+        }));
+        const ksEvents = this.killSwitch.getEventLog();
+        const recentKsEvents = ksEvents.slice(-10); // Last 10 events
+        // Rollback status
+        const rollbackHistory = this.rollbackManager.getHistory();
+        const recentRollbacks = rollbackHistory.slice(-10);
+        const autoRollbacks = rollbackHistory.filter(r => r.trigger === 'automatic').length;
+        const humanRollbacks = rollbackHistory.filter(r => r.trigger === 'human').length;
+        const layer2Rollbacks = rollbackHistory.filter(r => r.trigger === 'layer2').length;
+        // Recommendations
+        const recommendations = this.generateRecommendations(audit, suspended.size, rollbackHistory);
+        // Overall status
+        const overallStatus = this.determineOverallStatus(audit, this.killSwitch.isSystemHalted(), suspended.size, rollbackHistory);
+        return {
+            timestamp: new Date().toISOString(),
+            overall_status: overallStatus,
+            layer2: {
+                integrity: audit.integrity,
+                manifest_present: audit.manifestPresent,
+                permissions_valid: audit.permissions.valid,
+                permission_findings: audit.permissions.findings,
+            },
+            kill_switch: {
+                system_halted: this.killSwitch.isSystemHalted(),
+                suspended_count: suspended.size,
+                suspended_entities: suspendedEntries,
+                recent_events: recentKsEvents,
+            },
+            rollback: {
+                total_rollbacks: rollbackHistory.length,
+                recent_rollbacks: recentRollbacks,
+                auto_rollbacks: autoRollbacks,
+                human_rollbacks: humanRollbacks,
+                layer2_rollbacks: layer2Rollbacks,
+            },
+            recommendations,
+        };
+    }
+    // ── Private helpers ────────────────────────────────────
+    determineOverallStatus(audit, systemHalted, suspendedCount, rollbackHistory) {
+        if (systemHalted)
+            return 'halted';
+        if (audit.integrity.overall === 'violation')
+            return 'critical';
+        if (!audit.manifestPresent)
+            return 'degraded';
+        if (!audit.permissions.valid)
+            return 'degraded';
+        // Recent rollbacks indicate instability
+        const recentRollbacks = rollbackHistory.filter(r => {
+            const age = Date.now() - new Date(r.timestamp).getTime();
+            return age < 60 * 60 * 1000; // Last hour
+        });
+        if (recentRollbacks.length >= 3)
+            return 'degraded';
+        if (suspendedCount > 0)
+            return 'degraded';
+        return 'safe';
+    }
+    generateRecommendations(audit, suspendedCount, rollbackHistory) {
+        const recommendations = [];
+        if (!audit.manifestPresent) {
+            recommendations.push('No Layer 2 manifest found. Run "tryassay runtime safety sign" to generate one.');
+        }
+        if (audit.integrity.overall === 'violation') {
+            recommendations.push('CRITICAL: Layer 2 integrity violation detected. Redeploy verified Layer 2 artifacts immediately.');
+        }
+        if (!audit.permissions.valid) {
+            for (const finding of audit.permissions.findings) {
+                recommendations.push(`Fix permissions: ${finding.path} — ${finding.issue}`);
+            }
+        }
+        if (suspendedCount > 0) {
+            recommendations.push(`${suspendedCount} entity(ies) currently suspended. Review and release or replace.`);
+        }
+        // Check for repeated auto-rollbacks (indicates systemic issue)
+        const autoRollbacks = rollbackHistory.filter(r => r.trigger === 'automatic');
+        if (autoRollbacks.length >= 5) {
+            recommendations.push(`${autoRollbacks.length} automatic rollbacks recorded. Review tool/rule quality before deploying new capabilities.`);
+        }
+        if (recommendations.length === 0) {
+            recommendations.push('All safety systems operating normally.');
+        }
+        return recommendations;
+    }
+}
+//# sourceMappingURL=safety-status.js.map

package/dist/runtime/safety-status.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"safety-status.js","sourceRoot":"","sources":["../../src/runtime/safety-status.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,wDAAwD;AACxD,yDAAyD;AACzD,sBAAsB;AACtB,sBAAsB;AACtB,qBAAqB;AACrB,uBAAuB;AACvB,2BAA2B;AAC3B,+DAA+D;AA+C/D,0DAA0D;AAE1D,MAAM,OAAO,oBAAoB;IACvB,QAAQ,CAAiB;IACzB,UAAU,CAAa;IACvB,eAAe,CAAkB;IAEzC,YACE,QAAwB,EACxB,UAAsB,EACtB,eAAgC;QAEhC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,eAAe,GAAG,eAAe,CAAC;IACzC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,cAAc;QAClB,iBAAiB;QACjB,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;QAE9C,qBAAqB;QACrB,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;QACjD,MAAM,gBAAgB,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YACjF,MAAM;YACN,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,KAAK,EAAE,KAAK,CAAC,SAAS;SACvB,CAAC,CAAC,CAAC;QAEJ,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC/C,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB;QAE7D,kBAAkB;QAClB,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC;QAC1D,MAAM,eAAe,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;QACpF,MAAM,cAAc,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;QACjF,MAAM,eAAe,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;QAEnF,kBAAkB;QAClB,MAAM,eAAe,GAAG,IAAI,CAAC,uBAAuB,CAClD,KAAK,EACL,SAAS,CAAC,IAAI,EACd,eAAe,CAChB,CAAC;QAEF,iBAAiB;QACjB,MAAM,aAAa,GAAG,IAAI,CAAC,sBAAsB,CAC/C,KAAK,EACL,IAAI,CAAC,UAAU,CAAC,cAAc,EAAE,EAChC,SAAS,CAAC,IAAI,EACd,eAAe,CAChB,CAAC;QAEF,OAAO;YACL,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,cAAc,EAAE,aAAa;YAC7B,MAAM,EAAE;gBACN,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,gBAAgB,EAAE,KAAK,CAAC,eAAe;gBACvC,iBAAiB,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK;gBAC1C,mBAAmB,EAAE,KAAK,CAAC,WAAW,CAAC,QAAQ;aAChD;YACD,WAAW,EAAE;gBACX,aAAa,EAAE,IAAI,CAAC,UAAU,CAAC,cAAc,EAAE;gBAC/C,eAAe,EAAE,SAAS,CAAC,IAAI;gBAC/B,kBAAkB,EAAE,gBAAgB;gBACpC,aAAa,EAAE,cAAc;aAC9B;YACD,QAAQ,EAAE;gBACR,eAAe,EAAE,eAAe,CAAC,MAAM;gBACvC,gBAAgB,EAAE,eAAe;gBACjC,cAAc,EAAE,aAAa;gBAC7B,eAAe,EAAE,cAAc;gBAC/B,gBAAgB,EAAE,eAAe;aAClC;YACD,eAAe;SAChB,CAAC;IACJ,CAAC;IAED,0DAA0D;IAElD,sBAAsB,CAC5B,KAKC,EACD,YAAqB,EACrB,cAAsB,EACtB,eAAyC;QAEzC,IAAI,YAAY;YAAE,OAAO,QAAQ,CAAC;QAElC,IAAI,KAAK,CAAC,SAAS,CAAC,OAAO,KAAK,WAAW;YAAE,OAAO,UAAU,CAAC;QAE/D,IAAI,CAAC,KAAK,CAAC,eAAe;YAAE,OAAO,UAAU,CAAC;QAE9C,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK;YAAE,OAAO,UAAU,CAAC;QAEhD,wCAAwC;QACxC,MAAM,eAAe,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YACjD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC;YACzD,OAAO,GAAG,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY;QAC3C,CAAC,CAAC,CAAC;QACH,IAAI,eAAe,CAAC,MAAM,IAAI,CAAC;YAAE,OAAO,UAAU,CAAC;QAEnD,IAAI,cAAc,GAAG,CAAC;YAAE,OAAO,UAAU,CAAC;QAE1C,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,uBAAuB,CAC7B,KAKC,EACD,cAAsB,EACtB,eAAyC;QAEzC,MAAM,eAAe,GAAa,EAAE,CAAC;QAErC,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,CAAC;YAC3B,eAAe,CAAC,IAAI,CAClB,gFAAgF,CACjF,CAAC;QACJ,CAAC;QAED,IAAI,KAAK,CAAC,SAAS,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;YAC5C,eAAe,CAAC,IAAI,CAClB,kGAAkG,CACnG,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YAC7B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;gBACjD,eAAe,CAAC,IAAI,CAClB,oBAAoB,OAAO,CAAC,IAAI,MAAM,OAAO,CAAC,KAAK,EAAE,CACtD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;YACvB,eAAe,CAAC,IAAI,CAClB,GAAG,cAAc,kEAAkE,CACpF,CAAC;QACJ,CAAC;QAED,+DAA+D;QAC/D,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC;QAC7E,IAAI,aAAa,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC9B,eAAe,CAAC,IAAI,CAClB,GAAG,aAAa,CAAC,MAAM,4FAA4F,CACpH,CAAC;QACJ,CAAC;QAED,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,eAAe,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;QACjE,CAAC;QAED,OAAO,eAAe,CAAC;IACzB,CAAC;CACF"}

package/dist/runtime/shadow-runner.d.ts

@@ -0,0 +1,14 @@
+import type { RuleCandidate, ShadowResult, ShadowStats, PromotionDecision, VerificationClaim } from './types.js';
+export declare class ShadowRunner {
+    private candidates;
+    private results;
+    deploy(candidate: RuleCandidate): Promise<void>;
+    evaluate(claim: VerificationClaim, code: string, language: string): ShadowResult | null;
+    getStats(candidateId: string): ShadowStats | null;
+    checkPromotions(): PromotionDecision[];
+    applyDecisions(decisions: PromotionDecision[]): void;
+    getActiveCandidates(): RuleCandidate[];
+    getAllCandidates(): RuleCandidate[];
+    load(candidates: RuleCandidate[], results?: Map<string, ShadowResult[]>): void;
+    private inferCategory;
+}

package/dist/runtime/shadow-runner.js

@@ -0,0 +1,190 @@
+// ============================================================
+// Assay Verified Agent Runtime — Shadow Runner
+// Deploys rule candidates alongside real verification traffic.
+// Evaluates without blocking. Auto-promotes after accuracy threshold.
+// ============================================================
+import { randomUUID } from 'node:crypto';
+export class ShadowRunner {
+    candidates = new Map();
+    results = new Map();
+    async deploy(candidate) {
+        candidate.status = 'shadow';
+        this.candidates.set(candidate.id, candidate);
+        this.results.set(candidate.id, []);
+    }
+    evaluate(claim, code, language) {
+        // Find applicable shadow candidates
+        for (const [id, candidate] of this.candidates) {
+            if (candidate.status !== 'shadow')
+                continue;
+            if (candidate.language !== language)
+                continue;
+            // Check if this candidate's claim category matches
+            const claimCategory = this.inferCategory(claim.text);
+            if (claimCategory !== candidate.claimCategory)
+                continue;
+            // Run the shadow rule
+            let formalVerdict;
+            if (candidate.substrate === 'regex') {
+                try {
+                    const regex = new RegExp(candidate.pattern, 'gm');
+                    const matches = regex.test(code);
+                    regex.lastIndex = 0;
+                    formalVerdict = matches ? 'FAIL' : 'PASS';
+                }
+                catch {
+                    continue; // invalid regex, skip
+                }
+            }
+            else {
+                continue; // AST rules not supported yet
+            }
+            const llmVerdict = claim.verdict === 'PASS' ? 'PASS'
+                : claim.verdict === 'FAIL' ? 'FAIL'
+                    : 'PARTIAL';
+            const result = {
+                id: randomUUID(),
+                candidateId: id,
+                formalVerdict,
+                llmVerdict,
+                agreed: formalVerdict === llmVerdict || (formalVerdict === 'PASS' && llmVerdict === 'PARTIAL'),
+                codeSnippet: code.slice(0, 500),
+                timestamp: new Date().toISOString(),
+            };
+            const existing = this.results.get(id) ?? [];
+            existing.push(result);
+            this.results.set(id, existing);
+            return result;
+        }
+        return null;
+    }
+    getStats(candidateId) {
+        const results = this.results.get(candidateId);
+        if (!results || results.length === 0)
+            return null;
+        const candidate = this.candidates.get(candidateId);
+        if (!candidate)
+            return null;
+        const agreements = results.filter(r => r.agreed).length;
+        const disagreements = results.length - agreements;
+        const formalCaughtLlmMiss = results.filter(r => r.formalVerdict === 'FAIL' && (r.llmVerdict === 'PASS' || r.llmVerdict === 'PARTIAL')).length;
+        const falsePositives = results.filter(r => r.formalVerdict === 'FAIL' && r.llmVerdict === 'PASS' && !r.agreed).length;
+        const firstResult = results[0];
+        const lastResult = results[results.length - 1];
+        const shadowDays = (new Date(lastResult.timestamp).getTime() - new Date(firstResult.timestamp).getTime())
+            / (1000 * 60 * 60 * 24);
+        return {
+            candidateId,
+            totalEvaluations: results.length,
+            agreements,
+            disagreements,
+            formalCaughtLlmMiss,
+            falsePositives,
+            accuracy: results.length > 0 ? agreements / results.length : 0,
+            shadowDays,
+        };
+    }
+    checkPromotions() {
+        const decisions = [];
+        for (const [id, candidate] of this.candidates) {
+            if (candidate.status !== 'shadow')
+                continue;
+            const stats = this.getStats(id);
+            if (!stats)
+                continue;
+            // Check promotion criteria
+            if (stats.totalEvaluations >= 50 &&
+                stats.shadowDays >= 7 &&
+                stats.accuracy >= 0.9 &&
+                stats.formalCaughtLlmMiss >= 1 &&
+                (stats.falsePositives / stats.totalEvaluations) < 0.05) {
+                decisions.push({
+                    candidateId: id,
+                    decision: 'promote',
+                    reason: `Meets all criteria: ${stats.totalEvaluations} evals, ${stats.shadowDays.toFixed(1)} days, ${(stats.accuracy * 100).toFixed(0)}% accuracy, ${stats.formalCaughtLlmMiss} LLM misses caught`,
+                    stats,
+                });
+                continue;
+            }
+            // Check rejection criteria
+            if (stats.totalEvaluations >= 50 &&
+                (stats.falsePositives / stats.totalEvaluations) > 0.2) {
+                decisions.push({
+                    candidateId: id,
+                    decision: 'reject',
+                    reason: `False positive rate ${((stats.falsePositives / stats.totalEvaluations) * 100).toFixed(0)}% exceeds 20% threshold`,
+                    stats,
+                });
+                continue;
+            }
+            if (stats.totalEvaluations >= 100 &&
+                stats.formalCaughtLlmMiss === 0) {
+                decisions.push({
+                    candidateId: id,
+                    decision: 'reject',
+                    reason: `No LLM misses caught after ${stats.totalEvaluations} evaluations — rule adds no value`,
+                    stats,
+                });
+                continue;
+            }
+            // Keep shadowing
+            decisions.push({
+                candidateId: id,
+                decision: 'keep_shadowing',
+                reason: `${stats.totalEvaluations}/50 evals, ${stats.shadowDays.toFixed(1)}/7 days`,
+                stats,
+            });
+        }
+        return decisions;
+    }
+    applyDecisions(decisions) {
+        for (const d of decisions) {
+            const candidate = this.candidates.get(d.candidateId);
+            if (!candidate)
+                continue;
+            if (d.decision === 'promote') {
+                candidate.status = 'promoted';
+                candidate.promotedAt = new Date().toISOString();
+            }
+            else if (d.decision === 'reject') {
+                candidate.status = 'rejected';
+                candidate.rejectedAt = new Date().toISOString();
+            }
+        }
+    }
+    getActiveCandidates() {
+        return Array.from(this.candidates.values()).filter(c => c.status === 'shadow');
+    }
+    getAllCandidates() {
+        return Array.from(this.candidates.values());
+    }
+    load(candidates, results) {
+        for (const c of candidates) {
+            this.candidates.set(c.id, c);
+        }
+        if (results) {
+            for (const [id, rs] of results) {
+                this.results.set(id, rs);
+            }
+        }
+    }
+    inferCategory(claimText) {
+        const lower = claimText.toLowerCase();
+        if (lower.includes('error') || lower.includes('exception') || lower.includes('throw'))
+            return 'error-handling';
+        if (lower.includes('null') || lower.includes('undefined') || lower.includes('optional'))
+            return 'null-safety';
+        if (lower.includes('sql') || lower.includes('inject') || lower.includes('xss') || lower.includes('auth'))
+            return 'security';
+        if (lower.includes('type') || lower.includes('cast'))
+            return 'type-safety';
+        if (lower.includes('valid') || lower.includes('input') || lower.includes('sanitiz'))
+            return 'input-validation';
+        if (lower.includes('return') || lower.includes('correct'))
+            return 'correctness';
+        if (lower.includes('edge') || lower.includes('boundar'))
+            return 'edge-cases';
+        return 'general';
+    }
+}
+//# sourceMappingURL=shadow-runner.js.map

package/dist/runtime/shadow-runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shadow-runner.js","sourceRoot":"","sources":["../../src/runtime/shadow-runner.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D;AAC/D,sEAAsE;AACtE,+DAA+D;AAS/D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,MAAM,OAAO,YAAY;IACf,UAAU,GAA+B,IAAI,GAAG,EAAE,CAAC;IACnD,OAAO,GAAgC,IAAI,GAAG,EAAE,CAAC;IAEzD,KAAK,CAAC,MAAM,CAAC,SAAwB;QACnC,SAAS,CAAC,MAAM,GAAG,QAAQ,CAAC;QAC5B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAC7C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACrC,CAAC;IAED,QAAQ,CACN,KAAwB,EACxB,IAAY,EACZ,QAAgB;QAEhB,oCAAoC;QACpC,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9C,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ;gBAAE,SAAS;YAC5C,IAAI,SAAS,CAAC,QAAQ,KAAK,QAAQ;gBAAE,SAAS;YAE9C,mDAAmD;YACnD,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrD,IAAI,aAAa,KAAK,SAAS,CAAC,aAAa;gBAAE,SAAS;YAExD,sBAAsB;YACtB,IAAI,aAA8B,CAAC;YACnC,IAAI,SAAS,CAAC,SAAS,KAAK,OAAO,EAAE,CAAC;gBACpC,IAAI,CAAC;oBACH,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;oBAClD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACjC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;oBACpB,aAAa,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;gBAC5C,CAAC;gBAAC,MAAM,CAAC;oBACP,SAAS,CAAC,sBAAsB;gBAClC,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,8BAA8B;YAC1C,CAAC;YAED,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM;gBAClD,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM;oBACnC,CAAC,CAAC,SAAS,CAAC;YAEd,MAAM,MAAM,GAAiB;gBAC3B,EAAE,EAAE,UAAU,EAAE;gBAChB,WAAW,EAAE,EAAE;gBACf,aAAa;gBACb,UAAU;gBACV,MAAM,EAAE,aAAa,KAAK,UAAU,IAAI,CAAC,aAAa,KAAK,MAAM,IAAI,UAAU,KAAK,SAAS,CAAC;gBAC9F,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;gBAC/B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC,CAAC;YAEF,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YAE/B,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,CAAC,WAAmB;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAC9C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAElD,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACnD,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC;QAE5B,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;QACxD,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,GAAG,UAAU,CAAC;QAClD,MAAM,mBAAmB,GAAG,OAAO,CAAC,MAAM,CACxC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,UAAU,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAC3F,CAAC,MAAM,CAAC;QACT,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,MAAM,CACxE,CAAC,MAAM,CAAC;QAET,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC/C,MAAM,UAAU,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC;cACrG,CAAC,IAAI,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QAE1B,OAAO;YACL,WAAW;YACX,gBAAgB,EAAE,OAAO,CAAC,MAAM;YAChC,UAAU;YACV,aAAa;YACb,mBAAmB;YACnB,cAAc;YACd,QAAQ,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC9D,UAAU;SACX,CAAC;IACJ,CAAC;IAED,eAAe;QACb,MAAM,SAAS,GAAwB,EAAE,CAAC;QAE1C,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9C,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ;gBAAE,SAAS;YAE5C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,SAAS;YAErB,2BAA2B;YAC3B,IACE,KAAK,CAAC,gBAAgB,IAAI,EAAE;gBAC5B,KAAK,CAAC,UAAU,IAAI,CAAC;gBACrB,KAAK,CAAC,QAAQ,IAAI,GAAG;gBACrB,KAAK,CAAC,mBAAmB,IAAI,CAAC;gBAC9B,CAAC,KAAK,CAAC,cAAc,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,IAAI,EACtD,CAAC;gBACD,SAAS,CAAC,IAAI,CAAC;oBACb,WAAW,EAAE,EAAE;oBACf,QAAQ,EAAE,SAAS;oBACnB,MAAM,EAAE,uBAAuB,KAAK,CAAC,gBAAgB,WAAW,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,KAAK,CAAC,mBAAmB,oBAAoB;oBAClM,KAAK;iBACN,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,2BAA2B;YAC3B,IACE,KAAK,CAAC,gBAAgB,IAAI,EAAE;gBAC5B,CAAC,KAAK,CAAC,cAAc,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,GAAG,EACrD,CAAC;gBACD,SAAS,CAAC,IAAI,CAAC;oBACb,WAAW,EAAE,EAAE;oBACf,QAAQ,EAAE,QAAQ;oBAClB,MAAM,EAAE,uBAAuB,CAAC,CAAC,KAAK,CAAC,cAAc,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,yBAAyB;oBAC1H,KAAK;iBACN,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IACE,KAAK,CAAC,gBAAgB,IAAI,GAAG;gBAC7B,KAAK,CAAC,mBAAmB,KAAK,CAAC,EAC/B,CAAC;gBACD,SAAS,CAAC,IAAI,CAAC;oBACb,WAAW,EAAE,EAAE;oBACf,QAAQ,EAAE,QAAQ;oBAClB,MAAM,EAAE,8BAA8B,KAAK,CAAC,gBAAgB,mCAAmC;oBAC/F,KAAK;iBACN,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,iBAAiB;YACjB,SAAS,CAAC,IAAI,CAAC;gBACb,WAAW,EAAE,EAAE;gBACf,QAAQ,EAAE,gBAAgB;gBAC1B,MAAM,EAAE,GAAG,KAAK,CAAC,gBAAgB,cAAc,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;gBACnF,KAAK;aACN,CAAC,CAAC;QACL,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,cAAc,CAAC,SAA8B;QAC3C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACrD,IAAI,CAAC,SAAS;gBAAE,SAAS;YAEzB,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC7B,SAAS,CAAC,MAAM,GAAG,UAAU,CAAC;gBAC9B,SAAS,CAAC,UAAU,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAClD,CAAC;iBAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACnC,SAAS,CAAC,MAAM,GAAG,UAAU,CAAC;gBAC9B,SAAS,CAAC,UAAU,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAClD,CAAC;QACH,CAAC;IACH,CAAC;IAED,mBAAmB;QACjB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACjF,CAAC;IAED,gBAAgB;QACd,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED,IAAI,CAAC,UAA2B,EAAE,OAAqC;QACrE,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/B,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;IACH,CAAC;IAEO,aAAa,CAAC,SAAiB;QACrC,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,OAAO,gBAAgB,CAAC;QAC/G,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;YAAE,OAAO,aAAa,CAAC;QAC9G,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,UAAU,CAAC;QAC5H,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,aAAa,CAAC;QAC3E,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,OAAO,kBAAkB,CAAC;QAC/G,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,OAAO,aAAa,CAAC;QAChF,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,OAAO,YAAY,CAAC;QAC7E,OAAO,SAAS,CAAC;IACnB,CAAC;CACF"}

package/dist/runtime/shared-memory.d.ts

@@ -0,0 +1,47 @@
+import type { MemoryEntry, MemoryEntryType, MemoryFilter, MemoryConflict, ConflictResolution, BoundaryVerificationStatus, BoundaryClaim } from './types.js';
+export declare class SharedMemoryStore {
+    private entries;
+    private 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: MemoryEntryType, content: string, author: string, opts?: {
+        tags?: string[];
+        verificationStatus?: BoundaryVerificationStatus;
+        claims?: readonly BoundaryClaim[];
+        confidence?: number;
+        supersedes?: string;
+    }): {
+        entryId: string;
+        conflicts: MemoryConflict[];
+    };
+    /**
+     * Query entries by filter criteria.
+     */
+    query(filter: MemoryFilter): readonly MemoryEntry[];
+    /** Get entries by tag. */
+    getByTag(tag: string): readonly MemoryEntry[];
+    /** Get entries by author agent ID. */
+    getByAgent(agentId: string): readonly MemoryEntry[];
+    /** Get only entries where all claims passed verification. */
+    getVerified(): readonly MemoryEntry[];
+    /** Get all detected conflicts. */
+    getConflicts(): readonly MemoryConflict[];
+    /** Get only open (unresolved) conflicts. */
+    getOpenConflicts(): readonly MemoryConflict[];
+    /** Resolve a conflict. */
+    resolveConflict(conflictId: string, resolution: ConflictResolution): boolean;
+    /** Escalate a conflict for human resolution. */
+    escalateConflict(conflictId: string): boolean;
+    /** Get all entries (for snapshots and audit). */
+    getAllEntries(): readonly MemoryEntry[];
+    /** Get entry by ID. */
+    getEntry(entryId: string): MemoryEntry | undefined;
+    /** Get the entry that superseded a given entry. */
+    getSuperseding(entryId: string): MemoryEntry | undefined;
+    /** Update verification status of an entry after boundary verification. */
+    updateVerification(entryId: string, status: BoundaryVerificationStatus, claims?: readonly BoundaryClaim[], confidence?: number): void;
+    private detectConflicts;
+}