At this level
app.racethesky · 3- app.racethesky.course record A racing course built in the Race the Sky editor, published by its designer into their own repo. The course belongs to whoever drew it: it outlives any gallery, contest, or leaderboard that happens to index it, and can be played from this record alone.
- app.racethesky.run record A single Race the Sky time-trial run, published by the player into their own repo. The record stores the raw input log rather than a result: the game's physics are deterministic, so re-simulating the log reproduces the run exactly. Owning the record is the identity proof, and replaying it is the time proof — the claimed time in this record is advisory and is never trusted by a leaderboard.
- app.racethesky.teamMembership record A player's claim to be on a Race the Sky team. Only the account holder can write to their own repo, so the presence of this record is the proof of membership — and its absence is the proof of departure. A player races for one team at a time, so the record key is always 'self'.