Functions — github.com/aeyakovenko/percolator

hub / github.com/aeyakovenko/percolator / functions

Functions1,205 in github.com/aeyakovenko/percolator

⨍ Functions 1,205◇ Types & classes 98

↓ 2 callersMethodis_sparse_tail_default

(self)

src/v16.rs:15747

↓ 2 callersFunctionkani_adjust_u128

(current: u128, old: u128, new: u128)

src/v16_kani_api.rs:218

↓ 2 callersFunctionkani_apply_backing_utilization_fee_charge

( account_capital: u128, group_c_tot: u128, bucket_earnings: u128, account_pnl: i128, requ

src/v16_kani_api.rs:12

↓ 2 callersMethodkani_clear_leg

( &mut self, account: &mut PortfolioV16ViewMut<'_>, asset_index: usize, )

src/v16_kani_api.rs:321

↓ 2 callersMethodkani_domain_asset_side

(&self, domain: usize)

src/v16_kani_api.rs:343

↓ 2 callersFunctionkani_eq_backing_bucket_v16_account

( a: &BackingBucketV16Account, b: &BackingBucketV16Account, )

src/v16_kani_api.rs:1097

↓ 2 callersFunctionkani_eq_insurance_credit_reservation_v16_account

( a: &InsuranceCreditReservationV16Account, b: &InsuranceCreditReservationV16Account, )

src/v16_kani_api.rs:1111

↓ 2 callersFunctionkani_eq_source_credit_state_v16_account

( a: &SourceCreditStateV16Account, b: &SourceCreditStateV16Account, )

src/v16_kani_api.rs:1079

↓ 2 callersMethodkani_h_lock_lane

( &self, account: Option<&PortfolioV16View<'_>>, instruction_bankruptcy_candidate: boo

src/v16_kani_api.rs:712

↓ 2 callersMethodkani_preflight_liquidation_residual_durability

( &mut self, asset_index: usize, bankrupt_side: SideV16, account: &PortfolioV1

src/v16_kani_api.rs:466

↓ 2 callersFunctionkani_prepare_asset_recovery_transition

( asset: AssetStateV16, asset_set_epoch: u64, risk_epoch: u64, )

src/v16_kani_api.rs:110

↓ 2 callersMethodkani_source_domain

(&self, domain: usize)

src/v16_kani_api.rs:271

↓ 2 callersFunctionleading_zeros_u256

Count leading zeros of a U256.

src/wide_math.rs:1094

↓ 2 callersFunctionleg_snapshots_bound_to_asset_side

(asset: AssetStateV16, leg: PortfolioLegV16)

src/v16.rs:16268

↓ 2 callersFunctionliquidation_close_would_leave_uncovered_loss_with_open_risk

( pnl: i128, capital: u128, active_bitmap: V16ActiveBitmap, leg_slot_index: usize, close_q

src/v16.rs:302

↓ 2 callersMethodmaintenance_requirement_for_notional

(&self, n: u128)

src/v16.rs:2890

↓ 2 callersMethodmark_account_b_stale

(&mut self, account: &mut PortfolioV16ViewMut<'_>)

src/v16.rs:10578

↓ 2 callersMethodmark_asset_drain_only_not_atomic

(&mut self, asset_index: usize)

src/v16.rs:15018

↓ 2 callersFunctionmarket_id

()

tests/resolved_insolvent_fuzz.rs:21

↓ 2 callersFunctionmul_div_ceil_u256

Spec section 4.6: exact wide product then ceiling divide. Computes ceil(a * b / d) using a U512 intermediate.

src/wide_math.rs:1485

↓ 2 callersFunctionmul_div_floor_u256

Spec section 4.6: exact wide product then floor divide. Computes floor(a * b / d) using a U512 intermediate to avoid overflow.

src/wide_math.rs:1465

↓ 2 callersFunctionmul_div_floor_u256_with_rem

Like mul_div_floor_u256 but also returns the remainder. Returns (floor(a * b / d), (a * b) mod d).

src/wide_math.rs:1474

↓ 2 callersMethodpreflight_convert_released_pnl_to_capital

( &self, account: &PortfolioV16View<'_>, )

src/v16.rs:14147

↓ 2 callersMethodpreflight_cure_and_cancel_close

( &self, account: &PortfolioV16View<'_>, optional_deposit: u128, )

src/v16.rs:14357

↓ 2 callersMethodpreflight_liquidation_residual_durability

( &mut self, asset_index: usize, bankrupt_side: SideV16, account: &PortfolioV1

src/v16.rs:8945

↓ 2 callersFunctionquarantine_remainder

(remainder: &mut u128, dust: &mut u128)

src/v16.rs:16202

↓ 2 callersMethodrealize_source_backed_claims_for_resolved_close_not_atomic

Terminal realization for a source-backed winner: realize the account's outstanding source-credit claims against their domain backing at the current cr

src/v16.rs:14681

↓ 2 callersMethodrecertify_account_after_trade_delta

( &self, account: &mut PortfolioV16ViewMut<'_>, asset_index: usize, old_abs_q:

src/v16.rs:13436

↓ 2 callersMethodreduce_position

( &mut self, account: &mut PortfolioV16ViewMut<'_>, asset_index: usize, close_

src/v16.rs:13141

↓ 2 callersMethodrefresh_source_credit_domain_after_mutation

(&mut self, domain: usize)

src/v16.rs:7166

↓ 2 callersMethodrelease_account_source_credit_lien_for_domain_not_atomic

Release one domain's counterparty/insurance source-credit lien (returning the reserved backing) and clear the account's per-domain lien fields. Mirror

src/v16.rs:8217

↓ 2 callersMethodrelease_source_credit_lien_from_counterparty_not_atomic

( &mut self, domain: usize, amount: u128, )

src/v16.rs:7470

↓ 2 callersMethodrelease_source_credit_lien_from_insurance_not_atomic

( &mut self, domain: usize, amount: u128, )

src/v16.rs:7725

↓ 2 callersMethodrelease_source_credit_lien_from_insurance_terminal_not_atomic

( &mut self, domain: usize, amount: u128, )

src/v16.rs:7756

↓ 2 callersMethodrequire_asset_live_reducible

(&self, asset_index: usize)

src/v16.rs:11757

↓ 2 callersMethodreservation_encumbrance_proof_for_domain

( &self, domain: usize, )

src/v16.rs:7193

↓ 2 callersMethodreserve_new_capital_backed_loss_for_source_domain_not_atomic

( &mut self, account: &mut PortfolioV16ViewMut<'_>, domain: usize, negative_be

src/v16.rs:10019

↓ 2 callersMethodresolved_bankruptcy_attribution

( &self, account: &PortfolioV16View<'_>, )

src/v16.rs:13790

↓ 2 callersFunctionresolved_market_with_backing

Resolved single-winner haircut market with `backing` atoms of recoverable counterparty backing principal sitting in the vault alongside the winner's c

tests/backing_double_claim_fuzz.rs:41

↓ 2 callersFunctionresolved_payout_receipt_for_proof

(face: u128, paid: u128)

tests/proofs_v16.rs:12346

↓ 2 callersMethodresolved_positive_payout_ready

(&self)

src/v16.rs:14019

↓ 2 callersFunctionrun_funding_target_sign_case

(positive_funding: bool, units: i128)

tests/proofs_v16.rs:9148

↓ 2 callersFunctionsame_side_risk_reduction_or_flat_obligation

(current: i128, next: i128)

src/v16.rs:16277

↓ 2 callersMethodset_account_pnl_inner

( &mut self, account: &mut PortfolioV16ViewMut<'_>, new_pnl: i128, source_doma

src/v16.rs:9678

↓ 2 callersMethodsettle_account_for_position_action_and_refresh_not_atomic

( &mut self, account: &mut PortfolioV16ViewMut<'_>, )

src/v16.rs:13353

↓ 2 callersMethodsettle_leg_kf_effects_at_slot

( &mut self, account: &mut PortfolioV16ViewMut<'_>, leg_slot: usize, )

src/v16.rs:10224

↓ 2 callersMethodsettle_leg_kf_effects_at_slot_with_asset

( &mut self, account: &mut PortfolioV16ViewMut<'_>, leg_slot: usize, asset: As

src/v16.rs:10241

↓ 2 callersMethodsettle_resolved_bankruptcy_negative_pnl

( &mut self, account: &mut PortfolioV16ViewMut<'_>, )

↓ 2 callersFunctionsnapshot_epoch_bound_to_side

(epoch_snap: u64, side_epoch: u64, mode: SideModeV16)

src/v16.rs:16263

↓ 2 callersFunctionsocial_loss_book_split

PRODUCTION HELPER (roadmap 3B.6 split): the social-loss booking division — `numerator = engine_chunk*SOCIAL_LOSS_DEN + carried_rem`, then `delta_b = n

src/v16.rs:16297

↓ 2 callersMethodsolvency_envelope_total_for_notional

( &self, n: u128, loss_budget_num: u128, loss_budget_den: u128, price_

src/v16.rs:2863

↓ 2 callersMethodsource_domain_slot_or_insert

(&mut self, domain: usize)

src/v16.rs:3682

↓ 2 callersFunctiontrade_fee_notional_ceil

(size_q: u128, exec_price: u64)

src/v16.rs:15963

↓ 2 callersFunctiontrade_notional_floor

(size_q: u128, exec_price: u64)

src/v16.rs:15948

↓ 2 callersFunctiontrade_preflight_risk_gate

( risk_increasing: bool, asset_loss_stale: bool, target_effective_lag: bool, touches_pending_d

src/v16.rs:15923

↓ 2 callersMethodupdate_resolved_payout_blocker_total

(&mut self, old: u64, new: u64)

src/v16.rs:6974

↓ 2 callersMethodvalidate_close_progress_ledger_with_market

( &self, market: &MarketGroupV16View<'_, T>, )

src/v16.rs:3968

↓ 2 callersMethodvalidate_dynamic_market_slot_shape_at

( &self, slot_index: usize, slot: &S, )

src/v16.rs:6292

↓ 2 callersMethodvalidate_liquidation_progress_from_score

( &self, before_score: RiskScoreV16, after: &PortfolioV16View<'_>, )

src/v16.rs:11922

↓ 2 callersMethodvalidate_public_user_fund

(&self)

src/v16.rs:3269

↓ 2 callersMethodvalidate_unconfigured_market_tail

(&self)

src/v16.rs:11649

↓ 1 callersMethodaccount_b_settlement_chunk

( &self, account: &PortfolioV16View<'_>, asset_index: usize, endpoint_delta_bu

src/v16.rs:10776

↓ 1 callersMethodaccount_b_settlement_chunk_from_leg

( &self, leg: PortfolioLegV16, target: u128, endpoint_delta_budget: u128,

src/v16.rs:10724

↓ 1 callersFunctionaccount_equity_from_parts

(capital: u128, pnl: i128, fee_credits: i128)

src/v16.rs:15903

↓ 1 callersMethodaccount_fee_anchor_for_loss_currentness

( &self, account: &PortfolioV16View<'_>, now_slot: u64, )

src/v16.rs:12194

↓ 1 callersMethodaccount_has_active_exposure_for_source_domain

( &self, account: &PortfolioV16View<'_>, domain: usize, )

src/v16.rs:11978

↓ 1 callersMethodaccount_has_target_effective_lag

(&self, account: &PortfolioV16View<'_>)

src/v16.rs:11954

↓ 1 callersMethodaccount_touches_pending_domain_loss_barrier

( &self, account: &PortfolioV16View<'_>, )

src/v16.rs:12033

↓ 1 callersFunctionactive_bitmap_with_cleared

( mut bitmap: V16ActiveBitmap, leg_slot_index: usize, )

src/v16.rs:270

↓ 1 callersMethodadd_source_positive_claim_bound_not_atomic

( &mut self, domain: usize, claim_bound_num: u128, exact_claim_num: u128,

src/v16.rs:7174

↓ 1 callersMethodall_pass

(self)

src/v16.rs:4581

↓ 1 callersMethodapply_position_delta

( &mut self, account: &mut PortfolioV16ViewMut<'_>, asset_index: usize, delta_

src/v16.rs:12488

↓ 1 callersMethodapply_position_delta_with_lookup

( &mut self, account: &mut PortfolioV16ViewMut<'_>, asset_index: usize, delta_

src/v16.rs:12502

↓ 1 callersFunctionassert_fuzz_invariants

( header: &mut MarketGroupV16HeaderAccount, markets: &mut [Market<u64>], account_a: &PortfolioAcco

tests/v16_fuzzing.rs:39

↓ 1 callersMethodasset_local_has_position_or_loss_state

(&self, asset_index: usize)

src/v16.rs:10902

↓ 1 callersMethodattach_leg

( &mut self, account: &mut PortfolioV16ViewMut<'_>, asset_index: usize, side:

src/v16.rs:12352

↓ 1 callersFunctionbacking_domain_fee_split_for_lien_delta_num

( lien_delta_num: u128, fee_bps: u16, insurance_share_bps: u16, )

src/v16.rs:45

↓ 1 callersMethodbacking_provider_earnings_total

Senior backing-provider earnings (LP utilization fees) summed across every domain — the same quantity validate_shape's senior stack includes.

src/v16.rs:6985

↓ 1 callersMethodbegin_full_drain_reset_inner

(&mut self, asset_index: usize, side: SideV16)

src/v16.rs:13018

↓ 1 callersMethodbitor

(self, rhs: U256)

src/wide_math.rs:228

↓ 1 callersMethodburn_account_source_claim_bound_num

( &mut self, account: &mut PortfolioV16ViewMut<'_>, mut burn_num: u128, )

src/v16.rs:8256

↓ 1 callersMethodcanonicalize_retired_empty_asset_slot_not_atomic

Rewrites an empty retired slot into the canonical retired representation. This is value-neutral and only succeeds after all domain budgets, spent amo

src/v16.rs:15132

↓ 1 callersFunctionceil_div_positive_checked

Spec section 4.6: positive ceiling division. ceil(n / d) = (n + d - 1) / d, but we use the remainder form to avoid overflow: ceil(n / d) = trunc(n / d

src/wide_math.rs:1453

↓ 1 callersMethodcharge_account_fee_after_loss_settlement

Kani-only entry to the bare negative-PnL principal-settlement transition, bypassing the O(N) loop-based shape validation so an inductive proof can ass

src/v16.rs:13989

↓ 1 callersMethodcharge_account_fee_not_atomic

( &mut self, account: &mut PortfolioV16ViewMut<'_>, requested_fee: u128, )

src/v16.rs:14008

↓ 1 callersFunctioncheck_bound_num

(a: u128)

tests/reference_model_conformance.rs:166

↓ 1 callersFunctionchecked_i128_mul

(a: i128, b: i128)

src/v16.rs:16005

↓ 1 callersMethodchecked_mul_i256

Checked signed I256 * I256 multiplication via abs/sign decomposition. Returns None on overflow (result doesn't fit I256).

src/wide_math.rs:623

↓ 1 callersMethodclear_resolved_close_leg

( &mut self, account: &mut PortfolioV16ViewMut<'_>, asset_index: usize, )

src/v16.rs:12444

↓ 1 callersMethodclear_resolved_unattributed_negative_pnl

( &mut self, account: &mut PortfolioV16ViewMut<'_>, )

src/v16.rs:13818

↓ 1 callersMethodconfigured_domain_count

(&self)

src/v16.rs:6892

↓ 1 callersMethodconsume_source_credit_lien_from_counterparty_core_not_atomic

( &mut self, domain: usize, amount: u128, )

src/v16.rs:7539

↓ 1 callersMethodconsume_source_credit_lien_from_counterparty_not_atomic

( &mut self, domain: usize, amount: u128, )

src/v16.rs:7571

↓ 1 callersMethodconsume_source_domain_credit_for_effective_not_atomic

( &mut self, domain: usize, effective_credit: u128, )

src/v16.rs:9066

↓ 1 callersMethodcreate_account_source_credit_lien_for_effective_any_not_atomic

( &mut self, account: &mut PortfolioV16ViewMut<'_>, effective_credit: u128, )

src/v16.rs:9325

↓ 1 callersMethodcreate_account_source_credit_lien_for_effective_not_atomic

( &mut self, account: &mut PortfolioV16ViewMut<'_>, domain: usize, effective_c

src/v16.rs:9291

↓ 1 callersMethodcreate_resolved_payout_receipt_if_needed

( &mut self, account: &mut PortfolioV16ViewMut<'_>, )

src/v16.rs:14077

↓ 1 callersMethodcreate_source_credit_lien_backing_not_atomic

( &mut self, domain: usize, backing_num: u128, )

src/v16.rs:9194

↓ 1 callersMethodcreate_source_credit_lien_from_counterparty_not_atomic

( &mut self, domain: usize, amount: u128, )

src/v16.rs:7428

← previous next →301–400 of 1,205, ranked by callers