docs/compiler.md

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.