Version: 0.1.0 Status: active Language: Dust Programming Language (DPL)
Primary specification: XDV-060 in xdv-spec.
Implemented focus for this milestone:
- Provider registration and attestation flow.
- Calibration contract and Q job submission protocol.
- Deterministic error mapping and escalation behavior tests.
Q-domain hardware provider boundary for deterministic, contract-validated execution.
-
src/qhpi_contracts.dsNormative status/error constants and validation for providers, calibration windows, measurement spec, and decoherence budget. -
src/qhpi_provider.dsProvider registration, capability tokenization, attestation token generation, and verification. -
src/qhpi_calibration.dsCalibration contract tokenization and validity/expiration behavior. -
src/qhpi_job.dsQ job descriptor model, submission validation pipeline, no-clone boundary enforcement, and measurement result tokenization. -
src/qhpi_errors.dsDeterministic provider failure mapping, signed error report tokenization, and deterministic escalation action. -
src/qhpi_tests.dsBehavioral tests for registration/attestation, calibration+job protocol, and deterministic error mapping. -
src/main.dsStartup validation, smoke flows, and self-test entrypoints.
- Provider identity and calibration are mandatory gates before job acceptance.
- Job descriptors remain classical metadata and do not expose raw Q-state.
- No-clone boundary is explicitly checked and mapped to stable error code.
- Error mapping and escalation are deterministic for replay equivalence.
dust check xdv-qhpi/srcdust check xdv-qhpi/src/qhpi_tests.ds
dust check xdv-qhpi/tests/qhpi_e2e.ds- Preserve deterministic provider registration and attestation decisions.
- Require valid calibration contract for new Q jobs.
- Keep no-clone enforcement on submission path.
- Emit stable error codes and deterministic escalation actions.