# Behavior Invariants for Domain Extraction

## Invariants
- Availability decision outcome remains unchanged for equivalent inputs.
- Correlation propagation behavior remains unchanged.
- Transport contracts stay stable at service boundary.

## Validation Approach
- Compare pre/post extraction contract examples.
- Keep orchestration path stable while decision ownership moves.
