Module unsafe_inventory 

The unsafe inventory: every hand-written unsafe operation under MIRROR_SRC, found by parsing the sources and held to OPERATIONS.

Structs

Counts 🔒

The hand-written operations found in the source tree, plus the blanket overrides and local safety comments.

ObservedOperation 🔒

One operation observed in the parsed source tree.

Scan 🔒

The syn walk that fills a Counts.

Functions

blanket_failures 🔒

block_identity 🔒

Stable identity for the body of an unsafe block. The expression tree keeps the operation’s semantic shape while discarding formatting and spans.

compare_operation_counts 🔒

compare_operation_identities 🔒

compare_operations 🔒

Compares the tree against OPERATIONS, returning a failure per surprise.

compare_safety_comments 🔒

expression_identity 🔒

generic_argument_identity 🔒

impl_identity 🔒

Stable identity for an unsafe impl, retaining both sides of the promise.

inventory 🔒

Finds the hand-written unsafe operations under dir, and reports an inner #![allow(unsafe_code)] as an operation of its own so it cannot pass by being merely uncounted. Each AST operation is paired, in source order, with one local // SAFETY: comment block.

names_unsafe_code 🔒

Whether unsafe_code appears anywhere in a token stream.

normalize_text 🔒

Whitespace is presentation, not part of a safety rationale’s identity.

operation_drift 🔒

The failure for a changed or missing operation identity or rationale.

path_arguments_identity 🔒

path_identity 🔒

Stable identity for a path, including the type/lifetime arguments that are meaningful to the four recorded operations.

recorded_operations 🔒

relaxes_unsafe_code 🔒

Whether an attribute loosens unsafe_code.

safety_comments 🔒

Collects contiguous // SAFETY: comment blocks in source order.

sources 🔒

Every .rs file under dir, in a stable order.

statement_identity 🔒

type_identity 🔒

unexpected_operation 🔒

The failure for an operation in a file/kind group with no recorded twin.

unsafe_drift 🔒

The failure for a file whose count of one unsafe kind is not the recorded one, quoting the record so a reviewer sees what was supposed to be there.

wraps_a_relaxation 🔒

Whether a token stream contains allow(… unsafe_code …) or the expect spelling of it, at any depth.