tryassay 0.6.0 → 0.11.1

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/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;
+}

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

@@ -65,3 +65,8 @@ export declare abstract class SpecializedAgent {
         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

@@ -83,4 +83,41 @@ export class SpecializedAgent {
         };
     }
 }
+// ── 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

@@ -1 +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"}
+{"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;
+}