assura 0.2.0

Contract-first AI-native language. Write what it should do. AI proves it does.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

//! `assura check` / `check-rust` / project / watch command implementations.
//!
//! Split by concern so agents open the right module:
//! - [`run`] — single-file `assura check` pipeline entry
//! - [`report`] — verify + human/JSON diagnostics, SMT Unknown policy
//! - [`watch`] — watch mode
//! - [`project`] — multi-file project check
//! - [`check_rust`] — `assura check-rust` inline annotations
//! - [`types`] — `CheckOptions` / `VerifyContext`

mod check_rust;
mod project;
mod report;
mod run;
mod suggest_crash;
mod types;
mod watch;

#[cfg(test)]
mod tests;

pub(crate) use check_rust::*;
pub(crate) use project::*;
pub(crate) use report::*;
pub(crate) use run::*;
pub(crate) use suggest_crash::*;
pub(crate) use types::*;
pub(crate) use watch::*;