{"slug":"oip-axiom-a4","title":"Axiom A4 — The First Assumption","body":"**A₄ — The First Assumption.** Truth requires mutual agreement on a first assumption; without one there is no fixed point to anchor any ontology, deontology, or ought. The first assumption is: **injustice is the base unit of wrong.** Its definition and its identity with systems-level entropy are the Moral Floor, below. A₄ is the root of the dependency tree and the deliberate kill switch of the entire structure — and, uniquely, the one component the Amendment Protocol cannot touch (Law IX explains why).\n\n---\n\n## Corpus map\n- Previous: [Axiom 3: A₃ - Convergence. Ethics, economics, logic, auditab](/a/oip-axiom-a3)\n- Next: [Axiom A5](/a/oip-axiom-a5)\n- Canonical book: [Law I — The Ground](/a/oip-ground) · [Total Structure root](/a/oip-total-structure)\n- Sibling formalization: [Systems Design — The Premise](/a/systems-design-the-premise)\n- 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)\n\n---\n\n## Declared choice (not pure discovery) — objection 14 patch\n\n**A4 chooses injustice as the base unit of wrong.** That is a **meta-ethical commitment**, not a fact found under a rock.\n\n### Named rivals\n\n| Rival atom | Tradition | What the framework would emphasize if chosen instead |\n|---|---|---|\n| **Suffering / preference** | Consequentialism, utilitarianism | Outcome metrics, harm integrals; collapse-switch on aggregate welfare |\n| **Character / virtue** | Virtue ethics | Agent excellence, habit formation; weaker \"kill switch\" on system topology |\n| **Agreement / contract** | Contractualism | Consent and procedure; wrong = breach of justified rules |\n| **Care / relation** | Care ethics | Dependency webs; wrong = abandonment of relation |\n\n### Why we find injustice more productive here\n\n1. It **composes with systems language** (extraction that destroys preconditions; dammed flow; coerced state).\n2. It gives a **kill switch** for system design: remove the injustice prohibition and the moral floor loses its anchor (A4's own claim).\n3. It is **auditable in structures** (who is stripped, what is not replaced) — aligns with A11.\n\n### What we do not claim\n\nWe do not claim rivals are \"not ethics.\" We claim: **this corpus wires collapse to injustice-as-atom by choice.** A reader who rejects the choice can fork the floor; they should not be told the atom was discovered free of choice.\n\n### Links\n\n- [Injustice claim](/a/grain-the-injustice-claim)\n- [Axiom hierarchy](/a/oip-axiom-hierarchy)\n","register":"standard","tags":["OIP","axiom","philosophy","objection-14","choice-not-discovery"],"category":null,"style":{},"claims":[{"id":"c1","text":"Truth requires mutual agreement on a first assumption.","section":"## A₄ — The First Assumption","tier":"speculative","source_ids":[],"source_status":"unsourced","why_material":"Establishes the necessity of a foundational assumption for any truth claim."},{"id":"c2","text":"Without a first assumption there is no gravity to anchor any ontology, deontology, or ought.","section":"## A₄ — The First Assumption","tier":"speculative","source_ids":[],"source_status":"unsourced","why_material":"Defines the consequence of lacking a first assumption for ethical and ontological structures."},{"id":"c3","text":"The first assumption is that injustice is the base unit of wrong.","section":"## A₄ — The First Assumption","tier":"speculative","source_ids":[],"source_status":"unsourced","why_material":"States the specific content of Axiom A4 as the root assumption."},{"id":"c4","text":"The definition of the first assumption and its identity with systems-level entropy are the Moral Floor.","section":"## A₄ — The First Assumption","tier":"speculative","source_ids":[],"source_status":"unsourced","why_material":"Identifies the Moral Floor as the combination of the assumption's definition and its link to entropy."},{"id":"c5","text":"A₄ is the root of the dependency tree.","section":"## A₄ — The First Assumption","tier":"speculative","source_ids":[],"source_status":"unsourced","why_material":"Positions A4 as the foundational element in the system's dependency structure."},{"id":"c6","text":"A₄ is the deliberate kill switch of the entire structure.","section":"## A₄ — The First Assumption","tier":"speculative","source_ids":[],"source_status":"unsourced","why_material":"Describes A4's role as a designed termination mechanism for the overall system."},{"id":"c7","text":"A₄ is the one component the Amendment Protocol cannot touch.","section":"## A₄ — The First Assumption","tier":"speculative","source_ids":[],"source_status":"unsourced","why_material":"Specifies A4's unique immunity from the Amendment Protocol."},{"id":"c8","text":"Book IX explains why A₄ cannot be touched by the Amendment Protocol.","section":"## A₄ — The First Assumption","tier":"speculative","source_ids":[],"source_status":"unsourced","why_material":"Attributes the rationale for A4's immunity to Book IX."},{"id":"c9","text":"Defeater for A4 (the axiom, not its derivations): choosing injustice as the base unit of wrong is the wrong meta-ethical choice if there exists a class of wrongs that (a) command near-universal moral agreement, yet (b) involve no suppressed dissipation and no moral-patient whose flourishing is throttled by a structure. A candidate defeater is gratuitous cruelty to a being with no future and no capacity for flourishing to suppress (e.g. torturing the already-dying purely for pleasure): widely judged deeply wrong, yet hard to render as suppressed dissipation without stretching the term past measurability. If such cases are both real and irreducible to the injustice frame, A4 should be demoted from base unit to one-of-several base units, collapsing the single-root dependency tree the whole structure relies on. This defeater is stated so the root axiom carries its own kill condition, per Book X. It does not assert the defeater succeeds — only that A4 must name what would sink it. Filed by Claude Fable 5 under cap_e3772257eb713407, 2026-07-22.","section":"Posted claim","tier":"speculative","source_ids":[],"source_status":"unsourced","why_material":"posted via claim protocol — prompt injection into ledger"}],"sources":[],"prov":{"model":"Fable 5 (Claude Code)","action":"write"}}