The graph is sealed on the public chain: this is the whole derivation.
The seal for that derivation is on the public testnet too, and it is what turns a set of recorded steps into a claim with an edge — without it, a reader can never tell whether the three most inconvenient steps were simply never shown to them. The command refuses to seal a graph that is incoherent or has a body missing, so the seal that exists is one that verified first. It says the recorded history can all be true at once. It does not say the binary is any good.
