Formal Verification

Workflow runs for Formal Verification

• feat(formal-verification): add collateral conservation and backed fee accrual invariants (#458)

  requires action with the application:
  Formal Verification#64:Pull request#460synchronizebyocakciomursel-pixel
  ocakciomursel-pixel:feat/formal-verification-collateral-conservation-458

  Oct 27, 2026Action required
  More actions for workflow run 64

• fix(lending): prevent protocol fee collection from draining depositor collateral (#457)

  requires action with the application:
  Formal Verification#63:Pull request#459synchronizebyocakciomursel-pixel
  ocakciomursel-pixel:fix/lending-collateral-fee-guard-457

  Oct 27, 2026Action required
  More actions for workflow run 63

• fix(contracts): add Soroban __constructor and require_auth guards on initialize()

  requires action with the application:
  Formal Verification#62:Pull request#466openedbyhuangji6693-max
  huangji6693-max:fix/initialize-admin-auth-guard-352

  Oct 26, 2026Action required
  More actions for workflow run 62

• fix(contracts): clear multisig pause and unpause signer markers on activation

  requires action with the application:
  Formal Verification#61:Pull request#465openedbyhuangji6693-max
  huangji6693-max:fix/clear-multisig-pause-unpause-signers-354

  Oct 26, 2026Action required
  More actions for workflow run 61

• test(lending): add collateral conservation and backed fee accrual invariants (#458)

  requires action with the application:
  Formal Verification#60:Pull request#464openedbyhuangji6693-max
  huangji6693-max:test/collateral-conservation-fee-invariants-458

  Oct 26, 2026Action required
  More actions for workflow run 60

• fix(lending): prevent protocol fee collection from draining depositor collateral (#457)

  requires action with the application:
  Formal Verification#59:Pull request#463openedbyhuangji6693-max
  huangji6693-max:fix/prevent-fee-draining-depositor-collateral-457

  Oct 26, 2026Action required
  More actions for workflow run 59

• feat(formal-verification): add collateral conservation and backed fee accrual invariants (#458)

  requires action with the application:
  Formal Verification#58:Pull request#460openedbyocakciomursel-pixel
  ocakciomursel-pixel:feat/formal-verification-collateral-conservation-458

  Oct 26, 2026-1s
  More actions for workflow run 58

• fix(lending): prevent protocol fee collection from draining depositor collateral (#457)

  requires action with the application:
  Formal Verification#57:Pull request#459openedbyocakciomursel-pixel
  ocakciomursel-pixel:fix/lending-collateral-fee-guard-457

  Oct 26, 2026Action required
  More actions for workflow run 57

• fix(lending): lock collateral for pending loan requests on withdrawal

  requires action with the application:
  Formal Verification#56:Pull request#453openedbycomandanto
  comandanto:fix/loan-collateral-locking

  Oct 25, 2026Action required
  More actions for workflow run 56

• fix(lending): verify vault collateral in create_loan_request

  requires action with the application:
  Formal Verification#55:Pull request#450openedbycomandanto
  comandanto:fix/vault-collateral-verification

  Oct 25, 2026Action required
  More actions for workflow run 55

• fix(lending): expose set_oracle so multisig SetOracle can target lending

  requires action with the application:
  Formal Verification#54:Pull request#449openedbycomandanto
  comandanto:fix/multisig-setoracle-target-method

  Oct 25, 2026Action required
  More actions for workflow run 54

• feat(lending): execute collateral seizure and transfer on loan liquidation

  requires action with the application:
  Formal Verification#53:Pull request#443openedbyumpireboulianne-design
  umpireboulianne-design:fix/issue-433-liquidation-collateral-seizure

  Oct 24, 2026Action required
  More actions for workflow run 53

• feat(lending): add reentrancy guard and deadline enforcement to flash loans

  requires action with the application:
  Formal Verification#52:Pull request#437openedbyumpireboulianne-design
  umpireboulianne-design:fix/issue-434-flash-loan-reentrancy-guard

  Oct 24, 2026Action required
  More actions for workflow run 52

• fix(ci): replace hanging kani job with fast property-based verification

  completed successfully:
  Formal Verification#51:Commit39d58b6pushedbythisisouvik
  main

  Oct 23, 202628s
  More actions for workflow run 51

• fix(ci): prevent kani model checker from hanging on 128bit division a…

  cancelled:
  Formal Verification#50:Commit19094fepushedbythisisouvik
  main

  Oct 22, 202622m 34s
  More actions for workflow run 50

• fix(ci): fix build type error, circular test serialization, contract …

  cancelled:
  Formal Verification#49:Commit1c289e2pushedbythisisouvik
  main

  Oct 22, 202626m 39s
  More actions for workflow run 49

• Update Rust Cargo Dependencies for Soroban Contracts Security Adviso…

  failed:
  Formal Verification#48:Commitc1e4db2pushedbySoumen1080
  main

  Oct 21, 20266h 0m 53s
  More actions for workflow run 48

• Update Rust Cargo Dependencies for Soroban Contracts Security Advisories

  failed:
  Formal Verification#47:Pull request#407openedbysourirashmi2004
  sourirashmi2004:main

  Oct 21, 20266h 1m 23s
  More actions for workflow run 47

• Issue 350 prevent double withdrawal (#393)

  failed:
  Formal Verification#46:Commit172dbebpushedbythisisouvik
  main

  Oct 20, 20266h 1m 12s
  More actions for workflow run 46

• Issue 350 prevent double withdrawal

  failed:
  Formal Verification#45:Pull request#393synchronizebythisisouvik
  debanshuhalder:issue-350-prevent-double-withdrawal

  Oct 20, 20266h 1m 2s
  More actions for workflow run 45

• fix(lending): require fresh oracle prices for collateral (#392)

  cancelled:
  Formal Verification#44:Commit0d2013epushedbythisisouvik
  main

  Oct 20, 20266h 0m 18s
  More actions for workflow run 44

• fix(loans): validate on-chain request APR (#391)

  cancelled:
  Formal Verification#43:Commit2ead85apushedbythisisouvik
  main

  Oct 20, 20266h 0m 19s
  More actions for workflow run 43

• Issue 350 prevent double withdrawal

  cancelled:
  Formal Verification#42:Pull request#393openedbydebanshuhalder
  debanshuhalder:issue-350-prevent-double-withdrawal

  Oct 20, 20266h 0m 20s
  More actions for workflow run 42

• fix(lending): require fresh oracle prices for collateral

  failed:
  Formal Verification#41:Pull request#392openedbydebanshuhalder
  debanshuhalder:issue-349-require-oracle-collateral-prices

  Oct 20, 202624m 55s
  More actions for workflow run 41

• fix(loans): validate on-chain request APR

  failed:
  Formal Verification#40:Pull request#391openedbydebanshuhalder
  debanshuhalder:issue-348-validate-onchain-loan-rate

  Oct 20, 202625m 3s
  More actions for workflow run 40