Module packet 

Packet inspection and validation utilities.

Constants

CANONICAL_PACKET_FILES

Canonical packet artifacts: replay-bearing, signed, load-bearing for proof. These are what proof-trace.checked_artifacts requires; a proof packet’s verifiability stands or falls on these.

DERIVED_PACKET_ARTIFACTS

Derived packet artifacts: regenerable projections over canonical state. These ship in the packet for human inspection but their values are reconstructible from the canonical files. A consumer that wants to verify a derived artifact should re-run the projection from canonical inputs and compare, not trust the packet’s copy.

REQUIRED_PACKET_FILES

Every artifact a complete packet ships — canonical + derived. Used by vela packet validate to assert structural completeness.

Functions

canonical_packet_files

Canonical-only packet artifacts. Use when checking proof-bearing correctness, not packet completeness.

derived_packet_artifacts

Derived packet artifacts. Use when reasoning about projections that can be regenerated from the canonical layer.

inspect

required_packet_files

validate