claude-flow 3.5.21 → 3.5.22

package/v3/@claude-flow/cli/dist/src/commands/neural.js

@@ -68,7 +68,8 @@ const trainCommand = {
                 });
                 if (initResult.success) {
                     wasmFeatures = initResult.features;
-                    spinner.setText(`RuVector initialized: ${wasmFeatures.join(', ')}`);
+                    const backendLabel = initResult.backend === 'wasm' ? 'WASM' : 'JS fallback';
+                    spinner.setText(`RuVector initialized [${backendLabel}]: ${wasmFeatures.join(', ')}`);
                 }
                 else {
                     output.writeln(output.warning(`WASM init failed: ${initResult.error} - falling back`));
@@ -274,7 +275,8 @@ const trainCommand = {
             ];
             // Add WASM-specific metrics
             if (useWasm && wasmFeatures.length > 0) {
-                tableData.push({ metric: 'WASM Features', value: wasmFeatures.slice(0, 3).join(', ') }, { metric: 'LoRA Adaptations', value: String(adaptations) }, { metric: 'Avg Loss', value: (totalLoss / Math.max(1, epochs)).toFixed(4) });
+                const backendUsed = ruvectorStats?.backend || 'unknown';
+                tableData.push({ metric: 'Backend', value: backendUsed === 'wasm' ? 'WASM (native)' : 'JS (fallback)' }, { metric: 'WASM Features', value: wasmFeatures.slice(0, 3).join(', ') }, { metric: 'LoRA Adaptations', value: String(adaptations) }, { metric: 'Avg Loss', value: (totalLoss / Math.max(1, epochs)).toFixed(4) });
                 if (ruvectorStats?.microLoraStats) {
                     tableData.push({ metric: 'MicroLoRA Delta Norm', value: ruvectorStats.microLoraStats.deltaNorm.toFixed(6) });
                 }
@@ -299,7 +301,11 @@ const trainCommand = {
             output.writeln();
             output.writeln(output.success(`✓ ${patternsRecorded} patterns saved to ${persistence.patternsFile}`));
             if (useWasm && wasmFeatures.length > 0) {
-                output.writeln(output.highlight(`✓ RuVector WASM: ${wasmFeatures.join(', ')}`));
+                const backendUsed = ruvectorStats?.backend || 'unknown';
+                const backendMsg = backendUsed === 'wasm'
+                    ? `RuVector WASM backend: ${wasmFeatures.join(', ')}`
+                    : `RuVector JS fallback (install @ruvector/learning-wasm for native speed): ${wasmFeatures.join(', ')}`;
+                output.writeln(output.highlight(`✓ ${backendMsg}`));
             }
             return {
                 success: true,
@@ -375,10 +381,10 @@ const statusCommand = {
                             : 'Not initialized',
                     },
                     {
-                        component: 'RuVector WASM',
+                        component: 'RuVector Training',
                         status: ruvectorStats.initialized ? output.success('Active') : output.dim('Not loaded'),
                         details: ruvectorStats.initialized
-                            ? `MicroLoRA: ${ruvectorStats.totalAdaptations} adapts`
+                            ? `${ruvectorStats.backend === 'wasm' ? 'WASM' : 'JS fallback'} | MicroLoRA: ${ruvectorStats.totalAdaptations} adapts`
                             : 'Call neural train to initialize',
                     },
                     {

package/v3/@claude-flow/cli/dist/src/index.d.ts

@@ -59,7 +59,7 @@ export * from './prompt.js';
 export * from './commands/index.js';
 export { MCPServerManager, createMCPServerManager, getServerManager, startMCPServer, stopMCPServer, getMCPServerStatus, type MCPServerOptions, type MCPServerStatus, } from './mcp-server.js';
 export { initializeMemoryDatabase, generateEmbedding, generateBatchEmbeddings, storeEntry, searchEntries, getHNSWIndex, addToHNSWIndex, searchHNSWIndex, getHNSWStatus, clearHNSWIndex, quantizeInt8, dequantizeInt8, quantizedCosineSim, getQuantizationStats, batchCosineSim, softmaxAttention, topKIndices, flashAttentionSearch, type MemoryInitResult, } from './memory/memory-initializer.js';
-export { initializeIntelligence, recordStep, recordTrajectory, findSimilarPatterns, getIntelligenceStats, getSonaCoordinator, getReasoningBank, clearIntelligence, benchmarkAdaptation, getAllPatterns, getPatternsByType, flushPatterns, deletePattern, clearAllPatterns, getNeuralDataDir, getPersistenceStatus, type SonaConfig, type TrajectoryStep, type Pattern, type IntelligenceStats, } from './memory/intelligence.js';
+export { initializeIntelligence, recordStep, recordTrajectory, findSimilarPatterns, getIntelligenceStats, getSonaCoordinator, getReasoningBank, clearIntelligence, benchmarkAdaptation, endTrajectoryWithVerdict, distillLearning, getAllPatterns, getPatternsByType, flushPatterns, deletePattern, clearAllPatterns, getNeuralDataDir, getPersistenceStatus, type SonaConfig, type TrajectoryStep, type Pattern, type IntelligenceStats, } from './memory/intelligence.js';
 export { EWCConsolidator, getEWCConsolidator, resetEWCConsolidator, consolidatePatterns, recordPatternOutcome, getEWCStats, type PatternWeights, type EWCConfig, type ConsolidationResult, type EWCStats, } from './memory/ewc-consolidation.js';
 export { SONAOptimizer, getSONAOptimizer, resetSONAOptimizer, processTrajectory, getSuggestion, getSONAStats, type TrajectoryOutcome, type LearnedPattern, type RoutingSuggestion, type SONAStats, } from './memory/sona-optimizer.js';
 export { ErrorHandler, withErrorHandling, } from './production/error-handler.js';

package/v3/@claude-flow/cli/dist/src/index.js

@@ -453,6 +453,8 @@ export { initializeMemoryDatabase, generateEmbedding, generateBatchEmbeddings, s
 // Flash Attention-style batch operations
 batchCosineSim, softmaxAttention, topKIndices, flashAttentionSearch, } from './memory/memory-initializer.js';
 export { initializeIntelligence, recordStep, recordTrajectory, findSimilarPatterns, getIntelligenceStats, getSonaCoordinator, getReasoningBank, clearIntelligence, benchmarkAdaptation, 
+// RL loop API
+endTrajectoryWithVerdict, distillLearning, 
 // Pattern persistence API
 getAllPatterns, getPatternsByType, flushPatterns, deletePattern, clearAllPatterns, getNeuralDataDir, getPersistenceStatus, } from './memory/intelligence.js';
 // EWC++ Consolidation (Prevents Catastrophic Forgetting)

package/v3/@claude-flow/cli/dist/src/mcp-tools/coordination-tools.js

@@ -350,55 +350,234 @@ export const coordinationTools = [
     },
     {
         name: 'coordination_consensus',
-        description: 'Manage consensus protocol',
+        description: 'Manage consensus protocol with BFT, Raft, or Quorum strategies',
         category: 'coordination',
         inputSchema: {
             type: 'object',
             properties: {
                 action: { type: 'string', enum: ['status', 'propose', 'vote', 'commit'], description: 'Action to perform' },
-                proposal: { type: 'object', description: 'Proposal data' },
+                proposal: { type: 'object', description: 'Proposal data (for propose)' },
+                proposalId: { type: 'string', description: 'Proposal ID (for vote/commit/status)' },
                 vote: { type: 'string', enum: ['accept', 'reject'], description: 'Vote' },
+                voterId: { type: 'string', description: 'Voter node ID' },
+                strategy: { type: 'string', enum: ['bft', 'raft', 'quorum'], description: 'Consensus strategy (default: raft)' },
+                quorumPreset: { type: 'string', enum: ['unanimous', 'majority', 'supermajority'], description: 'Quorum threshold preset (default: majority)' },
+                term: { type: 'number', description: 'Term number (for raft strategy)' },
             },
         },
         handler: async (input) => {
             const store = loadCoordStore();
             const action = input.action || 'status';
+            const strategy = input.strategy || 'raft';
+            const nodeCount = Object.keys(store.nodes).length || 1;
+            // Initialize consensus storage in the coordination store if missing
+            if (!store.consensus) {
+                store.consensus = { pending: [], history: [] };
+            }
+            const consensus = store.consensus;
+            function calcRequired(strat, total, preset) {
+                if (total <= 0)
+                    return 1;
+                if (strat === 'bft')
+                    return Math.floor((total * 2) / 3) + 1;
+                if (strat === 'quorum') {
+                    if (preset === 'unanimous')
+                        return total;
+                    if (preset === 'supermajority')
+                        return Math.floor((total * 2) / 3) + 1;
+                }
+                return Math.floor(total / 2) + 1;
+            }
             if (action === 'status') {
-                const nodeCount = Object.keys(store.nodes).length;
-                const quorum = Math.floor(nodeCount / 2) + 1;
+                if (input.proposalId) {
+                    // Status for specific proposal
+                    const p = consensus.pending.find(x => x.proposalId === input.proposalId);
+                    if (p) {
+                        const votesFor = Object.values(p.votes).filter(v => v).length;
+                        const votesAgainst = Object.values(p.votes).filter(v => !v).length;
+                        return {
+                            success: true,
+                            proposalId: p.proposalId,
+                            strategy: p.strategy,
+                            status: p.status,
+                            votesFor,
+                            votesAgainst,
+                            required: calcRequired(p.strategy, nodeCount, p.quorumPreset),
+                            totalNodes: nodeCount,
+                            resolved: false,
+                        };
+                    }
+                    const h = consensus.history.find(x => x.proposalId === input.proposalId);
+                    if (h)
+                        return { success: true, ...h, resolved: true, historical: true };
+                    return { success: false, error: 'Proposal not found' };
+                }
+                const quorum = calcRequired(strategy, nodeCount);
                 return {
                     success: true,
                     algorithm: store.topology.consensusAlgorithm,
+                    strategy,
                     nodes: nodeCount,
                     quorum,
+                    pendingProposals: consensus.pending.length,
+                    resolvedProposals: consensus.history.length,
                     status: nodeCount >= quorum ? 'operational' : 'degraded',
                 };
             }
             if (action === 'propose') {
-                const proposalId = `proposal-${Date.now()}`;
+                const proposalId = `proposal-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
+                const quorumPreset = input.quorumPreset || 'majority';
+                const term = input.term || 1;
+                const required = calcRequired(strategy, nodeCount, quorumPreset);
+                // Raft: one pending proposal per term
+                if (strategy === 'raft') {
+                    const existing = consensus.pending.find(p => p.strategy === 'raft' && p.term === term);
+                    if (existing) {
+                        return {
+                            success: false,
+                            error: `Raft term ${term} already has pending proposal: ${existing.proposalId}`,
+                            existingProposalId: existing.proposalId,
+                        };
+                    }
+                }
+                consensus.pending.push({
+                    proposalId,
+                    type: 'coordination',
+                    proposal: input.proposal,
+                    proposedBy: input.voterId || 'system',
+                    proposedAt: new Date().toISOString(),
+                    votes: {},
+                    status: 'pending',
+                    strategy,
+                    term: strategy === 'raft' ? term : undefined,
+                    quorumPreset: strategy === 'quorum' ? quorumPreset : undefined,
+                    byzantineVoters: strategy === 'bft' ? [] : undefined,
+                });
+                saveCoordStore(store);
                 return {
                     success: true,
                     action: 'proposed',
                     proposalId,
                     proposal: input.proposal,
+                    strategy,
                     status: 'pending',
-                    requiredVotes: Math.floor(Object.keys(store.nodes).length / 2) + 1,
+                    required,
+                    totalNodes: nodeCount,
+                    term: strategy === 'raft' ? term : undefined,
                 };
             }
             if (action === 'vote') {
+                const p = consensus.pending.find(x => x.proposalId === input.proposalId);
+                if (!p)
+                    return { success: false, error: 'Proposal not found or already resolved' };
+                const voterId = input.voterId;
+                if (!voterId)
+                    return { success: false, error: 'voterId is required' };
+                const voteValue = input.vote === 'accept';
+                const pStrategy = p.strategy || 'raft';
+                const required = calcRequired(pStrategy, nodeCount, p.quorumPreset);
+                // Double-vote prevention
+                if (voterId in p.votes) {
+                    if (pStrategy === 'bft' && p.votes[voterId] !== voteValue) {
+                        if (!p.byzantineVoters)
+                            p.byzantineVoters = [];
+                        if (!p.byzantineVoters.includes(voterId))
+                            p.byzantineVoters.push(voterId);
+                        delete p.votes[voterId];
+                        saveCoordStore(store);
+                        return {
+                            success: false,
+                            byzantineDetected: true,
+                            message: `Byzantine behavior: voter ${voterId} attempted conflicting vote. Vote invalidated.`,
+                            byzantineVoters: p.byzantineVoters,
+                        };
+                    }
+                    return { success: false, error: `Voter ${voterId} has already voted on this proposal` };
+                }
+                // BFT cross-proposal conflict check
+                if (pStrategy === 'bft') {
+                    for (const other of consensus.pending) {
+                        if (other.proposalId === p.proposalId)
+                            continue;
+                        if (voterId in other.votes && other.votes[voterId] !== voteValue) {
+                            if (!p.byzantineVoters)
+                                p.byzantineVoters = [];
+                            if (!p.byzantineVoters.includes(voterId))
+                                p.byzantineVoters.push(voterId);
+                            saveCoordStore(store);
+                            return {
+                                success: false,
+                                byzantineDetected: true,
+                                message: `Byzantine behavior: voter ${voterId} cast conflicting votes across proposals.`,
+                                byzantineVoters: p.byzantineVoters,
+                            };
+                        }
+                    }
+                }
+                p.votes[voterId] = voteValue;
+                const votesFor = Object.values(p.votes).filter(v => v).length;
+                const votesAgainst = Object.values(p.votes).filter(v => !v).length;
+                // Resolution check
+                let resolved = false;
+                let result;
+                if (votesFor >= required) {
+                    resolved = true;
+                    result = 'approved';
+                }
+                else if (votesAgainst >= required) {
+                    resolved = true;
+                    result = 'rejected';
+                }
+                else if (pStrategy === 'quorum' && p.quorumPreset === 'unanimous' && votesAgainst > 0) {
+                    resolved = true;
+                    result = 'rejected';
+                }
+                if (resolved && result) {
+                    p.status = result;
+                    consensus.history.push({
+                        proposalId: p.proposalId,
+                        result,
+                        votes: { for: votesFor, against: votesAgainst },
+                        decidedAt: new Date().toISOString(),
+                        strategy: pStrategy,
+                        term: p.term,
+                        byzantineDetected: p.byzantineVoters?.length ? p.byzantineVoters : undefined,
+                    });
+                    consensus.pending = consensus.pending.filter(x => x.proposalId !== p.proposalId);
+                }
+                saveCoordStore(store);
                 return {
                     success: true,
                     action: 'voted',
+                    proposalId: p.proposalId,
+                    voterId,
                     vote: input.vote,
-                    timestamp: new Date().toISOString(),
+                    strategy: pStrategy,
+                    votesFor,
+                    votesAgainst,
+                    required,
+                    totalNodes: nodeCount,
+                    resolved,
+                    result: resolved ? result : undefined,
+                    status: p.status,
                 };
             }
             if (action === 'commit') {
-                return {
-                    success: true,
-                    action: 'committed',
-                    committedAt: new Date().toISOString(),
-                };
+                // Commit is a no-op confirmation for already-resolved proposals
+                if (input.proposalId) {
+                    const h = consensus.history.find(x => x.proposalId === input.proposalId);
+                    if (h) {
+                        return {
+                            success: true,
+                            action: 'committed',
+                            proposalId: input.proposalId,
+                            result: h.result,
+                            committedAt: new Date().toISOString(),
+                        };
+                    }
+                    return { success: false, error: 'Proposal not found in resolved history. Vote must reach quorum first.' };
+                }
+                return { success: false, error: 'proposalId is required for commit' };
             }
             return { success: false, error: 'Unknown action' };
         },

package/v3/@claude-flow/cli/dist/src/mcp-tools/hive-mind-tools.js

@@ -9,6 +9,78 @@ import { join } from 'node:path';
 const STORAGE_DIR = '.claude-flow';
 const HIVE_DIR = 'hive-mind';
 const HIVE_FILE = 'state.json';
+/**
+ * Calculate required votes for a given strategy and total node count.
+ */
+function calculateRequiredVotes(strategy, totalNodes, quorumPreset = 'majority') {
+    if (totalNodes <= 0)
+        return 1;
+    switch (strategy) {
+        case 'bft':
+            // BFT: requires 2/3 + 1 of total nodes
+            return Math.floor((totalNodes * 2) / 3) + 1;
+        case 'raft':
+            // Raft: simple majority
+            return Math.floor(totalNodes / 2) + 1;
+        case 'quorum':
+            switch (quorumPreset) {
+                case 'unanimous':
+                    return totalNodes;
+                case 'supermajority':
+                    return Math.floor((totalNodes * 2) / 3) + 1;
+                case 'majority':
+                default:
+                    return Math.floor(totalNodes / 2) + 1;
+            }
+        default:
+            return Math.floor(totalNodes / 2) + 1;
+    }
+}
+/**
+ * Detect Byzantine behavior: a voter who has cast conflicting votes
+ * across proposals in the same round (same type, overlapping time).
+ * Here we check if the voter already voted differently on this proposal
+ * (which shouldn't happen if we block double-votes, so this checks
+ * cross-proposal conflicting votes for same type within the pending set).
+ */
+function detectByzantineVoters(pending, currentProposal, voterId, newVote) {
+    // Check if voter cast opposite votes on proposals of the same type
+    for (const p of pending) {
+        if (p.proposalId === currentProposal.proposalId)
+            continue;
+        if (p.type !== currentProposal.type)
+            continue;
+        if (voterId in p.votes && p.votes[voterId] !== newVote) {
+            return true; // Conflicting vote detected
+        }
+    }
+    return false;
+}
+/**
+ * Try to resolve a proposal based on its strategy.
+ * Returns 'approved', 'rejected', or null if still pending.
+ */
+function tryResolveProposal(proposal, totalNodes) {
+    const votesFor = Object.values(proposal.votes).filter(v => v).length;
+    const votesAgainst = Object.values(proposal.votes).filter(v => !v).length;
+    const required = calculateRequiredVotes(proposal.strategy, totalNodes, proposal.quorumPreset);
+    if (votesFor >= required)
+        return 'approved';
+    if (votesAgainst >= required)
+        return 'rejected';
+    // For quorum with 'unanimous', also reject if any vote is against
+    if (proposal.strategy === 'quorum' && proposal.quorumPreset === 'unanimous' && votesAgainst > 0) {
+        return 'rejected';
+    }
+    // Check if it's impossible to reach quorum (remaining potential votes can't tip it)
+    const totalVotes = Object.keys(proposal.votes).length;
+    const remaining = totalNodes - totalVotes;
+    if (votesFor + remaining < required && votesAgainst + remaining < required) {
+        // Deadlock: neither side can win -- reject
+        return 'rejected';
+    }
+    return null;
+}
 function getHiveDir() {
     return join(process.cwd(), STORAGE_DIR, HIVE_DIR);
 }
@@ -300,7 +372,7 @@ export const hiveMindTools = [
     },
     {
         name: 'hive-mind_consensus',
-        description: 'Propose or vote on consensus',
+        description: 'Propose or vote on consensus with BFT, Raft, or Quorum strategies',
         category: 'hive-mind',
         inputSchema: {
             type: 'object',
@@ -311,14 +383,36 @@ export const hiveMindTools = [
                 value: { description: 'Proposal value (for propose)' },
                 vote: { type: 'boolean', description: 'Vote (true=for, false=against)' },
                 voterId: { type: 'string', description: 'Voter agent ID' },
+                strategy: { type: 'string', enum: ['bft', 'raft', 'quorum'], description: 'Consensus strategy (default: raft)' },
+                quorumPreset: { type: 'string', enum: ['unanimous', 'majority', 'supermajority'], description: 'Quorum threshold preset (for quorum strategy, default: majority)' },
+                term: { type: 'number', description: 'Term number (for raft strategy)' },
+                timeoutMs: { type: 'number', description: 'Timeout in ms for raft re-proposal (default: 30000)' },
             },
             required: ['action'],
         },
         handler: async (input) => {
             const state = loadHiveState();
             const action = input.action;
+            const strategy = input.strategy || 'raft';
+            const totalNodes = state.workers.length || 1;
             if (action === 'propose') {
                 const proposalId = `proposal-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
+                const quorumPreset = input.quorumPreset || 'majority';
+                const term = input.term || (state.queen?.term ?? 1);
+                const timeoutMs = input.timeoutMs || 30000;
+                // Raft: check if there's already a pending proposal for this term
+                if (strategy === 'raft') {
+                    const existingTermProposal = state.consensus.pending.find(p => p.strategy === 'raft' && p.term === term && p.status === 'pending');
+                    if (existingTermProposal) {
+                        return {
+                            action,
+                            error: `Raft term ${term} already has a pending proposal: ${existingTermProposal.proposalId}. Wait for resolution or use a higher term.`,
+                            existingProposalId: existingTermProposal.proposalId,
+                            term,
+                        };
+                    }
+                }
+                const required = calculateRequiredVotes(strategy, totalNodes, quorumPreset);
                 const proposal = {
                     proposalId,
                     type: input.type || 'general',
@@ -327,6 +421,11 @@ export const hiveMindTools = [
                     proposedAt: new Date().toISOString(),
                     votes: {},
                     status: 'pending',
+                    strategy,
+                    term: strategy === 'raft' ? term : undefined,
+                    quorumPreset: strategy === 'quorum' ? quorumPreset : undefined,
+                    byzantineVoters: strategy === 'bft' ? [] : undefined,
+                    timeoutAt: strategy === 'raft' ? new Date(Date.now() + timeoutMs).toISOString() : undefined,
                 };
                 state.consensus.pending.push(proposal);
                 saveHiveState(state);
@@ -334,40 +433,115 @@ export const hiveMindTools = [
                     action,
                     proposalId,
                     type: proposal.type,
+                    strategy,
                     status: 'pending',
-                    requiredVotes: Math.ceil(state.workers.length / 2) + 1,
+                    required,
+                    totalNodes,
+                    term: proposal.term,
+                    quorumPreset: proposal.quorumPreset,
+                    timeoutAt: proposal.timeoutAt,
                 };
             }
             if (action === 'vote') {
                 const proposal = state.consensus.pending.find(p => p.proposalId === input.proposalId);
                 if (!proposal) {
-                    return { action, error: 'Proposal not found' };
+                    return { action, error: 'Proposal not found or already resolved' };
                 }
                 const voterId = input.voterId;
-                proposal.votes[voterId] = input.vote;
-                // Check if we have majority
-                const votesFor = Object.values(proposal.votes).filter(v => v).length;
-                const votesAgainst = Object.values(proposal.votes).filter(v => !v).length;
-                const majority = Math.ceil(state.workers.length / 2) + 1;
-                if (votesFor >= majority) {
-                    proposal.status = 'approved';
-                    state.consensus.history.push({
+                if (!voterId) {
+                    return { action, error: 'voterId is required for voting' };
+                }
+                const voteValue = input.vote;
+                const proposalStrategy = proposal.strategy || 'raft';
+                const required = calculateRequiredVotes(proposalStrategy, totalNodes, proposal.quorumPreset);
+                // Prevent double-voting
+                if (voterId in proposal.votes) {
+                    const previousVote = proposal.votes[voterId];
+                    if (previousVote === voteValue) {
+                        return {
+                            action,
+                            error: `Voter ${voterId} has already cast the same vote on this proposal`,
+                            proposalId: proposal.proposalId,
+                            existingVote: previousVote,
+                        };
+                    }
+                    // Conflicting vote from same voter
+                    if (proposalStrategy === 'bft') {
+                        // BFT: detect as Byzantine behavior
+                        if (!proposal.byzantineVoters)
+                            proposal.byzantineVoters = [];
+                        if (!proposal.byzantineVoters.includes(voterId)) {
+                            proposal.byzantineVoters.push(voterId);
+                        }
+                        // Remove their vote entirely -- Byzantine voter is excluded
+                        delete proposal.votes[voterId];
+                        saveHiveState(state);
+                        return {
+                            action,
+                            proposalId: proposal.proposalId,
+                            voterId,
+                            byzantineDetected: true,
+                            message: `Byzantine behavior detected: voter ${voterId} attempted conflicting vote. Vote invalidated.`,
+                            byzantineVoters: proposal.byzantineVoters,
+                            status: proposal.status,
+                        };
+                    }
+                    if (proposalStrategy === 'raft') {
+                        // Raft: only one vote per node per term, reject the change
+                        return {
+                            action,
+                            error: `Raft: voter ${voterId} already voted in term ${proposal.term}. Cannot change vote.`,
+                            proposalId: proposal.proposalId,
+                            term: proposal.term,
+                        };
+                    }
+                    // Quorum: reject double-vote
+                    return {
+                        action,
+                        error: `Voter ${voterId} has already voted on this proposal`,
                         proposalId: proposal.proposalId,
-                        type: proposal.type,
-                        result: 'approved',
-                        votes: { for: votesFor, against: votesAgainst },
-                        decidedAt: new Date().toISOString(),
-                    });
-                    state.consensus.pending = state.consensus.pending.filter(p => p.proposalId !== proposal.proposalId);
+                    };
+                }
+                // BFT: check for cross-proposal Byzantine behavior
+                if (proposalStrategy === 'bft') {
+                    const isByzantine = detectByzantineVoters(state.consensus.pending, proposal, voterId, voteValue);
+                    if (isByzantine) {
+                        if (!proposal.byzantineVoters)
+                            proposal.byzantineVoters = [];
+                        if (!proposal.byzantineVoters.includes(voterId)) {
+                            proposal.byzantineVoters.push(voterId);
+                        }
+                        saveHiveState(state);
+                        return {
+                            action,
+                            proposalId: proposal.proposalId,
+                            voterId,
+                            byzantineDetected: true,
+                            message: `Byzantine behavior detected: voter ${voterId} cast conflicting votes across proposals of same type. Vote rejected.`,
+                            byzantineVoters: proposal.byzantineVoters,
+                            status: proposal.status,
+                        };
+                    }
                 }
-                else if (votesAgainst >= majority) {
-                    proposal.status = 'rejected';
+                // Record the vote
+                proposal.votes[voterId] = voteValue;
+                const votesFor = Object.values(proposal.votes).filter(v => v).length;
+                const votesAgainst = Object.values(proposal.votes).filter(v => !v).length;
+                // Try to resolve
+                const resolution = tryResolveProposal(proposal, totalNodes);
+                let resolved = false;
+                if (resolution !== null) {
+                    resolved = true;
+                    proposal.status = resolution;
                     state.consensus.history.push({
                         proposalId: proposal.proposalId,
                         type: proposal.type,
-                        result: 'rejected',
+                        result: resolution,
                         votes: { for: votesFor, against: votesAgainst },
                         decidedAt: new Date().toISOString(),
+                        strategy: proposalStrategy,
+                        term: proposal.term,
+                        byzantineDetected: proposal.byzantineVoters?.length ? proposal.byzantineVoters : undefined,
                     });
                     state.consensus.pending = state.consensus.pending.filter(p => p.proposalId !== proposal.proposalId);
                 }
@@ -376,10 +550,17 @@ export const hiveMindTools = [
                     action,
                     proposalId: proposal.proposalId,
                     voterId,
-                    vote: input.vote,
+                    vote: voteValue,
+                    strategy: proposalStrategy,
                     votesFor,
                     votesAgainst,
+                    required,
+                    totalNodes,
+                    resolved,
+                    result: resolved ? resolution : undefined,
                     status: proposal.status,
+                    term: proposal.term,
+                    byzantineVoters: proposal.byzantineVoters?.length ? proposal.byzantineVoters : undefined,
                 };
             }
             if (action === 'status') {
@@ -388,21 +569,37 @@ export const hiveMindTools = [
                     // Check history
                     const historical = state.consensus.history.find(h => h.proposalId === input.proposalId);
                     if (historical) {
-                        return { action, ...historical, historical: true };
+                        return { action, ...historical, historical: true, resolved: true };
                     }
                     return { action, error: 'Proposal not found' };
                 }
                 const votesFor = Object.values(proposal.votes).filter(v => v).length;
                 const votesAgainst = Object.values(proposal.votes).filter(v => !v).length;
+                const proposalStrategy = proposal.strategy || 'raft';
+                const required = calculateRequiredVotes(proposalStrategy, totalNodes, proposal.quorumPreset);
+                // Raft: check timeout
+                let timedOut = false;
+                if (proposalStrategy === 'raft' && proposal.timeoutAt) {
+                    timedOut = new Date().getTime() > new Date(proposal.timeoutAt).getTime();
+                }
                 return {
                     action,
                     proposalId: proposal.proposalId,
                     type: proposal.type,
+                    strategy: proposalStrategy,
                     status: proposal.status,
                     votesFor,
                     votesAgainst,
                     totalVotes: Object.keys(proposal.votes).length,
-                    requiredMajority: Math.ceil(state.workers.length / 2) + 1,
+                    required,
+                    totalNodes,
+                    resolved: false,
+                    term: proposal.term,
+                    quorumPreset: proposal.quorumPreset,
+                    byzantineVoters: proposal.byzantineVoters?.length ? proposal.byzantineVoters : undefined,
+                    timedOut,
+                    timeoutAt: proposal.timeoutAt,
+                    hint: timedOut ? `Raft timeout reached. Re-propose with term ${(proposal.term || 1) + 1}.` : undefined,
                 };
             }
             if (action === 'list') {
@@ -411,8 +608,12 @@ export const hiveMindTools = [
                     pending: state.consensus.pending.map(p => ({
                         proposalId: p.proposalId,
                         type: p.type,
+                        strategy: p.strategy || 'raft',
                         proposedAt: p.proposedAt,
                         totalVotes: Object.keys(p.votes).length,
+                        required: calculateRequiredVotes(p.strategy || 'raft', totalNodes, p.quorumPreset),
+                        term: p.term,
+                        status: p.status,
                     })),
                     recentHistory: state.consensus.history.slice(-5),
                 };