Functions — github.com/aeyakovenko/percolator

CodeHub MCPcopy Create free account

hub / github.com/aeyakovenko/percolator / functions

Functions1,205 in github.com/aeyakovenko/percolator

⨍ Functions 1,205◇ Types & classes 98

↓ 7 callersMethodsource_domains

src/v16.rs:3623

↓ 6 callersFunctionassert_observation_independent

REALIZABILITY MATRIX — closes the no-DoS dispatch seam that hid the b-stale / committed-state-liquidation stall. The faithful invariant is OBSERVATION

tests/v16_spec_tests.rs:3037

↓ 6 callersMethodcertify_account_after_local_settlement_with_price_override

( &mut self, account: &mut PortfolioV16ViewMut<'_>, price_override: Option<(usize, u64

src/v16.rs:10866

↓ 6 callersFunctionchecked_mul_div_ceil_u256

(a: U256, b: U256, d: U256)

src/wide_math.rs:1499

↓ 6 callersMethoddeposit_domain_insurance_not_atomic

Deposits external quote into insurance and credits the same domain budget.

src/v16.rs:8706

↓ 6 callersFunctionfunding_market_fixture

(init_price: u64)

tests/v16_spec_tests.rs:57

↓ 6 callersFunctionkani_add_open_interest_for_new_position

( asset: &mut AssetStateV16, side: SideV16, abs_q: u128, loss_weight: u128, )

src/v16_kani_api.rs:68

↓ 6 callersFunctionkani_apply_resolved_payout_receipt_payment

( receipt: ResolvedPayoutReceiptV16, actual_resolved_paid: u128, )

src/v16_kani_api.rs:170

↓ 6 callersMethodpending_domain_loss_barrier_count

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

src/v16.rs:12011

↓ 6 callersMethodposition_change_touches_pending_domain_loss_barrier

( &self, asset_index: usize, current: i128, next: i128, )

src/v16.rs:12050

↓ 6 callersMethodregister_empty_materialized_portfolio_not_atomic

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

src/v16.rs:6784

↓ 6 callersMethodsource_credit_for_domain_shape

(&self, domain: usize)

src/v16.rs:7053

↓ 6 callersFunctionvalidate_fee_credits

src/v16.rs:16224

↓ 5 callersFunctionadjust_u128

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

src/v16.rs:16017

↓ 5 callersMethodadvance_close_progress_ledger

( &mut self, account: &mut PortfolioV16ViewMut<'_>, support_consumed: u128, ju

src/v16.rs:12767

↓ 5 callersMethodbegin_close_progress_ledger

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

src/v16.rs:12677

↓ 5 callersMethodcharge_account_fee_current_not_atomic

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

src/v16.rs:13942

↓ 5 callersFunctionchecked_fee_bps

(notional: u128, fee_bps: u64)

src/v16.rs:15970

↓ 5 callersMethodclaim_resolved_payout_topup_not_atomic

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

src/v16.rs:14785

↓ 5 callersMethodclear_leg

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

src/v16.rs:12404

↓ 5 callersMethodderegister_empty_materialized_portfolio_not_atomic

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

src/v16.rs:6802

↓ 5 callersMethodkani_collect_account_backing_utilization_fee_for_domain_not_atomic

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

src/v16_kani_api.rs:646

↓ 5 callersFunctionkani_expected_source_credit_rate_num_for_state

( state: SourceCreditStateV16, )

src/v16_kani_api.rs:84

↓ 5 callersMethodkani_validate_dynamic_market_slot_shape_at

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

src/v16_kani_api.rs:311

↓ 5 callersMethodkf_target_for_leg

( &self, asset_index: usize, leg: PortfolioLegV16, )

src/v16.rs:10077

↓ 5 callersFunctionpending_domain_loss_barrier_blocks_position_change

( touches_barrier: bool, current: i128, next: i128, )

src/v16.rs:16283

↓ 5 callersMethodreset_source_domain_slot_if_empty

(&mut self, slot: usize)

src/v16.rs:3713

↓ 5 callersMethodretire_empty_asset_not_atomic

( &mut self, asset_index: usize, now_slot: u64, )

src/v16.rs:15038

↓ 5 callersFunctionscaled_adl_delta_fast

(abs_basis_q: u128, a_basis: u128, then: i128, now: i128)

src/v16.rs:16325

↓ 5 callersMethodset_domain_insurance_spent

Sets the spent amount for a domain insurance budget while preserving the aggregate remaining-budget invariant.

src/v16.rs:8619

↓ 5 callersMethodsettle_account_side_effects_not_atomic

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

src/v16.rs:10836

↓ 5 callersFunctionvalidate_basis_or_zero

(basis_pos_q: i128)

src/v16.rs:16163

↓ 5 callersMethodvalidate_public_user_fund_shape

src/v16.rs:3207

↓ 5 callersFunctionwide_mul_div_floor_u128

Exact wide multiply-divide floor using U256 intermediate. Used for haircut paths where a*b can exceed u128::MAX.

src/wide_math.rs:1620

↓ 5 callersFunctionwide_signed_mul_div_floor

Spec section 1.5 item 11: wide signed mul-div for pnl_delta. Computes floor_div_signed_conservative(abs_basis * k_diff, denominator) where the numera

src/wide_math.rs:1538

↓ 5 callersFunctionwide_signed_mul_div_floor_from_k_pair

Safe K-difference settlement (spec §4.8 lines 720-732). Computes K-difference in wide intermediate, then multiplies and divides.

src/wide_math.rs:1630

↓ 4 callersMethodaccount_haircut_equity

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

src/v16.rs:9412

↓ 4 callersMethodactivate_empty_market_slot_not_atomic

( &mut self, asset_index: u32, slot: &mut S, authenticated_price: u64,

src/v16.rs:6312

↓ 4 callersFunctionadd_non_min_i128

(a: i128, b: i128)

src/v16.rs:16011

↓ 4 callersFunctionadd_u128_carry

(a: u128, b: u128, carry_in: bool)

src/wide_math.rs:1075

↓ 4 callersMethodbankruptcy_residual_single_step_capacity

( &self, asset_index: usize, bankrupt_side: SideV16, residual_remaining: u128,

src/v16.rs:12815

↓ 4 callersMethodcharge_account_backing_fee_not_atomic

Charges an account-level backing fee and routes it to backing-provider earnings and/or domain insurance. The wrapper owns fee-policy calculation. The

src/v16.rs:7975

↓ 4 callersMethodcompact_source_domains

src/v16.rs:3724

↓ 4 callersMethodconsume_domain_insurance_for_negative_pnl

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

src/v16.rs:8908

↓ 4 callersMethodconvert_released_pnl_to_capital_not_atomic

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

src/v16.rs:14249

↓ 4 callersMethodcredit_domain_insurance_budget_not_atomic

Credits already-collected insurance to a domain budget without changing vault or total insurance.

src/v16.rs:8693

↓ 4 callersMethoddiv_rem_by_u256

Divide U512 by U256, returning (quotient as U256, remainder as U256). Panics if divisor is zero or quotient doesn't fit in U256.

src/wide_math.rs:1302

↓ 4 callersMethodfinalize_side_reset_not_atomic

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

src/v16.rs:11836

↓ 4 callersMethodforce_asset_recovery_not_atomic

( &mut self, asset_index: usize, now_slot: u64, )

src/v16.rs:11002

↓ 4 callersMethodh_lock_lane

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

src/v16.rs:12114

↓ 4 callersMethodkani_attach_leg_at_slot

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

src/v16_kani_api.rs:329

↓ 4 callersFunctionkani_backing_utilization_rate_e9_for_source_state

( config: V16Config, source: SourceCreditStateV16, )

src/v16_kani_api.rs:125

↓ 4 callersMethodkani_begin_close_progress_ledger

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

src/v16_kani_api.rs:880

↓ 4 callersMethodkani_insurance_domain_index

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

src/v16_kani_api.rs:347

↓ 4 callersFunctionkani_liquidation_close_would_leave_uncovered_loss_with_open_risk

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

src/v16_kani_api.rs:50

↓ 4 callersMethodkani_source_domain_slot_or_insert

(&mut self, domain: usize)

src/v16_kani_api.rs:288

↓ 4 callersFunctionkani_validate_positive_pnl_source_attribution

( pnl: i128, source_claim_sum_num: u128, )

src/v16_kani_api.rs:77

↓ 4 callersMethodleading_zeros

Count leading zeros.

src/wide_math.rs:1282

↓ 4 callersMethodliquidate_account_not_atomic

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

src/v16.rs:13165

↓ 4 callersFunctionloss_weight_for_basis

(abs_basis_q: u128, a_basis: u128)

src/v16.rs:16312

↓ 4 callersFunctionmarket_id

tests/backing_double_claim_fuzz.rs:23

↓ 4 callersMethodrecompute_source_credit_domain_after_mutation

(&mut self, domain: usize)

src/v16.rs:7155

↓ 4 callersMethodrefresh_account_and_certify_not_atomic

( &mut self, account: &mut PortfolioV16ViewMut<'_>, price_override: Option<(usize, u64

src/v16.rs:10391

↓ 4 callersMethodrequire_asset_active_for_risk_increase

(&self, asset_index: usize)

src/v16.rs:11631

↓ 4 callersMethodrequire_empty_asset_lifecycle_state

(&self, asset_index: usize)

src/v16.rs:11765

↓ 4 callersMethodreset_empty_asset_oracle_anchor_not_atomic

( &mut self, asset_index: usize, authenticated_price: u64, now_slot: u64,

src/v16.rs:10972

↓ 4 callersMethodrestart_empty_asset_preserving_insurance_budget_not_atomic

Restarts an empty Recovery/Retired asset with a fresh market_id. Domain insurance budgets are preserved exactly. All position, loss, source-credit, b

src/v16.rs:15075

↓ 4 callersMethodset_asset_raw_oracle_target_not_atomic

( &mut self, asset_index: usize, raw_oracle_target_price: u64, )

src/v16.rs:10953

↓ 4 callersMethodset_domain_insurance_budget_core

( &mut self, domain: usize, budget: u128, insurance_limit: u128, )

src/v16.rs:8625

↓ 4 callersMethodset_domain_insurance_spent_core

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

src/v16.rs:8598

↓ 4 callersMethodsettle_account_b_chunk

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

src/v16.rs:10794

↓ 4 callersMethodsettle_negative_pnl_from_principal_not_atomic

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

src/v16.rs:13894

↓ 4 callersMethodshl

(self, bits: u32)

src/wide_math.rs:188

↓ 4 callersFunctionsigned_position

(leg: PortfolioLegV16)

src/v16.rs:16171

↓ 4 callersFunctionslot_resolved_payout_blockers_v16

(slot: &EngineAssetSlotV16Account)

src/v16.rs:5848

↓ 4 callersMethodsolvency_envelope_holds_for_notional

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

src/v16.rs:2903

↓ 4 callersMethodsource_domain_mut_or_insert

( &mut self, domain: usize, )

src/v16.rs:3705

↓ 4 callersMethodsource_domain_slot

(&self, domain: usize)

src/v16.rs:3627

↓ 4 callersFunctionsub_u128_borrow

(a: u128, b: u128, borrow_in: bool)

src/wide_math.rs:1083

↓ 4 callersFunctionsymbolic_backing_fee_config

( kink_raw: u16, base_raw: u8, slope_at_raw: u8, slope_above_raw: u8, )

tests/proofs_v16.rs:4239

↓ 4 callersMethodtry_into_u256

Convert to U256, returning None if the value doesn't fit.

src/wide_math.rs:1292

↓ 4 callersMethodvalidate_funding_headroom

(&self, slots: u64)

src/v16.rs:3009

↓ 4 callersFunctionwinner_account

(capital: u128, pnl: u128)

tests/backing_double_claim_fuzz.rs:83

↓ 4 callersMethodwithdraw_backing_provider_earnings_not_atomic

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

src/v16.rs:7878

↓ 4 callersMethodwithdraw_domain_insurance_not_atomic

Withdraws available insurance from a single domain budget.

src/v16.rs:8777

↓ 3 callersMethodaccount_has_loss_stale_live_leg

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

src/v16.rs:12159

↓ 3 callersMethodaccount_source_realizable_support

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

src/v16.rs:8376

↓ 3 callersFunctionactive_bitmap_clear

(bitmap: &mut V16ActiveBitmap, leg_slot_index: usize)

↓ 3 callersFunctionactive_bitmap_count_ones

(bitmap: V16ActiveBitmap)

↓ 3 callersMethodactive_leg_slot_for_asset

(&self, asset_index: usize)

src/v16.rs:4037

↓ 3 callersMethodadd_account_source_positive_pnl_not_atomic

Grants source-attributed positive PnL to an account — the first-class API for crediting a source-backed claim (e.g. an external settlement feed). Live

src/v16.rs:9652

↓ 3 callersMethodadd_fresh_counterparty_backing_unchecked

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

src/v16.rs:7275

↓ 3 callersFunctionapply_backing_provider_earnings_withdraw

( vault: u128, bucket_earnings: u128, amount: u128, )

↓ 3 callersFunctionapply_resolved_payout_receipt_payment

( mut receipt: ResolvedPayoutReceiptV16, actual_resolved_paid: u128, )

src/v16.rs:4368

↓ 3 callersMethodapply_signed_kf_delta_to_pnl

( &mut self, account: &mut PortfolioV16ViewMut<'_>, delta: i128, source_domain

src/v16.rs:9908

↓ 3 callersMethodas_raw_u256

Convert this I256 to a raw U256 (reinterpret the bits).

src/wide_math.rs:747

↓ 3 callersMethodasset_is_loss_stale

(&self, asset_index: usize)

src/v16.rs:12153

↓ 3 callersMethodattach_leg_at_slot

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

src/v16.rs:12366

↓ 3 callersMethodavailable_domain_insurance

(&self, domain: usize)

src/v16.rs:8879

↓ 3 callersMethodbook_bankruptcy_residual_chunk_for_account_core

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

src/v16.rs:12961

← previous next →101–200 of 1,205, ranked by callers