Module module_diagnostics 

Reusable diagnostics for XLOG module boundary audits.

Structs

ModuleBoundaryInput

Input to the module boundary diagnostic pass.

ModuleBoundaryReport

Module boundary diagnostic report.

ModuleDeclaration

Declaration observed during module-boundary analysis.

ModuleManifest

Module manifest used by diagnostics.

ModuleViolation

One module diagnostic violation.

Enums

CandidateSourceKind

Candidate provenance kind for leakage diagnostics.

ModuleDeclarationKind

Kind of module declaration.

ModuleRole

Role assigned to a module in a boundary audit.

ModuleViolationKind

Violation kind emitted by module boundary diagnostics.

Functions

diagnose_module_boundaries

Diagnose frozen-kernel, adapter-only, and held-out leakage boundaries.