Functions — github.com/aeyakovenko/percolator

hub / github.com/aeyakovenko/percolator / functions

Functions1,205 in github.com/aeyakovenko/percolator

⨍ Functions 1,205◇ Types & classes 98

Functioncontract_check_flow_insurance_capital_to_account_capital

()

src/v16_proofs.rs:686

Functioncontract_check_flow_insurance_capital_to_external_out

()

src/v16_proofs.rs:653

Functioncontract_check_flow_insurance_to_close_insurance_spent

()

src/v16_proofs.rs:752

Functioncontract_check_flow_insurance_to_close_rejects_vault_movement

()

src/v16_proofs.rs:2696

Functioncontract_check_flow_proof_debit_modifies

()

src/v16_proofs.rs:1375

Functioncontract_check_flow_support_to_account_capital

()

src/v16_proofs.rs:830

Functioncontract_check_health_requirements_from_base_and_target_lag

()

src/v16_proofs.rs:1004

Functioncontract_check_kernel_accumulate_batch_trade

()

src/v16_proofs.rs:1784

Functioncontract_check_kernel_advance_leg_b_snap

()

src/v16_proofs.rs:1635

Functioncontract_check_kernel_attach_leg

()

src/v16_proofs.rs:1480

Functioncontract_check_kernel_bresidual_step

()

src/v16_proofs.rs:2574

Functioncontract_check_kernel_cert_is_current

()

src/v16_proofs.rs:2465

Functioncontract_check_kernel_classify_position_delta

()

src/v16_proofs.rs:2347

Functioncontract_check_kernel_clear_leg

()

src/v16_proofs.rs:1554

Functioncontract_check_kernel_consume_insurance_layer

()

src/v16_proofs.rs:2317

Functioncontract_check_kernel_economically_valid_trade_admits

()

src/v16_proofs.rs:2717

Functioncontract_check_kernel_initial_margin_gate

()

src/v16_proofs.rs:1750

Functioncontract_check_kernel_locked_margin_gate

()

src/v16_proofs.rs:1771

Functioncontract_check_kernel_reduce_position_delta

()

src/v16_proofs.rs:2361

Functioncontract_check_kernel_resize_leg_same_side

()

src/v16_proofs.rs:1389

Functioncontract_check_kernel_resolved_close_progress

()

src/v16_proofs.rs:2394

Functioncontract_check_kernel_resolved_payout_step

()

src/v16_proofs.rs:2333

Functioncontract_check_kernel_settle_principal

()

src/v16_proofs.rs:2302

Functioncontract_check_kernel_settle_resolved_pnl_after_booking

()

src/v16_proofs.rs:2676

Functioncontract_check_kernel_social_loss_chunk_cap

()

src/v16_proofs.rs:2417

Functioncontract_check_kernel_trade_admit

()

src/v16_proofs.rs:2406

Functioncontract_check_kernel_trade_preflight_admits

()

src/v16_proofs.rs:2450

Functioncontract_check_prepare_counterparty_backing_add_delta

()

src/v16_proofs.rs:279

Functioncontract_check_prepare_counterparty_backing_withdraw_delta

()

src/v16_proofs.rs:128

Functioncontract_check_prepare_counterparty_lien_consume_delta

()

src/v16_proofs.rs:53

Functioncontract_check_prepare_counterparty_lien_create_delta

()

src/v16_proofs.rs:91

Functioncontract_check_prepare_counterparty_lien_impair_delta

()

src/v16_proofs.rs:243

Functioncontract_check_prepare_counterparty_lien_release_delta

()

src/v16_proofs.rs:172

Functioncontract_check_prepare_counterparty_lien_terminal_release_delta

()

src/v16_proofs.rs:208

Functioncontract_check_prepare_insurance_lien_create_delta

()

src/v16_proofs.rs:323

Functioncontract_check_prepare_insurance_lien_impair_delta

()

src/v16_proofs.rs:387

Functioncontract_check_prepare_insurance_lien_release_delta

()

src/v16_proofs.rs:356

Functioncontract_check_prepare_insurance_lien_terminal_release_delta

()

src/v16_proofs.rs:420

Functioncontract_check_prepare_source_positive_claim_bound_delta

()

src/v16_proofs.rs:470

Functioncontract_check_select_auto_crank_plan

()

src/v16_proofs.rs:2755

Functioncontract_check_select_progress_witness

()

src/v16_proofs.rs:2381

Functioncontract_check_set_domain_insurance_budget_delta

()

src/v16_proofs.rs:962

Functioncontract_check_set_domain_insurance_spent_delta

()

src/v16_proofs.rs:942

Functioncontract_check_trade_signed_size_deltas

()

src/v16_proofs.rs:510

Functioncontract_check_withdraw_domain_insurance_delta

()

src/v16_proofs.rs:911

Methodcredit_account_from_insurance_delta

