Contract impact example

The reducer compares a contract delta to indexed evidence.

TraceMap does not say code is impacted without evidence. It classifies matches and no-match outcomes against the coverage recorded in the scan.

Input

A contract delta names what changed.

{
  "schemaVersion": "2",
  "changes": [
    {
      "kind": "property",
      "contract": "Orders.Contracts.OrderDto",
      "element": "Orders.Contracts.OrderDto.status",
      "changeType": "removed"
    }
  ]
}

Reducer output

The report keeps classification, evidence, and gaps together.

## Contract Delta Impact

Changed element: Orders.Contracts.OrderDto.status
Classification: NeedsReview
Rule: contract.delta.impact.v2
Coverage: Reduced

### Evidence

- PropertyAccessed
  - Rule: csharp.semantic.propertyaccess.v1
  - Tier: Tier1Semantic
  - File: src/Orders.Api/OrderMapper.cs:77
  - Commit: 5e7fe17

### Gaps

- Reduced coverage prevents NoEvidenceFullCoverage.
- Generic name `status` has review-tier fan-out caveats.

DefiniteImpactCompiler-resolved type or member usage matches the changed element.

ProbableImpactStrong structural evidence matches, such as DTO, endpoint, database, or config evidence.

NeedsReviewSyntax-only, textual, generic, or high fan-out evidence needs human review.

NoEvidenceReducedCoverageNo matching evidence was found, but coverage was partial.