Functions — github.com/aeyakovenko/percolator

hub / github.com/aeyakovenko/percolator / functions

Functions1,205 in github.com/aeyakovenko/percolator

⨍ Functions 1,205◇ Types & classes 98

↓ 3 callersFunctioncheck_fee

(n: u128, bps: u64)

tests/reference_model_conformance.rs:322

↓ 3 callersFunctioncheck_notional

(s: u128, px: u64)

tests/reference_model_conformance.rs:329

↓ 3 callersFunctioncheck_risk

(a: u128, px: u64)

tests/reference_model_conformance.rs:334

↓ 3 callersMethodcmp

(&self, other: &Self)

src/wide_math.rs:441

↓ 3 callersMethodcollect_account_backing_utilization_fee_for_domain_not_atomic

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

src/v16.rs:10639

↓ 3 callersMethodcommit_asset_set_epoch_bump

(&mut self, next_asset_set_epoch: u64, next_risk_epoch: u64)

src/v16.rs:11679

↓ 3 callersMethodconsume_source_credit_lien_from_insurance_not_atomic

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

src/v16.rs:7788

↓ 3 callersMethodcreate_initial_margin_source_lien_if_needed

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

src/v16.rs:9370

↓ 3 callersMethodcredit_account_from_insurance_not_atomic

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

src/v16.rs:8851

↓ 3 callersMethodcredit_backing_provider_earnings_not_atomic

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

src/v16.rs:7939

↓ 3 callersFunctionempty_account_fixture

(market_id: [u8; 32], account_tag: u8)

tests/proofs_v16.rs:49

↓ 3 callersFunctionencode_market_mode

(value: MarketModeV16)

src/v16.rs:16100

↓ 3 callersFunctionencode_side

(value: SideV16)

src/v16.rs:16045

↓ 3 callersMethodensure_close_progress_not_expired

( &mut self, ledger: CloseProgressLedgerV16, )

src/v16.rs:12727

↓ 3 callersMethodensure_favorable_action_current_certificate

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

src/v16.rs:11935

↓ 3 callersMethodexpire_source_backing_bucket_not_atomic

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

src/v16.rs:7385

↓ 3 callersMethodface_claim_to_burn_for_support

( &self, effective_support: u128, residual: u128, junior_bound: u128, )

src/v16.rs:9798

↓ 3 callersFunctionfinalized_zero_residual_close_for_proof

( market_id: u64, prior_id: u64, gross: u128, progress_kind: u8, )

tests/proofs_v16.rs:12171

↓ 3 callersFunctionfloor_div_signed_conservative

Spec section 4.6: signed floor division with positive denominator. Computes floor(n / d) where d > 0. Uses truncation toward zero, then adjusts: if n

src/wide_math.rs:1366

↓ 3 callersFunctionfloor_div_signed_conservative_i128

Native i128 floor division: floor(n / d) for positive d, rounding toward negative infinity. Mirrors `floor_div_signed_conservative` but uses native i1

src/wide_math.rs:1423

↓ 3 callersMethodhaircut_effective_support

( &self, face_claim: u128, residual: u128, junior_bound: u128, )

src/v16.rs:9397

↓ 3 callersMethodhas_irreversible_progress

(self)

src/v16.rs:4237

↓ 3 callersFunctionids

()

tests/v16_spec_tests.rs:24

↓ 3 callersMethodis_finalized_inert

(self)

src/v16.rs:4247

↓ 3 callersMethodis_zero_fill_or_canonical_disabled_slot

(&self)

src/v16.rs:5882

↓ 3 callersMethodkani_apply_signed_kf_delta_to_pnl

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

src/v16_kani_api.rs:605

↓ 3 callersMethodkani_backing_bucket_for_domain

(&self, domain: usize)

src/v16_kani_api.rs:355

↓ 3 callersMethodkani_claim_resolved_payout_topup_core_not_atomic

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

src/v16_kani_api.rs:873

↓ 3 callersMethodkani_consume_domain_insurance_for_negative_pnl

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

src/v16_kani_api.rs:457

↓ 3 callersMethodkani_position_change_touches_pending_domain_loss_barrier

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

src/v16_kani_api.rs:703

↓ 3 callersFunctionkani_position_delta_increases_risk

(current: i128, delta_q: i128)

src/v16_kani_api.rs:192

↓ 3 callersMethodkani_settle_negative_pnl_from_principal_core_not_atomic

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

