Bath Analytics Kernel Documentation

Compile formally verified quantitative strategy invariants into branchless, hardware-optimized machine code.

Zero-Dependency CLI Bootstrap

Execute offline on your local silicon with SANDBOX_LOCAL for immediate offline localhost benchmarking, or pass your production BATH_CORE_ license key:

# 1. Fetch and install the architecture-native compiler toolchain (x86_64 / ARM64)
curl -sL https://bathanalytics.com/install | bash -s SANDBOX_LOCAL

# 2. Run the 12-second local clock-cycle benchmark against raw unverified C++:
bath-compile --benchmark --strategy multi_asset_state_model.cpp --verify-zero-tax

Class 1: CLI Benchmark & Assembly Proof →

Execute local formal proofs and verify the complete removal of conditional branches via objdump.

Class 2: Invariant Specification Library →

Declare compile-time risk attributes directly above outbound execution sockets using exact rational numbers (ℚ).

Class 3: Pre-Commit Guardian & SEC 15c3-5 →

Decouple signed risk files from strategy repos using out-of-band Ed25519 tokens to eliminate rogue trader risk.

Class 4: Substrate Binding Topology

Direct OS kernel bypass via Solarflare EF_VI / OpenOnload alongside deterministic on-chain WASM / EVM execution loops.