consistency-checking

---
name: consistency-checking
description: Pairwise consistency evaluation to reduce solution space by identifying and removing inconsistent combinations.
execution: tactic
used-by: morphological-exploration, cross-consistency-analysis, general-morphological-analysis
---

# Consistency Checking

Evaluate pairwise value consistency and reduce the solution space by removing logically, empirically, or normatively inconsistent combinations.

## Stages

### Stage 1: Consistency Pair Evaluation

Evaluate all pairwise combinations of parameter values using consistency-pair-evaluation SOP. Classify each pair as consistent, inconsistent (logical), inconsistent (empirical), or inconsistent (normative).

### Stage 2: Solution Space Reduction

Apply CCA reduction rules via solution-space-reduction SOP. Remove all configurations containing at least one inconsistent pair. Report reduction ratio.

## Minimum Yield

| Metric | Floor |
|--------|-------|
| Inconsistent combinations identified and removed | ≥50% |
| Consistency types classified | all 3 (logical/empirical/normative) |
| Reduction ratio documented | yes |

## Available SOPs

| SOP | Role |
|-----|------|
| consistency-pair-evaluation | Stage 1 — evaluate pairwise consistency |
| solution-space-reduction | Stage 2 — apply CCA reduction |