Crate unsafe_review_core 

Core SDK and analysis engine for unsafe-review.

The public API is intentionally small: build an AnalyzeInput, call analyze, and render or consume the returned AnalyzeOutput.

Re-exports

pub use api::AnalysisMode;

pub use api::AnalyzeInput;

pub use api::AnalyzeOutput;

pub use api::DiffSource;

pub use api::OutcomeReport;

pub use api::PolicyMode;

pub use api::PolicyReport;

pub use api::ReceiptAuditReport;

pub use api::Scope;

pub use api::analyze;

pub use api::audit_witness_receipts;

pub use api::collect_context;

pub use api::compare_outcome_json;

pub use api::evaluate_policy_report;

pub use api::explain_card;

pub use api::render_badge_jsons;

pub use api::render_comment_plan;

pub use api::render_human;

pub use api::render_json;

pub use api::render_lsp;

pub use api::render_markdown;

pub use api::render_outcome_json;

pub use api::render_outcome_markdown;

pub use api::render_policy_report_json;

pub use api::render_policy_report_markdown;

pub use api::render_pr_summary;

pub use api::render_receipt_audit_json;

pub use api::render_receipt_audit_markdown;

pub use api::render_sarif;

pub use api::render_witness_plan;

pub use api::validate_witness_receipts;

Modules

api

Structs

CardId

CargoCarefulReceiptInput

ConcurrencyReceiptInput

ContractEvidence

DischargeEvidence

MiriReceiptInput

MissingEvidence

NextAction

ProofReceiptInput

ReachEvidence

RelatedTest

ReviewCard

SafetyObligation

SanitizerReceiptInput

SourceLocation

UnsafeOperation

UnsafeSite

WitnessEvidence

WitnessReceipt

WitnessRoute

Enums

Confidence

HazardKind

Priority

ReviewClass

WitnessKind

Constants

WITNESS_RECEIPT_SCHEMA_VERSION