skills.rest
jamieadams-nerd
jamieadams-nerdCOMMUNITY
Explore all skills by this author →
GitHub

high-assurance-patterns

Apply high-assurance Rust patterns to secure code and reviews.

Updated Dec 4, 2025
Search Tags:#validation#audit#rust#security-patterns#trust-gates#high-assurance#must-use
One-click install
npx skills add https://github.com/jamieadams-nerd/umrs-project --skill high-assurance-patterns
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: high-assurance-patterns
Source: https://github.com/jamieadams-nerd/umrs-project/tree/main/.claude/skills/high-assurance-patterns
Command: npx skills add https://github.com/jamieadams-nerd/umrs-project --skill high-assurance-patterns

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Ensures Rust code adheres to a curated set of high-assurance patterns, enabling deterministic behavior, proper validation, and auditable security decisions throughout the codebase.

Core Features & Use Cases

  • Maintains a documented catalogue of patterns (must-use contracts, validate-at-construction, trust gates, security findings as data, compile-time path binding, fixed-size deterministic layout, and debug-log discipline) and guides design reviews.
  • Applies patterns to security-relevant types such as access control decisions, audit events, or trust boundary crossings, during design, coding, and reviews.
  • Provides practical guidance and triggers when the user mentions related concepts to promote consistent adoption.

Quick Start

Apply these patterns to Rust code to enforce must_use contracts, validate-at-construction, and auditable security types.

Frequently Asked Questions about high-assurance-patterns

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I enforce high-assurance security patterns in Rust code?▼

High-assurance Rust patterns are enforced by applying must-use contracts, validate-at-construction, and trust gates to security-relevant types like access controls and audit events during design and code reviews.

What are trust gates and how do they secure Rust applications?▼

Trust gates are high-assurance patterns that enforce auditable security decisions at trust boundary crossings, ensuring validation occurs before data or control flows pass between trusted and untrusted zones in Rust projects.

How do I implement validate-at-construction for Rust security types?▼

Validate-at-construction is implemented by enforcing rules that guarantee security-relevant types, such as access control decisions and audit events, are validated immediately upon creation rather than during later use.

Does this high-assurance Rust approach work for existing code reviews?▼

Yes, the high-assurance Rust approach works for existing code reviews by applying a curated catalogue of security patterns, including must-use contracts and debug-log discipline, to evaluate and secure current codebases.

What is compile-time path binding in Rust and when do I need it?▼

Compile-time path binding is a high-assurance pattern that binds paths at compilation for deterministic behavior, needed when securing Rust projects requiring fixed-size deterministic layouts and auditable security decisions.

Related Skills

Explore More Software Engineering Skills→
attunehqattunehq
1

strict-typescript

Enforce strict TypeScript patterns with Zod validation and no type assertions.

Official
Advanced
phanijappsphanijapps

security-checklists

Generate boundary-specific security checklists for agentic code review.

Community
Advanced
nguyenphpnguyenphp
41

lint-and-validate

Run linters, type checkers, and security audits across Node.js and Python projects.

Community
Intermediate
dralgorhythmdralgorhythm
111

rust

Write Rust code with ownership, error handling, and async patterns.

Community
Advanced