ruvix-shell 0.1.0

In-kernel debug shell for the RuVix Cognition Kernel (ADR-087)
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
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

//! Proof statistics command implementation.

use crate::ShellBackend;
use alloc::format;
use alloc::string::String;

/// Execute the proofs command.
#[must_use]
pub fn execute<B: ShellBackend>(backend: &B) -> String {
    let stats = backend.proof_stats();

    let verify_rate = if stats.generated > 0 {
        (stats.verified as f64 / stats.generated as f64 * 100.0) as u32
    } else {
        0
    };

    let cache_hit_rate = if stats.cache_hits + stats.cache_misses > 0 {
        (stats.cache_hits as f64 / (stats.cache_hits + stats.cache_misses) as f64 * 100.0) as u32
    } else {
        0
    };

    let total_proofs = stats.tier0_count + stats.tier1_count + stats.tier2_count;
    let tier0_pct = if total_proofs > 0 {
        (stats.tier0_count as f64 / total_proofs as f64 * 100.0) as u32
    } else {
        0
    };
    let tier1_pct = if total_proofs > 0 {
        (stats.tier1_count as f64 / total_proofs as f64 * 100.0) as u32
    } else {
        0
    };
    let tier2_pct = if total_proofs > 0 {
        (stats.tier2_count as f64 / total_proofs as f64 * 100.0) as u32
    } else {
        0
    };

    format!(
        r"Proof Statistics
================
Generated:        {}
Verified:         {} ({}%)
Rejected:         {}

Cache:
  Entries:        {} / 64
  Hits:           {}
  Misses:         {}
  Hit Rate:       {}%

By Tier:
  Tier 0 (Reflex):   {} ({}%)
  Tier 1 (Standard): {} ({}%)
  Tier 2 (Deep):     {} ({}%)",
        stats.generated,
        stats.verified,
        verify_rate,
        stats.rejected,
        stats.cache_entries,
        stats.cache_hits,
        stats.cache_misses,
        cache_hit_rate,
        stats.tier0_count,
        tier0_pct,
        stats.tier1_count,
        tier1_pct,
        stats.tier2_count,
        tier2_pct
    )
}

#[cfg(test)]
mod tests {
    use crate::ProofStats;

    #[test]
    fn test_proof_stats_defaults() {
        let stats = ProofStats::default();
        assert_eq!(stats.generated, 0);
        assert_eq!(stats.verified, 0);
    }
}