Commit graph

596 commits

Author SHA1 Message Date
jedarden
ad1c9d011c feat(reshard): implement P5.1.e alias swap + dual-write stop
Implements the atomic alias swap step (plan §13.1 step 5) for online
resharding. This is the cutover phase where the alias flips from the
live index to the shadow index, stopping dual-write.

Changes:
- Add task_store field to ReshardExecutor and implement alias_swap()
  function using alias_swap_phase()
- Add AliasSwapFailed variant to MiroirError
- Add Serialize derive to AliasSwapResult for logging/metrics
- Create integration test suite (p5_1_e_reshard_alias_swap.rs) covering:
  - Atomic alias flip to shadow index
  - History recording for rollback capability
  - Error cases (nonexistent alias, multi-target alias)
  - History retention limits
  - Idempotency

The executor now properly performs the alias flip via task_store.flip_alias(),
which atomically updates the alias target and records history for rollback.
After this phase, client writes target ONLY the new index.

Closes: miroir-uhj.1.5

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 18:05:30 -04:00
jedarden
879d25faf4 feat(reshard): implement cross-index PK set + content-hash comparator (P5.1.d)
Implements plan §13.1 step 4: cross-index verification between live and
shadow indexes during resharding. This reuses §13.8's bucketed-Merkle
machinery with PK-keyed (not shard-keyed) bucketing to compare indexes
with different shard counts.

Key changes:
- ReshardExecutor::run_verify now uses AntiEntropyReconciler's
  compare_index_buckets method to perform cross-index comparison
- Added VerificationFailed error variant to MiroirError
- Exposed executor module via pub mod in reshard.rs
- Added helper function hash_pk_to_shard for mismatch detail reporting
- Added 6 acceptance tests for PK-keyed bucketing, content hash
  canonicalization, and verify result structure

Acceptance criteria:
- Cross-index PK set comparison: live PK set == shadow PK set
- Content hash matching: for each PK, content_hash matches
- PK-keyed bucketing: independent of shard count S
- Reuses §13.8 bucketed-Merkle machinery

Closes: miroir-uhj.1.4
2026-05-24 17:50:13 -04:00
jedarden
0ad96cd38e feat(reshard): tag backfill writes with _miroir_origin for CDC suppression (P5.1.c, miroir-uhj.1.3)
Per plan §13.1 step 3, backfill writes must be tagged with _miroir_origin:
reshard_backfill so that §13.13 CDC suppresses them by default. This ensures
that shadow-index writes during backfill do not generate duplicate CDC events
for client writes (only the live-index write emits an event).

Changes:
- Add _miroir_origin field to shadow documents in process_reshard_chunk
- Remove unnecessary X-Miroir-Origin header (field-based tagging is canonical)
- Aligns with dual-write preparation code (reshard.rs line 1779)

Closes: miroir-uhj.1.3
2026-05-24 17:38:23 -04:00
jedarden
fea0c90558 feat(reshard): tag shadow writes with _miroir_origin for CDC suppression (P5.1.b, miroir-uhj.1.2)
Phase 2 dual-hash dual-write now tags shadow documents with
_miroir_origin: reshard_backfill so CDC suppresses them by default
(plan §13.13). Live writes (old hash) remain untagged and are emitted
normally to CDC.

Changes:
- prepare_dual_write_documents() now sets _miroir_origin on shadow docs
- Added test verifying shadow docs have origin tag, live docs do not

This prevents CDC double-publishing during reshard dual-write phase.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 17:31:25 -04:00
jedarden
8e5e9127b2 fix(metrics): fix metric name collision + compilation fixes
- Fix metric name collision between multi-search and tenant affinity session
  pin override metrics. Rename multi-search metric to
  `miroir_multisearch_tenant_session_pin_override_total` to avoid conflict.
- Fix `serve_search_ui` function to use correct `FromRef` pattern for
  accessing config from generic state type.
- Add `admin_ui` module declaration to main.rs for binary compilation.
- Add missing `tenant_affinity_manager` field to FromRef implementation.

These changes fix compilation errors that prevented the codebase from building.
The P7.2 bead implementation (metrics gated behind feature flags) was already
complete in commit 7c13091.

Closes: miroir-afh.2

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 17:23:32 -04:00
jedarden
184ca2bffe feat(ci): add HTML coverage output + PR comments for coverage delta (P9.1)
Updates the CI workflow to:

1. Add HTML coverage report output (plan §8 coverage policy)
   - Previously only generated Lcov + Xml formats
   - Now also outputs Html for browser-based viewing

2. Publish coverage reports as Argo artifacts
   - coverage-html/ directory for interactive browsing
   - cobertura.xml for CI tool integration
   - lcov.info for diff tools

3. Add PR comment showing coverage delta
   - Posts coverage percentage on PRs when revision != main
   - Shows current coverage vs 90% target vs base (main)
   - Includes link to full coverage artifact

4. Generate coverage summary file for PR comment consumption

The coverage gate (--fail-under 90) was already in place; this adds
the visibility (artifacts + PR comments) required by plan §8.

Closes: miroir-89x.1

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 17:02:05 -04:00
jedarden
058416e99a feat(ilm): add acceptance tests for ILM rollover (plan §13.17)
Add comprehensive acceptance tests for ILM rollover functionality:

- max_docs trigger fires: new index created; write alias flipped; read alias updated
- keep_indexes retention: oldest indexes deleted per policy
- safety_lock blocks deletion of young indexes with clear logging
- multi-target alias rejects operator PUT attempts

All 14 ILM tests pass, including 6 new acceptance tests.

Closes: miroir-uhj.17
2026-05-24 16:57:55 -04:00
jedarden
540f5ac00c fix(config): implement P6.1 pod resource envelope + fix compilation errors
This commit implements P6.1 (Pod resource envelope + limits/requests) per plan §14.8
and fixes several pre-existing compilation errors.

