What problem does it solve? Writing fast C# code on hot paths requires consistent discipline around allocations, pooled buffer ownership, and span usage, and mistakes like storing a rented array in a struct cause silent data corruption rather than crashes. This Skill provides a standing rule set so every hot-path decision follows proven patterns. ## Core Features & Use Cases - Pooled Buffer Ownership Rules: Defines who may hold an ArrayPool rental, prohibits rented arrays in structs and Memory<T> over pooled storage, and provides ranked safe patterns from Span lending to fail-loud owner classes. - Hot-Path Prohibitions: Bans LINQ, capturing closures, regex, per-item growing collections, boxing, and per-item virtual dispatch in code that runs per item, request, or token. - Allocation Verification: Explains how to validate allocation changes with BenchmarkDotNet MemoryDiagnoser and git worktree baselines instead of trusting stale committed benchmark reports. - Use Case: When reviewing a PR that adds a record struct holding an array rented from ArrayPool, apply the ownership rules to reject the design and replace it with a caller-lent Span<T> pattern. ## Quick Start Review this C# method that runs per request and tell me which allocation and buffer-ownership rules it violates.