Skip to content

test: add Stellar scalar property coverage#15

Closed
kaycke1337 wants to merge 1 commit into
wraith-protocol:developfrom
kaycke1337:add-stellar-property-tests
Closed

test: add Stellar scalar property coverage#15
kaycke1337 wants to merge 1 commit into
wraith-protocol:developfrom
kaycke1337:add-stellar-property-tests

Conversation

@kaycke1337

Copy link
Copy Markdown

Closes #3

Summary

  • adds fast-check property coverage for Stellar scalar arithmetic, seed derivation, stealth public-key equations, view-tag distribution, and signWithScalar verification
  • adds test:properties and high-case test:fuzz scripts
  • documents property testing in the README
  • adds a nightly slow-tests CI job for the 100,000-case fuzz run

Validation

  • npx --yes pnpm@10.28.2 test:properties
  • npx --yes pnpm@10.28.2 format:check
  • npx --yes pnpm@10.28.2 build
  • npx --yes pnpm@10.28.2 test

Commit used --no-verify because the local hook calls a global pnpm binary that is not installed in this environment; the same commands were run through npx pnpm.

@truthixify truthixify changed the base branch from main to develop May 27, 2026 17:15
@truthixify

Copy link
Copy Markdown
Contributor

Heads up — we've just set up a develop branch as the integration target for all Drips × Stellar Wave contributions, and I've retargeted this PR's base from main to develop on your behalf. The diff is unchanged; nothing to do on your end.

Going forward, please branch from and target develop. We'll periodically merge developmain as we cut releases. Thanks for contributing!

@truthixify

Copy link
Copy Markdown
Contributor

All 8 properties from the issue spec are implemented (with the chi-square view-tag test as a nice touch), WRAITH_FUZZ_RUNS env knob, nightly CI at 100k cases. Merging. Thanks @kaycke1337.

@truthixify

Copy link
Copy Markdown
Contributor

Hmm, my earlier merge call failed: conflicts surfaced after #14 landed (likely package.json scripts overlap with my comment timing). Could you rebase onto develop? Once clean I'll merge immediately, content is good.

git fetch origin
git rebase origin/develop
git push --force-with-lease

@truthixify

Copy link
Copy Markdown
Contributor

The 8 properties + CI nightly + WRAITH_FUZZ_RUNS env knob are still the right shape for issue #3.

Just two small conflicts now (everything else 3-way merges cleanly):

  • README.md
  • .github/workflows/ci.yml

These came from #14 (JSDoc) and #16 (range scans) extending the same README sections and CI matrix.

git fetch origin
git rebase origin/develop
git push --force-with-lease

Quick to resolve. Note: there is a competing PR #46 from @TheDEV111 also targeting issue #3 that I'd close as superseded as soon as yours lands. So no rush from a duplication standpoint, just whoever rebases first.

Thanks @kaycke1337.

@truthixify

Copy link
Copy Markdown
Contributor

Closing as superseded. Issue #3 was just resolved by #46 from @TheDEV111, which addressed the same scope and rebased cleanly first. Sorry for the duplicate-effort situation, that's on us for not coordinating contributor assignments tighter.

Plenty of open Stellar Wave issues you'd be a great fit for: https://github.com/wraith-protocol/sdk/issues?q=is%3Aopen+label%3A%22Stellar+Wave%22

Thanks for the work @kaycke1337.

@truthixify truthixify closed this Jun 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Property-based fuzz tests for Stellar scalar arithmetic

2 participants