kshana 0.35.0

Open, reproducible PNT-resilience simulator with quantum-sensor performance models
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

// SPDX-License-Identifier: AGPL-3.0-only
//! Signed, verifiable evidence packs for a GNSS trust event.
//!
//! A pack is a set of named files (a directory on disk, a `BTreeMap` in memory):
//!
//! | file | content |
//! |---|---|
//! | `log-slice.bin` | the raw receiver-log bytes for the window |
//! | `config.json` | the configuration every threshold came from |
//! | `epochs.json` | the per-epoch results and reasons in the window |
//! | `summary.html` | a human-readable summary |
//! | `manifest.json` | engine version, window, every file's SHA-256, the full log's SHA-256, and a hash chain over the files |
//! | `manifest.sig` | Ed25519 signature over the exact bytes of `manifest.json` |
//! | `timestamp.tsr` | optional RFC 3161 timestamp token over `manifest.json` |
//!
//! [`create_bundle`] and [`verify_bundle`] are pure: bytes in, serialisable results out, no
//! file system, clock or process access, so the Python, WebAssembly and server surfaces can
//! call them unchanged. [`cli`] is the thin command-line wrapper.
//!
//! **A pack is a technical record of what the engine computed from a log. It is not a legal
//! opinion, not a finding of fact about any event, and not a certification.**

pub mod assemble;
pub mod bundle;
pub mod cli;
pub mod html;
pub mod tsr;
pub mod verify;

pub use assemble::{build_receiver_trust_pack, PackRequest, PackSummary};
pub use bundle::{
    create_bundle, generate_seed, public_key_hex, sign_detached, slice_for_window, EvidenceError,
    EvidenceInput, Files, Manifest, Window, DISCLAIMER, FORMAT,
};
pub use verify::{
    attach_timestamp, verify_bundle, verify_detached, Failure, VerifyOptions, VerifyReport,
};