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 callersMethodtransfer_trade_residual_reward_credit

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

src/v16.rs:9589

↓ 1 callersFunctiontwo_market_view_fixture

()

tests/proofs_v16.rs:79

↓ 1 callersMethodupdate_backing_aggregate_totals

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

src/v16.rs:6961

↓ 1 callersMethodupdate_source_credit_aggregate_totals

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

src/v16.rs:6931

↓ 1 callersFunctionvalid_receipt

A receipt that passes `validate_resolved_payout_receipt_value`: present, exact_num(face*BOUND_SCALE) <= prior_bound, paid <= face, finalized iff paid

tests/reference_model_conformance.rs:42

↓ 1 callersMethodvalidate_dynamic_market_slots_shape

( &self, slots: &[S], )

src/v16.rs:6258

↓ 1 callersMethodvalidate_exact_solvency_envelope

(&self)

src/v16.rs:3023

↓ 1 callersMethodvalidate_market_id_binding

(&self)

src/v16.rs:5906

↓ 1 callersMethodvalidate_shape_full_audit_scan

(&self)

src/v16.rs:6574

↓ 1 callersMethodvalidate_trade_position_preflight

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

src/v16.rs:12258

↓ 1 callersMethodvalidate_trade_request

(&self, request: TradeRequestV16)

src/v16.rs:12218

Methodaccount_b_loss_bound

