percli/Cargo.toml at master · mizuki0x/percli · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
[workspace]
resolver = "2"
members = [
    "crates/percli-core",
    "crates/percli",
    "crates/percli-wasm",
    "crates/percli-program",
    "crates/percli-chain",
]

[workspace.package]
version = "1.0.0"
edition = "2021"
license = "Apache-2.0 OR MIT"
repository = "https://github.com/kamiyoai/percli"
homepage = "https://github.com/kamiyoai/percli"
keywords = ["percolator", "risk-engine", "defi", "solana", "perpetuals"]
categories = ["simulation", "command-line-utilities"]

# Root percolator library (upstream engine)
# Published to crates.io as "percolator-engine" to avoid name conflict with upstream.
# The lib name stays "percolator" so all imports remain unchanged.
[package]
name = "percolator-engine"
version = "1.0.0"
edition = "2021"
license = "Apache-2.0"
description = "Formally verified risk engine for perpetual futures — fair exits (H) and O(1) overhang clearing (A/K)"
repository = "https://github.com/kamiyoai/percli"
homepage = "https://github.com/aeyakovenko/percolator"
keywords = ["percolator", "risk-engine", "defi", "perpetuals", "formally-verified"]
categories = ["algorithms", "no-std"]
readme = "README.md"

[lints.rust]
unexpected_cfgs = { level = "allow", check-cfg = ['cfg(kani)'] }


[lib]
name = "percolator"
path = "src/percolator.rs"

[dependencies]
# No runtime dependencies - pure no_std compatible library

[dev-dependencies]
proptest = "1.4"

[features]
default = []
test = []  # Use MAX_ACCOUNTS=64 for tests
fuzz = ["test"]  # Enable fuzzing tests (includes test feature for test_visible helpers)

[profile.release]
lto = "fat"
codegen-units = 1
opt-level = 3
overflow-checks = true

[profile.sbf]
inherits = "release"
panic = "abort"

[workspace.metadata.kani]
flags = { tests = true }
unstable = { stubbing = true }

[[workspace.metadata.kani.proof]]
harness = ".*"
unwind = 70