23f7624596
ADR-166 MCP Bridge Security Lock / Static-source security lock (push) Failing after 0s
ADR-166 MCP Bridge Security Lock / Compose default binds loopback + Mongo has auth (push) Failing after 2s
CodeQL Advanced / Analyze (rust) (push) Failing after 0s
ADR-166 MCP Bridge Security Lock / plugin-agent-federation bindHost default (push) Failing after 1s
ADR-166 MCP Bridge Security Lock / Runtime behavior — 401 + terminal gate + fail-closed (push) Failing after 4s
business-pods-smoke / smoke (push) Failing after 1s
all-plugins-smoke / smoke-all (push) Failing after 2s
CI/CD Pipeline / Security & Code Quality (push) Failing after 1s
CI/CD Pipeline / Test Suite (ubuntu-latest) (push) Failing after 1s
CI/CD Pipeline / Build & Package (macos-latest) (push) Has been skipped
CI/CD Pipeline / Build & Package (ubuntu-latest) (push) Has been skipped
CI/CD Pipeline / Build & Package (windows-latest) (push) Has been skipped
CI/CD Pipeline / Documentation & Examples (push) Failing after 1s
Clone Tracker (14-day rolling) / Snapshot clones for ruflo ecosystem (push) Failing after 1s
CodeQL Advanced / Analyze (actions) (push) Failing after 1s
CodeQL Advanced / Analyze (javascript-typescript) (push) Failing after 1s
federation-peer-rust / stable-noop (push) Failing after 1s
metaharness-ci / score (push) Failing after 1s
metaharness-ci / router-compat (push) Failing after 0s
metaharness-ci / similarity-tests (push) Failing after 0s
no-agentbbs-smoke / smoke-without-agentbbs (push) Failing after 1s
V3 CI/CD Pipeline / Build V3 (windows-latest) (push) Has been skipped
codex-integration-audit / Codex integration audit (push) Failing after 1s
helpers-manifest-guard / guard (push) Failing after 1s
🔗 Cross-Agent Integration Tests / 🤝 Agent Coordination Tests (push) Has been skipped
🔗 Cross-Agent Integration Tests / 🧠 Memory Sharing Integration (push) Has been skipped
🔗 Cross-Agent Integration Tests / 🛡️ Fault Tolerance Tests (push) Has been skipped
🔗 Cross-Agent Integration Tests / ⚡ Performance Integration Tests (push) Has been skipped
metaharness-ci / mcp-scan (push) Failing after 1s
metaharness-ci / eject-dryrun (push) Failing after 1s
metaharness-ci / metaharness-real-data (push) Failing after 0s
no-cli-optdep-bloat-2561 / guard (push) Failing after 1s
no-metaharness-smoke / smoke-without-metaharness (push) Failing after 1s
no-phantom-agentic-flow-subpath / guard (push) Failing after 1s
🔄 Automated Rollback Manager / 🚨 Failure Detection (push) Failing after 1s
V3 CI/CD Pipeline / Plugin hooks smoke / ubuntu-latest / Node 22 (push) Failing after 1s
V3 CI/CD Pipeline / ruflo-graph-intelligence build + test smoke (#2044, ADR-123) (push) Failing after 1s
CVE Audit Gate / Audit root (critical-blocking) (push) Failing after 2s
cost-tracker-smoke / smoke (push) Failing after 3s
oia-audit-weekly / audit (push) Failing after 2s
ruflo-agent-smoke / ruflo-agent structural smoke (push) Failing after 1s
📊 Status Badges Update / 📊 Update Status Badges (push) Failing after 1s
V3 CI/CD Pipeline / Static regression guards (#2267 YAML + (push) Failing after 1s
V3 CI/CD Pipeline / Test V3 Packages (push) Failing after 0s
V3 CI/CD Pipeline / agent_execute provider routing smoke (#2042) (push) Failing after 0s
CVE Audit Gate / Audit v3 (critical-blocking) (push) Failing after 1s
federation-peer-rust / stable-native (push) Failing after 2s
🔗 Cross-Agent Integration Tests / 🚀 Integration Test Setup (push) Failing after 2s
neural-trader-smoke / runtime-smoke (push) Failing after 1s
V3 CI/CD Pipeline / Build V3 (macos-latest) (push) Has been skipped
V3 CI/CD Pipeline / Build V3 (ubuntu-latest) (push) Has been skipped
V3 CI/CD Pipeline / Type Check V3 (push) Failing after 1s
V3 CI/CD Pipeline / Smoke (no better-sqlite3) / ubuntu-latest / Node 24 (push) Failing after 1s
V3 CI/CD Pipeline / Smoke (no better-sqlite3) / ubuntu-latest / Node 22 (push) Failing after 2s
V3 CI/CD Pipeline / browser rvf create flag smoke (#2015) (push) Failing after 0s
V3 CI/CD Pipeline / Dependency review (#2046) (push) Has been skipped
V3 CI/CD Pipeline / Supply-chain audit (#2046) (push) Failing after 0s
V3 CI/CD Pipeline / witness marker drift smoke (#2021) (push) Failing after 1s
V3 CI/CD Pipeline / neural-trader portfolio CG smoke (#2068, ADR-126 Phase 3) (push) Failing after 1s
V3 CI/CD Pipeline / neural-trader backtest signing smoke (#2068, ADR-126 Phase 4) (push) Failing after 1s
V3 CI/CD Pipeline / kg-extract type-import classification smoke (#2049) (push) Failing after 0s
V3 CI/CD Pipeline / witness verify precondition smoke (#1880) (push) Failing after 2s
V3 CI/CD Pipeline / neural-trader pipeline risk-gate smoke (#2068, ADR-126 Phase 5) (push) Failing after 0s
V3 CI/CD Pipeline / neural-trader feature attribution smoke (#2068, ADR-126 Phase 6) (push) Failing after 0s
V3 CI/CD Pipeline / plugin-registry signature verification smoke (#1922, CWE-347) (push) Failing after 4s
V3 CI/CD Pipeline / memory stats legacy-DB smoke (#2120) (push) Failing after 4s
V3 CI/CD Pipeline / github deprecated actions smoke (#2089, ADR-127 Phase 3) (push) Failing after 1s
V3 CI/CD Pipeline / graph query + pathfinder smoke (ADR-130 P2+P5) (push) Has been skipped
V3 CI/CD Pipeline / graph trajectory hooks smoke (ADR-130 P3) (push) Has been skipped
V3 CI/CD Pipeline / graph plugin adapter smoke (ADR-130 P4) (push) Has been skipped
V3 CI/CD Pipeline / graph benchmark (ADR-130 P6) (push) Has been skipped
V3 CI/CD Pipeline / statusline generator delegation smoke (#2195) (push) Failing after 1s
V3 CI/CD Pipeline / wizard init regression guard (#2206 (push) Failing after 1s
V3 CI/CD Pipeline / memory no-stray-db smoke (ADR-125 P7) (push) Failing after 1s
V3 CI/CD Pipeline / github-safe injection smoke (#2089, ADR-127 Phase 1) (push) Failing after 1s
V3 CI/CD Pipeline / github actions pin smoke (#2089, ADR-127 Phase 1) (push) Failing after 1s
V3 CI/CD Pipeline / github attribution opt-in smoke (#2089, ADR-127 Phase 4) (push) Failing after 1s
V3 CI/CD Pipeline / pre-bash hook safety smoke (#2017) (push) Failing after 1s
V3 CI/CD Pipeline / Memory import smoke / ubuntu-latest (push) Failing after 0s
V3 CI/CD Pipeline / MCP protocol smoke / ubuntu-latest (push) Failing after 2s
V3 CI/CD Pipeline / ruvllm WASM auto-init smoke (#2086) (push) Failing after 4s
V3 CI/CD Pipeline / MCP paired-tool round-trip smoke (#1889) (push) Failing after 1s
V3 CI/CD Pipeline / Plugin package install-safety (#1902/#1903/#1904) (push) Failing after 1s
V3 CI/CD Pipeline / Tool description discoverability (ADR-112) (push) Failing after 3s
V3 CI/CD Pipeline / CLI npx-install smoke (#1147 / (22) (push) Failing after 1s
V3 CI/CD Pipeline / CLI npx-install smoke (#1147 / (24) (push) Failing after 1s
V3 CI/CD Pipeline / Windows hook shim smoke (#2132) / ubuntu-latest (push) Failing after 2s
V3 CI/CD Pipeline / Windows hook execution smoke (#2132) / ubuntu-latest (push) Failing after 1s
V3 CI/CD Pipeline / Windows init hooks smoke (#2132) / ubuntu-latest (push) Failing after 1s
V3 CI/CD Pipeline / Vector-index dimension audit (#1947) (push) Failing after 0s
V3 CI/CD Pipeline / Hook-command install safety (#1921) (push) Failing after 1s
V3 CI/CD Pipeline / ToolOutputGuardrail smoke (ADR-131, (push) Failing after 1s
V3 CI/CD Pipeline / init-bundle invariants smoke (#2095, ADR-128 Phase 5) (push) Failing after 1s
V3 CI/CD Pipeline / wasm provider bridge smoke (ADR-129 P1) (push) Failing after 2s
V3 CI/CD Pipeline / wasm gallery CRUD smoke (ADR-129 P3) (push) Failing after 1s
V3 CI/CD Pipeline / wasm plugin bridge smoke (ADR-129 P4) (push) Failing after 0s
V3 CI/CD Pipeline / wasm compose smoke (ADR-129 P2) (push) Failing after 4s
V3 CI/CD Pipeline / graph schema smoke (ADR-130 P1) (push) Failing after 0s
Validate Marketplace / validate (push) Failing after 1s
🔍 Verification Pipeline / 🚀 Setup Verification (push) Failing after 1s
🔍 Verification Pipeline / 🛡️ Security Verification (push) Has been skipped
🔍 Verification Pipeline / 📝 Code Quality (push) Has been skipped
🔍 Verification Pipeline / 🧪 Test Verification (${{ matrix.os }}, Node ${{ matrix.node }}) (push) Has been skipped
🔍 Verification Pipeline / 🏗️ Build Verification (push) Has been skipped
🔍 Verification Pipeline / 📚 Documentation Verification (push) Has been skipped
CVE Audit Gate / High-severity report (warn only) (push) Has been cancelled
🔄 Automated Rollback Manager / 🔄 Execute Rollback (push) Has been cancelled
🔄 Automated Rollback Manager / ✅ Post-Rollback Verification (push) Has been cancelled
🔄 Automated Rollback Manager / 📊 Rollback Monitoring (push) Has been cancelled
V3 CI/CD Pipeline / Windows init hooks smoke (#2132) / windows-latest (push) Has been cancelled
V3 CI/CD Pipeline / Windows hook execution smoke (#2132) / macos-latest (push) Has been cancelled
V3 CI/CD Pipeline / Windows hook execution smoke (#2132) / windows-latest (push) Has been cancelled
🔄 Automated Rollback Manager / ⏳ Manual Rollback Approval (push) Has been cancelled
V3 CI/CD Pipeline / MCP protocol smoke / macos-latest (push) Has been cancelled
V3 CI/CD Pipeline / Memory import smoke / macos-latest (push) Has been cancelled
V3 CI/CD Pipeline / Windows hook shim smoke (#2132) / macos-latest (push) Has been cancelled
V3 CI/CD Pipeline / Windows hook shim smoke (#2132) / windows-latest (push) Has been cancelled
V3 CI/CD Pipeline / Windows init hooks smoke (#2132) / macos-latest (push) Has been cancelled
V3 CI/CD Pipeline / Witness verify (signed manifest) / macos-latest (push) Has been cancelled
V3 CI/CD Pipeline / Witness verify (signed manifest) / ubuntu-latest (push) Has been cancelled
V3 CI/CD Pipeline / Witness verify (signed manifest) / windows-latest (push) Has been cancelled
V3 CI/CD Pipeline / Publish to npm (alpha) (push) Has been cancelled
V3 CI/CD Pipeline / Smoke (no better-sqlite3) / macos-latest / Node 22 (push) Has been cancelled
V3 CI/CD Pipeline / Plugin hooks smoke / macos-latest / Node 22 (push) Has been cancelled
CI/CD Pipeline / Deploy & Release (push) Has been cancelled
CI/CD Pipeline / CI Status (push) Has been cancelled
🔗 Cross-Agent Integration Tests / 📊 Integration Test Report (push) Has been cancelled
🔄 Automated Rollback Manager / 🔍 Pre-Rollback Validation (push) Has been cancelled
🔍 Verification Pipeline / ⚡ Performance Verification (push) Has been cancelled
🔍 Verification Pipeline / 📊 Verification Report (push) Has been cancelled
162 lines
7.9 KiB
TypeScript
162 lines
7.9 KiB
TypeScript
/**
|
|
* ADR-095 G2 — failure-injection tests.
|
|
*
|
|
* Drives multi-node consensus over a shared LocalTransportRegistry with
|
|
* some nodes silenced (their inbound handler is replaced with a no-op so
|
|
* they receive messages but never participate). Asserts:
|
|
* - BFT: consensus is reached with ≤ f faulty (f = floor((n-1)/3)),
|
|
* and NOT reached with > f faulty.
|
|
* - Raft: a candidate wins the election with a majority of votes,
|
|
* and loses it when too many peers are silent.
|
|
*/
|
|
import { describe, it, expect } from 'vitest';
|
|
import { ByzantineConsensus } from '../src/consensus/byzantine.js';
|
|
import { RaftConsensus } from '../src/consensus/raft.js';
|
|
import { LocalTransport, LocalTransportRegistry } from '../src/consensus/transport.js';
|
|
|
|
// ---------------------------------------------------------------------------
|
|
// Byzantine — PBFT prepare/commit quorum under f-bounded faults
|
|
// ---------------------------------------------------------------------------
|
|
|
|
/**
|
|
* Build one ByzantineConsensus node with `peerCount` known peers (so
|
|
* byzantineF() = floor(((peerCount+1)-1)/3)), then feed it `prepareSenders`
|
|
* distinct prepare messages followed by `commitSenders` distinct commit
|
|
* messages for the same (view, seq). Returns whether `consensus.achieved`
|
|
* fired (i.e., commitCount reached 2f+1). This tests the threshold without
|
|
* relying on a full multi-node cascade.
|
|
*/
|
|
async function injectQuorum(opts: {
|
|
peerCount: number;
|
|
prepareSenders: string[];
|
|
commitSenders: string[];
|
|
maxFaultyNodes?: number;
|
|
}): Promise<{ achieved: boolean; f: number }> {
|
|
const reg = new LocalTransportRegistry();
|
|
const t = new LocalTransport('node', { registry: reg });
|
|
const driver = new LocalTransport('driver', { registry: reg });
|
|
const bft = new ByzantineConsensus('node', { transport: t, ...(opts.maxFaultyNodes !== undefined ? { maxFaultyNodes: opts.maxFaultyNodes } : {}) });
|
|
for (let i = 0; i < opts.peerCount; i++) bft.addNode(`peer${i}`, i === 0);
|
|
// Seed the proposal so handleCommit can flip it to 'accepted'.
|
|
const digest = 'd'.repeat(64);
|
|
const base = { viewNumber: 0, sequenceNumber: 1, digest, timestamp: new Date().toISOString() };
|
|
// pre-prepare creates the proposal on this node.
|
|
await driver.send('node', { type: 'pre-prepare', payload: { type: 'pre-prepare', ...base, payload: { v: 1 } }, viewNumber: 0 });
|
|
|
|
let achieved = false;
|
|
bft.on('consensus.achieved', () => { achieved = true; });
|
|
const f = (bft as unknown as { byzantineF: () => number }).byzantineF();
|
|
|
|
// Inject prepares from distinct senders.
|
|
for (const sid of opts.prepareSenders) {
|
|
// Each must come from a distinct `from` so dedup-by-senderId counts it.
|
|
const dt = new LocalTransport(`p_${sid}`, { registry: reg });
|
|
await dt.send('node', { type: 'prepare', payload: { type: 'prepare', ...base }, viewNumber: 0 });
|
|
await dt.close();
|
|
}
|
|
// Inject commits from distinct senders.
|
|
for (const sid of opts.commitSenders) {
|
|
const dt = new LocalTransport(`c_${sid}`, { registry: reg });
|
|
await dt.send('node', { type: 'commit', payload: { type: 'commit', ...base }, viewNumber: 0 });
|
|
await dt.close();
|
|
}
|
|
|
|
await bft.shutdown(); await t.close(); await driver.close();
|
|
return { achieved, f };
|
|
}
|
|
|
|
// Note on accounting: the node under test contributes 1 prepare (via the
|
|
// pre-prepare self-handle) and, once prepareCount hits 2f+1, 1 commit (via
|
|
// the prepare→commit self-handle). So `prepareSenders.length` external
|
|
// prepares + the node's own = `len+1`; same for commits. To hit a 2f+1
|
|
// quorum the test injects `2f` external messages of each kind.
|
|
describe('ADR-095 G2 — BFT prepare/commit quorum under f-bounded faults', () => {
|
|
it('4-node cluster (f=1): 2f external prepares + 2f external commits → quorum 2f+1 reached', async () => {
|
|
const { achieved, f } = await injectQuorum({ peerCount: 3, prepareSenders: ['s1', 's2'], commitSenders: ['s1', 's2'] });
|
|
expect(f).toBe(1);
|
|
expect(achieved).toBe(true); // node + 2 = 3 = 2f+1
|
|
});
|
|
|
|
it('4-node cluster (f=1): only 1 external commit (one node faulty) → NOT reached', async () => {
|
|
const { achieved, f } = await injectQuorum({ peerCount: 3, prepareSenders: ['s1', 's2'], commitSenders: ['s1'] });
|
|
expect(f).toBe(1);
|
|
expect(achieved).toBe(false); // node + 1 = 2 < 2f+1
|
|
});
|
|
|
|
it('7-node cluster (f=2): 2f external prepares + 2f external commits → quorum 2f+1=5 reached', async () => {
|
|
const { achieved, f } = await injectQuorum({ peerCount: 6, prepareSenders: ['s1', 's2', 's3', 's4'], commitSenders: ['s1', 's2', 's3', 's4'] });
|
|
expect(f).toBe(2);
|
|
expect(achieved).toBe(true); // node + 4 = 5 = 2f+1
|
|
});
|
|
|
|
it('7-node cluster (f=2): only 3 external commits (two faulty) → NOT reached', async () => {
|
|
const { achieved, f } = await injectQuorum({ peerCount: 6, prepareSenders: ['s1', 's2', 's3', 's4'], commitSenders: ['s1', 's2', 's3'] });
|
|
expect(f).toBe(2);
|
|
expect(achieved).toBe(false); // node + 3 = 4 < 5
|
|
});
|
|
|
|
it('config.maxFaultyNodes caps f: 10-node cluster + cap 1 → 2f+1=3 reached with only 2 external commits', async () => {
|
|
const { achieved, f } = await injectQuorum({ peerCount: 9, maxFaultyNodes: 1, prepareSenders: ['s1', 's2'], commitSenders: ['s1', 's2'] });
|
|
expect(f).toBe(1); // capped, not floor(9/3)=3
|
|
expect(achieved).toBe(true);
|
|
});
|
|
});
|
|
|
|
// ---------------------------------------------------------------------------
|
|
// Raft — election under majority/minority of votes
|
|
// ---------------------------------------------------------------------------
|
|
|
|
/**
|
|
* Drive a single RequestVote round from `candidate` to all `voters` over
|
|
* the transport and tally grants. `silent` voters get a no-op handler so
|
|
* they never reply (the candidate's `send` to them times out → no vote).
|
|
* Returns the grant count (including the candidate's implicit self-vote).
|
|
*/
|
|
async function tallyVotes(candidateId: string, voterIds: string[], silent: Set<string>, term: number): Promise<number> {
|
|
const reg = new LocalTransportRegistry();
|
|
const transports: LocalTransport[] = [];
|
|
const nodes = new Map<string, RaftConsensus>();
|
|
const allIds = [candidateId, ...voterIds];
|
|
for (const id of allIds) {
|
|
const t = new LocalTransport(id, { registry: reg, defaultTimeoutMs: 100 });
|
|
transports.push(t);
|
|
const r = new RaftConsensus(id, { transport: t });
|
|
for (const other of allIds) if (other !== id) r.addPeer(other);
|
|
nodes.set(id, r);
|
|
}
|
|
for (const id of silent) transports.find(t => t.nodeId === id)!.onMessage(() => { /* silent: never reply */ });
|
|
|
|
let grants = 1; // self-vote
|
|
const candT = transports.find(t => t.nodeId === candidateId)!;
|
|
await Promise.all(voterIds.map(async (vid) => {
|
|
try {
|
|
const reply = await candT.send(vid, { type: 'request-vote', payload: { term, candidateId, lastLogIndex: 0, lastLogTerm: 0 }, term }, 100);
|
|
if ((reply?.payload as { granted?: boolean })?.granted === true) grants++;
|
|
} catch { /* timeout → no vote */ }
|
|
}));
|
|
|
|
for (const n of nodes.values()) await n.shutdown();
|
|
for (const t of transports) await t.close();
|
|
return grants;
|
|
}
|
|
|
|
describe('ADR-095 G2 — Raft election under vote majority/minority', () => {
|
|
it('5-node cluster, all 4 voters reply → candidate gets 5 votes (majority is 3)', async () => {
|
|
const grants = await tallyVotes('n1', ['n2', 'n3', 'n4', 'n5'], new Set(), 1);
|
|
expect(grants).toBe(5);
|
|
expect(grants).toBeGreaterThanOrEqual(3); // wins
|
|
});
|
|
|
|
it('5-node cluster, 2 voters silent → candidate still gets 3 votes (majority) → wins', async () => {
|
|
const grants = await tallyVotes('n1', ['n2', 'n3', 'n4', 'n5'], new Set(['n4', 'n5']), 1);
|
|
expect(grants).toBe(3);
|
|
expect(grants).toBeGreaterThanOrEqual(3);
|
|
});
|
|
|
|
it('5-node cluster, 3 voters silent → candidate gets only 2 votes (< majority) → loses', async () => {
|
|
const grants = await tallyVotes('n1', ['n2', 'n3', 'n4', 'n5'], new Set(['n3', 'n4', 'n5']), 1);
|
|
expect(grants).toBe(2);
|
|
expect(grants).toBeLessThan(3);
|
|
});
|
|
});
|