Skip to main content

holos_tda/
program_wire.rs

1//! Wire format for persistence programs.
2//!
3//! A `HOLOSPRG` envelope binds the complete listed graph, its articulation
4//! decomposition, one atlas per cyclic atom, and the composed H0 and H1
5//! diagram. Verification does not call the persistence solver.
6
7mod decode;
8mod encode;
9mod model;
10mod primitives;
11mod verification;
12
13#[cfg(test)]
14mod tests;
15
16pub use model::{ProgramArtifact, ProgramArtifactError, ProgramAtomArtifact, ProgramDecodeLimits};
17
18#[cfg(test)]
19use verification::diagram_bits_equal;
20
21const MAGIC: &[u8; 8] = b"HOLOSPRG";
22const WIRE_VERSION: u16 = 1;
23const F64_BITS_CODEC: u8 = 1;