add-dependency
Add a new Rust crate to the Tyrne workspace following the dependency policy in `infrastructure.md`.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
メニュー
Add a new Rust crate to the Tyrne workspace following the dependency policy in `infrastructure.md`.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Add a new Board Support Package (BSP) crate to the Tyrne workspace — from crate skeleton through boot checklist to first QEMU or hardware boot.
Propose and draft a new Architecture Decision Record (ADR) in MADR format for Tyrne.
Run an independent verification pass over artefacts in `Proposed` / `In Review` waiting-for-promotion states. Distinct from code-review (style + correctness on a diff) and security-review (adversarial axis pass) — this skill verifies that the artefacts' claims about their own state match reality and produces a Done-promotion verdict.
Produce a review artifact in `docs/analysis/reviews/<type>-reviews/`, following that type's master plan. Works for business / code / security / performance-optimization reviews.
Change an existing Tyrne standard correctly — write or update the motivating ADR first, then update the standard file.
Introduce or audit an `unsafe` region in Tyrne — writing the `SAFETY:` comment, adding the audit-log entry, and queuing security review.
| name | add-dependency |
| description | Add a new Rust crate to the Tyrne workspace following the dependency policy in `infrastructure.md`. |
| when-to-use | Whenever a PR needs to introduce a new dependency in `Cargo.toml`, or upgrade an existing dependency across a semver-major boundary. |
Search for a substitute. Before adding a dependency:
License check.
LICENSE file, contradictory metadata), stop and raise the question with the maintainer.no_std check for kernel / HAL / userspace dependencies.
no_std. Verify by reading its Cargo.toml for a default-features = false no-std path, or by inspecting its source for #![no_std] at the crate root (possibly conditional).std, it cannot be used in kernel / HAL / userspace targets. It may still be acceptable for build scripts or tests.Classify the trust category per infrastructure.md — Trust categories:
aarch64-cpu, volatile-register, bitflags). Full audit.rust-lang, oxidecomputer, rust-embedded, google, mozilla. cargo-vet import + delta audit on upgrade.Graph impact.
cargo tree -p <candidate-crate> (or equivalent) to list transitive dependencies.tokei or a reasonable estimate).cargo-vet certification.
cargo vet certify-import <peer>
cargo vet certify <crate> <version>
The certification records what level of review you performed (safe-to-run, safe-to-deploy, etc.).Pin the version.
Cargo.toml, use a caret range reflecting the actual compatibility tested: "^1.4" or exact "=1.4.2" for reproducibility-critical dependencies."*", "latest", or unspecified git branches.Add to the workspace Cargo.toml:
[workspace.dependencies] so version is defined once and inherited.Cargo.toml then does serde = { workspace = true }.Build and test to confirm the dependency resolves and the workspace compiles cleanly on all Tier 1 targets.
Write the PR description covering:
cargo-vet certification (imported or newly authored).Commit per commit-style.md:
build(deps): add <crate> <version> (or build(deps): upgrade <crate> <old> → <new>).Security-Review: if the dependency is security-sensitive (touches capabilities, crypto, network, parsing, or kernel linkage).no_std compatibility confirmed for non-dev targets.cargo-vet entry exists (imported or authored)."*".Security-Review: present if security-sensitive.version = "*" anywhere.cargo-vet because the crate "looks fine".cargo-vet documentation: https://mozilla.github.io/cargo-vet/.cargo-audit: https://rustsec.org/.