# Sample license and limitations

Version 1.0.0 — effective August 1, 2026

These terms apply to the $1,000 USD SoC Design + Verification RLVR Diagnostic
Sample — 5 Tasks (the “Sample”). By purchasing the Sample, the purchaser
accepts these terms.

## License for RTL Datasets materials

The operator of RTL Datasets grants the purchaser a non-exclusive,
non-transferable license to use and modify the operator-authored task packaging,
curation, metadata, schemas, verification contracts, and diagnostic evidence
internally for evaluation, research, and model development. Trained models and
model outputs created by the purchaser remain the purchaser's.

The purchaser may not resell or redistribute the operator-authored materials as
a standalone dataset or competing task package, remove applicable notices, or
use the diagnostic results to claim that the Sample is a production benchmark.

## Open-source material

The Sample includes material governed by the MIT License and Apache License
2.0. Those licenses and their preserved notices govern the corresponding files
and take precedence over these terms where applicable. The purchase does not
grant exclusive ownership of third-party material or reduce rights already
provided by an open-source license.

## Diagnostic limitations

The Sample does not include private graders, hidden tests or mutation banks,
gold solutions, completed model solutions, raw agent messages, credentials, or
private toolchain images. It is not a turnkey hidden-reward runtime, a production
benchmark, or a guarantee of model performance.

## No warranty

Except where required by law, the Sample is provided as-is, without warranties
of merchantability, fitness for a particular purpose, non-infringement, or
guaranteed compatibility with any particular model or toolchain.

Questions can be sent to `root@puul.ai`.