"""Readers that write facts for the `quantum` reasoning module.

`device` writes a device's calibration snapshot as the module's device facts,
`qasm` reads and writes OpenQASM 2.0 as the gate lists the module runs, and
`provenance` writes what produced a result, with the digests the module's rules
compare.

    dke-quantum-device ./torino --max-bytes 40000 > device.dpy

Nothing here imports a compiler or a simulator, and nothing talks to the
network: each reader reads files and writes programs you can read before you
run them.
"""