saya-cli 0.3.1

Database-aware AI agent for the terminal: full-screen TUI, schema discovery, and bounded read-only SQL over PostgreSQL, MySQL, SQLite, DuckDB, and Snowflake.
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88

//! Shared contract-application operations: the typed layer every adapter renders.
//!
//! This slice computes and selects; it writes nothing to the store on the recall
//! path and adds no policy of its own on the review path beyond what the
//! knowledge-items store already enforces (cardinality at the storage boundary).
//! Presentation (rendering, clap, slash, agent tools) is a later slice — these
//! modules return typed data only.

pub(crate) mod args;
mod assemble;
mod availability;
mod conflict;
mod decide;
mod knowledge_validity;
mod name_match;
mod op_error;
mod queue;
mod recall;
mod receipt;
mod remember;
mod retrieval;
mod review;
mod selection;
mod show;
pub(crate) mod terms;
mod use_once;
mod view;
// P2b-1: the override detector. A pure function nobody calls yet — P2b-2 will
// run it against the SQL the model generated and the [`RecallReceipt`] recall
// supplied. Mirrors the `PromptTerms` re-export pattern below.
mod override_det;

#[cfg(test)]
mod tests;

// This `pub(crate)` surface is the contract operations API the adapter slices
// (2b-2/3/4: rendering, clap, slash, agent tools) will consume. Nothing in this
// crate references it yet outside tests, so the re-exports read as unused in a
// lib build — they are not dead code, they are the boundary this slice exposes.
#[allow(unused_imports)]
pub(crate) use availability::{
    MODEL_SCHEMA_MAX_AGE_MS, SchemaAvailability, SchemaFreshness, now_unix_ms,
};
#[allow(unused_imports)]
pub(crate) use decide::resolve_prefix;
#[allow(unused_imports)]
pub(crate) use op_error::ContractOpError;
#[allow(unused_imports)]
pub(crate) use queue::{QUEUE_DEFAULT_LIMIT, QueuedCandidate, review_queue};
#[allow(unused_imports)]
pub(crate) use recall::{RecallBounds, RecallMode, RecallRequest, recall};
pub(crate) use remember::{RememberOutcome, remember};
#[allow(unused_imports)]
pub(crate) use retrieval::RetrievalPolicy;
pub(crate) use review::{confirm, forget, reject};
pub(crate) use show::show;
// `conflicts_for` is `pub(crate)` in `conflict` but the module is private; the
// contracts tests exercise it directly, so re-export it alongside the other
// operations. Unused in a lib build (tests only), like the re-exports above.
#[allow(unused_imports)]
pub(crate) use conflict::conflicts_for;
#[allow(unused_imports)]
pub(crate) use use_once::use_candidate_once;
// D-2: the computed validity vocabulary over KnowledgeState. Pure, uncalled
// this slice — the adopting slice will switch to it. Re-exported here
// alongside the other contract operations, reading unused like the others
// until something consumes it.
#[allow(unused_imports)]
pub(crate) use knowledge_validity::KnowledgeValidity;
#[allow(unused_imports)]
pub(crate) use view::{
    ContractClaim, ContractConflict, ContractSchemaState, RecallDiagnostics, RecallOutcome,
    RetrievedContract, status_from_state,
};
// P1a: the typed recall receipt. The agent layer (`recall_context`) builds it
// beside the context blocks; nothing consumes it yet (P1b). Re-exported here
// alongside the other contract operations the adapter slices will consume.
#[allow(unused_imports)]
pub(crate) use receipt::{RecallOutcomeKind, RecallReceipt, SuppliedClaim, SuppliedContract};
// `PromptTerms` is the prompt-recall signal the agent runtime (2b-3b) consumes
// alongside the recall request types above.
#[allow(unused_imports)]
pub(crate) use terms::PromptTerms;
// P2b-1: the override detector — pure, uncalled this slice. P2b-2 runs it
// against generated SQL; until then the re-export reads as unused, like the
// others above.
#[allow(unused_imports)]
pub(crate) use override_det::{OverrideFinding, detect_overrides};