Skip to content

chore: clean public launch surface#12

Merged
AlainDor merged 1 commit into
mainfrom
chore/public-surface-cleanup
Apr 28, 2026
Merged

chore: clean public launch surface#12
AlainDor merged 1 commit into
mainfrom
chore/public-surface-cleanup

Conversation

@AlainDor
Copy link
Copy Markdown
Contributor

Summary

  • move public recovery benchmark assets to benchmarks/recovery and remove tracked scratch research fixtures
  • rewrite README/STATUS, add docs index, launch readiness checklist, and launch posting plan
  • scrub stale internal public references and fix transient quorum adapter ETXTBSY spawn flake

Verification

  • cargo build --workspace
  • cargo test --workspace
  • cargo test --workspace --all-features
  • cargo fmt --all -- --check
  • cargo clippy --all-targets --all-features -- -D warnings
  • cargo deny check
  • cargo doc --workspace --no-deps
  • cargo publish --dry-run -p mimir-core --allow-dirty
  • cargo test -p mimir-harness --test recovery_benchmark
  • python3 benchmarks/recovery/test_bench.py
  • public-surface stale path sweep: no hits
  • git ls-files research docs/research: no tracked files

@AlainDor AlainDor merged commit a8a2f93 into main Apr 28, 2026
8 checks passed
@AlainDor AlainDor deleted the chore/public-surface-cleanup branch April 28, 2026 21:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant