Issues

• execute() does not dispatch the calldata — proposals have no on-chain effect

  enhancementhigh Priority
  Escelit/PropFi#30 · Filter by author Escelit opened on Jul 9, 2026

• required_level field in JurisdictionRules is stored but never enforced

  enhancement
  Escelit/PropFi#29 · Filter by author Escelit opened on Jul 9, 2026

• Add LP yield / interest accrual — liquidity providers earn nothing

  enhancement
  Escelit/PropFi#28 · Filter by author Escelit opened on Jul 9, 2026

• distribute() is a no-op — it only emits an event

  bug
  Escelit/PropFi#27 · Filter by author Escelit opened on Jul 9, 2026
  1

• Staleness detection only emits an event — it does not revert or block downstream usage

  enhancementhigh Prioritysecurity
  Escelit/PropFi#26 · Filter by author Escelit opened on Jul 9, 2026
  1

• open_loan uses stale property valuation — no live oracle check at loan origination

  enhancementhigh Priority
  Escelit/PropFi#25 · Filter by author Escelit opened on Jul 9, 2026
  1

• buy_fraction reads balance twice — second read ignores checkpoint result

  bug
  Escelit/PropFi#24 · Filter by author Escelit opened on Jul 9, 2026
  1

• propose() sets proposer to env.current_contract_address() instead of the caller

  bug
  Escelit/PropFi#23 · Filter by author Escelit opened on Jul 9, 2026
  1

• attest overwrites existing attestation — user loses prior jurisdiction on re-attest

  bug
  Escelit/PropFi#22 · Filter by author Escelit opened on Jul 9, 2026
  1

• liquidate does not transfer collateral to liquidator or repay pool

  bughelp wanted
  Escelit/PropFi#21 · Filter by author Escelit opened on Jul 9, 2026
  1