( insurance: u128, budget_remaining: u128, c_tot: u128, capital: u128,

src/v16.rs:8829

Methodcredit_backing_provider_earnings_delta

( vault: u128, c_tot: u128, insurance: u128, earnings_total: u128, buc

Methoddomain_budget_remaining_parts

(budget: u128, spent: u128)

src/v16.rs:6927

Functiondrain

Drain a pool of `vault` across receipts (by claimable c[i]) in the given index order: each receipt draws min(c[i], remaining). Returns (per-receipt pa

tests/reference_model_conformance.rs:224

Methoddynamic_asset_slot_capacity_from_account_len

( account_len: usize, )

src/v16.rs:6143

Methoddynamic_asset_slot_offset

(asset_index: usize)

src/v16.rs:6132

Methoddynamic_asset_slot_stride

()

src/v16.rs:6115

Methoddynamic_market_group_account_len

( asset_slot_capacity: usize, )

src/v16.rs:6119

Methodempty

(vault_before: u128, vault_after: u128)

src/v16.rs:4687

Functionempty_account

()

tests/resolved_insolvent_fuzz.rs:25

Methodempty_for_market

(market_id: u64)

src/v16.rs:3460

Methodempty_leg_slot

(account: &PortfolioV16View<'_>)

src/v16.rs:11582

Methodensure_initial_margin

(account: &PortfolioV16View<'_>)

src/v16.rs:13373

Methodensure_no_positive_credit_initial_margin

(account: &PortfolioV16View<'_>)

src/v16.rs:13391

Methodexpected_source_credit_rate_num_for_state

(state: SourceCreditStateV16)

src/v16.rs:535

Methodexternal_in_to_account_capital

( amount: u128, vault_before: u128, vault_after: u128, )

src/v16.rs:4698

Methodexternal_in_to_insurance_capital

( amount: u128, vault_before: u128, vault_after: u128, )

src/v16.rs:4757

Functionfee_debt_u128_checked

Spec section 4.6: checked fee-debt conversion. If fee_credits < 0, the account owes fees. Returns the unsigned debt. If fee_credits >= 0, returns 0 (n

src/wide_math.rs:1521

Methodfirst_actionable_slot

( flags: [bool; V16_MAX_PORTFOLIO_ASSETS_N], )

src/v16.rs:1215

Functionfresh_activated_market

()

tests/resolved_insolvent_fuzz.rs:36

Create I256 from raw U256 bits (reinterpret).

src/wide_math.rs:752

Methodfrom_runtime

(value: Option<PermissionlessRecoveryReasonV16>)

src/wide_math.rs:1160

Methodfrom_u256_or_overflow

Convert U256 to I256, returning None if the value exceeds i256 max (sign bit set).

Functionfunding_counter_tuple

(account: &PortfolioAccountV16Account)

tests/v16_spec_tests.rs:91

Functionfuzz_account

(account_id: [u8; 32])

tests/v16_fuzzing.rs:29

Functionfuzz_group

()

tests/v16_fuzzing.rs:16

Methodhas_b_stale_leg

(account: &PortfolioV16View<'_>)

src/v16.rs:10566

Methodhealth_requirements_from_base_and_target_lag

( base_initial: u128, base_maintenance: u128, risk_notional: u128, target_lag_

src/v16.rs:2526

Methodhealth_requirements_from_notional_and_target_lag

( config: V16Config, risk_notional: u128, target_lag_penalty: u128, )

src/v16.rs:2493

Methodimpair_account_source_credit_insurance_lien_fields

( account: &mut PortfolioV16ViewMut<'_>, domain: usize, face: u128, effective:

src/v16.rs:8143

Methodimpair_account_source_credit_lien_from_insurance_not_atomic

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

src/v16.rs:14330

Methodincreased_initial_margin_principal

( config: V16Config, old_abs_q: u128, new_abs_q: u128, price: u64, )

src/v16.rs:9575

Methodincremental_initial_margin_source_credit_needed

( account: &PortfolioV16View<'_>, no_positive_equity: i128, )

src/v16.rs:8509

Methodinitial_margin_requirement_for_abs_q

( config: V16Config, abs_q: u128, price: u64, )

src/v16.rs:9562

Methodinsurance_capital_to_account_capital

( amount: u128, vault_before: u128, vault_after: u128, )

src/v16.rs:4781

Methodinsurance_capital_to_external_out

( amount: u128, vault_before: u128, vault_after: u128, )

src/v16.rs:4769

Methodinsurance_reservation_account_is_empty_for_activation

( state: InsuranceCreditReservationV16Account, )

src/v16.rs:5971

Methodinsurance_to_close_insurance_spent

( amount: u128, vault_before: u128, vault_after: u128, )

Methodis_economically_valid

(self)

src/v16_kani_api.rs:1426

Methodis_positive

(&self)

src/wide_math.rs:590

Methodkani_accumulate_batch_trade_apply

( outcome: &mut BatchTradeOutcomeV16, risk_increasing: &mut bool, long_has_source_clai

src/v16_kani_api.rs:802

Functionkani_active_bitmap_set

( bitmap: &mut V16ActiveBitmap, leg_slot_index: usize, )

src/v16_kani_api.rs:43

Functionkani_any_loss_weight

(_abs_basis_q: u128, _a_basis: u128)

src/v16_proofs.rs:1866

Methodkani_apply_bankruptcy_residual_chunk_to_loss_side

( asset: &mut AssetStateV16, opp: SideV16, engine_chunk: u128, residual_remain

src/v16_kani_api.rs:762

Methodkani_apply_counterparty_source_credit_lien_delta

( source: &mut PortfolioSourceDomainV16Account, required_face_num: u128, required_back

src/v16_kani_api.rs:475

Methodkani_apply_trade_after_refresh_not_atomic

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

src/v16_kani_api.rs:786

Methodkani_asset_restart_next_counters

( next_market_id_before: u64, activation_count_before: u64, asset_set_epoch_before: u6

src/v16_kani_api.rs:654

← previous next →601–700 of 1,205, ranked by callers