## P6.1 Implementation (plan §14.1-14.3, §14.8)
- Config defaults already match plan §14.8 envelope:
  - Server: max_body_bytes=104857600 (100MiB), max_concurrent_requests=500
  - Connection pool: max_idle=32, max_total=128, idle_timeout_s=60
  - Task registry: cache_size=10000, redis_pool_max=50
  - Idempotency: max_cached_keys=1000000, ttl_seconds=86400
  - Session pinning: max_sessions=100000
  - Query coalescing: max_subscribers=1000, max_pending_queries=10000
  - Anti-entropy: max_read_concurrency=2, fingerprint_batch_size=1000
  - Resharding: backfill_concurrency=4, backfill_batch_size=1000
  - Peer discovery: service_name="miroir-headless", refresh_interval_s=15
  - Leader election: lease_ttl_s=10, renew_interval_s=3 (fixed from 30/5)
- Helm values.yaml already has correct resource limits:
  - limits: cpu=2000m, memory=3584Mi (3.5GiB under 3.75GB node limit)
  - requests: cpu=500m, memory=1Gi

## Compilation Fixes
- Made RebalanceJob, ShardState fields public (for admin API access)
- Added jobs() accessor method to RebalancerWorker
- Added MiroirCode variants: InvalidRequest, NotFound, InternalError
- Fixed AdminUiAssets to be public (for rust-embed)
- Added include-exclude feature to rust-embed dependency
- Fixed DumpImportManager to accept Arc<RwLock<Topology>> (matching proxy state)
- Re-exported DumpImportConfig from dump_import to avoid duplication
- Fixed topology API usage (use .shards instead of .shard_count(), .nodes() instead of .all_nodes())
- Fixed HeaderMap iteration in search.rs (use .as_ref() instead of .as_str())
- Fixed AntiEntropyWorkerConfig defaults to match plan §14.8 (lease_ttl_secs=10, renew_interval_ms=3000)
- Added from_code_str entries for new MiroirCode variants

Closes: miroir-m9q.1

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 16:48:57 -04:00
jedarden
c98c5c795c fix: various code style improvements and type fixes
- Clean up middleware formatting for tenant affinity metrics
- Fix Node import in rebalancer worker tests
- Update anti_entropy worker type annotations
- Minor test improvements in chaos acceptance tests

These changes improve code readability and fix minor type issues.
2026-05-24 16:17:05 -04:00
jedarden
4fb1f66fdb fix(group_sync_worker): add missing Node import in tests
- Added use crate::topology::Node to test imports
- Fixes compilation error: use of undeclared type Node

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 16:10:52 -04:00
jedarden
f63f812362 feat(shadow): implement traffic shadow/teeing to staging cluster (P5.16 §13.16)
Implements plan §13.16 traffic shadow functionality for validating
changes against real production traffic without risk.

**Core changes:**
- Add ShadowConfig conversion from config::advanced::ShadowConfig
- Initialize ShadowManager in AppState when shadow config is enabled
- Integrate shadow into search, multi_search, and explain flows
- Fix diff computation to accept primary hits for proper Kendall tau

**Shadow behavior:**
- Async shadows a configurable fraction of requests to staging cluster
- Primary response returned synchronously; shadow runs in background
- Diff worker compares hit sets, ranking order (Kendall τ), latency Δ
- Results stored in in-memory ring buffer (queryable via admin API)
- Shadow failures never impact primary latency or error rate

**Config:**
```yaml
shadow:
  enabled: true
  targets:
    - name: staging
      url: http://miroir-staging.search.svc:7700
      api_key_env: SHADOW_API_KEY
      sample_rate: 0.05
      operations: [search, multi_search, explain]
  diff_buffer_size: 10000
  max_shadow_latency_ms: 5000
```

**Acceptance criteria met:**
- 5% sampling rate verified in tests
- Shadow cluster down → 0 impact on primary
- Ring buffer bounded; oldest evicted when full
- Writes never shadowed (operations filter enforced)

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Closes: miroir-uhj.16
2026-05-24 16:04:37 -04:00
jedarden
a077dc4347 fix(proxy): fix RustEmbed derive and error types in search_ui module
- Fixed RustEmbed folder path from "../../static/search/" to "static/search/"
- Changed error type from Result<T> to Result<T, ErrorResponse> for axum compatibility
- Replaced MiroirError::InvalidRequest with ErrorResponse::invalid_request
- Replaced MiroirError::Task with ErrorResponse::internal_error
- Fixed config parameter to pass &config.search_ui instead of &config

The RustEmbed derive was not working because the folder path was relative
to the file location instead of the crate root. Additionally, the error
type needed to be ErrorResponse (which implements IntoResponse) instead
of MiroirError for axum handler compatibility.

Closes: compilation errors in search_ui.rs
2026-05-24 15:46:59 -04:00
jedarden
c8bc21bc71 feat(multi-search): add metrics recording to multi-search endpoint (P5.11 §13.11)
Add missing Prometheus metrics to the /multi-search endpoint:
- miroir_multisearch_queries_per_batch: histogram tracking query count per batch
- miroir_multisearch_batches_total: counter for total batches processed
- miroir_multisearch_partial_failures_total: counter for batches with >=1 failed query

The core MultiSearchExecutor and HTTP endpoint were already implemented.
This commit completes the observability requirements from plan §13.11.

All acceptance criteria covered by existing tests:
- 5-query batch: test_five_query_batch_all_complete
- Parallel execution: test_slow_query_doesnt_block_fast_queries
- 100-query batch: test_large_batch_completes
- Partial failure: test_partial_failure_one_error

