fn written_value(written: Written) -> Value
The value a download’s report writes, as the interpreter holds it.