Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/aeyakovenko/percolator
/ functions
Functions
1,205 in github.com/aeyakovenko/percolator
⨍
Functions
1,205
◇
Types & classes
98
↓ 1,503 callers
Method
get
(self)
src/v16.rs:5215
↓ 345 callers
Method
checked_add
(self, rhs: U256)
src/wide_math.rs:74
↓ 250 callers
Method
try_to_runtime
(self)
src/v16.rs:5313
↓ 209 callers
Method
as_view
(&self)
src/v16.rs:3601
↓ 113 callers
Method
checked_sub
(self, rhs: U256)
src/wide_math.rs:81
↓ 98 callers
Function
one_market_view_fixture
()
tests/proofs_v16.rs:62
↓ 96 callers
Method
validate_shape
(&self)
src/v16.rs:6471
↓ 90 callers
Method
checked_mul
(self, rhs: U256)
src/wide_math.rs:88
↓ 84 callers
Method
validate_with_market
(&self, market: &MarketGroupV16View<'_, T>)
src/v16.rs:3746
↓ 71 callers
Function
account_fixture
(market_slots: u32, account_seed: u8)
tests/v16_spec_tests.rs:74
↓ 65 callers
Function
decode_bool
(value: u8)
src/v16.rs:16037
↓ 62 callers
Function
market_fixture
( market_slots: u32, init_price: u64, )
tests/v16_spec_tests.rs:28
↓ 53 callers
Method
domain_asset_side
(&self, domain: usize)
src/v16.rs:7018
↓ 47 callers
Method
deposit_not_atomic
( &mut self, account: &mut PortfolioV16ViewMut<'_>, amount: u128, )
src/v16.rs:14980
↓ 43 callers
Function
decode_market_mode
(value: u8)
src/v16.rs:16108
↓ 37 callers
Method
asset_state
(&self, asset_index: usize)
src/v16.rs:11598
↓ 34 callers
Method
hi
(&self)
src/wide_math.rs:54
↓ 34 callers
Method
try_into_u128
(&self)
src/wide_math.rs:64
↓ 33 callers
Function
one_market_only_fixture
()
tests/proofs_v16.rs:100
↓ 32 callers
Method
backing_bucket_for_domain
(&self, domain: usize)
src/v16.rs:7098
↓ 32 callers
Method
lo
(&self)
src/wide_math.rs:49
↓ 31 callers
Method
is_occupied
(self)
src/v16.rs:15726
↓ 31 callers
Method
kani_residual
(&self)
src/v16_kani_api.rs:339
↓ 31 callers
Method
saturating_sub
(self, rhs: U256)
src/wide_math.rs:182
↓ 31 callers
Method
validate
(&self)
src/v16.rs:4901
↓ 30 callers
Method
is_zero
(&self)
src/wide_math.rs:59
↓ 30 callers
Method
source_credit_for_domain
(&self, domain: usize)
src/v16.rs:7047
↓ 27 callers
Method
is_negative
(&self)
src/wide_math.rs:586
↓ 26 callers
Function
encode_bool
(value: bool)
src/v16.rs:16029
↓ 25 callers
Function
validate_non_min_i128
(v: i128)
src/v16.rs:16217
↓ 23 callers
Function
signed_q
(q: u128)
tests/v16_spec_tests.rs:87
↓ 21 callers
Function
ids
()
tests/proofs_v16.rs:45
↓ 21 callers
Method
insurance_reservation_for_domain
( &self, domain: usize, )
src/v16.rs:7123
↓ 21 callers
Method
overflowing_add
(self, rhs: U256)
src/wide_math.rs:154
↓ 21 callers
Method
set_source_credit_for_domain
( &mut self, domain: usize, source: SourceCreditStateV16, )
src/v16.rs:7078
↓ 19 callers
Method
checked_div
(self, rhs: U256)
src/wide_math.rs:138
↓ 19 callers
Method
has_default_sparse_tag
(self)
src/v16.rs:15742
↓ 16 callers
Method
full_account_refresh_not_atomic
( &mut self, account: &mut PortfolioV16ViewMut<'_>, )
src/v16.rs:10381
↓ 16 callers
Function
kani_any_ledger_triple
()
src/v16_proofs.rs:1038
↓ 16 callers
Function
kani_ledger_inv
( b: &BackingBucketV16, s: &SourceCreditStateV16, r: &InsuranceCreditReservationV16, )
src/v16_proofs.rs:1022
↓ 16 callers
Method
try_to_runtime_shape
(&self)
src/v16.rs:5520
↓ 16 callers
Method
validate_configured_asset_index
(&self, asset_index: usize)
src/v16.rs:11639
↓ 15 callers
Method
accrue_asset_to_not_atomic
( &mut self, asset_index: usize, now_slot: u64, effective_price: u64,
src/v16.rs:11031
↓ 15 callers
Method
credit
(&mut self, class: TokenValueClassV16, amount: u128)
src/v16.rs:4893
↓ 15 callers
Method
execute_trade_with_fee_loss_stale_scoped_not_atomic
( &mut self, long_account: &mut PortfolioV16ViewMut<'_>, short_account: &mut Portfolio
src/v16.rs:13639
↓ 15 callers
Method
set_account_pnl
( &mut self, account: &mut PortfolioV16ViewMut<'_>, new_pnl: i128, )
src/v16.rs:9627
↓ 15 callers
Method
set_asset_state
(&mut self, asset_index: usize, asset: AssetStateV16)
src/v16.rs:11607
↓ 15 callers
Method
withdraw_not_atomic
( &mut self, account: &mut PortfolioV16ViewMut<'_>, amount: u128, )
src/v16.rs:14544
↓ 14 callers
Method
debit
(&mut self, class: TokenValueClassV16, amount: u128)
src/v16.rs:4885
↓ 14 callers
Method
engine_slot
(&self)
src/v16.rs:3569
↓ 14 callers
Method
reservation_encumbrance_proof_for_domain_parts
( &self, domain: usize, source: SourceCreditStateV16, bucket: BackingBucketV16
src/v16.rs:7223
↓ 13 callers
Function
active_bitmap_set
(bitmap: &mut V16ActiveBitmap, leg_slot_index: usize)
src/v16.rs:248
↓ 13 callers
Method
checked_neg
(self)
src/wide_math.rs:722
↓ 13 callers
Method
is_empty
(self)
src/v16.rs:4147
↓ 13 callers
Function
opposite_side
(side: SideV16)
src/v16.rs:16182
↓ 13 callers
Method
set_backing_bucket_for_domain
( &mut self, domain: usize, bucket: BackingBucketV16, )
src/v16.rs:7107
↓ 13 callers
Method
validate_shape_audit_scan
(&self)
src/v16.rs:6840
↓ 12 callers
Method
activate_empty_market_not_atomic
( &mut self, asset_index: u32, authenticated_price: u64, now_slot: u64, )
src/v16.rs:15160
↓ 12 callers
Method
domain_insurance_budget_spent
(&self, domain: usize)
src/v16.rs:8551
↓ 12 callers
Method
kani_permissionless_crank
( &mut self, account: &mut PortfolioV16ViewMut<'_>, request: PermissionlessCrankReques
src/v16_kani_api.rs:1779
↓ 12 callers
Method
overflowing_sub
(self, rhs: U256)
src/wide_math.rs:165
↓ 11 callers
Method
insurance_domain_index
(&self, asset_index: usize, side: SideV16)
src/v16.rs:7035
↓ 11 callers
Method
validate_source_domain_ledger
(&self, domain: usize)
src/v16.rs:7135
↓ 11 callers
Function
widening_mul_u128
Widening multiply: u128 * u128 -> (lo: u128, hi: u128). Schoolbook on u64 halves.
src/wide_math.rs:1051
↓ 10 callers
Function
active_bitmap_get
(bitmap: V16ActiveBitmap, leg_slot_index: usize)
src/v16.rs:238
↓ 10 callers
Method
engine_slot_mut
(&mut self)
src/v16.rs:3575
↓ 10 callers
Method
has_pending_domain_loss_barrier
( &self, asset_index: usize, side: SideV16, )
src/v16.rs:12025
↓ 10 callers
Method
init_empty_in_place
(&mut self, header: ProvenanceHeaderV16Account)
src/v16.rs:15801
↓ 10 callers
Method
sync_account_fee_to_slot_not_atomic
( &mut self, account: &mut PortfolioV16ViewMut<'_>, now_slot: u64, fee_rate_pe
src/v16.rs:14496
↓ 9 callers
Method
abs_u256
Return the absolute value as U256. Panics on I256::MIN.
src/wide_math.rs:605
↓ 9 callers
Method
build_actionable_summary
PRODUCTION CLASSIFIER (roadmap 3C step 4): map the real account/market state to the ActionableState summary the self-classifying crank dispatches from
src/v16.rs:11256
↓ 9 callers
Function
div_rem_u256
Divide U256 by U256, returning (quotient, remainder). Panics if divisor is zero.
src/wide_math.rs:1103
↓ 9 callers
Method
hi_u128
(&self)
src/wide_math.rs:968
↓ 9 callers
Method
lo_u128
internal helpers
src/wide_math.rs:964
↓ 9 callers
Function
risk_notional_ceil
(abs_pos_q: u128, price: u64)
src/v16.rs:15883
↓ 9 callers
Method
validate_account_audit_scan
(&self, _account: &PortfolioV16View<'_>)
src/v16.rs:6852
↓ 8 callers
Method
activate_empty_asset_slot_not_atomic
( &mut self, asset_index: u32, slot: &mut EngineAssetSlotV16Account, authentic
src/v16.rs:6448
↓ 8 callers
Method
b_target_for_leg
(&self, asset_index: usize, leg: PortfolioLegV16)
src/v16.rs:10125
↓ 8 callers
Method
close_resolved_account_not_atomic
( &mut self, account: &mut PortfolioV16ViewMut<'_>, fee_rate_per_slot: u128, )
src/v16.rs:14827
↓ 8 callers
Method
declare_permissionless_recovery
( &mut self, reason: PermissionlessRecoveryReasonV16, )
src/v16.rs:11150
↓ 8 callers
Method
deposit_fresh_counterparty_backing_not_atomic
Deposits external quote into a source domain's fresh counterparty backing. `amount` is quote atoms. The backing ledger stores BOUND_SCALE-scaled amou
src/v16.rs:7313
↓ 8 callers
Method
execute_batch_with_fee_loss_stale_scoped_not_atomic
( &mut self, long_account: &mut PortfolioV16ViewMut<'_>, short_account: &mut Portfolio
src/v16.rs:13657
↓ 8 callers
Method
has_pending_residual
(self)
src/v16.rs:4233
↓ 8 callers
Method
kani_charge_account_fee_current_not_atomic
( &mut self, account: &mut PortfolioV16ViewMut<'_>, requested_fee: u128, )
src/v16_kani_api.rs:830
↓ 8 callers
Function
margin_requirement
(notional: u128, bps: u64, floor: u128)
src/v16.rs:15937
↓ 8 callers
Method
permissionless_auto_crank_not_atomic
THE SINGLE PUBLIC PERMISSIONLESS CRANK (engine.md): the only crank the wrapper should call — order-insensitive and engine-selected, built for a swarm
src/v16.rs:11400
↓ 8 callers
Method
refresh_header_aggregate_totals_for_test
(&mut self)
src/v16.rs:6821
↓ 8 callers
Method
residual
Junior (positive-PnL) payout pool = vault minus ALL senior claims: capital (c_tot), insurance, backing-provider earnings, AND recoverable counterparty
src/v16.rs:7003
↓ 8 callers
Method
saturating_add
(self, rhs: U256)
src/wide_math.rs:178
↓ 8 callers
Method
signum
(&self)
src/wide_math.rs:594
↓ 8 callers
Method
validate_source_domain_ledger_current
(&self, domain: usize)
src/v16.rs:7144
↓ 8 callers
Method
withdraw_fresh_counterparty_backing_not_atomic
Withdraws unliened fresh counterparty-backing principal. The withdrawal is allowed only if the source domain remains fully backed (`credit_rate_num =
src/v16.rs:7342
↓ 7 callers
Function
active_bitmap_is_empty
(bitmap: V16ActiveBitmap)
src/v16.rs:226
↓ 7 callers
Method
is_empty_amount_shape
(self)
src/v16.rs:3410
↓ 7 callers
Method
junior_claim_bound
(&self)
src/v16.rs:7014
↓ 7 callers
Function
one_market_direct_view_fixture
()
tests/proofs_v16.rs:132
↓ 7 callers
Function
open_one_lot_pair
( market: &mut MarketGroupV16ViewMut<'_, u64>, long: &mut PortfolioV16ViewMut<'_>, short: &mut Por
tests/v16_spec_tests.rs:100
↓ 7 callers
Method
resolve_market_not_atomic
(&mut self, resolved_slot: u64)
src/v16.rs:14614
↓ 7 callers
Method
set_insurance_reservation_for_domain
( &mut self, domain: usize, reservation: InsuranceCreditReservationV16, )
src/v16.rs:8531
↓ 7 callers
Method
settle_negative_pnl_from_principal_core_not_atomic
( &mut self, account: &mut PortfolioV16ViewMut<'_>, )
src/v16.rs:13905
next →
1–100 of 1,205, ranked by callers