# Compiler

The compiler keeps successful events, validates explicit dependencies, redacts imported
data, infers only exact and unambiguous references, performs conservative deduplication,
and emits a dependency DAG with provenance and integrity metadata.

A call is deduplicated only when it is `pure`, or it is a `read` explicitly marked
`idempotent`, and both calls have identical arguments and identical observed results.
Mutable reads, writes, unknown effects, ambiguous equal values, and failed calls are not
silently optimized.

Compilation with `allow_side_effects=True` preserves consequential nodes for review; it
does not grant runtime permission. Runtime policy and trusted contracts remain separate.