src/v16_kani_api.rs:838

↓ 3 callersFunctionkani_source_credit_state_realizable_support_for_face

( state: SourceCreditStateV16, face_claim: u128, )

src/v16_kani_api.rs:118

↓ 3 callersMethodkani_validate_source_credit_shape_with_market

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

src/v16_kani_api.rs:275

↓ 3 callersMethodmark_leg_b_stale

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

src/v16.rs:10712

↓ 3 callersFunctionone_market_persisted_slot_fixture

()

tests/proofs_v16.rs:112

↓ 3 callersMethodpermissionless_crank_not_atomic

INTERNAL dispatch primitive (NOT a public/wrapper entrypoint): executes one CALLER-CHOSEN action (Refresh / SettleB / Liquidate / Recover). It is unsa

src/v16.rs:11179

↓ 3 callersFunctionposition_delta_increases_risk

(current: i128, delta_q: i128)

src/v16.rs:15915

↓ 3 callersMethodrecompute_resolved_payout_rate

(&mut self)

src/v16.rs:14030

↓ 3 callersMethodrefine_resolved_unreceipted_bound_not_atomic

( &mut self, decrease_num: u128, )

src/v16.rs:14796

↓ 3 callersMethodreserve_insurance_credit_not_atomic

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

src/v16.rs:7623

↓ 3 callersMethodresolved_receipt_claimable_now

(&self, receipt: ResolvedPayoutReceiptV16)

src/v16.rs:14121

↓ 3 callersMethodrisk_score_unchecked

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

src/v16.rs:11901

↓ 3 callersMethodset_account_pnl_with_source

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

src/v16.rs:9635

↓ 3 callersMethodset_pending_domain_loss_barrier_count

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

src/v16.rs:12650

↓ 3 callersFunctionsmall_signed_floor_reference

(n: i128, d: u128)

tests/proofs_v16_arithmetic.rs:13

↓ 3 callersMethodsource_credit_available_backing_num

(&self, domain: usize)

src/v16.rs:8487

↓ 3 callersMethodsource_domain

(&self, domain: usize)

src/v16.rs:3640

↓ 3 callersFunctionv16_domain_count_for_market_slots

(max_market_slots: u32)

src/v16.rs:150

↓ 3 callersMethodvalidate_account_scalar_preflight

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

src/v16.rs:6863

↓ 3 callersFunctionvalidate_active_leg

(leg: PortfolioLegV16)

src/v16.rs:16242

↓ 3 callersFunctionvalidate_basis

(basis_pos_q: i128)

src/v16.rs:16232

↓ 3 callersMethodvalidate_header_aggregate_totals

(&self)

src/v16.rs:6529

↓ 3 callersFunctionvalidate_resolved_payout_receipt_value

(receipt: ResolvedPayoutReceiptV16)

src/v16.rs:4348

↓ 3 callersMethodvalidate_solvency_envelope_range

