Crate intent_ir 

Re-exports

pub use audit::AuditReport;

pub use audit::generate_audit;

pub use diff::DiffReport;

pub use diff::diff_reports;

pub use lower::lower_file;

pub use verify::Obligation;

pub use verify::ObligationKind;

pub use verify::analyze_obligations;

pub use verify::verify_module;

pub use types::*;

Modules

audit

Audit Bridge — trace maps and coverage analysis.

diff

Spec-level diff reporting.

lower

AST → IR lowering pass.

types

Core IR type definitions for IntentLang.

verify

IR verification pass.