affidavit 26.6.22

Provenance Layer — receipt assembly and certification (verify a witness against a format standard; never decide honesty).
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

//! Feature 5: LSP Goto-Definition — Event Type → Handler Source
//!
//! Maps receipt event_type values to the source file and line number
//! of their corresponding Rust handler functions.

use lsp_max::lsp_types_max::{Location, Position, Range, Url};
use std::collections::BTreeMap;
use std::sync::OnceLock;

static HANDLER_MAP: OnceLock<BTreeMap<&'static str, (&'static str, u32)>> = OnceLock::new();

fn handler_map() -> &'static BTreeMap<&'static str, (&'static str, u32)> {
    HANDLER_MAP.get_or_init(|| {
        let mut m = BTreeMap::new();
        m.insert("emit", ("src/verbs/emit.rs", 0));
        m.insert("assemble", ("src/verbs/assemble.rs", 0));
        m.insert("verify", ("src/verbs/verify.rs", 0));
        m.insert("show", ("src/verbs/show.rs", 0));
        m.insert("inspect", ("src/verbs/inspect.rs", 0));
        m.insert("model", ("src/verbs/model.rs", 0));
        m.insert("diagnose", ("src/verbs/diagnose.rs", 0));
        m.insert("conform", ("src/verbs/conform.rs", 0));
        m.insert("replay", ("src/verbs/replay.rs", 0));
        m.insert("graph", ("src/verbs/graph.rs", 0));
        m.insert("stats", ("src/verbs/stats.rs", 0));
        m.insert("predict", ("src/verbs/predict.rs", 0));
        m
    })
}

/// Return the LSP goto-definition location for a receipt event_type.
pub fn goto_definition_for_event_type(event_type: &str) -> Option<Location> {
    let (path, line) = handler_map().get(event_type)?;

    let workspace_root = std::env::current_dir()
        .map(|p| p.display().to_string())
        .unwrap_or_default();
    let uri_str = format!("file://{}/{}", workspace_root, path);
    let uri = uri_str.parse().ok()?;

    Some(Location {
        uri,
        range: Range {
            start: Position {
                line: *line,
                character: 0,
            },
            end: Position {
                line: *line,
                character: 0,
            },
        },
    })
}