libveritas_testutil 0.1.2

Test fixtures and helpers for libveritas — simulated chain state, handle trees, and a fixture generator.
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

/// Generates test fixture files for the examples.
///
/// Outputs:
///   examples/fixture/anchors.json   - JSON array of RootAnchors
///   examples/fixture/message.bin    - borsh-encoded Message
use libveritas::msg::QueryContext;
use libveritas_testutil::fixture::{ChainState, FixtureRunner, single_commit_finalized};
use std::fs;

fn main() {
    let dir = std::path::Path::new("examples/fixture");
    fs::create_dir_all(dir).unwrap();

    // Build a "single commit finalized" scenario:
    // space @sovereign with handles alice, bob — both sovereign
    let mut state = ChainState::new();
    let fixture = single_commit_finalized();
    let mut runner = FixtureRunner::new(&mut state, fixture);
    runner.run(&mut state);

    // Snapshot the anchor after all state changes
    state.anchors.push(state.chain.current_root_anchor());

    // Build the message using the current chain state
    let bundle = runner.build_bundle();
    let msg = state.message(vec![bundle]);

    // Anchors as JSON (newest first, as Veritas expects)
    let mut anchors = state.anchors.clone();
    anchors.reverse();
    let anchors_json = serde_json::to_string_pretty(&anchors).unwrap();
    fs::write(dir.join("anchors.json"), &anchors_json).unwrap();
    println!("wrote anchors.json ({} anchors)", anchors.len());

    // Message as borsh
    let msg_bytes = msg.to_bytes();
    fs::write(dir.join("message.bin"), &msg_bytes).unwrap();
    println!("wrote message.bin ({} bytes)", msg_bytes.len());

    // Native verify to confirm the fixture is valid
    let veritas = state.veritas();
    let ctx = QueryContext::new();
    let result = veritas
        .verify_with_options(&ctx, msg, libveritas::VERIFY_DEV_MODE)
        .unwrap();
    println!("\nnative verify OK: {} zones", result.zones.len());
    for z in &result.zones {
        println!("  {} -> {}", z.handle, z.sovereignty);
    }
}