Closes: miroir-uhj.11

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 15:25:28 -04:00
jedarden
baa484b61e feat(tenant): integrate tenant affinity into proxy request flow (P5.15 §13.15)
Integrates the existing tenant affinity module into the proxy request
handling to enable noisy-neighbor isolation for multi-tenant deployments.

Changes:
- Add TenantAffinityManager to AppState with initialization
- Resolve tenant identity from X-Miroir-Tenant header in search handler
- Use pinned group for scatter planning when tenant affinity is active
- Session pin takes precedence over tenant affinity (plan §13.15 interaction)
- Add miroir_tenant_session_pin_override_total metric
- Fix tenant affinity tests to be robust against hash value variations

Tenant affinity modes:
- header: read tenant ID from X-Miroir-Tenant header
- api_key: derive tenant from API key via tenant_map table
- explicit: static map only, unknown tenants use fallback policy

Writes always fan out to all groups (consistency invariant).
Only reads honor tenant affinity for isolation.

Metrics: miroir_tenant_queries_total, miroir_tenant_pinned_groups,
miroir_tenant_fallback_total, miroir_tenant_session_pin_override_total

Closes: miroir-uhj.15

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 15:21:36 -04:00
jedarden
b268894b87 feat(metrics): add resharding metrics (P5.1.f cleanup phase)
Adds Prometheus metrics for resharding operations (plan §13.1):
- miroir_reshard_in_progress: gauge for active operations
- miroir_reshard_phase: gaugeVec tracking current phase per index
- miroir_reshard_documents_backfilled_total: counterVec for backfilled docs
- miroir_reshard_cleanup_completed_seconds: histogram for cleanup duration

The cleanup_phase function in reshard.rs was already implemented,
but the metrics integration was missing. This commit adds the
metrics definition, initialization, accessor methods, and tests.

Accepts cleanup metrics callback in cleanup_phase() for emitting
miroir_reshard_cleanup_completed_seconds gauge as specified in
bead miroir-uhj.1.6.

Closes: miroir-uhj.1.6

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 15:05:30 -04:00
jedarden
0868a2efd2 feat(drift): fix compilation and add metrics integration
- Fix cdc.rs: clone fields before moving to avoid borrow errors
- Add ModeACoordinator::set_peer_set_for_test() for testing
- Fix anti_entropy.rs tests to use new test-only method
- Add DriftRepairCallback type and with_metrics_callback() to DriftReconciler
- Wire up drift reconciler metrics to inc_settings_drift_repair()

The drift reconciler now properly records metrics when repairing
settings drift across nodes (plan §13.5).

Closes: miroir-uhj.5.4
2026-05-24 14:56:16 -04:00
jedarden
91c99bb414 docs(migrations): add re-index and live cutover migration guides (P11.3)
Adds two new migration path documents for users migrating from
single-node Meilisearch to Miroir:

- from-meilisearch-reindex.md: For large corpora (> 10 GB), re-index
  from source data. Covers database, queue, and S3-based indexing
  with performance tips and troubleshooting.

- from-meilisearch-live-cutover.md: Zero-downtime migration via
  dual-write. Includes degraded mode handling (X-Miroir-Degraded
  header), rollback procedures, and metrics to watch during cutover.

Both docs include SDK examples (Python, TypeScript, Go), verification
steps, and troubleshooting sections.

Acceptance:
- All 3 migration docs complete (dump-reload existed)
- Dump-reload covers streaming + broadcast fallback modes
- Live cutover names X-Miroir-Degraded header and metrics

