furniture-domain/docs/migration/behavior-invariants.md

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.
• Missing display names map to Unknown Furniture.
• Negative inventory quantities are clamped to 0.

Validation Approach

• Compare pre/post extraction contract examples.
• Keep orchestration path stable while decision ownership moves.