Functions — github.com/aeyakovenko/percolator

hub / github.com/aeyakovenko/percolator / functions

Functions1,205 in github.com/aeyakovenko/percolator

⨍ Functions 1,205◇ Types & classes 98

↓ 1 callersMethodcure_and_cancel_close_not_atomic

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

src/v16.rs:14486

↓ 1 callersMethodcure_and_cancel_close_with_cert_not_atomic

( &mut self, account: &mut PortfolioV16ViewMut<'_>, optional_deposit: u128, ce

src/v16.rs:14413

↓ 1 callersFunctiondecode_asset_lifecycle

(value: u8)

src/v16.rs:16088

↓ 1 callersFunctiondecode_backing_bucket_status

(value: u8)

src/v16.rs:16126

↓ 1 callersFunctiondecode_recovery_reason

(value: u8)

src/v16.rs:16149

↓ 1 callersMethoddetach_solvent_active_legs_for_resolved_close

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

src/v16.rs:14927

↓ 1 callersMethoddomain_insurance_budget_remaining

(&self, domain: usize)

src/v16.rs:8896

↓ 1 callersMethoddomain_insurance_withdraw_capacity

(&self, domain: usize)

src/v16.rs:8901

↓ 1 callersFunctionempty_account

()

tests/backing_double_claim_fuzz.rs:27

↓ 1 callersFunctionempty_recovery_slot_for_market

( market_id: u64, price: u64, slot_last: u64, budget_long: u128, budget_short: u128, )

tests/proofs_v16.rs:162

↓ 1 callersFunctionencode_asset_lifecycle

(value: AssetLifecycleV16)

src/v16.rs:16077

↓ 1 callersFunctionencode_backing_bucket_status

(value: BackingBucketStatusV16)

src/v16.rs:16117

↓ 1 callersFunctionencode_recovery_reason

(value: PermissionlessRecoveryReasonV16)

src/v16.rs:16136

↓ 1 callersMethodensure_account_source_claim_market_id

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

src/v16.rs:9438

↓ 1 callersMethodensure_favorable_action_allowed

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

src/v16.rs:11966

↓ 1 callersMethodensure_open_close_snapshot_current_or_recovery

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

src/v16.rs:12743

↓ 1 callersMethodexecute_batch_with_fee_after_tail_validation_not_atomic

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

src/v16.rs:13699

↓ 1 callersMethodfinish_trade_checks_not_atomic

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

src/v16.rs:13610

↓ 1 callersFunctionfraction_ge

(lhs_num: u128, lhs_den: u128, rhs_num: u128, rhs_den: u128)

src/v16.rs:16189

↓ 1 callersMethodfresh_counterparty_backing_expiry_slot

(&self, domain: usize)

src/v16.rs:7254

↓ 1 callersMethodgroup_has_position_or_loss_state_for_oracle_reset

(&self)

src/v16.rs:10930

↓ 1 callersMethodhas_pending

PROOF-ONLY: used by kernel_resolved_close_progress (fidelity model)

src/v16_kani_api.rs:1498

↓ 1 callersMethodimpair_source_credit_lien_from_counterparty_core_not_atomic

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

src/v16.rs:7581

↓ 1 callersMethodimpair_source_credit_lien_from_counterparty_not_atomic

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

src/v16.rs:7613

↓ 1 callersMethodimpair_source_credit_lien_from_insurance_not_atomic

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

src/v16.rs:7869

↓ 1 callersMethodinitialize_resolved_payout_ledger_if_needed

(&mut self)

src/v16.rs:14051

↓ 1 callersMethodkani_account_unliened_source_realizable_support

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

src/v16_kani_api.rs:615

↓ 1 callersMethodkani_active_leg_slot_for_asset

(&self, asset_index: usize)

src/v16_kani_api.rs:282

↓ 1 callersFunctionkani_amount_from_bound_num

(bound_num: u128)

src/v16_kani_api.rs:188

↓ 1 callersFunctionkani_apply_backing_provider_earnings_withdraw

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

src/v16_kani_api.rs:28

↓ 1 callersFunctionkani_available_backing_num_for_source_credit_state

( state: SourceCreditStateV16, )

src/v16_kani_api.rs:90

↓ 1 callersFunctionkani_backing_utilization_fee_quote_atoms_for_lien

( config: V16Config, source: SourceCreditStateV16, lien_backing_num: u128, from_slot: u64,

src/v16_kani_api.rs:132

↓ 1 callersMethodkani_bankruptcy_residual_single_step_capacity

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

src/v16_kani_api.rs:740

↓ 1 callersMethodkani_book_bankruptcy_residual_chunk_internal

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

src/v16_kani_api.rs:753

↓ 1 callersFunctionkani_bound_num_from_amount

Bound-num conversion helpers (roadmap Phase 6, U8 fuzz): the wide multiply/ceil-divide validate_shape uses for the positive-PnL bound. Exposed for ref

src/v16_kani_api.rs:185

↓ 1 callersFunctionkani_checked_fee_bps

(notional: u128, fee_bps: u64)

src/v16_kani_api.rs:214

↓ 1 callersMethodkani_convert_source_claim_exposure_guard

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

src/v16_kani_api.rs:688

↓ 1 callersMethodkani_ensure_close_progress_not_expired

( &mut self, ledger: CloseProgressLedgerV16, )

src/v16_kani_api.rs:733

↓ 1 callersFunctionkani_eq_asset_state_v16_account

(a: &AssetStateV16Account, b: &AssetStateV16Account)

src/v16_kani_api.rs:1035

↓ 1 callersFunctionkani_eq_close_progress_ledger_v16_account

( a: &CloseProgressLedgerV16Account, b: &CloseProgressLedgerV16Account, )

src/v16_kani_api.rs:1247

↓ 1 callersFunctionkani_eq_health_cert_v16_account

(a: &HealthCertV16Account, b: &HealthCertV16Account)

src/v16_kani_api.rs:1225

↓ 1 callersFunctionkani_eq_portfolio_leg_v16_account

( a: &PortfolioLegV16Account, b: &PortfolioLegV16Account, )

src/v16_kani_api.rs:1179

↓ 1 callersFunctionkani_eq_portfolio_source_domain_v16_account

( a: &PortfolioSourceDomainV16Account, b: &PortfolioSourceDomainV16Account, )

src/v16_kani_api.rs:1200

↓ 1 callersFunctionkani_eq_provenance_header_v16_account

( a: &ProvenanceHeaderV16Account, b: &ProvenanceHeaderV16Account, )

src/v16_kani_api.rs:1147

↓ 1 callersFunctionkani_eq_resolved_payout_ledger_v16_account

( a: &ResolvedPayoutLedgerV16Account, b: &ResolvedPayoutLedgerV16Account, )

src/v16_kani_api.rs:963

↓ 1 callersFunctionkani_eq_resolved_payout_receipt_v16_account

( a: &ResolvedPayoutReceiptV16Account, b: &ResolvedPayoutReceiptV16Account, )

src/v16_kani_api.rs:1271

↓ 1 callersFunctionkani_eq_v16_config_account

(a: &V16ConfigAccount, b: &V16ConfigAccount)

src/v16_kani_api.rs:911

↓ 1 callersFunctionkani_eq_v16_optional_recovery_reason_account

( a: &V16OptionalRecoveryReasonAccount, b: &V16OptionalRecoveryReasonAccount, )

src/v16_kani_api.rs:956

↓ 1 callersFunctionkani_health_cert_after_capital_debit

( cert: HealthCertV16, amount: u128, )

src/v16_kani_api.rs:36

↓ 1 callersFunctionkani_health_requirements_from_base_and_target_lag

( base_initial: u128, base_maintenance: u128, risk_notional: u128, target_lag_penalty: u128, )

src/v16_kani_api.rs:156

↓ 1 callersMethodkani_leg_kf_delta_for_settlement

( &self, leg: PortfolioLegV16, )

src/v16_kani_api.rs:639

↓ 1 callersFunctionkani_loss_stale_trade_scope_allowed

( market_loss_stale_active: bool, trade_asset_loss_stale: bool, long_account_loss_stale_exposed: b

src/v16_kani_api.rs:96

↓ 1 callersFunctionkani_pending_domain_loss_barrier_blocks_position_change

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

src/v16_kani_api.rs:222

↓ 1 callersMethodkani_preflight_convert_released_pnl_to_capital

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

src/v16_kani_api.rs:696

↓ 1 callersMethodkani_reserve_new_capital_backed_loss_for_source_domain_not_atomic

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

src/v16_kani_api.rs:623

↓ 1 callersMethodkani_resolved_bankruptcy_attribution

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

src/v16_kani_api.rs:845

↓ 1 callersFunctionkani_risk_notional_ceil

(abs_pos_q: u128, price: u64)

src/v16_kani_api.rs:177

↓ 1 callersFunctionkani_scaled_adl_delta_fast

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

src/v16_kani_api.rs:230

↓ 1 callersMethodkani_settle_resolved_bankruptcy_negative_pnl

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

src/v16_kani_api.rs:852

↓ 1 callersFunctionkani_social_loss_book_split

Social-loss booking division split (roadmap 3B.6) — exposed for reference-model conformance (the symbolic u128 division by weight_sum resists Kani).

src/v16_kani_api.rs:1357

↓ 1 callersMethodkani_source_domain_slot

(&self, domain: usize)

src/v16_kani_api.rs:267

↓ 1 callersFunctionkani_target_effective_lag_adverse_delta

( side: SideV16, effective_price: u64, raw_target_price: u64, )

src/v16_kani_api.rs:148

↓ 1 callersFunctionkani_trade_fee_atoms_per_side

( size_q: u128, exec_price: u64, fee_bps: u64, )

src/v16.rs:15996

↓ 1 callersFunctionkani_trade_preflight_risk_gate

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

src/v16_kani_api.rs:196

↓ 1 callersFunctionledger

(rate_num: u128, rate_den: u128)

tests/reference_model_conformance.rs:55

↓ 1 callersMethodleg_is_dead_for_forfeit

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

src/v16.rs:15178

↓ 1 callersMethodleg_kf_delta_for_settlement

(&self, leg: PortfolioLegV16)

src/v16.rs:10219

↓ 1 callersFunctionliquidation_remaining_active_bitmap_after_close

( active_bitmap: V16ActiveBitmap, leg_slot_index: usize, close_q: u128, leg_abs_q: u128, )

src/v16.rs:279

↓ 1 callersFunctionliquidation_uncovered_loss_after_principal

(pnl: i128, capital: u128)

src/v16.rs:293

↓ 1 callersMethodposition_delta_blocked_by_pending_domain_loss_barrier

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

src/v16.rs:12096

↓ 1 callersMethodposition_delta_touches_pending_domain_loss_barrier

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

src/v16.rs:12079

↓ 1 callersMethodpreflight_claim_resolved_payout_topup

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

src/v16.rs:14657

↓ 1 callersMethodrecertify_account_after_source_lien_change

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

src/v16.rs:13403

↓ 1 callersMethodreduce_matching_open_interest_for_unilateral_close

( &mut self, asset_index: usize, closed_side: SideV16, close_q: u128, )

src/v16.rs:13087

↓ 1 callersFunctionref_amount_from_bound_num

reference: amount_from_bound_num(n) == ceil(n / BOUND_SCALE)

tests/reference_model_conformance.rs:157

↓ 1 callersFunctionref_bound_num_from_amount

reference: bound_num_from_amount(a) == a * BOUND_SCALE (Err on overflow)

tests/reference_model_conformance.rs:153

↓ 1 callersFunctionref_claimable

Independent reference: native u128, no shared code with the engine helper. Valid over the no-overflow domain face*rate_num <= u128::MAX (caller-ensure

tests/reference_model_conformance.rs:30

↓ 1 callersFunctionref_fee

fee = ceil(notional*fee_bps / MAX_MARGIN_BPS), 0 if either operand 0

tests/reference_model_conformance.rs:292

↓ 1 callersFunctionref_notional_floor

notional_floor = floor(size*price / POS_SCALE), 0 if size 0

tests/reference_model_conformance.rs:305

↓ 1 callersFunctionref_risk_ceil

risk_ceil = ceil(abs*price / POS_SCALE), 0 if abs 0

tests/reference_model_conformance.rs:313

↓ 1 callersFunctionref_split

---- ROADMAP Phase 3B.6 — social-loss booking division split conformance. social_loss_book_split(chunk, rem, ws) = (numerator/ws, numerator%ws) where

tests/reference_model_conformance.rs:384

↓ 1 callersMethodrelease_source_credit_lien_from_counterparty_terminal_not_atomic

Expiry-agnostic counterparty lien release for terminal (Resolved) wind-down; see prepare_counterparty_lien_terminal_release_delta. Mirrors release_sou

src/v16.rs:7507

↓ 1 callersMethodrequire_asset_accruable

(&self, asset_index: usize)

src/v16.rs:10888

↓ 1 callersMethodrequire_asset_mark_pushable

(&self, asset_index: usize)

src/v16.rs:10895

↓ 1 callersFunctionresolved_market_with_backed_winner

Resolved single-winner market where the winner's positive PnL is a SOURCE-BACKED claim: claim_bound == pnl, backed by `backing` atoms of counterparty

tests/backing_double_claim_fuzz.rs:168

↓ 1 callersFunctionrun_with_svm_rollback

( header: &mut MarketGroupV16HeaderAccount, markets: &mut Vec<Market<u64>>, account_a: &mut Portfo

tests/v16_fuzzing.rs:69

↓ 1 callersMethodset_account_pnl_after_principal_settlement

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

src/v16.rs:13767

↓ 1 callersMethodset_bit

Bitwise OR with a U512 that has only the bit at position `bit` set.

src/wide_math.rs:1270

↓ 1 callersMethodset_domain_insurance_budget_not_atomic

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

src/v16.rs:8681

↓ 1 callersMethodsettle_forfeited_leg_kf_effects

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

src/v16.rs:15191

↓ 1 callersMethodshl_u512

Shift left by `bits`. Saturates to zero if bits >= 512.

src/wide_math.rs:1215

↓ 1 callersMethodshr_u512

Shift right by `bits`.

src/wide_math.rs:1236

↓ 1 callersMethodside_mode_for

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

src/v16.rs:11828

↓ 1 callersMethodsolvency_envelope_interval_certifies

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

src/v16.rs:2920

↓ 1 callersMethodsource_claim_bound_sum_num

(&self)

src/v16.rs:3952

↓ 1 callersMethodsource_domain_realizable_support_for_face

( &self, domain: usize, face_claim: u128, )

src/v16.rs:8361

↓ 1 callersMethodsource_fresh_backing_total_atoms

Recoverable counterparty backing principal (Fresh-bucket unliened+liened atoms across every domain): provider-withdrawable whenever the domain is full

src/v16.rs:6993

↓ 1 callersMethodstrictly_reduces_from

(self, before: Self)

src/v16.rs:15870

↓ 1 callersMethodsub_u512

Subtract rhs from self. Assumes self >= rhs.

src/wide_math.rs:1257

↓ 1 callersMethodto_guards

(self)

src/v16_kani_api.rs:1443

← previous next →401–500 of 1,205, ranked by callers