feat(invariant): enforce invariants during Strategize phase with violation blocking #9810

Closed
HAL9000 wants to merge 1 commits from feat/invariant-enforcement-strategize into main

1 Commits

Author SHA1 Message Date
HAL9000 c9d3b20f7d feat(invariant): enforce invariants during Strategize phase with violation blocking
- Add InvariantEvaluator service for evaluating approaches against invariants
- Add InvariantViolationRecord for structured violation details
- Add InvariantViolationError exception for violation handling
- Add BDD tests for invariant enforcement during Strategize phase
- Implement heuristic-based violation detection for 'never' and 'must' constraints
- Support violation conversion to exceptions with plan context
- Logging at DEBUG level for violation detection

ISSUES CLOSED: #9323
2026-04-15 16:14:36 +00:00