Skip to content

Latest commit

 

History

History
244 lines (201 loc) · 11.8 KB

AGENTS.md

File metadata and controls

244 lines (201 loc) · 11.8 KB

Repository Guidelines

This file is the single source of truth for how humans and coding agents work in this repository. CLAUDE.md is a symlink to this file, so every agent reads the same instructions.

Project Structure

This Rust 2024 workspace ships a native TinyBus security module.

  • crates/tinysecurity-bus: versioned transport-free contract, normal dependencies serde and thiserror only.
  • crates/tinysecurity-policy: conservative native policy engine.
  • crates/tinysecurity: internal engine re-export, never host-linked.
  • crates/tinysecurity-module: configured TinyBus SDK adapter and cdylib.
  • vendor/tinybus: pinned module SDK and loader, maintained upstream.
  • docs/specs, docs/plans, docs/adr: accepted design, ordered implementation and decisions.

Only implemented engines may advertise methods. Unknown effects deny. Module configuration uses SDK init/reinit, not lifecycle RPCs. Hosts link only the contract, and production migration requires released artifacts/checksums. Tests live in sibling *_tests.rs files or crate tests/ integration suites; never use inline modules or test.rs filenames. Public types have rustdoc. Do not create empty engine crates or claim full tracker completion at bootstrap.

Build And Test

Run every command from the repository root. These four are the contract; CI runs exactly them, so a green local run should mean a green CI run.

cargo fmt --all -- --check
cargo clippy --all-targets --all-features -- -D warnings
cargo build --all-targets --all-features
cargo test --all-features

Supporting commands:

  • cargo fmt --all — format before committing.
  • cargo test <filter> — run a focused subset while iterating.
  • cargo test -p tinysecurity-bus — run one crate's suite.
  • cargo run -p tinysecurity-module --example verify_module -- <native-library> — run the bundled example.
  • cargo doc --no-deps --all-features — build the rustdoc CI also builds with RUSTDOCFLAGS="-D warnings".
  • cargo test --doc — run doctests alone when editing documentation examples.

Never skip, ignore, or delete a failing test to make a command pass. Fix the root cause, or stop and report the blocker.

Coding Style

Use standard rustfmt output and Rust 2024 idioms. Do not hand-format around rustfmt, and do not add #[rustfmt::skip] without a comment explaining why.

  • snake_case for modules, files, functions, methods, fields, and locals.
  • PascalCase for types, traits, and enum variants; SCREAMING_SNAKE_CASE for constants and statics.
  • Name things for what they are, not for their layer: RetryPolicy, not RetryHelper.
  • Prefer small, typed APIs over stringly-typed ones. Accept &str and generic impl Into<String> at boundaries; return owned, concrete types.
  • Keep the public surface minimal: default to private, and export deliberately from src/lib.rs.
  • unsafe is forbidden workspace-wide by [workspace.lints] in the root Cargo.toml. If a project genuinely needs it, relax the lint in its own commit and document every invariant with a // SAFETY: comment.

Errors

  • One crate-wide Error enum per crate, in src/error/mod.rs, built with thiserror.
  • Fallible public functions return Result<T>, the crate alias.
  • Add a specific variant instead of stuffing context into a string; error messages are lowercase, without trailing punctuation.
  • Do not unwrap(), expect(), or panic! in library code paths. They are fine in tests, examples, and genuinely unreachable states — where expect must carry a message explaining the invariant.
  • Document a # Errors section on every public fallible function and a # Panics section on anything that can panic.

Dependencies

Adding a dependency is a design decision. Before adding one, check whether the standard library or an existing dependency already covers the need. When you do add one:

  • pin a caret range (serde = "1"), not an exact version;
  • enable only the features you need, with default-features = false when that meaningfully trims the tree;
  • gate anything optional behind a Cargo feature, documented in Cargo.toml;
  • declare it once in the root [workspace.dependencies] when more than one crate needs it, and take it with { workspace = true };
  • never add one to crates/tinysecurity-bus that pulls in a transport, an async runtime, an HTTP client, or a native library — CI fails the build if you do;
  • leave a comment above the entry explaining why the crate is needed and what uses it — see the existing entries for the expected tone;
  • prefer well-maintained crates with a compatible license.

Keep Cargo.lock committed; this workspace ships a single lockfile so CI and releases are reproducible.

Vendored dependencies

TinyBus is registered as the vendor/tinybus git submodule and pinned by its gitlink. It supplies the host types and module-side SDK required to build this crate's cdylib. Initialize it after cloning with:

git submodule update --init --recursive

Do not edit vendored code from the parent repository. Make TinyBus changes in its own repository, push them there, then update this repository's gitlink in a separate commit. Keep the exact path dependencies and minimal features unless a new module capability requires more.

