Repository navigation

test(circle): add property-based testing harness asserting accounting invariants - #5

Merged

deborahamoni0-prog merged 50 commits into

circle-Fi:mainfrom

feyisaralawal:main

Sep 17, 2026

Merged

test(circle): add property-based testing harness asserting accounting invariants#5
deborahamoni0-prog merged 50 commits into
circle-Fi:mainfrom
feyisaralawal:main

Commits on Sep 16, 2026
- chore(circle): add proptest 1.x dev-dependency for property-based testing
  feyisaralawal
  committed
  bf06c9f
- test(proptest): scaffold proptest_harness.rs module with cfg(test) guard
  feyisaralawal
  committed
  c60f581
- test(proptest): define CircleParams struct for parameterized circle configuration
  feyisaralawal
  committed
  6375a78
- test(proptest): implement arb_capacity strategy producing values in [3, 24]
  feyisaralawal
  committed
  93dffd4
- test(proptest): implement arb_contribution strategy for bounded deposit amounts
  feyisaralawal
  committed
  5499c45
- test(proptest): implement arb_round_seconds strategy spanning 1s to 30 days
  feyisaralawal
  committed
  b8677ad
- test(proptest): compose arb_circle_params strategy using prop_compose macro
  feyisaralawal
  committed
  f02a266
- test(proptest): define RoundAction enum covering Pay, Default, and DefaultThenTopUp
  feyisaralawal
  committed
  052dbef
- test(proptest): implement arb_round_action with weighted action distributions
  feyisaralawal
  committed
  20bb622
- test(proptest): implement arb_all_actions strategy for capacity x capacity matrix
  feyisaralawal
  committed
  11e8793
- test(proptest): define MemberLedger struct for action tracking during rounds
  feyisaralawal
  committed
  acc7202
- test(proptest): implement setup phase in run_circle_scenario with token mock
  feyisaralawal
  committed
  4e16aea
- test(proptest): calculate per-member token mint budget to prevent test underflow
  feyisaralawal
  committed
  0a7bbf3
- test(proptest): instantiate mock Stellar asset client and mint member supplies
  feyisaralawal
  committed
  db0dd6d
- test(proptest): initialize Circle contract client with generated parameters
  feyisaralawal
  committed
  e488633
- test(proptest): capture baseline token balances before join for conservation check
  feyisaralawal
  committed
  48bf30e
- test(proptest): execute join loop for all members asserting initial deposit lock
  feyisaralawal
  committed
  2f56c3c
- test(proptest): execute round execution loop simulating member actions
  feyisaralawal
  committed
  fb51888
- test(proptest): dispatch on-time contributions for RoundAction::Pay members
  feyisaralawal
  committed
  a95fc81
- test(proptest): simulate member defaults by advancing past round_ends_at
  feyisaralawal
  committed
  55e7083
- test(proptest): advance ledger timestamp past round deadline to permit settlement
  feyisaralawal
  committed
  6b803f4
- test(proptest): invoke client.settle to test pool settlement and recipient payout
  feyisaralawal
  committed
  3a79409
- test(proptest): implement top_up restoration for DefaultThenTopUp actions
  feyisaralawal
  committed
  56867e4
- test(proptest): use try_top_up to handle idempotent or conditional deposit restore
  feyisaralawal
  committed
  f2a1c59
- test(proptest): verify circle status is Complete after all rounds finish (I-1)
  feyisaralawal
  committed
  209c82a
- test(proptest): verify every member received their payout exactly once (I-2)
  feyisaralawal
  committed
  5ebf2d7
- test(proptest): execute withdraw_deposit phase for all remaining member deposits
  feyisaralawal
  committed
  5f2a70c
- test(proptest): assert contract token balance is zero after all withdrawals (I-3)
  feyisaralawal
  committed
  187d477
- test(proptest): assert token conservation invariant across all participants (I-4)
  feyisaralawal
  committed
  9901901
- test(proptest): format informative counterexample diagnostics on invariant failure
  feyisaralawal
  committed
  49d3649
- test(proptest): add prop_accounting_is_sound for generalized random executions
  feyisaralawal
  committed
  0d6dc55
- test(proptest): configure proptest test runner with case limits and max shrink steps
  feyisaralawal
  committed
  e86546f
- test(proptest): add prop_happy_path_always_balances property test
  feyisaralawal
  committed
  ee43c48
- test(proptest): verify zero deposit drawdown when all members pay on time
  feyisaralawal
  committed
  6fb6c53
- test(proptest): add prop_all_default_every_round property test
  feyisaralawal
  committed
  b42b0ff
- test(proptest): verify deposit exhaustion and delinquency under persistent default
  feyisaralawal
  committed
  df589bc
- test(proptest): assert contract balance remains zero even under total default
  feyisaralawal
  committed
  ae7881d
- test(proptest): add prop_single_rotating_defaulter property test
  feyisaralawal
  committed
  cb59c69
- test(proptest): verify round-robin default handling across all member positions
  feyisaralawal
  committed
  cb1d363
- test(proptest): add prop_default_then_top_up_every_round property test
  feyisaralawal
  committed
  22edb09
- test(proptest): stress deposit top_up mechanism and balance accounting
  feyisaralawal
  committed
  6ccce95
- test(proptest): verify Soroban authorization mocking across multi-member calls
  feyisaralawal
  committed
  9fc27d1
- test(proptest): prevent integer overflow in test parameter generation
  feyisaralawal
  committed
  3f37e71
- test(proptest): optimize shrink tree navigation for quick counterexample reduction
  feyisaralawal
  committed
  f2f6af2
- test(proptest): document invariant definitions and mathematical proofs in harness
  feyisaralawal
  committed
  c93e07c
- test(proptest): cross-verify property test assertions against scenario tests
  feyisaralawal
  committed
  b27e106
- test(proptest): add test execution guidance with PROPTEST_CASES env var
  feyisaralawal
  committed
  ec5267d
- test(proptest): ensure compatibility with Soroban SDK test environment
  feyisaralawal
  committed
  c517965
- docs(proptest): document property-based testing harness and invariant table in README
  feyisaralawal
  committed
  d0c765a
- feat(circle): integrate proptest harness into lib.rs and update project documentation
  feyisaralawal
  committed
  47b4f7b

Commits

Commits on Sep 16, 2026