( &self, lo: u128, hi: u128, loss_budget_num: u128, loss_budget_den: u

src/v16.rs:2938

↓ 3 callersMethodvalidate_source_credit_shape_with_market

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

src/v16.rs:3840

↓ 2 callersMethodaccount_has_active_source_claim_exposure

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

src/v16.rs:11988

↓ 2 callersMethodaccount_unliened_source_realizable_support

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

src/v16.rs:8444

↓ 2 callersFunctionadd_open_interest_for_new_position

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

src/v16.rs:320

↓ 2 callersFunctionapply_backing_utilization_fee_charge

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

src/v16.rs:74

↓ 2 callersMethodapply_current_position_delta_with_lookup

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

src/v16.rs:12512

↓ 2 callersMethodapply_haircut_bounded_close_loss_to_pnl

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

src/v16.rs:9822

↓ 2 callersMethodapply_position_delta_with_lookup_inner

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

src/v16.rs:12522

↓ 2 callersMethodapply_trade_after_refresh_not_atomic

( &mut self, long_account: &mut PortfolioV16ViewMut<'_>, short_account: &mut Portfolio

src/v16.rs:13522

↓ 2 callersFunctionasset_contributes_to_loss_stale_summary

(asset: AssetStateV16)

src/v16.rs:5832

↓ 2 callersMethodasset_has_target_effective_lag

(&self, asset_index: usize)

src/v16.rs:12148

↓ 2 callersMethodbook_bankruptcy_residual_chunk_internal

( &mut self, asset_index: usize, bankrupt_side: SideV16, residual_remaining: u

src/v16.rs:12880

↓ 2 callersMethodcan_ignore_unrelated_loss_stale_for_trade

( &self, long_account: &PortfolioV16View<'_>, short_account: &PortfolioV16View<'_>,

src/v16.rs:12177

↓ 2 callersFunctioncheck

(face: u128, rate_num: u128, rate_den: u128, paid: u128)

tests/reference_model_conformance.rs:68

↓ 2 callersFunctioncheck_amount

(n: u128)

tests/reference_model_conformance.rs:177

↓ 2 callersFunctioncheck_split

(chunk: u128, rem: u128, ws: u128)

tests/reference_model_conformance.rs:394

↓ 2 callersMethodchecked_asset_set_epoch_bump

(&self)

src/v16.rs:11663

↓ 2 callersMethodchecked_div_rem_by_u256

Checked variant: returns None if quotient doesn't fit in U256.

src/wide_math.rs:1310

↓ 2 callersMethodchecked_rem

(self, rhs: U256)

src/wide_math.rs:145

↓ 2 callersMethodclaim_resolved_payout_topup_core_not_atomic

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

src/v16.rs:14754

↓ 2 callersMethodclear_account_b_stale

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

src/v16.rs:10593

↓ 2 callersMethodclear_account_stale

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

src/v16.rs:10289

↓ 2 callersMethodclear_fully_diluted_resolved_receipt_if_terminal

A resolved-payout receipt that has been paid its full entitlement at the TERMINAL payout rate (no unreceipted bound remains, so the rate can no longer

src/v16.rs:14636

↓ 2 callersMethodcmp_u512

Compare two U512 values.

src/wide_math.rs:1204

↓ 2 callersMethodcollect_account_backing_utilization_fees_not_atomic

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

src/v16.rs:10610

↓ 2 callersMethodcompute_account_health_cert_with_price_override

( &self, account: &PortfolioV16View<'_>, require_b_current: bool, price_overri

src/v16.rs:10303

↓ 2 callersMethodcompute_aggregate_totals_and_validate_slots

(&self)

src/v16.rs:6595

↓ 2 callersMethodconvert_released_pnl_to_capital_core_not_atomic

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

src/v16.rs:14160

↓ 2 callersMethodcreate_and_consume_account_source_credit_for_effective_not_atomic

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

src/v16.rs:9112

↓ 2 callersMethodcreate_and_consume_source_credit_from_counterparty_core_not_atomic

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

src/v16.rs:8980

↓ 2 callersMethodcreate_and_consume_source_credit_from_insurance_core_not_atomic

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

src/v16.rs:9014

↓ 2 callersMethodcreate_source_credit_lien_from_counterparty_core_not_atomic

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

src/v16.rs:7437

↓ 2 callersMethodcreate_source_credit_lien_from_insurance_core_not_atomic

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

src/v16.rs:7693

↓ 2 callersMethodcreate_source_credit_lien_from_insurance_not_atomic

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

src/v16.rs:7684

↓ 2 callersMethoddecode_runtime

(&self)

src/v16.rs:5465

↓ 2 callersFunctiondecode_side

(value: u8)

src/v16.rs:16052

↓ 2 callersFunctiondecode_side_mode

(value: u8)

src/v16.rs:16068

↓ 2 callersFunctionencode_side_mode

(value: SideModeV16)

src/v16.rs:16060

↓ 2 callersMethodforfeit_recovery_leg_not_atomic

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

src/v16.rs:15265

↓ 2 callersMethodgrow_asset_slot_capacity_not_atomic

( &mut self, new_asset_slot_capacity: u32, new_max_market_slots: u32, )

src/v16.rs:6224

↓ 2 callersFunctionhealth_cert_after_capital_debit

(cert: HealthCertV16, amount: u128)

src/v16.rs:128

↓ 2 callersFunctionids

()

tests/v16_fuzzing.rs:12

↓ 2 callersMethodimpair_source_credit_lien_from_insurance_core_not_atomic

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

src/v16.rs:7837

↓ 2 callersFunctioninv_senior_accounting

Clean-room inductive senior-solvency proof (independent of any external PR). validate_shape enforces the senior leg `c_tot + insurance (+ earnings) <

tests/proofs_v16.rs:11971

↓ 2 callersMethodis_empty_for_dematerialization

(&self)

src/v16.rs:4053

← previous next →201–300 of 1,205, ranked by callers