mati 0.1.4

An enforcement layer for codebase knowledge: confirmed gotchas gate what AI agents read and edit at the hook level. Not a passive memory store.
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

//! JSON-payload helpers for the decision engine. Pure, no I/O.

use super::*;

// ── JSON helpers ────────────────────────────────────────────────────────────

pub(super) fn json_f32(val: &serde_json::Value, pointer: &str) -> f32 {
    val.pointer(pointer)
        .and_then(|v| v.as_f64())
        .map(|f| f as f32)
        .unwrap_or(0.0)
}

pub(super) fn json_str(val: &serde_json::Value, pointer: &str) -> String {
    val.pointer(pointer)
        .and_then(|v| v.as_str())
        .unwrap_or("")
        .to_string()
}

pub(super) fn json_bool(val: &serde_json::Value, pointer: &str) -> bool {
    val.pointer(pointer)
        .and_then(|v| v.as_bool())
        .unwrap_or(false)
}

pub(super) fn json_string_array(val: &serde_json::Value, pointer: &str) -> Vec<String> {
    val.pointer(pointer)
        .and_then(|v| v.as_array())
        .map(|arr| {
            arr.iter()
                .filter_map(|v| v.as_str().map(|s| s.to_string()))
                .collect()
        })
        .unwrap_or_default()
}

/// True if `staleness.signals` carries the literal unit-variant signal
/// (e.g. `"file_deleted"` for `StalenessSignal::FileDeleted`), serialized
/// under serde's default external tagging.
pub(super) fn json_has_signal(val: &serde_json::Value, pointer: &str, signal: &str) -> bool {
    val.pointer(pointer)
        .and_then(|v| v.as_array())
        .is_some_and(|arr| arr.iter().any(|v| v.as_str() == Some(signal)))
}

/// True if `file_record` carries the `FileDeleted` staleness signal.
///
/// I/O-free — this only inspects JSON already in hand. It exists so an
/// impure caller can decide whether a stat is worth paying for (only when
/// this returns true) before populating [`EnforcementInput::file_exists`],
/// without duplicating the signal's pointer path and string spelling.
pub fn has_file_deleted_signal(file_record: &serde_json::Value) -> bool {
    json_has_signal(file_record, "/staleness/signals", "file_deleted")
}

/// True if any gotcha in `gotcha_keys` qualifies for enforcement under the
/// same test the main gotcha loop in [`evaluate`] uses: `confirmed &&
/// confidence >= 0.6 && quality >= 0.4`.
pub(super) fn any_qualifying_gotcha(
    gotcha_keys: &[String],
    gotcha_records: &HashMap<String, serde_json::Value>,
) -> bool {
    gotcha_keys.iter().any(|gkey| {
        gotcha_records
            .get(gkey.as_str())
            .filter(|grec| grec.is_object())
            .is_some_and(|grec| {
                json_bool(grec, "/payload/confirmed")
                    && json_f32(grec, "/confidence/value") >= 0.6
                    && json_f32(grec, "/quality/value") >= 0.4
            })
    })
}