- Create Alembic migration m3_001_invariants_table with reversible upgrade/downgrade
- Add InvariantModel to database models with columns: id, text, scope, source_name, active, non_overridable, created_at
- Implement InvariantRepository with add, list, get_by_id, soft_delete operations
- Update InvariantService to accept InvariantRepository via dependency injection
- Wire InvariantService with InvariantRepository in application container
- Remove @tdd_expected_fail tags from TDD invariant persistence test scenarios
- Update test steps to use database-backed service with shared in-memory SQLite
- Update CHANGELOG.md with fix details
- All CLI commands (agents invariant add/list/remove) now persist to database

@@ -65,2 +70,3 @@
     if _service is None:
-        _service = InvariantService()
+        try:
+            from cleveragents.application.container import get_container

@@ -145,6 +146,9 @@ from cleveragents.domain.models.core.correction import (
     CorrectionAttemptState,
     validate_correction_state_transition,
 )
+from cleveragents.infrastructure.database.invariant_repository import (  # noqa: F401

@@ -14,3 +3,2 @@
 
-@tdd_issue @tdd_issue_1022 @mock_only
-Feature: TDD Issue #1022 — InvariantService invariants lost across process restarts
+Feature: Issue #8573 — InvariantService persists invariants across process restarts

@@ -620,0 +638,4 @@
+        factory = sessionmaker(bind=engine, expire_on_commit=False)
+        invariant_repo = InvariantRepository(session_factory=factory)
+        return InvariantService(invariant_repo=invariant_repo)
+    except OperationalError:  # noqa: F841

@@ -68,0 +52,4 @@
+
+        return get_container().invariant_service()
+    except Exception:
+        try:

@@ -3692,0 +3728,4 @@
+        """Convert to ``Invariant`` domain model."""
+        from cleveragents.domain.models.core.invariant import (
+            Invariant,
+            InvariantScope,

@@ -6235,0 +6303,4 @@
+            row = session.query(InvariantModel).filter_by(id=invariant_id).first()
+            if row is None:
+                return None
+            row.active = False  # type: ignore[assignment]

@@ -0,0 +1,123 @@
+"""Step definitions for invariant_repository_db.feature."""

@@ -11,3 +1,1 @@
-# The @tag inverts the result so CI passes.
-#
-# See: https://git.cleverthis.com/cleveragents/cleveragents-core/issues/1022
+# TDD issue-capture test for bug #8573 — InvariantService in-memory storage only.