Ten locked challenge families with hidden synthetic labels and nonces.
Private labels stay private. Certificates become independently verifiable.
A buyer or external laboratory can generate hidden episodes and labels, publish only a cryptographic commitment, receive a candidate output file, evaluate offline, and issue an Ed25519-signed certificate.
Private HoldoutBuyer/lab only
→Public CommitmentDigest binding
→Candidate OutputNo labels exposed
→Signed CertificateEd25519 verification
Manifest binding, episode ordering, signature verification, and tamper detection.
Transforms a device profile into HIL blockers, required packets, acceptance sequence, and a reference schedule.
Reference validation workflow
Browser demonstration
This static page demonstrates the architecture. The complete downloadable source contains executable Node.js CLI tools, schemas, fixtures, tests, test keys, signed certificates, and a buyer sandbox.
Ready.