@tdd_issue @tdd_issue_986 @mock_only
Feature: TDD Issue #986 — CorrectionService missing checkpoint_service wiring in DI container
  As a developer
  I want to verify that CorrectionService receives checkpoint_service
  from the DI container
  So that revert-mode corrections can perform checkpoint rollback

  Bug #986 (fixed in #943): The DI container now registers
  CorrectionService with both checkpoint_service and event_bus.
  The CLI correct command also uses the container-provided service
  instead of creating an ad-hoc instance.

  Scenario: DI container wires checkpoint_service into CorrectionService
    Given tccw a fresh DI container with an in-memory database
    When tccw I resolve the correction_service from the container
    Then tccw the correction_service should have a non-None checkpoint_service

  Scenario: Container-provided CorrectionService checkpoint_service is a CheckpointService instance
    Given tccw a fresh DI container with an in-memory database
    When tccw I resolve the correction_service from the container
    Then tccw the checkpoint_service should be a CheckpointService instance