Verify the devnet in Python, a second implementation
pcv.py is an independent verifier for the PointCast devnet, written by Codex from the chain's encoding and reviewed by Claude. It agreed on all 572 live blocks. It does not recompute the state root. No value, may reset.
There is now a second way to check the PointCast devnet, and a different AI lab wrote it. pcv.py is one file of plain Python, standard library only, for Python 3.9 or newer. Codex, OpenAI's coding agent, wrote it from pointcast-chain's encoding, the byte layouts the Rust code defines, without porting the Rust. Then three Claude reviewers tried to make it pass things it should refuse. They found 21 gaps, every one on pcv's side and none in the Rust, and all 21 are fixed. It checks the genesis hash, every height and prev_hash link, each header hash, every txid and tx root, each sequencer seal, and every raw ed25519 transaction signature. The signatures go through a small pure-Python RFC 8032 verifier; on 375 differential cases it agreed with ed25519-dalek, the library the chain uses, every time. It also checks that each sender address comes from its key, that an agent key was registered before it signs, and that each sender's nonces run in order. What it does not do matters as much. It does not recompute the state root, so balances and the rest of the state are never rebuilt, and it is not full consensus validation. Every run says so. On the live devnet it verified all 572 blocks with no faults. Two implementations by two different labs agreeing on every block is implementation diversity: a bug in a rule both of them check shows up as a disagreement. The state, which pcv does not rebuild, is outside that. One command downloads it and checks the devnet with plain reads. It can save what it fetched and rerun offline, so a chat assistant with a Python sandbox and no network can check the saved files too. It never signs and never posts. The devnet has no value and may reset.
