The lexicon is published and the bench record carries accounts, both verified against the network: the published schema normalises byte-identical to lexicons/dev/atfs/server.json, and the record is now valid under it — which the old owner-implicit record would not have been. Records why a rejected serviceDid logs rather than exits, against the plan the bean was opened with.