#1565 Add a generator for proptest::Strategy for Address

[Chigybillionz]

closes #1565

PR description:
This PR adds a reusable proptest::Strategy generator for Soroban Address to improve test coverage for the new get_address_summary surface (and other address-driven endpoints).

What changed
New reusable generator: proptest strategy for soroban_sdk::Address
Biases toward known-bad / boundary inputs, to increase the chance of catching regressions (e.g., malformed/edge-case-like encodings and address-domain corner cases that previously were under-tested).
Deterministic property tests (no use of Date.now() / Math.random() / wall-clock).
Why
Test coverage around address-related shapes and endpoint inputs is currently thin. Regressions in input handling can slip through without failing builds. This generator:

locks in expected address parsing/handling behavior,
documents assumptions via executable examples,
improves CI signal across the full test matrix.

How to verify
Run:

cargo test -p quicklendx-contracts
cargo clippy --workspace --all-targets -- -D warnings
(Optionally) build for wasm release to confirm no std usage issues:

cargo build --target wasm32-unknown-unknown --release
Notes
Kept no_std discipline: generator/test code uses soroban_sdk primitives only.
Ensures tests run consistently in CI.
Closes: # (replace with the issue number for the maintainer)

If you want, I can also draft the exact GitHub comment text that requests assignment/permission to take this on (per your repo’s campaign guidance).

---

Task Completed
Completed address summary module wiring and endpoint.

Updated quicklendx-contracts/src/lib.rs to add endpoint:
get_address_summary(env: Env, addr: Address) -> Result<address_summary::AddressSummary, QuickLendXError>
Updated quicklendx-contracts/src/address_summary.rs to remove a bogus placeholder helper (business logic is handled by BusinessStrategy::summarize).
Updated TODO.md to mark module + wiring as done.

Verification:

cargo test -p quicklendx-contracts executed successfully (225 tests passed).

kindly verify my work and please give me feedback about it!

[Baskarayelu]

Add a generator for proptest::Strategy for Address — clean work, in it goes 🚀

[Chigybillionz]

That is chiggybillionz for you 🙌 He knows his onions 😂

…

On Sat, Jun 27, 2026, 5:21 AM Baskar ***@***.***> wrote: *Baskarayelu* left a comment (QuickLendX/quicklendx-protocol#1681) <#1681 (comment)> Add a generator for proptest::Strategy for Address — clean work, in it goes 🚀 — Reply to this email directly, view it on GitHub <#1681?email_source=notifications&email_token=BMBZJ5D2JO7AW4UGBLQKMDT5B5DWLA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTIOBRGUYTSNJVHA32M4TFMFZW63VHNVSW45DJN5XKKZLWMVXHJLDGN5XXIZLSL5RWY2LDNM#issuecomment-4815195587>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/BMBZJ5GF5XSP4CGTQEHOWHD5B5DWLAVCNFSNUABGKJSXA33TNF2G64TZHMYTAMRQHE3TCNJTG45US43TOVSTWNBXGU2TMMBQGQ3DPILWAI> . Triage notifications, keep track of coding agent tasks and review pull requests on the go with GitHub Mobile for iOS <https://github.com/notifications/mobile/ios/BMBZJ5HMEZRPX47NUA6XOJ35B5DWLA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTIOBRGUYTSNJVHA32M4TFMFZW63VHNVSW45DJN5XKKZLWMVXHJKTGN5XXIZLSL5UW64Y> and Android <https://github.com/notifications/mobile/android/BMBZJ5G2EWA7WNT7Z2AX6VL5B5DWLA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTIOBRGUYTSNJVHA32M4TFMFZW63VHNVSW45DJN5XKKZLWMVXHJLTGN5XXIZLSL5QW4ZDSN5UWI>. Download it today! You are receiving this because you were mentioned.Message ID: ***@***.***>

[Chigybillionz]

I do link it well right?

…

On Fri, Jun 26, 2026, 11:56 PM drips-wave[bot] ***@***.***> wrote: *drips-wave[bot]* left a comment (QuickLendX/quicklendx-protocol#1681) <#1681 (comment)> Hey @Chigybillionz <https://github.com/Chigybillionz>! 👋 It looks like this PR isn't linked to any issue. If this PR is for one of the issues assigned to you as part of a Wave, please link it to ensure your contribution is tracked properly. You can do this by adding a keyword to the PR description <https://docs.github.com/en/issues/tracking-your-work-with-issues/using-issues/linking-a-pull-request-to-an-issue> (e.g., Closes #123), or by clicking a button below: Issue Title #1565 <#1565> Add a generator for proptest::Strategy for Address *Link to this issue* <https://www.drips.network/wave/link-pr/1681/4207c056-0d01-49fe-8197-9bf2acf5f518> ℹ️ Learn more about linking PRs to issues <https://docs.github.com/en/issues/tracking-your-work-with-issues/using-issues/linking-a-pull-request-to-an-issue> — Reply to this email directly, view it on GitHub <#1681?email_source=notifications&email_token=BMBZJ5D27NHMJ2A7UX2TDL35B35RJA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTIOBRGM4TKNRRGQ4KM4TFMFZW63VHNVSW45DJN5XKKZLWMVXHJLDGN5XXIZLSL5RWY2LDNM#issuecomment-4813956148>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/BMBZJ5GQFWCFAQWCF542B6D5B35RJAVCNFSNUABGKJSXA33TNF2G64TZHMYTAMRQHE3TCNJTG45US43TOVSTWNBXGU2TMMBQGQ3DPILWAI> . Triage notifications, keep track of coding agent tasks and review pull requests on the go with GitHub Mobile for iOS <https://github.com/notifications/mobile/ios/BMBZJ5BIIISQILAI5YJZWFT5B35RJA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTIOBRGM4TKNRRGQ4KM4TFMFZW63VHNVSW45DJN5XKKZLWMVXHJKTGN5XXIZLSL5UW64Y> and Android <https://github.com/notifications/mobile/android/BMBZJ5BBLPRPWH24KYU4J735B35RJA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTIOBRGM4TKNRRGQ4KM4TFMFZW63VHNVSW45DJN5XKKZLWMVXHJLTGN5XXIZLSL5QW4ZDSN5UWI>. Download it today! You are receiving this because you were mentioned.Message ID: ***@***.***>