NIP-01 in Coax
Nostr's basic protocol, NIP-01, runs in Coax. Coax parses an event, recomputes its id from the NIP-01 preimage with SHA-256, and verifies its BIP-340 signature. The project pages already read their relay in Coax; verifying every event they keep is the next step.
This page runs those checks on a real captured relay event and on four copies of it, each changed in one place: one digit of the id, one letter of the content, one bit of the signature, and an out-of-range kind. Each copy is refused at the step where it breaks.
The full write-up: every part of NIP-01 and the Coax that runs it