Module diff 

Spec-level diff reporting.

Compares two audit reports (old vs. new) and produces a structured diff at the intent-specification level: which entities, actions, invariants, and edge cases were added, removed, or modified, and what changed within them.

Structs

DiffDetail

A change to a sub-item within a spec entry.

DiffEntry

A single spec-item change.

DiffReport

A complete diff report between two versions of a spec.

DiffSummary

High-level summary of changes.

Enums

ChangeKind

What happened to a spec item or sub-item.

Functions

diff_reports

Compare two audit reports and produce a structured diff.