Accuracy not guaranteed. Neither is Congress's. At least we're honest about it. Always verify at Congress.gov.

Leg day: Fri → Fri (28d) Recess

VoteChain Evidence Board

Air-Gapped Test Election
Diagram Board

Visual summary of stages, stress tests, and verification outcomes from the public working-group mock election cycles.

All Runs Verified
Polling Machines
5
Sessions / Machine
100
Sessions / Run
500
Runs Executed
2
Verification State
PASS

Lifecycle

Stage Flow: Build To Verify

Each run follows the same chain to preserve reproducibility and auditability.

1
Bootstrap Stack
  • Generate Compose environment
  • Start machine, airgap, and central services
  • Validate strict auth boundary
2
Run Election Cycle
  • 5 machines x 100 sessions
  • Random spoils enabled
  • Machine reset after every session
3
Adversarial Drills
  • Duplicate-vote attempts at ballot box
  • Rogue node / ACK-key mismatch simulation
  • Observer degradation and recovery
4
Audit Verification
  • Outbox drains to zero
  • Ledger index/hash checks captured
  • Run report and receipts reconciled

Operational Load

Machine Session Matrix

Per-machine run split for the first cycle (seed 20260211).

Machine Sessions Spoiled Cast Reset Check
machine-1 100 12 88 100 / 100 PASS
machine-2 100 11 89 100 / 100 PASS
machine-3 100 14 86 100 / 100 PASS
machine-4 100 10 90 100 / 100 PASS
machine-5 100 12 88 100 / 100 PASS

Security And Integrity Tests

What Was Tested

Controls exercised during the same demonstration window.

Control Observed State
Duplicate check-in handling 6 blocked of 21 attempts PASS
Unregistered voter handling 3 blocked of 21 attempts PASS
Machine API nullifier defense Bypass attempts rejected PASS
Rogue relay role startup Invalid role rejected PASS
ACK-key spoof runtime drill Observer degraded then recovered DETECTED + RECOVERED
Random spoils preservation 59 / 57 spoiled in two runs PASS

Dual Plane Verification

Airgap + Central Ledger Path

Each ballot bundle is independently reconciled across both planes.

Airgap Plane

Machine export bundle signed
Airgap ingest validates signature + schema
Airgap relay forwards events to 3-node ledger
Outbox pending = 0 at completion

Central Plane

Same signed bundle ingested independently
Central relay applies ACK quorum rules
Central 3-node ledger reaches consistent head
Audit verify confirms cast/receipt parity

Run Outcomes

Election Results By Run

Both runs verified as internally consistent.

Run 20260211T211648Z Seed 20260211
VERIFIED
Winner: cand_a
Sessions 500
Cast 441
Spoiled 59
Run 20260211T211810Z Seed 20260212
VERIFIED
Winner: cand_b
Sessions 500
Cast 443
Spoiled 57