Spaces:
Running
Running
| # 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. | |