feat: bootstrap repository infrastructure#1
Merged
Conversation
Workspace Cargo.toml with shared lints, rust-toolchain.toml pinning stable with cross-platform targets, clippy.toml thresholds, deny.toml for supply chain safety, and gitignore additions for tooling artifacts. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
mantis-core: strategy traits (IndexStrategy, PushPolicy, Instrumentation) and marker types (Pow2Masked, ImmediatePush, NoInstr). mantis-types: QueueError enum, SeqNum/SlotIndex newtypes, AssertPowerOfTwo compile-time validator. Both crates are no_std. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
no_std queue crate depending on mantis-core and mantis-types. Re-exports strategy markers and error types. Ready for SPSC ring implementation. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
mantis-bench: benchmark harness with BenchReport, CycleCounter trait, and InstantCounter fallback. RDTSC+lfence planned for x86_64. mantis-layout: struct layout inspector with cache-line analysis + CLI. mantis-verify: placeholder for kani proofs and bolero property tests. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
CLAUDE.md: agent-friendly guide with all commands, architecture, coding model, strategy pattern, and naming conventions. UNSAFE.md: unsafe code policy with 6-tier verification. README: project overview with quick start. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Commands for setup, lint, test, bench, coverage, miri, careful, deny, and a local CI check that mirrors the PR gate. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
ci.yml: PR gate (fmt, clippy, test, no_std, doc, deny, miri, careful, coverage) bench.yml: benchmark regression on PRs nightly.yml: mutation testing, extended miri, full coverage, ASM toggle verify.yml: kani proofs and bolero property tests dependabot.yml: weekly cargo + actions dependency updates Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Apply cargo fmt to layout main.rs, add Cargo.lock, specs, and philosophy docs to version control. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
- Miri/Careful/Coverage need cargo +nightly since rust-toolchain.toml overrides the CI-installed nightly back to stable - Coverage switched to nightly toolchain for branch coverage support - deny.toml: remove unmaintained/notice (unsupported in newer cargo-deny), fix allow-wildcard-paths to bool Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Removed deprecated keys (vulnerability, unlicensed, copyleft, unmaintained, notice, allow-wildcard-paths) that were removed in cargo-deny 0.16+. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Workspace path dependencies appear as wildcards to cargo-deny. Also remove unmatched sparse registry URL. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
cargo-deny 0.19 flags path-only workspace deps as wildcards since they could be published. Adding explicit versions resolves this. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
- Allow unused license allowances (kept for future deps) - Skip syn v1 duplicate (bolero-generator-derive transitive dep) Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
mantis-core,mantis-types,mantis-queue,mantis-bench,mantis-layout,mantis-verifyno_std-first with optionalstdfeatureIndexStrategy,PushPolicy,Instrumentation) in mantis-coreSeqNum,SlotIndex), error types, compile-time power-of-two assertion in mantis-typesCycleCountertrait (RDTSC+lfence x86_64, monotonic fallback ARM64)cargo run -p mantis-layout)Test plan
cargo run -p mantis-layoutoutputs layout report🤖 Generated with Claude Code