Audit Rust error enums for span fields and constructor guarantees.
npx skills add https://github.com/watmin/datamancy.dev --skill conformare
Please help me install this Agent Skill. Skill: conformare Source: https://github.com/watmin/datamancy.dev/tree/main/conformare Command: npx skills add https://github.com/watmin/datamancy.dev --skill conformare
Conformare audits error-type definitions to ensure diagnostic completeness and enforce structural discipline so that variants cannot omit essential data (e.g., spans) and constructors require necessary fields.
Audit a Rust project's error types to ensure every variant carries a span and that constructors require it.
High-intent search queries and answers about installing and using this skill.
You can enforce span fields in Rust error enums by auditing error-type definitions for structural conformance, ensuring all variants carry essential diagnostic data and constructors require necessary fields.
Auditing Rust error types for missing diagnostic spans involves evaluating all enum variants, related Result wrappers, and From conversions to verify span field presence and preservation.
Retrofitting existing Rust error variants to require span data is guided by applying structured pattern recommendations, such as Pattern A, B, or C, to achieve structural type-safety conformance.
Yes, static analysis can check if your Rust From conversions preserve error spans by evaluating constructor surfaces and conversions to ensure span preservation across the entire codebase.
This type-safety audit works directly with Rust codebases using enum-based errors by evaluating all related Result and Step wrappers for documented span absence and structural discipline.
You should avoid structural conformance audits for Rust error handling when your codebase does not rely on precise error reporting or lacks enum-based error types requiring runtime diagnostic spans.
novelsagaExpose Rust types to C/C++ and WASM via Diplomat FFI bindings.
finosMigrate Elm modules to idiomatic F# with Myriad-based code generation.
flexisuite-orgDiagnose Rust ownership, borrowing, and lifetime compiler errors.
yankeeinlondonDefine ergonomic Rust error types with thiserror derive macros.
