frigg 0.9.2

Frigg gives AI agents local, source-backed code search and navigation without sending whole repositories through every prompt.
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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147

//! Stable, opaque identities used to address result rows across MCP calls.

use schemars::JsonSchema;
use serde::{Deserialize, Serialize};

/// Closed target identity; unknown variants, fields, and empty identities are rejected.
#[derive(Debug, Clone, PartialEq, Eq, Serialize, JsonSchema)]
#[serde(tag = "kind", rename_all = "snake_case", deny_unknown_fields)]
pub enum TargetRef {
    ResultMatch {
        #[schemars(length(min = 1))]
        result_handle: String,
        #[schemars(length(min = 1))]
        match_id: String,
        #[schemars(length(min = 1))]
        target_scope: String,
    },
    StableSymbol {
        #[schemars(length(min = 1))]
        repository_id: String,
        #[schemars(length(min = 1))]
        stable_symbol_id: String,
        #[schemars(length(min = 1))]
        snapshot_token: String,
    },
}

impl<'de> Deserialize<'de> for TargetRef {
    fn deserialize<D: serde::Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error> {
        #[derive(Deserialize)]
        #[serde(tag = "kind", rename_all = "snake_case", deny_unknown_fields)]
        enum Raw {
            ResultMatch {
                result_handle: String,
                match_id: String,
                target_scope: String,
            },
            StableSymbol {
                repository_id: String,
                stable_symbol_id: String,
                snapshot_token: String,
            },
        }
        let value = match Raw::deserialize(deserializer)? {
            Raw::ResultMatch {
                result_handle,
                match_id,
                target_scope,
            } => Self::ResultMatch {
                result_handle,
                match_id,
                target_scope,
            },
            Raw::StableSymbol {
                repository_id,
                stable_symbol_id,
                snapshot_token,
            } => Self::StableSymbol {
                repository_id,
                stable_symbol_id,
                snapshot_token,
            },
        };
        value
            .validate()
            .map_err(serde::de::Error::custom)
            .map(|_| value)
    }
}

impl TargetRef {
    pub fn result_match(
        result_handle: String,
        match_id: String,
        target_scope: String,
    ) -> Option<Self> {
        (!result_handle.is_empty() && !match_id.is_empty() && !target_scope.is_empty()).then_some(
            Self::ResultMatch {
                result_handle,
                match_id,
                target_scope,
            },
        )
    }

    pub fn target_scope(&self) -> Option<&str> {
        match self {
            Self::ResultMatch { target_scope, .. } => Some(target_scope),
            Self::StableSymbol { .. } => None,
        }
    }

    pub fn validate(&self) -> Result<(), &'static str> {
        let fields = match self {
            Self::ResultMatch {
                result_handle,
                match_id,
                target_scope,
            } => [result_handle, match_id, target_scope],
            Self::StableSymbol {
                repository_id,
                stable_symbol_id,
                snapshot_token,
            } => [repository_id, stable_symbol_id, snapshot_token],
        };
        fields
            .iter()
            .all(|value| !value.is_empty())
            .then_some(())
            .ok_or("target identity fields must not be empty")
    }
}

/// Generate one opaque UUIDv7 correlation scope for an MCP session.
pub fn new_target_scope() -> String {
    uuid::Uuid::now_v7().simple().to_string()
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn strict_variants_round_trip_and_reject_unknown_variant() {
        let target = TargetRef::result_match("h".into(), "m".into(), "s".into())
            .expect("non-empty fixture target should validate");
        let value = serde_json::to_value(&target).expect("fixture target should serialize");
        assert_eq!(value["kind"], "result_match");
        assert!(
            serde_json::from_value::<TargetRef>(serde_json::json!({"kind":"other","x":"y"}))
                .is_err()
        );
        assert!(serde_json::from_value::<TargetRef>(serde_json::json!({"kind":"result_match","result_handle":"h","match_id":"m","target_scope":"s","extra":1})).is_err());
    }

    #[test]
    fn empty_identity_is_invalid() {
        let target = TargetRef::ResultMatch {
            result_handle: String::new(),
            match_id: "m".into(),
            target_scope: "s".into(),
        };
        assert!(target.validate().is_err());
        assert!(serde_json::from_value::<TargetRef>(serde_json::json!({"kind":"result_match","result_handle":"","match_id":"m","target_scope":"s"})).is_err());
        assert!(serde_json::from_value::<TargetRef>(serde_json::json!({"kind":"stable_symbol","repository_id":"repo","stable_symbol_id":"","snapshot_token":"snapshot"})).is_err());
    }
}