QuestHive Documentation

Architecture Overview

QuestHive is an Electronic Communication Network (ECN) for trading Multi-Purpose Vouchers (MPVs) representing standardized labor units. The system uses a deterministic, single-threaded sequencer with sub-microsecond matching latency, shared-memory IPC, and hardware-aligned memory topologies.

Crate Reference

Service Reference

Quality Metrics (v2.11.0)

Performance Targets

Development

Prerequisites

# Nix flake (hermetic toolchain)
nix develop

# Or via cargo directly (requires Rust 1.70+, nightly for miri)
rustup default stable

Build and Test

# Build all crates
cargo build --workspace

# Run all tests (excludes WASM apps)
cargo test --workspace --exclude questhive-app --exclude terminal

# Lint
cargo clippy --workspace --exclude questhive --exclude app --exclude load-tests -- -D clippy::all -D clippy::unwrap_in_result -D clippy::todo -D clippy::dbg_macro
cargo fmt --all -- --check

# Full CI locally
make ci

Pre-Commit Hook

The pre-commit hook runs automatically on git commit. It enforces: format check, workspace compilation, clippy (-D warnings), core crate unit tests, Lean 4 proof verification (optional), cargo-deny (optional), cargo-audit (optional), emoji detection in staged .md files, and fuzz build check (optional). Bypass with git commit --no-verify.

Pre-Push Hook

The pre-push hook runs the full test suite before git push. It mirrors CI: format, clippy, full workspace tests, cargo-deny, cargo-audit. Bypass with git push --no-verify.

Compliance

Protocol Specification

The canonical protocol specification is QUESTHIVE_PROTOCOL_SPEC.md in the repository root (authentication required). Key parameters:

Deployed Services