Introduce MissionPubnetNetworkLimitsBench

[marta-lokhova]

No description provided.

[Copilot]

Pull request overview

This pull request introduces a new mission MissionPubnetNetworkLimitsBench that benchmarks the Stellar network's performance under specific transaction size limits, specifically targeting SLP-4 (Stellar Ledger Protocol 4) specifications. The mission simulates the full pubnet topology with custom tx and ledger limits to test network behavior under large transaction scenarios.

Changes:

• Added MissionPubnetNetworkLimitsBench.fs with a new benchmark mission for testing pubnet network limits
• Exposed utility functions maxDistributionValue and maxOption from MaxTPSTest.fs for reuse
• Registered the new mission in StellarMission.fs and FSLibrary.fsproj
• Added comprehensive documentation in missions.md with required parameters and usage examples

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated 4 comments.

Show a summary per file

File	Description
src/FSLibrary/MissionPubnetNetworkLimitsBench.fs	New mission implementation with SLP-4 specific limits and benchmark logic
src/FSLibrary/MaxTPSTest.fs	Made helper functions public for reuse across missions
src/FSLibrary/StellarMission.fs	Added module import and registered new mission
src/FSLibrary/FSLibrary.fsproj	Included new mission file in build
doc/missions.md	Added documentation with required parameters and examples

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.