feat(federation/composition): ported `simpleValidationConditionResolver`

[duckki]

Summary

• refactor: added CachingConditionResolver trait to make the caching resolver functionality reusable
• ported simpleValidationConditionResolver
• added a simple unit test. Unsatisfiable case is hard to test currently before implementing subgraph merging, so that case is left untested.

---

Checklist

Complete the checklist (and note appropriate exceptions) before the PR is marked ready-for-review.

• [x] Changes are compatible[^1]
• [ ] Documentation[^2] completed
• [ ] Performance impact assessed and acceptable
• [ ] Metrics and logs are added[^3] and documented
• Tests added and passing[^4]
  • [x] Unit Tests
  • [ ] Integration Tests
  • [ ] Manual Tests

Exceptions

This is an incremental feature implementation for composition.