| Every citation becomes a hard installation dependency. | Recover whether this consuming use needs the source now and what would fail without it. |
| Undeclared compatibility becomes an unrestricted allowed range. | Retain the unknown premise and obtain its qualification. |
| Pairwise compatibility is reported as a usable joint composition. | Test every shared and joint condition over the whole selected set. |
| Separate installations are assumed to fix shared-type or shared-meaning conflict. | Inspect the actual exchange and obtain a supported boundary or retain a compatible common version. |
| One failed branch or timeout is called impossibility. | Return the explored scope and only the exclusions actually justified. |
| A convenient constraint relaxation silently replaces a mandatory requirement. | Return the proposed change to its owner and qualify the altered use. |
| A new supplier version automatically replaces the consumer’s accepted composition. | Inspect actual reliance, propose a change and preserve the consumer’s adoption decision. |