percolator-engine 1.0.0

Formally verified risk engine for perpetual futures — fair exits (H) and O(1) overhang clearing (A/K)
Documentation
# Rust/Cargo
/target/
**/*.rs.bk
*.pdb

# Build artifacts
*.o
*.a
*.dylib
*.dll
*.exe
*.so
*.rlib

# IDE
.vscode/
.idea/
*.swp
*.swo
*~
.DS_Store

# Temporary files
*.tmp
*.bak
.#*
\#*\#

# OS files
.DS_Store
Thumbs.db
desktop.ini

# Test outputs
*.profraw
*.profdata

# Local configuration
.env
.env.local
test-ledger/

# Internal planning docs
/docs/