13 lines
483 B
Markdown
13 lines
483 B
Markdown
# 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.
|