OPEN EXPERIMENTAL PROFILE

Clean-room checker doorway

ENGINEERING_COMPLETE · No foreign checker has attempted the trial.

Your task in seven steps

1. Download the r5 checker envelope.
2. Verify the archive and trial root using the separately supplied coordinator context.
3. Implement the public checker contract without prohibited project source.
4. Publish a credential-free source repository and frozen commit.
5. Build a Linux/amd64 OCI image exposing /checker/verify.
6. Freeze source, build recipe, dependencies, image digest, and access statement.
7. Submit the frozen artifacts for one isolated blind execution.

What you receive

• Frozen specification and closed schemas
• Public conformance cases and expected public projections
• Canonicalization and signature vectors
• Generic checker and runner contracts

What you must return

• Public source repository and advertised commit
• Build recipe and dependency manifest
• Linux/amd64 OCI image digest
• Signed clean-room access statement

What you will never be shown

• Assurance Linker reference implementation
• Reference Python or Node checkers
• Author compiler, generators, mutations, hidden inputs, or hidden answers

What becomes public

• Checker source, frozen outputs, corrections, and disclosed conflicts become public.

What success establishes

• One foreign checker reproduced the protected consequence decisions on an unseen committed corpus under the supplied specification and context.

What success does not establish

• Worldly truth, trustlessness, production safety, legal enforceability, representative adoption, or source-to-image reproducibility without a separate rebuild.

Verify the doorway

Read verification commands · Download checker envelope · Inspect projection

Trial root: sha256:17e72628d742bfa5583b7a0a4ec681dd72428aedad561224007f1e0c570ab2e6