percolator-engine 0.9.0

Formally verified risk engine for perpetual futures — fair exits (H) and O(1) overhang clearing (A/K)
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
# Security

## Disclaimer

**percli and the Percolator risk engine are research software. They have NOT been audited. Do NOT use with real funds.**

The on-chain program (`percli-program`) is provided for educational and testing purposes only. It should only be deployed on devnet or localnet.

## Reporting Vulnerabilities

If you discover a security issue, please report it privately:

**Email:** security@kamiyo.ai

Do not open a public GitHub issue for security vulnerabilities.

We will acknowledge receipt within 48 hours and work with you on a fix before any public disclosure.