sync: adopt v12.17 core engine as canonical main

.cargo/config.toml

@@ -1,5 +1,2 @@
-# RiskEngine is ~6 MB at MAX_ACCOUNTS=4096 and `new()` constructs on the
-# stack.  The default 8 MB thread stack is too small in debug builds.
-# Bump all test threads to 32 MB so that every `cargo test` just works.
 [env]
-RUST_MIN_STACK = "33554432"  # 32 MB
+RUST_MIN_STACK = "8388608"

.gitignore

@@ -39,4 +39,3 @@ desktop.ini
 .env
 .env.local
 test-ledger/
-rust_out

Cargo.toml

@@ -3,10 +3,6 @@ name = "percolator"
 version = "0.1.0"
 edition = "2021"
 license = "Apache-2.0"
-autotests = false
-
-[lints.rust]
-unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)', 'cfg(target_os, values("solana"))'] }
 
 [lib]
 name = "percolator"
@@ -20,11 +16,14 @@ proptest = "1.4"
 
 [features]
 default = []
-test = []    # Use MAX_ACCOUNTS=64 (~0.17 SOL rent)
-small = []   # Use MAX_ACCOUNTS=256 (~0.68 SOL rent)
-medium = []  # Use MAX_ACCOUNTS=1024 (~2.7 SOL rent)
-# No feature = MAX_ACCOUNTS=4096 (~6.9 SOL rent)
+test = []  # Use MAX_ACCOUNTS=64 for tests
+stress = []  # Expose test_visible methods but keep MAX_ACCOUNTS=4096
 fuzz = ["test"]  # Enable fuzzing tests (includes test feature for test_visible helpers)
+small = []  # MAX_ACCOUNTS=256 (~0.68 SOL rent)
+medium = []  # MAX_ACCOUNTS=1024 (~2.7 SOL rent)
+
+[lints.rust]
+unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }
 
 [profile.release]
 lto = "fat"
@@ -43,65 +42,3 @@ unstable = { stubbing = true }
 [[workspace.metadata.kani.proof]]
 harness = ".*"
 unwind = 70
-
-# Explicit test targets. autotests = false disables Cargo auto-discovery so
-# `cargo kani --tests` does not attempt to parse broken/feature-gated test
-# files (amm_tests.rs, fuzzing.rs, kani.rs) that depend on removed symbols
-# (AccountKind enum, NoOpMatcher) or dev-dep macros Kani's frontend cannot
-# expand. The file `tests/kani.rs` is intentionally not listed — it is kept
-# on disk for future resurrection but is NOT part of any build target.
-[[test]]
-name = "proofs_arithmetic"
-path = "tests/proofs_arithmetic.rs"
-
-[[test]]
-name = "proofs_audit"
-path = "tests/proofs_audit.rs"
-
-[[test]]
-name = "proofs_instructions"
-path = "tests/proofs_instructions.rs"
-
-[[test]]
-name = "proofs_invariants"
-path = "tests/proofs_invariants.rs"
-
-[[test]]
-name = "proofs_lazy_ak"
-path = "tests/proofs_lazy_ak.rs"
-
-[[test]]
-name = "proofs_liveness"
-path = "tests/proofs_liveness.rs"
-
-[[test]]
-name = "proofs_safety"
-path = "tests/proofs_safety.rs"
-
-[[test]]
-name = "proofs_v1131"
-path = "tests/proofs_v1131.rs"
-
-[[test]]
-name = "proofs_phase_f"
-path = "tests/proofs_phase_f.rs"
-
-[[test]]
-name = "kani"
-path = "tests/kani.rs"
-
-[[test]]
-name = "unit_tests"
-path = "tests/unit_tests.rs"
-
-[[test]]
-name = "amm_tests"
-path = "tests/amm_tests.rs"
-
-# NOTE: tests/fuzzing.rs is intentionally NOT declared as a [[test]] target.
-# Its proptest! macro bodies parse as invalid Rust when proptest is not in
-# scope, and activating the `fuzz` feature transitively activates `test`
-# which reveals 600+ stale compile errors in unit_tests.rs. To run the
-# proptest fuzz suite, either restore this entry locally with
-# `required-features = ["fuzz"]` or copy fuzzing.rs into a separate crate.
-