A DOI record is a citable public archive route. It is not, by itself, proof of production readiness, real-world deployment, or third-party replication.
GitHub cards and HF cards are public navigation surfaces. They point readers to evidence levels, status, and challenge routes without replacing the DOI record.