Tests
- Cover edge cases in Collatz and Goldbach helpers.
- Add regression tests for CLI output and ledgers.
- Separate mocked tests from real integration checks.
Contribute
The most useful contributions make ProofX easier to audit: clearer docs, stronger tests, better examples, and reproducible result ledgers.
Documentation
- Improve method notes and examples.
- Remove vague claims and unsupported benchmarks.
- Keep public copy aligned with the code.
Reproducibility
- Publish sample ledgers from documented commands.
- Record dependency and platform context.
- Check that result pages match generated data.