Class ContractVerificationReport

Namespace
Kuestenlogik.Bowire.Contracts
Assembly
Kuestenlogik.Bowire.Contracts.dll

Result of verifying one consumer contract against a provider (#364). The engine's own report type, deliberately decoupled from the CLI's generic RunReport: it carries the consumer and provider as structured names (not folded into a "C → P" title) plus a start timestamp, which is exactly what the consumer × provider matrix needs for its axes and per-cell "last run". The CLI adapter maps this onto a RunReport for the shared JUnit / SARIF emitters.

public sealed class ContractVerificationReport
Inheritance
ContractVerificationReport
Inherited Members

Constructors

ContractVerificationReport() 

public ContractVerificationReport()

Properties

Consumer

Consumer party name (matrix row).

public string Consumer { get; set; }

Property Value

string

DurationMs

Wall-clock duration of the whole run.

public long DurationMs { get; set; }

Property Value

long

FailedInteractions

Interactions with at least one failed assertion or a transport error.

public int FailedInteractions { get; set; }

Property Value

int

Interactions

One entry per replayed interaction, in contract order.

public List<ContractInteractionResult> Interactions { get; init; }

Property Value

List<ContractInteractionResult>

Passed

True when the provider satisfied every interaction.

public bool Passed { get; }

Property Value

bool

PassedAssertions

Assertions that passed.

public int PassedAssertions { get; set; }

Property Value

int

Provider

Provider party name (matrix column).

public string Provider { get; set; }

Property Value

string

StartedAt

When the verification run started (UTC) — the cell's "last run".

public DateTime StartedAt { get; set; }

Property Value

DateTime

TotalAssertions

Total assertions across all interactions.

public int TotalAssertions { get; set; }

Property Value

int