ethernet8023: the no-leak test was deleted alongside the function it pinned; the display-only credential status is live in print_credential_summary. credential_summary restored byte-identical to BASE so the leak contract is CI-pinned again.