Contract 7d5e1ef91b4c0f2899f0f10cca01469002acc77744e1206a10a415cc268f1664

fn init(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    reserve_token: soroban_sdk::Address,
    bootstrap_token: soroban_sdk::Address,
)

fn claim(env: soroban_sdk::Env, user: soroban_sdk::Address) -> i128

fn stake(env: soroban_sdk::Env, user: soroban_sdk::Address, amount: i128)

fn metrics(env: soroban_sdk::Env) -> CoverageFundMetrics

fn unstake(env: soroban_sdk::Env, user: soroban_sdk::Address, amount: i128)

fn upgrade(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    new_wasm_hash: soroban_sdk::BytesN<32>,
)

fn governor(env: soroban_sdk::Env) -> Option

fn stake_of(env: soroban_sdk::Env, user: soroban_sdk::Address) -> i128

fn treasury(env: soroban_sdk::Env) -> Option

fn claim_all(env: soroban_sdk::Env, user: soroban_sdk::Address) -> RewardClaimReceipt

fn set_admin(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    admin: soroban_sdk::Address,
)

fn add_rewards(env: soroban_sdk::Env, caller: soroban_sdk::Address, amount: i128)

fn covered_nav(env: soroban_sdk::Env, vault: soroban_sdk::Address) -> i128

fn pay_premium(
    env: soroban_sdk::Env,
    payer: soroban_sdk::Address,
    vault: soroban_sdk::Address,
    covered_nav: i128,
    coverage_period_bps: i32,
) -> PremiumReceipt

fn set_governor(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    governor: soroban_sdk::Address,
)

fn set_treasury(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    treasury: Option,
)

fn total_staked(env: soroban_sdk::Env) -> i128

fn quote_premium(
    env: soroban_sdk::Env,
    vault: soroban_sdk::Address,
    covered_nav: i128,
    coverage_period_bps: i32,
) -> PremiumQuote

fn reserve_token(env: soroban_sdk::Env) -> soroban_sdk::Address

fn claims_manager(env: soroban_sdk::Env) -> Option

fn claim_capacity(env: soroban_sdk::Env) -> i128

fn last_wasm_hash(env: soroban_sdk::Env) -> Option>

fn pending_reward(env: soroban_sdk::Env, user: soroban_sdk::Address) -> i128

fn pending_rewards(env: soroban_sdk::Env, user: soroban_sdk::Address) -> PendingRewards

fn stake_shares_of(env: soroban_sdk::Env, user: soroban_sdk::Address) -> i128

fn set_claims_manager(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    claims_manager: Option,
)

fn total_stake_shares(env: soroban_sdk::Env) -> i128

fn claim_from_community(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    recipient: soroban_sdk::Address,
    amount: i128,
) -> CommunityClaimReceipt

fn claim_reserve_reward(env: soroban_sdk::Env, user: soroban_sdk::Address) -> i128

fn covered_vault_policy(
    env: soroban_sdk::Env,
    vault: soroban_sdk::Address,
) -> Option

fn remove_covered_vault(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    vault: soroban_sdk::Address,
)

fn set_economics_policy(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    reserve_retain_bps: i32,
    treasury_share_bps: i32,
    reserve_target_bps: i32,
)

fn bootstrap_admin_active(env: soroban_sdk::Env) -> bool

fn bootstrap_reward_token(env: soroban_sdk::Env) -> soroban_sdk::Address

fn claim_bootstrap_reward(env: soroban_sdk::Env, user: soroban_sdk::Address) -> i128

fn fund_bootstrap_rewards(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    amount: i128,
)

fn pending_reserve_reward(env: soroban_sdk::Env, user: soroban_sdk::Address) -> i128

fn premiums_paid_by_vault(env: soroban_sdk::Env, vault: soroban_sdk::Address) -> i128

fn pending_bootstrap_reward(env: soroban_sdk::Env, user: soroban_sdk::Address) -> i128

fn set_covered_vault_policy(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    vault: soroban_sdk::Address,
    annual_premium_bps: i32,
    coverage_limit: i128,
)

fn bootstrap_admin_expires_at(env: soroban_sdk::Env) -> Option

fn set_bootstrap_admin_expiry(
    env: soroban_sdk::Env,
    caller: soroban_sdk::Address,
    expires_at: u64,
)

fn clear_bootstrap_admin_expiry(env: soroban_sdk::Env, caller: soroban_sdk::Address)