string? Code { get; }
Source
Gets the existing stable diagnostic code when the rendered diagnostic starts with one.
Coverage
CoverageTextWriters
SourceCaller-owned streams used for coverage progress and diagnostics.
Remarks
The coverage core never disposes, flushes, or retains these writers after an operation returns. Normal progress is written to Output and watchdog or critical diagnostics are written to Error.
Create
CoverageTextWriters Create(TextWriter output, TextWriter error)
Source
Validates the supplied writer pair before it enters the core.
CoverageExecutionException
SourceRepresents a stable execution failure raised by the private coverage core.
Remarks
Command adapters map this exception to their host-specific error contract. The rendered message deliberately preserves the existing ASCOV diagnostic text, while ExitCode preserves terminal watchdog exit 124.
Code
ExitCode
int? ExitCode { get; }
Source
Gets the optional host process exit code.
CoverageEvidenceExecutionWorkflow
SourceRuns coverage collection and gate evaluation in their required order for first-party Evidence.
RunAndGateAsync
Task<CoverageEvidenceExecutionResult> RunAndGateAsync(CoverageRunRequest runRequest, CoverageGateRequest gateRequest, CoverageTextWriters writers, CancellationToken cancellationToken)
Source
Runs collection, then evaluates and writes the supplied gate only after a successful collection.
CoverageEvidenceExecutionResult
SourceCaptures the two ordered operation results produced for an Evidence coverage declaration.
Run
CoverageRunResult Run { get; }
Source
Gets the nonnull coverage collection result.
Gate
CoverageGateResult? Gate { get; }
Source
Gets the optional coverage-gate result produced after successful collection.
Remarks
This value is null when Run reports failure because the workflow deliberately skips gate evaluation and report writing. Callers must check CoverageRunResult.Success and handle a null value before accessing gate details.