Testing

  • Module-local unit tests live in sibling *_tests.rs files and may touch private items: use src/<feature>/mod_tests.rs beside mod.rs, or src/<module>_tests.rs beside <module>.rs. Declare them at the bottom of the source module with #[cfg(test)], #[path = "<module>_tests.rs"] (or "mod_tests.rs"), and mod tests;. The test file starts with use super::*; and carries no #[cfg(test)] of its own. Never use inline test modules or files named test.rs, tests.rs, or <module>_test.rs.
  • Integration tests live in crates/<crate>/tests/ and exercise only the public API — they are the regression suite for the crate's contract.
  • Payload types pin their serde representation in a unit test. That representation is the wire form: a host and a module that disagree about a field name fail at runtime with a decode error.
  • Use descriptive, behavioral test names: rejects_an_empty_name, not test_policy_2.
  • Cover the failure paths, not just the happy path. Every new error variant needs a test that produces it.
  • For async behavior, standardize on one runtime (tokio as a dev-dependency for tests) rather than mixing runtimes.
  • Tests must be deterministic and independent of network, wall-clock time, and execution order. Gate any live/network test behind a feature or an env var and name it live_* so it is easy to exclude.
  • Maintain at least 90% line coverage in every source file. Add or update tests with every behavior change, and note any deliberately untested edge case in the pull request description.

Write the test first when fixing a bug: a failing test that reproduces the report, then the fix that turns it green.

Documentation

Write documentation for the reader who has never seen the code.

  • Every public item gets a rustdoc comment. missing_docs is a warning that CI treats as an error.
  • Start every mod.rs with a concise module-level //! description. Sibling *_tests.rs files start with use super::*; as specified above.
  • Each crate's src/lib.rs carries its crate-level overview: what the crate does, the primary entry points, and a short runnable example. It should also say what the crate deliberately does not hold, and why.
  • Prefer concrete examples over vague description. Doc examples are compiled and run by cargo test, so they cannot drift.
  • Complex modules must include a module-level README.md covering their design, public surface, and important operational constraints.
  • Keep README.md, docs/, and module docs aligned with code changes in the same commit that changes behavior.
  • Write accepted behavior and constraints in docs/specs/ before creating a linked, implementation-ordered plan in docs/plans/. Specs define what and why; plans define how and in what sequence.
  • Keep every Markdown file, including this one, at 500 lines or fewer. When a topic outgrows that, split it into focused files and link them from the nearest README.md.

Git Workflow

  • Never commit directly to main. Branch first, one branch per logical change.
  • Do feature work in a git worktree so the main checkout stays clean.
  • Commit subjects are concise and imperative: Add retry policy to the client. Keep the subject specific to the change and under ~72 characters.
  • Make small, focused commits. Each commit should cover one logical change, build independently, and avoid mixing formatting, refactors, and behavior changes unless they are inseparable.
  • Never commit secrets. .env is git-ignored; document new variables in .env.example with placeholder values.
  • Never force-push a shared branch, rewrite published history, or bypass hooks with --no-verify.

Pull Requests

Open pull requests ready for review, not as drafts, unless the work genuinely must not merge yet. A pull request should:

  • summarize what changed and why, in a few sentences;
  • call out public API or behavior changes explicitly, or state "None";
  • list the validation commands actually run, with their outcome;
  • link the related issue;
  • include updated tests, docs, and examples in the same change.

The template in .github/PULL_REQUEST_TEMPLATE.md encodes this checklist. Address review feedback by fixing it, and reply on each thread describing what changed. Do not resolve a thread whose feedback you have not addressed or explicitly declined with a reason.

Releases

Releases run from .github/workflows/release.yml via a manual workflow_dispatch with a patch / minor / major bump; current resumes an interrupted release after its version commit and tag exist. The workflow re-runs the full validation suite, computes the next version, updates the root [workspace.package] version and Cargo.lock, commits and tags vX.Y.Z, builds crates/tinysecurity-module as a TinyBus module for every supported platform, pushes, and creates an immutable GitHub release with installable native packages.

Consequently:

  • Do not hand-edit the version field in the root [workspace.package]; the release workflow owns it. Every member inherits it with version.workspace = true, so the whole workspace releases as one version.
  • Follow semantic versioning. Any change to the public surface that is not purely additive is a breaking change and needs a major bump (pre-1.0: a minor bump).
  • The module must be packageable for every release target — main should always be green.

Agent Working Agreement

For automated contributors specifically:

  1. Read before writing. Inspect the surrounding module and match its conventions, comment density, and idiom rather than importing a house style.
  2. Verify, do not assume. Run the four contract commands and read their output before reporting a task complete. Report failures with the output; never claim a check passed that you did not run.
  3. Stay in scope. Implement what was asked. Do not opportunistically refactor, reformat, upgrade dependencies, or "fix" unrelated code — raise it instead.
  4. No placeholders in delivered code. No todo!(), no stubbed functions, no commented-out alternatives left behind. If something cannot be finished, say so explicitly.
  5. Do not weaken the guardrails. Never add blanket #[allow(...)], relax a lint, mark a test #[ignore], or loosen CI to get a green run. Fix the cause.
  6. Secrets stay out. Never read, echo, or commit .env contents, tokens, or credentials, and never paste them into a pull request or issue.
  7. Ask only when blocked. Make routine judgment calls yourself; escalate only irreversible decisions or genuine forks with no clear default.