docs(effects): Eval, State-from-global, fold rules Sync wiki/effects.md with src/effects.rs and charged §3/§5: closed set includes Div and Eval; run-time ! / run_block is Eval; reading a global is State; never-precomputed covers effects and run-time !. Cross-link pure.md and evaluation.md (compiler-only memoization).
new file: Normalization.md new file: effects.md new file: laws.md new file: symbolism.md