execution-zone-module doc-test reports