Module materialize 

Deterministic materialization.

The materializer is deliberately boring: it evaluates a bounded program, checks the reconstructed length, and checks the archival digest. It never searches, guesses, optimizes, or invokes external tools.

Modules

observation

Partial materialization / observation views (Phase 7.3).

seek

Seek-based partial materialization (Phase 8.2).

Structs

VerifyReport

The result of a deep verification.

Functions

decode_to_bytes

Parse and materialize in one step (no resolver).

decode_to_bytes_with

Parse and materialize in one step, resolving external objects through resolver.

materialize

Materialize the exact source bytes for a parsed descriptor.

materialize_with

Materialize the exact source bytes for a parsed descriptor, resolving any external object references through resolver.

verify

Deep verification: parse, materialize, and check the archival digest.