Switch pubnet node data from Stellarbeat to Radar API property names

[Copilot]

Stellarbeat is reaching EOL; the replacement is the Radar API (radar.withobsrvr.com), which uses radar_* property names instead of sb_*.

Changes

• sample-network-data.json: Rename all sb_* fields to radar_* (sb_homeDomain → radar_homeDomain, sb_geoData → radar_geoData, sb_isValidating → radar_isValidating, etc.). This file drives the F# JSON type provider, so its keys determine the generated property names.

• StellarNetworkData.fs: Update all generated property accesses to match:

  • SbHomeDomain → RadarHomeDomain
  • SbGeoData → RadarGeoData
  • SbIsValidating → RadarIsValidating
  • Inline JSON literal and comment updated accordingly

• doc/measuring-transaction-throughput.md: Update JSON example snippet and description text: sb_homeDomain → radar_homeDomain.

• topologies/theoretical-max-tps.json: Rename all sb_homeDomain fields to radar_homeDomain.

// Before
PubnetNode.Parse(""" [{ "publicKey": "%s", "sb_homeDomain": "home.domain.%d" }] """)
n.SbHomeDomain.IsSome
n.SbGeoData.Value.Latitude

// After
PubnetNode.Parse(""" [{ "publicKey": "%s", "radar_homeDomain": "home.domain.%d" }] """)
n.RadarHomeDomain.IsSome
n.RadarGeoData.Value.Latitude

---

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

[marta-lokhova]

@copilot you did not update doc/measuring-transaction-throughput.md and topologies/theoretical-max-tps.json

[Copilot]

@copilot you did not update [doc/measuring-transaction-throughput.md](https://github.com/stellar/supercluster/blob/327a928b54a94cb91735ee762fca04fe198979c8/doc/measuring-transaction-throughput.md?plai...

Fixed in 047d010 — updated sb_homeDomain → radar_homeDomain in both doc/measuring-transaction-throughput.md (JSON example and description text) and topologies/theoretical-max-tps.json.

[Copilot]

Pull request overview

This PR renames all Stellarbeat API property names (sb_*) to Radar API property names (radar_*) across the codebase, as Stellarbeat is reaching end-of-life and being replaced by the Radar API at radar.withobsrvr.com.

Changes:

• Updated JSON sample file to use radar_* property names, which drives F# type provider code generation
• Updated all F# code to use generated properties with new names (RadarHomeDomain, RadarGeoData, RadarIsValidating)
• Updated documentation and topology files to reflect the new property naming convention

Reviewed changes

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

File	Description
src/FSLibrary/json-type-samples/sample-network-data.json	Renamed all sb_* fields to radar_* in JSON type provider sample file
src/FSLibrary/StellarNetworkData.fs	Updated all generated property accesses and inline JSON to use Radar* naming
doc/measuring-transaction-throughput.md	Updated JSON example and description text to use radar_homeDomain
topologies/theoretical-max-tps.json	Renamed sb_homeDomain to radar_homeDomain in topology configuration

---

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

[drebelsky]

Looks like it updates all the references to stellarbeat in this repo.