Expand description
Wire format for persistence programs. Wire format for persistence programs.
A HOLOSPRG envelope binds the complete listed graph, its articulation
decomposition, one atlas per cyclic atom, and the composed H0 and H1
diagram. Verification does not call the persistence solver.
Structsยง
- Program
Artifact - Input binding, articulation program, and nested atom atlases.
- Program
Artifact Error - Failure while producing, decoding, or checking a program artifact.
- Program
Atom Artifact - One cyclic atom and its nested atlas.
- Program
Decode Limits - Decoder limits applied before program collections are allocated.