(account: &PortfolioV16View<'_>)

src/v16.rs:11886

Methodaccount_capital_to_external_out

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

src/v16.rs:4710

Methodaccount_capital_to_insurance

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

src/v16.rs:4746

Methodaccount_capital_to_realized_loss

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

src/v16.rs:4792

Methodaccount_has_source_claims

(account: &PortfolioV16View<'_>)

src/v16.rs:8075

Methodaccount_no_positive_credit_equity

(account: &PortfolioV16View<'_>)

src/v16.rs:13378

Methodaccount_source_claim_bound_sum_num

(account: &PortfolioV16View<'_>)

src/v16.rs:8059

Methodaccrual_activity_for_asset_segment

( old: AssetStateV16, segment_dt: u64, effective_price: u64, funding_rate_e9:

src/v16.rs:478

Methodaccumulate_batch_trade_apply

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

src/v16.rs:13589

Methodactionable_summary_from_signals

( stale: bool, b_stale: bool, pending_close: bool, expired_close: bool,

src/v16.rs:1363

Functionactive_bitmap_empty

()

src/v16.rs:221

Methodactive_leg_for_asset

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

Methodadd_account_u128_counter

(counter: &mut V16PodU128, atoms: u128)

src/v16.rs:9479

Methodadd_assign

(&mut self, rhs: Self)

src/wide_math.rs:526

Methodadd_fresh_counterparty_backing_not_atomic

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

src/v16.rs:7298

Methodamount_from_bound_num

(bound_num: u128)

src/v16.rs:409

Methodapply_account_source_credit_lien_delta

( source: &mut PortfolioSourceDomainV16Account, backing_source: SourceCreditBackingSourceV16,

src/v16.rs:9228

Methodapply_bankruptcy_residual_chunk_to_loss_side

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

src/v16.rs:1445

Functionapply_fuzz_action

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

tests/v16_fuzzing.rs:92

Methodapply_total_delta

(total: u128, old: u128, new: u128)

src/v16.rs:6903

Methodapply_total_delta_u64

(total: u64, old: u64, new: u64)

src/v16.rs:6915

Functionarithmetic_boundary_vectors_fee_notional_risk

()

tests/reference_model_conformance.rs:446

Functionarithmetic_boundary_vectors_social_loss_split

()

tests/reference_model_conformance.rs:480

Functionassert_v16_public_restart_two_slot_selected_only

()

tests/proofs_v16.rs:1640

Methodasset_account_is_empty_for_activation

(asset: AssetStateV16Account)

src/v16.rs:5982

Methodasset_restart_next_counters

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

src/v16.rs:11695

Methodasset_state_is_empty_for_activation

(asset: AssetStateV16)

src/v16.rs:6027

Functionauto_crank_plan_requires_caller_observation

REALIZABILITY — the no-DoS auto-crank dispatch-seam invariant. `RefreshAccount { asset_index: None }` is the UNIQUE [`AutoCrankPlanV16`] whose dispat

src/v16.rs:187

Methodauto_crank_selected_assets

PRODUCTION SELF-CLASSIFYING CRANK (roadmap 3C step 4): the keeper no longer chooses the action. build_actionable_summary classifies the account and th

src/v16.rs:11347

Methodavailable_backing_num_for_source_credit_state

( state: SourceCreditStateV16, )

src/v16.rs:517

Functionaxiom_loss_weight_nonzero

(_abs: u128, a: u128)

src/v16_proofs.rs:2148

Functionaxiom_social_loss_book_split

( _engine_chunk: u128, _carried_rem: u128, weight_sum: u128, )

src/v16_proofs.rs:2536

Methodb_target_for_leg_from_asset

(asset: AssetStateV16, leg: PortfolioLegV16)

src/v16.rs:10135

Methodbacking_bucket_account_is_empty_for_activation

(state: BackingBucketV16Account)

src/v16.rs:5960

Methodbacking_utilization_fee_quote_atoms_for_lien

( config: V16Config, source: SourceCreditStateV16, lien_backing_num: u128, fro

src/v16.rs:2596

Methodbacking_utilization_rate_e9_for_source_state

( config: V16Config, source: SourceCreditStateV16, )

Methodbound_num_from_amount

(amount: u128)

src/v16.rs:420

Methodbuild_resolved_close_rank

PROOF-ONLY FIDELITY MODEL (cfg(kani) harness only)

src/v16_kani_api.rs:1755

Methodbuild_trade_request_guard_summary

( request: TradeRequestV16, max_market_slots: u32, max_trading_fee_bps: u64, )

src/v16.rs:1299

Methodburn_impaired_account_source_claim_fields

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

src/v16.rs:8093

Methodcanonical_retired_asset_slot

(old_asset: AssetStateV16)

src/v16.rs:11743

Methodcapital_and_resolved_payout_to_external_out

( capital_paid: u128, resolved_payout_paid: u128, total_external_out: u128, va

src/v16.rs:4854

Methodceil_div_u256_to_u128

(n: U256, d: U256)

src/v16.rs:2823

Methodchecked_mul_div_ceil_to_u128

(a: u128, b: u128, d: u128)

src/v16.rs:2847

Methodclose_cure_to_account_capital

( optional_external_deposit: u128, cancel_deposit_escrow: u128, capital_credit: u128,

src/v16.rs:4722

Functionclosure_bucket_status_machine_prepare_counterparty_lien_create_delta

()

src/v16_proofs.rs:1311

Functionclosure_bucket_status_machine_prepare_counterparty_lien_impair_delta

()

src/v16_proofs.rs:1360

Functionclosure_bucket_status_machine_prepare_counterparty_lien_release_delta

()

src/v16_proofs.rs:1328

Functionclosure_bucket_status_machine_prepare_counterparty_lien_terminal_release_delta

()

src/v16_proofs.rs:1345

Functionclosure_close_ledger_absorbs_booking_outcome

()

src/v16_proofs.rs:2602

Functionclosure_kernel_advance_close_ledger_rank_witness

()

src/v16_proofs.rs:1667

Functionclosure_ledger_inv_genesis

()

src/v16_proofs.rs:1092

Functionclosure_ledger_inv_prepare_counterparty_backing_add_delta

()

src/v16_proofs.rs:1196

Functionclosure_ledger_inv_prepare_counterparty_backing_withdraw_delta

()

src/v16_proofs.rs:1181

Functionclosure_ledger_inv_prepare_counterparty_lien_consume_delta

()

src/v16_proofs.rs:1151

Functionclosure_ledger_inv_prepare_counterparty_lien_create_delta

()

src/v16_proofs.rs:1103

Functionclosure_ledger_inv_prepare_counterparty_lien_impair_delta

()

src/v16_proofs.rs:1166

Functionclosure_ledger_inv_prepare_counterparty_lien_release_delta

()

src/v16_proofs.rs:1119

Functionclosure_ledger_inv_prepare_counterparty_lien_terminal_release_delta

()

src/v16_proofs.rs:1136

Functionclosure_ledger_inv_prepare_insurance_lien_consume_delta

()

src/v16_proofs.rs:1273

Functionclosure_ledger_inv_prepare_insurance_lien_create_delta

()

src/v16_proofs.rs:1213

Functionclosure_ledger_inv_prepare_insurance_lien_impair_delta

()

src/v16_proofs.rs:1258

Functionclosure_ledger_inv_prepare_insurance_lien_release_delta

()

src/v16_proofs.rs:1228

Functionclosure_ledger_inv_prepare_insurance_lien_terminal_release_delta

()

src/v16_proofs.rs:1243

Functionclosure_restarted_slot_preserves_budget_witness

()

src/v16_proofs.rs:1825

Functioncomposition_attach_body_frame_division_stubbed

()

src/v16_proofs.rs:1878

Functioncomposition_attach_value_conservation_under_axiom

()

src/v16_proofs.rs:2163

Functioncomposition_clear_leg_body_frame

()

src/v16_proofs.rs:1943

Functioncomposition_clear_leg_value_conservation

()

src/v16_proofs.rs:2232

Functioncontract_check_actionable_summary_from_signals

()

src/v16_proofs.rs:2515

Functioncontract_check_apply_backing_provider_earnings_withdraw

()

src/v16_proofs.rs:161

Functioncontract_check_apply_total_delta

()

src/v16_proofs.rs:499

Functioncontract_check_asset_restart_next_counters

()

src/v16_proofs.rs:1812

Functioncontract_check_available_backing_num_for_source_credit_state

()

src/v16_proofs.rs:982

Functioncontract_check_bresidual_chunk_conservation

()

src/v16_proofs.rs:2553

Functioncontract_check_build_resolved_close_rank

()

src/v16_proofs.rs:2497

Functioncontract_check_build_trade_request_guard_summary

()

src/v16_proofs.rs:2430

Functioncontract_check_credit_account_from_insurance_delta

()

src/v16_proofs.rs:451

Functioncontract_check_credit_backing_provider_earnings_delta

()

src/v16_proofs.rs:927

Functioncontract_check_first_actionable_slot

()

src/v16_proofs.rs:2743

Functioncontract_check_flow_account_capital_to_external_out

()

src/v16_proofs.rs:555

Functioncontract_check_flow_account_capital_to_insurance

()

src/v16_proofs.rs:588

Functioncontract_check_flow_account_capital_to_realized_loss

()

src/v16_proofs.rs:720

Functioncontract_check_flow_capital_and_resolved_payout_to_external_out

()

src/v16_proofs.rs:871

Functioncontract_check_flow_close_cure_to_account_capital

()

src/v16_proofs.rs:790

Functioncontract_check_flow_external_in_to_account_capital

()

src/v16_proofs.rs:522

Functioncontract_check_flow_external_in_to_insurance_capital

()

src/v16_proofs.rs:620

← previous next →501–600 of 1,205, ranked by callers