Module format 

Binary framing for .tflog and .tfproof. Matches tools/tf-types-ts/src/core/format.ts byte-for-byte via conformance/framing-vectors.yaml.

.tflog — append-only log of proof events. header = “TFLOG\x01\x00\x00” (8 bytes) frames = u32 BE length + canonical-JSON event bytes (repeat)

.tfproof — signed bundle container. header = “TFPROOF\x01” (8 bytes) body = u32 BE length + canonical-JSON bundle bytes trailer = u32 BE length + raw signature bytes

Structs

TfproofParts

Enums

FormatError

Constants

TFLOG_MAGIC

TFPROOF_MAGIC

Functions

append_tflog

read_tflog

read_tfproof

write_tflog

write_tfproof