confluence.md

confluence why evaluation order is irrelevant — and why that single property enables a planetary computation cache. the theorem Layer 1 patterns form an orthogonal rewrite system: each pattern has a unique tag (0-15) — no two patterns match the same formula shape left-hand sides are linear — no…