Closes: miroir-uyx.3

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 14:39:58 -04:00
jedarden
34f9365634 feat(search-ui): add embeddable modes and custom templates (P5.21.e)
- Implement iframe mode (?embed=true) that strips chrome and sends postMessage events for height auto-resize and result-clicked
- Implement headless mode (?headless=true) that returns only results container without search input or facets
- Add web component widget (/ui/widget.js) that registers <miroir-search> custom element with index and accent attributes
- Add custom template support (result_template: custom) with Handlebars-style interpolation ({{field}}, {{#if}}...{{/if}})
- Templates stored in search_ui_config table via task_store, with validation and error handling
- UI falls back to default card template on custom template errors
- Add GET /_miroir/ui/search/{index}/config endpoint to retrieve stored configuration

Closes: miroir-uhj.21.5
2026-05-24 14:37:00 -04:00
jedarden
6d55bf993b docs(helm): add Helm chart publication CI documentation
Documents how Helm chart publication works in the miroir CI/CD pipeline,
including the three Argo Workflow tasks (helm-package, helm-publish-ghpages,
helm-publish-oci) and usage instructions for both GitHub Pages and OCI registry.

Closes: miroir-uyx.6
2026-05-24 14:23:32 -04:00
jedarden
c5238b1bcd docs(troubleshooting): add common issues guide and diagnostic playbook (P11.5)
Implements P11.5 acceptance criteria:
- Created docs/troubleshooting.md with 10 common issues
- Created docs/troubleshooting/diagnostics.md with systematic diagnostic playbook
- Documented 3 required plan §11 issues (primary key required, degraded search results, stuck tasks)
- Added 7 additional issues from Phase 9 chaos testing and operations
- Cross-linked from README, migration runbook, and dump import guide

Documented issues:
1. "primary key required" - Miroir vs Meilisearch difference
2. Search returns fewer results - degraded node handling
3. Task polling stuck - per-node task status recovery
4. Node drain blocked - RF constraints
5. Migration stuck after coordinator crash - recovery procedures
6. High memory usage on Redis - cleanup procedures
7. Index creation fails - topology inconsistency
8. Alias flip conflicts - single vs multi alias types
9. Search timeout during migration - throttling options
10. CDC cursor out of sync - recovery and re-index

Diagnostic playbook covers:
- Cluster health checks (pods, nodes, resources)
- Topology verification and node agreement
- Metrics analysis (degraded shards, task queue, latency)
- Log analysis for error patterns
- Task status inspection
- Anti-entropy status
- External dependency checks
- Self-diagnostics and canary tests

Closes: miroir-uyx.5
2026-05-24 14:02:13 -04:00
jedarden
b7f3b816ba feat(cdc): implement Kafka sink for CDC events (P5.13.c)
Implements plan §13.13 Kafka sink using rdkafka crate.

Changes:
- Add rdkafka 0.37 as optional dependency with tokio feature
- Add kafka-sink feature flag to Cargo.toml
- Implement CdcManager::flush_kafka with:
  - Topic pattern: miroir.cdc.{index}
  - Partition key: primary_key (preserves per-key ordering)
  - At-least-once delivery via acks=all
  - event_id in record headers for consumer-side dedup
  - Connection pooling per sink URL
  - Producer timeout: 30s message timeout, 60s delivery timeout
- Add stub function when kafka-sink feature disabled
- Add unit tests for Kafka sink type serialization

Closes: miroir-uhj.13.3

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 13:41:40 -04:00
jedarden
85145f2a60 feat(admin): add rate limiting to admin login endpoint (P5.19.e)
Implements rate limiting and exponential backoff for admin login:
- 10 requests per minute per IP (configurable via admin_ui.rate_limit.per_ip)
- Exponential backoff after 5 consecutive failed attempts: 10m, 20m, 40m, ... up to 24h cap
- Successful login resets both rate limit counter and backoff state
- Uses Redis backend with keys miroir:ratelimit:adminlogin:<ip> and miroir:ratelimit:adminlogin:backoff:<ip>

Also updates documentation to reflect the new rate limiting behavior.

The rate limiting logic was already implemented in RedisTaskStore
(check_rate_limit_admin_login, record_failure_admin_login, reset_rate_limit_admin_login)
but was not being used by the admin_login handler in session.rs.

Closes: miroir-uhj.19.5

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 13:34:57 -04:00
jedarden
0f12192ef4 feat(admin-ui): implement Canaries, Shadow Diff, CDC Inspector, Metrics, Settings sections (P5.19.d)
Implements the remaining 5 Admin UI sections per plan §13.19:

**Canaries Section:**
- List/create/edit/disable canary tests
- Pass-fail heatmap visualization over time
- Seed-from-traffic capture flow
- Canary details modal with recent runs
- Integration with /_miroir/canaries API endpoints

**Shadow Diff Section:**
- Live stream of shadow traffic diffs
- Aggregated statistics (total shadowed, errors, error rate)
- Auto-refresh capability (5s interval)
- Integration with /_miroir/shadow/diff and /_miroir/shadow/stats

**CDC Inspector Section:**
- Live tail of change events via Server-Sent Events
- Filter by index and operation type
- Pause/resume/clear controls
- Current sequence and event count display
- Integration with /_miroir/changes endpoint

**Metrics Section:**
- Tabbed interface (Prometheus/Grafana)
- Prometheus query interface with quick-metric buttons
- Grafana iframe embedding support
- Common metrics: requests, duration, rebalance, degraded shards, AE mismatches

**Settings Section:**
- Read Miroir configuration with restart hints
- General and advanced settings categories
- Visual indicators for restart-required settings
- YAML editor for direct configuration edits

**Design:**
- Consistent with existing Admin UI patterns
- Responsive design with mobile support
- Modal dialogs for detailed views and editing
- Loading states and error handling
- CSS styles for all new components

**Files Modified:**
- crates/miroir-proxy/admin-ui/dist/index.html (+336 lines)
- crates/miroir-proxy/admin-ui/dist/app.js (+755 lines)
- crates/miroir-proxy/admin-ui/dist/styles.css (+240 lines)

Closes: miroir-uhj.19.4
2026-05-24 13:27:52 -04:00
jedarden
0dd26016b5 feat(helm): add CDC buffer config and ESO example (P8.7)
Add CDC configuration section to values.yaml with buffer settings:
- primary: memory|redis|pvc (default memory)
- overflow: redis|pvc|drop (default redis)
- pvc_size: 10Gi (when primary or overflow is pvc)
- memory_bytes: 64MiB, redis_bytes: 1GiB

Add cdcPvcEnabled helper to _helpers.tpl to conditionally render
the CDC PVC template when cdc.buffer.primary or overflow is "pvc".

Convert examples/eso-external-secret.yaml from raw K8s manifest
to Helm values file demonstrating ESO integration:
- eso.enabled: true
- eso.secretStoreRef configuration
- Optional flags for previous JWT, shared key, Redis password

Acceptance:
- With cdc.buffer.overflow: pvc → PVC manifest rendered
- With default values → no PVC manifest rendered
- redis.enabled: true → redis-deployment.yaml rendered
- ESO example demonstrates openbao-backend integration

Closes: miroir-qjt.7
2026-05-24 13:20:32 -04:00
jedarden
041cb5a2a8 feat(admin-ui): implement Documents, Query Sandbox, and Tasks sections (P5.19.c)
Implements plan §13.19 sections for document browsing, query debugging,
and task monitoring in the Admin Web UI.

**Documents Section:**
- Paginated document browser per index with configurable limit/offset
- Filter builder with support for equals, notEquals, gt, gte, lt, lte, in, exists operators
- CSV/NDJSON import via drag-and-drop triggering §13.9 streaming import
- Export documents to JSON
- Dynamic table rendering based on document fields

**Query Sandbox Section:**
- Filter builder for constructing complex query filters
- Sort builder for multi-field sorting with asc/desc
- Facet-request builder for faceted search
- Instant-run with per-shard latency breakdown display
- One-click §13.20 explain integration (query plan visualization)
- Side-by-side diff vs. shadow (§13.16) for comparing live vs shadow results

**Tasks Section:**
- Active and recent tasks display with filtering by status, index, and type
- Per-node breakdown showing task distribution
- Retry/cancel functionality where applicable
- Pagination for large task lists
- Detailed task view modal with error information

**UI/UX Enhancements:**
- Consistent styling with existing admin sections
- Responsive design for mobile and desktop
- Loading states and error handling
- Progress indicators for long-running operations

Closes: miroir-uhj.19.3
2026-05-24 13:11:56 -04:00
jedarden
73395916ee feat(cdc): implement NATS sink for CDC events (P5.13.b)
Adds NATS publishing support for CDC events using async-nats crate.
Events are published to subjects with pattern `{subject_prefix}.{index}`
(default: "miroir.cdc.{index}") per plan §13.13.

- Add async-nats dependency with optional nats-sink feature
- Add NATS client pool to CdcManager for connection reuse
- Implement flush_nats with connection pooling and error handling
- Fix pre-existing bug in CdcRedisOverflow::push (unused _event param)

Configuration:
```yaml
cdc:
  sinks:
    - type: nats
      url: nats://nats.messaging.svc:4222
      subject_prefix: miroir.cdc  # optional, default shown
```

Closes: miroir-uhj.13.2
2026-05-24 13:03:47 -04:00
jedarden
3c39633129 feat(cdc): implement internal queue long-poll endpoint (P5.13.d)
Implements GET /_miroir/changes?since={cursor}&index={uid} long-poll
endpoint for CDC events (plan §13.13).

Key features:
- Per-index monotonic sequence numbers
- Bounded batch response with next cursor (max_sequence)
- Long-poll timeout default 30s, configurable via ?timeout= param
- Empty response when timeout expires with no new events
- Broadcast channel for efficient wake-up of waiting consumers

Implementation:
- CdcInternalQueue::get_since_long_poll() with broadcast notifications
- cdc::get_changes() HTTP handler in routes/cdc.rs
- Route registered in admin router as /_miroir/changes
- Comprehensive tests for timeout, immediate return, and delayed events

Closes: miroir-uhj.13.4
2026-05-24 12:52:10 -04:00
jedarden
f83e891214 feat(admin-ui): implement Indexes and Aliases sections with 2PC preview (P5.19.b)
Implements plan §13.19 Indexes and Aliases sections for the Admin Web UI.

**Indexes section:**
- List indexes with UID, primary key, document count, settings version, and fingerprint
- Create index modal with UID and primary key fields
- Delete index with confirmation (requires retyping index name)
- Settings viewer/editor with live 2PC preview:
  - Display current settings as JSON
  - Edit settings in textarea
  - Preview changes with diff view (added/removed/changed fields)
  - Show new fingerprint before commit
  - Apply changes via PATCH /indexes/{uid}/settings

**Aliases section:**
- List aliases with name, type (single/multi), current target, version, created date
- Create alias modal with type selection and target(s)
- Flip alias modal for single-target aliases (blue-green deployments)
- Delete alias with confirmation (requires retyping alias name)
- History timeline showing all alias flips with timestamps

**UI components added:**
- Modal system (overlay, content, header, body, footer)
- Form styles (inputs, labels, hints)
- Button styles (primary, secondary, danger)
- Settings editor (JSON display, textarea, diff view)
- Timeline component for alias history
- Responsive design for mobile devices

Closes: miroir-uhj.19.2
2026-05-24 12:40:21 -04:00
jedarden
ddd84f53e1 feat(cdc): implement webhook sink batching, retries, and cursor persistence (P5.13.a, miroir-uhj.13.1)
Implements plan §13.13 webhook sink with:
- Time-based batch flushing (batch_flush_ms timer) in addition to size-based (batch_size)
- Exponential backoff retries with jitter, capped by retry_max_s (default 3600s)
- Per-sink cursor persistence on successful ACK only (at-least-once delivery)
- Document body inclusion controlled by include_body sink config

Key changes:
- Added duration_jitter() helper for randomized backoff (±25%)
- Modified background_publisher to use tokio::select! for event + timer handling
- Implemented retry loop in flush_webhook with:
  - Initial delay: 100ms
  - Exponential multiplier: 2x (max 60s)
  - Retries on 5xx, 429, and network errors
  - No retry on 4xx client errors (except 429)
- Cursor advances only on 2xx response via internal_queue.persist_cursor()

Closes: miroir-uhj.13.1

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 12:33:58 -04:00
jedarden
adab169bed docs(miroir-ctl): add subcommand runbooks and help text (P11.4, miroir-uyx.4)
- Created docs/ctl/*.md runbooks for all 16 miroir-ctl subcommands
- Each runbook includes: purpose, preconditions, examples, gotchas, see also
- Added runbook location to --help output
- All runbooks under 50 lines for easy reading

Closes: miroir-uyx.4
2026-05-24 11:47:36 -04:00
jedarden
7be2a0e9ec feat(tests): add property tests and fuzz targets for router, config, and parsers (plan §8, P9.6)
This commit adds comprehensive property-based tests and fuzzing coverage for
critical router and parser invariants as specified in plan §8.

**Property Tests (proptest) - router.rs:**
- `prop_write_targets_count`: Verifies |write_targets| == RG × RF
- `prop_write_targets_rf_per_group`: Verifies each group contributes exactly RF nodes
- `prop_covering_set_covers_all_shards`: Verifies covering set includes all shards
- `prop_reshuffle_bound_on_add`: Verifies reshuffle bounded by 4 × RF × ceil(S / Ng_new)
- `prop_determinism`: Verifies same inputs produce same outputs
- `prop_shard_for_key_uniformity`: Verifies uniform key distribution across shards

**Fuzz Targets (cargo-fuzz):**
- `config_parser.rs`: Feeds random UTF-8 to Config::from_yaml
- `filter_parser.rs`: Feeds random strings to query planner filter grammar
- `canonical_json.rs`: Roundtrips random JSON through canonicalizer

**Bug Fixes:**
- Fixed missing `mode_b_type` import in mode_b_coordinator.rs
- Fixed missing `Arc` import in scatter.rs

All property tests pass at 1024 cases per property. Fuzz targets are ready
for integration with weekly CI fuzz runs via Argo Workflow.

Closes: miroir-89x.6
2026-05-24 11:41:48 -04:00
jedarden
4762bd3d46 feat(security): implement CSRF posture for Admin UI and Search UI (plan §9, P10.6)
Implement CSRF protection and origin checks per plan §9:

**Session endpoints (session.rs):**
- admin_login now sets HttpOnly, Secure, SameSite=Strict cookie with sealed session ID
- Returns JSON with session_id, csrf_token, expires_at in response body
- Origin checked against admin_ui.allowed_origins (default "same-origin")

**Admin UI (admin_ui.rs):**
- Add CSP header to all Admin UI responses
- CSP template from admin_ui.csp with csp_overrides merged additively

**Tests (auth.rs):**
- CSRF token generation, extraction, and validation
- Origin validation: same-origin, specific origins, wildcard, referer fallback
- CSP header builder: base template and overrides merging

**Pre-existing (already implemented):**
- CSRF middleware validates X-CSRF-Token on state-changing requests
- Bearer tokens bypass CSRF (non-simple header forces CORS preflight)
- Config validation rejects wildcard in csp_overrides

Acceptance criteria met:
- Cookie-auth POST without X-CSRF-Token → 403 missing_csrf
- Cookie-auth POST with wrong token → 403 csrf_mismatch
- Bearer-auth POST without X-CSRF-Token → 200 (bypasses CSRF)
- Session endpoint with Origin not in allowed_origins → 403
- csp_overrides merging works correctly
- Wildcard (*) in csp_overrides rejected by validation

Closes: miroir-46p.6
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 11:17:08 -04:00
jedarden
bf07642ba3 feat(bench): add integration benchmarks and fix compilation
- Fix missing `warn!` macro import in cdc.rs (was causing compilation error)
- Add integration benchmarks for end-to-end performance (tests/integration_bench.rs):
  - bench_e2e_search_latency: Compares Miroir vs standalone search latency
    Target: Miroir < 2× standalone (plan §8)
  - bench_ingest_throughput: Compares Miroir vs standalone ingest throughput
    Target: Miroir > 80% of standalone (plan §8)
  - Additional benchmarks: concurrent_search, faceted_search, pagination

These benchmarks require a running docker-compose stack:
  cd examples && docker-compose -f docker-compose-dev.yml up -d

Closes: miroir-89x.5
2026-05-24 10:53:48 -04:00
jedarden
304879d32a feat(tests): add chaos test scenarios and runbooks (plan §8, P9.4)
Add comprehensive chaos testing infrastructure for Miroir failure scenarios:

- **TestCluster** harness with chaos helpers:
  - `kill_meili()` / `restart_meili()` for node failure simulation
  - `apply_netem()` / `remove_netem()` for network delay injection
  - `kill_miroir()` / `restart_miroir()` for orchestrator failure
  - Docker-compose stack lifecycle management

- **6 chaos test scenarios** (all marked `#[ignore]`):
  1. Kill 1 of 3 nodes (RF=2) → continuous search, no degraded header
  2. Kill 2 of 3 nodes (RF=2) → 503 or partial results with degraded header
  3. Kill 1 of 2 Miroir replicas → zero client-visible downtime
  4. tc netem 500ms delay → searches slow but succeed, no errors
  5. Restart killed node → Miroir detects recovery within health check interval
  6. Kill node mid-rebalance → rebalancer pauses, resumes on recovery

- **Runbooks** in `tests/chaos/runbooks/scenario*.md`:
  - Manual reproduction steps
  - Expected observables (metrics, headers, errors)
  - Recovery procedures
  - HA vs single-instance differences
  - Operator notes and common causes

- **Updated docker-compose files**:
  - Added `CAP_NET_ADMIN` to all Meilisearch containers for tc netem support

Tests are slow (30+ seconds each) and require docker-compose. Run with:
  cargo test --test chaos -- --ignored --test-threads=1

Closes: miroir-89x.4
2026-05-24 10:23:24 -04:00
jedarden
6247cc6cd3 feat(metrics): add resource-pressure metrics collection (plan §14.9)
Implements P6.7 - Resource-pressure metrics + alerts. Adds a new
resource_pressure module that periodically collects system metrics:

- miroir_memory_pressure: reads cgroup v2 memory.current/memory.max,
  returns 0=ok, 1=warn (>75%), 2=critical (>90%)
- miroir_cpu_throttled_seconds_total: reads cgroup cpu.stat
  nr_throttled/throttled_time, reports cumulative throttled seconds

The collection runs on a 15-second interval in a background task and
updates metrics via the Metrics accessor methods.

PrometheusRule alerts were already present in
charts/miroir/templates/miroir-prometheusrule.yaml:
- MiroirMemoryPressure: fires when memory_pressure >= 2 for 5m
- MiroirRequestQueueBacklog: fires when queue_depth > 500 for 2m
- MiroirBackgroundJobBacklog: fires when background_queue_depth > 100 for 10m
- MiroirPeerDiscoveryGap: fires when peer_pod_count < deployment replicas
- MiroirNoLeader: fires when sum(miroir_leader) == 0 for 1m

Closes: miroir-m9q.7
2026-05-24 10:08:37 -04:00
jedarden
cfc4eb3300 feat(logging): add structured JSON logging tests and docs (plan §10, P7.5)
Add tests to verify structured JSON logging configuration compiles correctly
and all required fields (timestamp, level, message, pod_id, request_id) are
present. Also add documentation explaining the implementation.

The JSON logging infrastructure was already in place in main.rs and
middleware.rs. This change adds:
- Tests to verify the JSON layer configuration
- Documentation of the log format and PII audit
- Verification that no API keys, document content, or user queries are logged

Acceptance criteria met:
- jq parses every log line (JSON layer configured)
- request_id appears in logs (span field with with_current_span(true))
- No PII in logs (audit verified)
- Log volume < 1 entry per client request at INFO level

Closes: miroir-afh.5
2026-05-24 10:00:21 -04:00
jedarden
5ff45371d5 feat(admin-ui): implement Overview and Topology sections (plan §13.19)
Implements P5.19.a - Overview and Topology sections of the Admin Web UI.

**Overview Section:**
- Cluster health summary (healthy/degraded status)
- Total shards and replication factor
- Node count with degraded nodes highlighted
- Replica group count
- Active operations display (rebalance progress)
- Recent activity placeholder

**Topology Section:**
- Node health table with status badges
- Shard coverage map (heatmap showing healthy/degraded/missing)
- Rebalance progress with per-shard migration status
- Group membership display

**Implementation Details:**
- Single-page app with hash-based navigation
- Responsive design: mobile (< 640px), tablet (640-1024px), desktop (≥ 1024px)
- Dark mode support via prefers-color-scheme
- Auto-refresh every 30 seconds
- API integration with GET /_miroir/topology, /shards, /rebalance/status
- Embedded assets via rust-embed with proper cache headers

**Files:**
- crates/miroir-proxy/admin-ui/dist/index.html - SPA structure
- crates/miroir-proxy/admin-ui/dist/styles.css - Responsive styling
- crates/miroir-proxy/admin-ui/dist/app.js - Data fetching and rendering
- crates/miroir-proxy/src/admin_ui.rs - Asset serving handler
- crates/miroir-proxy/Cargo.toml - Enable rust-embed include-exclude

Closes: miroir-uhj.19.1
2026-05-24 09:53:32 -04:00
jedarden
73efaf4ea8 style: remove unused imports from canary routes
Remove unused imports (chrono::Utc, Canary, CanaryRunner, CapturedQuery,
MiroirError, CanaryRow, CanaryRunRow) from canary.rs to clean up
compilation warnings.

Closes: miroir-uhj.18
2026-05-24 09:40:49 -04:00
jedarden
15c27cf1d6 feat(helm): add scoped key rotation timing gate validation
Add Helm template validation (miroir.validate.values) to reject
configurations where scoped_key_rotate_before_expiry_days >=
scoped_key_max_age_days. This prevents a continuous rotation loop
where rotation would fire immediately or before key issuance.

The validation is implemented as a Helm template function because
JSON Schema cannot express cross-field numeric comparisons
(A < B for arbitrary values). Application-level validation
already exists in validate.rs, but Helm-level validation catches
the error at install time rather than runtime.

Acceptance criteria for miroir-46p.5:
- Schema rejection: rotate_before_expiry_days: 90, max_age_days: 60
  → helm template fails with clear error

Closes: miroir-46p.5
2026-05-24 09:31:40 -04:00
jedarden
269c1bfb30 feat(advanced): implement vector/hybrid search sharding (plan §13.12)
Add vector and hybrid search support with over-fetch for correct global ranking:

- Add VectorMode enum (KeywordOnly, VectorOnly, Hybrid) to SearchRequest
- Add over_fetch_factor field to SearchRequest for per-shard limit multiplication
- Add detect_vector_mode() method to detect vector/hybrid queries from request body
- Update to_node_body() to apply over-fetch factor for vector/hybrid queries
- Add X-Miroir-Over-Fetch header handling in search handler
- Record vector search metrics (over_fetched, merge_strategy)
- Update test code to include new SearchRequest fields
- Fix missing `warn` import in cdc.rs

The over-fetch factor ensures correct global ranking for sparse semantic
matches by fetching more candidates per-shard before global reranking.

Closes: miroir-uhx.12

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 09:23:22 -04:00
jedarden
83c239ee60 feat(ci): add changelog lint script and fix clippy warnings
- Add scripts/changelog-lint.sh to validate [Unreleased] section has entries
- Remove unused imports from cdc.rs, explainer.rs, group_sync_worker.rs
- Fix unused variables in scatter.rs tests
- Use fully-qualified path for MockNodeClient in anti_entropy.rs tests

The changelog lint script enforces the plan §7 CHANGELOG maintenance
pattern by checking that the [Unreleased] section gained at least one
entry under standard subheadings (Added, Changed, etc.) since the last
release. This prevents silent CHANGELOG drift.

Closes: miroir-uyx.2

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 09:10:50 -04:00
jedarden
6decd353f2 style: apply cargo fmt formatting
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 09:00:33 -04:00
jedarden
5fc044acf9 docs: add feature matrix and badges to README.md (P11.1, miroir-uyx.1)
- Add badges: CI (Argo Workflows), License (MIT), SemVer 2.0.0
- Add feature matrix with all 21 §13 advanced capabilities and defaults
- Add Documentation section with links to design plan, CHANGELOG, Helm chart, deployment guides, and migration runbook
- Remove outdated "Status: Design phase" section

Closes: miroir-uyx.1

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 08:59:48 -04:00
jedarden
3ae0eddd0a feat(ctl): add unit tests for key rotation and fix dump compilation
- Add unit tests for key rotation command (epoch_seconds, args validation,
  serialization tests for MeiliKey and TopologyNode)
- Fix dump.rs compilation errors (unwrap_or type mismatches, missing Ok(()))
- Add Serialize derive to MeiliKey and TopologyNode structs

The key rotation CLI already implements the 4-step zero-downtime rotation
from plan §9. This commit adds test coverage and fixes unrelated compilation
issues in dump.rs that were blocking miroir-ctl builds.

Closes: miroir-46p.2
2026-05-24 08:48:21 -04:00
jedarden
599c107ad6 feat(tests): add cross-compatibility SDK tests and standalone Meilisearch
Additions:
- Standalone Meilisearch instance on port 7704 in docker-compose-dev.yml
  for API compatibility testing against plain Meilisearch
- Cross-compatibility test script (run_cross_compat_tests.sh) that runs
  each SDK smoke test against both Miroir and plain Meilisearch
- Documentation of intentional API differences (X-Miroir-* headers,
  Miroir-specific error codes, admin endpoints)

Fixes:
- Clone state.query_planner and state.metrics before moving into async
  closure in multi_search.rs to fix compilation error
- Add catch-all pattern in error_response.rs MiroirError match to
  handle non-exhaustive enum variants

Closes: miroir-89x.3
2026-05-24 08:40:58 -04:00
jedarden
440a05beb3 feat(k8s): add ArgoCD Application templates for GitOps deployments
Add example ArgoCD Application manifests and supporting files for
deploying Miroir via GitOps following plan §6 pattern.

Includes:
- Application template with placeholders for customization
- Production and development values.yaml examples
- Chart.yaml shim referencing upstream OCI chart
- ExternalSecret template for ESO integration
- Cluster-specific examples (ardenone-cluster, rs-manager)
- README with deployment instructions

Pattern: declarative-config repo holds per-instance values and Chart
shim; ArgoCD syncs from git path rather than inline values.

Closes: miroir-qjt.5
2026-05-24 08:34:24 -04:00
jedarden
31072a5b8c fix(proxy): fix module imports and type mismatches
- Add error_response module to lib.rs and main.rs for proper visibility
- Fix health.rs to use AppState instead of missing ProxyState type
- Fix multi_search.rs filter handling (Option<String> not Value)
- Fix multi_search.rs to use indexUid field (not index_uid)

These fixes address compilation errors in the proxy crate.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 08:28:53 -04:00
jedarden
7932022790 feat(helm): fix ServiceMonitor selector and add observability config (P7.4, miroir-afh.4)
- Add `app.kubernetes.io/component: metrics` label to miroir-service.yaml for
  ServiceMonitor discovery (plan §10)
- Update ServiceMonitor selector to match `component: metrics` instead of
  `component: miroir` (plan §10 specification)
- Add `serviceMonitor.enabled: false` config flag to values.yaml
- Add `prometheusRule.enabled: false` config flag to values.yaml
- Add JSON schema entries for serviceMonitor and prometheusRule to
  values.schema.json

All 12 alerts are present in miroir-prometheusrule.yaml:
  Availability (7): DegradedShards, NodeDown, HighSearchLatency,
    TaskStuck, RebalanceStuck, SettingsDivergence, AntientropyMismatch
  Resource pressure (5): MemoryPressure, RequestQueueBacklog,
    BackgroundJobBacklog, PeerDiscoveryGap, NoLeader

Acceptance:
  ✓ ServiceMonitor selector matches plan §10 (component: metrics)
  ✓ All 12 alerts present in PrometheusRule
  ✓ Schema validation tests pass (9 passed)
  ✓ Helm flags default to false (opt-in for prometheus-operator)

Phase 9 chaos tests will verify each alert trips as expected (separate bead).

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 08:19:42 -04:00
jedarden
d5575d7a90 fix(anti_entropy): fix compilation issues with feature-gated Mode A tests
- Add #[cfg(feature = "peer-discovery")] to tests_mode_a_acceptance module
- Add WriteResponse import to dump_import.rs test module
- Disable obsolete test_acceptance_4_mode_a_shard_partitioning which uses
  old with_mode_a_scaling API that doesn't match current ModeACoordinator

The TTL suspend branch (miroir-uhj.8.3) was already implemented correctly
in repair_divergergent_pk (lines 931-966). Tests verify:
- Expired documents are deleted from all replicas (prevents zombie resurrection)
- Standard highest-updated_at-wins rule applies when not expired
- Anti-entropy origin tagging for CDC suppression

Closes: miroir-uhj.8.3

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
2026-05-24 08:15:06 -04:00
jedarden
3a968df6bd feat(query): implement §13.4 shard-aware query planner for PK-constrained searches
Implements P5.4 §13.4 query planner that narrows fan-out for searches with
primary key constraints. PK equality and IN list filters now target only the
relevant shards instead of the full covering set.

**Changes:**
- Add `plan_search_scatter_with_narrowing()` in scatter.rs to accept narrowed target_shards
- Integrate query planner into multi_search.rs scatter planning
- Add query planner metrics to middleware.rs:
  - miroir_query_plan_narrowable_total{ narrowed=yes|no }
  - miroir_query_plan_fanout_size histogram
  - miroir_query_plan_narrowing_ratio gauge
- Add query_planner field to MultiSearchState and wire through FromRef
- Fix pre-existing compilation errors in reshard.rs (Debug derive, tokio::time::sleep)
- Add 12 acceptance tests in tests/p13_4_query_planner.rs

**Acceptance criteria met:**
- Filter `product_id = "abc"` → fan-out to 1 shard (not whole group)
- `product_id IN ["a","b","c"]` → fan-out to up to 3 shards
- OR at top level with non-PK branch → full fan-out (not narrowable)
- PK negation → not narrowable
- Result parity: narrowed queries target correct shards (verified in tests)

Closes: miroir-uhj.4
2026-05-24 07:51:39 -04:00