Add Phase 3 verification summary (miroir-r3j)

Documents the verification of all Phase 3 Definition of Done criteria:
- 14-table SQLite schema
- Redis mirror implementation
- Migrations and versioning
- Property and integration tests
- Helm schema validation
- Redis memory accounting documentation

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

notes/miroir-r3j-phase3-verification.md

@@ -0,0 +1,86 @@
+# Phase 3 Verification Summary
+
+**Date:** 2026-05-05
+**Bead:** miroir-r3j
+**Status:** Complete
+
+## Definition of Done Verification
+
+All 9 DoD criteria have been verified:
+
+### 1. SQLite-backed store with all 14 tables ✓
+- `001_initial.sql`: 7 core tables (tasks, node_settings_version, aliases, sessions, idempotency_cache, jobs, leader_lease)
+- `002_feature_tables.sql`: 7 feature tables (canaries, canary_runs, cdc_cursors, tenant_map, rollover_policies, search_ui_config, admin_sessions)
+- Total: 14 tables matching plan §4 specification
+
+### 2. Redis-backed store implements TaskStore trait ✓
+- `RedisTaskStore` implements full `TaskStore` trait
+- All 14 tables mapped to Redis keyspaces
+- Feature-gated behind `redis-store` feature flag
+
+### 3. Migrations and versioning ✓
+- 3 migration files with version tracking
+- Schema versions recorded in `schema_versions` table (SQLite) or `schema_version` key (Redis)
+- Version validation prevents binary downgrade
+
+### 4. Property tests ✓
+- `proptest!` macro tests for round-trip semantics
+- Tests cover: tasks, node_settings_version, aliases, idempotency, canaries, rollover_policies
+
+### 5. Integration tests ✓
+- `task_survives_store_reopen`: Verifies task persistence across DB close/reopen
+- `all_tables_survive_store_reopen`: Verifies all 14 tables persist
+
+### 6. Redis-backend integration tests ✓
+- Test module in `task_store/redis.rs` (line 2440)
+- Tests cover all Redis operations
+
+### 7. Redis `_index` iteration ✓
+- `miroir:tasks:_index` set for O(1) listing
+- Pattern used across all tables requiring list operations
+
+### 8. Helm schema validation ✓
+- `values.schema.json` enforces: `replicas > 1` requires `taskStore.backend: redis`
+- HPA requires `replicas >= 2` AND `backend: redis`
+- Validated with `helm lint`
+
+### 9. Redis memory accounting documentation ✓
+- `docs/plan/REDIS_MEMORY_ACCOUNTING.md`: 304 lines
+- Covers all 14 tables + Redis-specific keys
+- Provides sizing recommendations for small/medium/large deployments
+
+## Test Results
+
+```
+=== Phase 3 Tests ===
+test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
+
+=== SQLite Unit Tests ===
+test result: ok. 36 passed; 0 failed; 0 ignored; 0 measured; 319 filtered out
+```
+
+## Files Modified/Created
+
+### Core Implementation
+- `crates/miroir-core/src/task_store/mod.rs` - TaskStore trait + row types
+- `crates/miroir-core/src/task_store/sqlite.rs` - SQLite implementation (2551 lines)
+- `crates/miroir-core/src/task_store/redis.rs` - Redis implementation (3939 lines)
+- `crates/miroir-core/src/schema_migrations.rs` - Migration registry
+- `crates/miroir-core/src/migrations/001_initial.sql` - Core tables
+- `crates/miroir-core/src/migrations/002_feature_tables.sql` - Feature tables
+- `crates/miroir-core/src/migrations/003_task_registry_fields.sql` - No-op migration
+
+### Tests
+- `crates/miroir-proxy/tests/p3_phase3_task_registry.rs` - Phase 3 DoD integration tests (777 lines)
+
+### Documentation
+- `docs/plan/REDIS_MEMORY_ACCOUNTING.md` - Redis sizing guide (305 lines)
+
+### Helm
+- `charts/miroir/values.schema.json` - Schema validation rules
+
+## Commit History
+
+- `1bba0ab` Phase 3: Final verification and completion note
+- `c3aa39a` Add Phase 3 completion note (miroir-r3j)
+- `84fc20b` Phase 3: Task Registry + Persistence (SQLite schema, Redis mirror)