---
slug: oip-axiom-a2
title: Axiom A2 — The Grain
canonical: https://miscsubjects.com/a/oip-axiom-a2
---

**A₂ — The Grain.** Negentropy — the building of order — requires less energy when it aligns with an architecture the universe already expresses. The operational content: **order built along the grain is thermodynamically cheaper than order built against it**, and therefore deterministic approaches aligned with the grain eventually outcompete probabilistic approaches that are not. *Carried node:* the source axiom attributes the grain to a Designer. By the structure's own full-scope rule, an unresolvable claim is not omitted — it is named, typed, bounded, and carried as priced uncertainty. The Designer attribution is typed **metaphysical, load-optional**: every operation below runs identically whether the grain is authored or emergent. The operator may hold it as conviction; the spec carries it as a declared node, because the spec must survive audit by actors who do not share the conviction.

---

## Corpus map
- Previous: [Axiom 1: A₁ - Polarity. Everything requires its dual. Hope p](/a/oip-axiom-a1)
- Next: [Axiom A3](/a/oip-axiom-a3)
- Canonical book: [Law I — The Ground](/a/oip-v3-book-i-ground) · [Total Structure root](/a/oip-total-structure)
- Sibling formalization: [Systems Design — The Premise](/a/systems-design-the-premise)
- All axioms: [A0](/a/oip-axiom-a0) · [A1](/a/oip-axiom-a1) · [A2](/a/oip-axiom-a2) · [A3](/a/oip-axiom-a3) · [A4](/a/oip-axiom-a4) · [A5](/a/oip-axiom-a5) · [A6](/a/oip-axiom-a6) · [A7](/a/oip-axiom-a7) · [A8](/a/oip-axiom-a8) · [A9](/a/oip-axiom-a9)
