holos-tda 0.9.0

Vietoris-Rips persistence and checked degree-Rips modules
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

//! Artifact verification command arguments.

use std::path::PathBuf;

use clap::Parser;

use super::{InputFormat, version_string};

#[derive(Parser)]
#[command(
    name = "holos verify-collapse",
    version = version_string(),
    about = "Verify a collapse artifact against its input"
)]
pub(crate) struct VerifyCli {
    /// Original point cloud, lower-distance matrix, or sparse triplets
    pub(crate) input: PathBuf,

    /// Collapse artifact written by --collapse-certificate
    pub(crate) artifact: PathBuf,

    /// Input format. Inferred from the input extension when omitted.
    /// Sparse is never inferred
    #[arg(long, value_enum)]
    pub(crate) format: Option<InputFormat>,

    /// Filtration threshold used for the collapse
    #[arg(long, value_name = "T")]
    pub(crate) threshold: Option<f64>,

    /// Worker threads for parsing the original input
    #[arg(long, value_name = "N", default_value_t = 1)]
    pub(crate) threads: usize,

    /// Largest artifact accepted before the file is read
    #[arg(long, value_name = "BYTES", default_value_t = 1usize << 30)]
    pub(crate) max_artifact_bytes: usize,
}

#[derive(Parser)]
#[command(
    name = "holos verify-atlas",
    version = version_string(),
    about = "Verify a proof-carrying H0 and H1 atlas against its input"
)]
pub(crate) struct VerifyAtlasCli {
    /// Original point cloud, lower-distance matrix, or sparse triplets
    pub(crate) input: PathBuf,

    /// Atlas written by --atlas
    pub(crate) artifact: PathBuf,

    /// Input format. Inferred from the input extension when omitted.
    /// Sparse is never inferred
    #[arg(long, value_enum)]
    pub(crate) format: Option<InputFormat>,

    /// Worker threads for parsing and point-graph construction
    #[arg(long, value_name = "N", default_value_t = 1)]
    pub(crate) threads: usize,

    /// Largest artifact accepted while reading the file
    #[arg(long, value_name = "BYTES", default_value_t = 1usize << 30)]
    pub(crate) max_artifact_bytes: usize,
}

#[derive(Parser)]
#[command(
    name = "holos verify-trajectory",
    version = version_string(),
    about = "Verify a self-contained persistence trajectory"
)]
pub(crate) struct VerifyTrajectoryCli {
    /// Trajectory artifact
    pub(crate) artifact: PathBuf,

    /// Largest artifact accepted while reading the file
    #[arg(long, value_name = "BYTES", default_value_t = 1usize << 30)]
    pub(crate) max_artifact_bytes: usize,
}

#[derive(Parser)]
#[command(
    name = "holos verify-program",
    version = version_string(),
    about = "Verify a compositional H0 and H1 program against its input"
)]
pub(crate) struct VerifyProgramCli {
    /// Original point cloud, lower-distance matrix, or sparse triplets
    pub(crate) input: PathBuf,

    /// Program written by --program
    pub(crate) artifact: PathBuf,

    /// Input format. Inferred from the input extension when omitted.
    /// Sparse is never inferred
    #[arg(long, value_enum)]
    pub(crate) format: Option<InputFormat>,

    /// Worker threads for parsing and point-graph construction
    #[arg(long, value_name = "N", default_value_t = 1)]
    pub(crate) threads: usize,

    /// Largest artifact accepted while reading the file
    #[arg(long, value_name = "BYTES", default_value_t = 1usize << 30)]
    pub(crate) max_artifact_bytes: usize,
}

#[derive(Parser)]
#[command(
    name = "holos verify-program-trace",
    version = version_string(),
    about = "Verify a self-contained compositional persistence trace"
)]
pub(crate) struct VerifyProgramTraceCli {
    /// Program trace artifact
    pub(crate) artifact: PathBuf,

    /// Largest artifact accepted while reading the file
    #[arg(long, value_name = "BYTES", default_value_t = 1usize << 30)]
    pub(crate) max_artifact_bytes: usize,
}

#[derive(Parser)]
#[command(
    name = "holos verify-intervention",
    version = version_string(),
    about = "Verify a self-contained finite H1 intervention"
)]
pub(crate) struct VerifyInterventionCli {
    /// Intervention artifact
    pub(crate) artifact: PathBuf,

    /// Largest artifact accepted while reading the file
    #[arg(long, value_name = "BYTES", default_value_t = 1usize << 30)]
    pub(crate) max_artifact_bytes: usize,
}