Module application 

Application layer — public use-cases and DTOs.

All items here are pub — this is the stable public API surface consumed by bindings. Engine internals in engine/ remain pub(crate).

Re-exports

pub use audit::AuditUseCase;

pub use dto::AuditQueryRequest;

pub use dto::AuditQueryResponse;

pub use dto::HistoryEntry;

pub use dto::IngestClaimRequest;

pub use dto::IngestClaimResponse;

pub use dto::QueryHistoryRequest;

pub use dto::QueryHistoryResponse;

pub use dto::QueryMemoryRequest;

pub use dto::QueryMemoryResponse;

pub use dto::ReconcileRequest;

pub use dto::ReconcileResponse;

pub use ingest_claim::IngestClaimUseCase;

pub use query_history::QueryHistoryUseCase;

pub use query_memory::QueryMemoryUseCase;

pub use reconcile::ReconcileUseCase;

pub use submit_adjudication::SubmitAdjudicationUseCase;

Modules

audit

AuditUseCase — read-only ledger query.

dto

Public DTOs — the stable API surface consumed by all bindings.

ingest_claim

IngestClaimUseCase — application layer write path.

query_history

QueryHistoryUseCase — application layer read path for the history timeline.

query_memory

QueryMemoryUseCase — application layer read path.

reconcile

ReconcileUseCase — contradiction detection pass over a set of subject-lines.

submit_adjudication

SubmitAdjudicationUseCase — atomic oracle verdict apply.

sweep_adjudications

SweepAdjudicationsUseCase — TTL expiry and orphan recovery.