dsfb-database 0.1.1

DSFB-Database: deterministic, read-only structural observer for residual trajectories in SQL database telemetry. Empirical prior-art demonstration on Snowset, SQLShare, CEB, JOB, and TPC-DS.
Documentation 
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

//! Non-claim charter for DSFB-Database.
//!
//! These strings are reproduced verbatim in the CLI banner, in every report
//! header, and in the abstract of the paper. The test
//! `tests/non_claim_lock.rs` pins them so that a reviewer can verify
//! that the operator pitch and the published paper agree byte-for-byte.

/// Seven things this work explicitly does not claim.
pub const NON_CLAIMS: [&str; 7] = [
    "DSFB-Database does not optimise queries, replace the query optimiser, or modify execution plans.",
    "DSFB-Database does not claim causal correctness; motifs represent structural consistency given observed signals, not root causes.",
    "DSFB-Database does not provide a forecasting or predictive guarantee; precursor structure is structural, not probabilistic.",
    "DSFB-Database does not provide ground-truth-validated detection on real workloads; we evaluate via injected perturbations, plan-hash concordance, and replay determinism.",
    "DSFB-Database does not claim a universal SQL grammar; motifs are engine-aware, telemetry-aware, and workload-aware.",
    "DSFB-Database does not validate that an operator-supplied grammar is appropriate for a non-SQL residual stream; the generic CSV adapter is a worked example, not a universality claim.",
    "DSFB-Database's live adapters (PostgreSQL via pg_stat_statements; MySQL via performance_schema) emit residuals at a cadence bounded by their polling interval, the engine's response latency, and the operator-configured CPU budget; they do not provide hard-real-time guarantees. Determinism holds only given a persisted tape — two live invocations against the same engine workload will produce different tapes.",
];

/// Print the non-claim block (used by CLI and embedded in every report).
pub fn print() {
    eprintln!("DSFB-Database non-claims (read these before interpreting any output):");
    for (i, c) in NON_CLAIMS.iter().enumerate() {
        eprintln!("  {}. {}", i + 1, c);
    }
}

/// Render the non-claim block as a single newline-joined string for embedding
/// in CSV / JSON report headers and in the LaTeX paper.
pub fn as_block() -> String {
    NON_CLAIMS
        .iter()
        .enumerate()
        .map(|(i, c)| format!("  {}. {}", i + 1, c))
        .collect::<Vec<_>>()
        .join("\n")
}