Skip to content

Add cross-contract conservation test for vault + settlement + revenue_pool #502

Description

@greatest0fallt1me

Description

This is a smart-contract issue for the GrantFox campaign. End-to-end test that the sum of deposits across all three contracts equals total in vault.

Requirements and Context

  • e2e test runner
  • Random action sequence
  • Invariant asserted
  • CI runs nightly
  • Must be secure, tested, and documented
  • Should be efficient and easy to review

Suggested Execution

  1. Fork the repo and create a branch
    git checkout -b task/cross-contract-invariant
  2. Implement changes
    • contracts/tests/cross_contract_conservation.rs (new)
    • .github/workflows/e2e.yml
  3. Test and commit
    • Run the repo's standard test suite and lint
    • Cover edge cases; include output in the PR

Example commit message

test: cross-contract conservation invariant

Acceptance Criteria

  • Runner works
  • Sequence randomized
  • Invariant holds
  • CI scheduled

Guidelines

  • Minimum 95% test coverage with cargo test
  • require_auth on every state-changing entrypoint
  • Overflow-safe math; no unwrap() in production paths
  • Clear NatSpec-style /// rustdoc
  • Timeframe: 96 hours

Metadata

Metadata

Assignees

Labels

GRANTFOX OSSGrantFox open-source campaign taskOFFICIAL CAMPAIGNOfficial GrantFox campaign issueStellar WaveIssues in the Stellar wave programauditSecurity audit/reviewsmart-contractSoroban smart-contract worktestingTests and coverage

Type

No type
No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions