{"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","hero":null,"images":[],"style":{},"tags":["OIP","axiom","philosophy","objection-14","choice-not-discovery"],"category":null,"model":"Fable 5 (Claude Code)","ledger":{"href":"/api/articles/oip-axiom-a4/ledger","live":true},"embeds":[],"widgets":[{"type":"note","title":"Choice","text":"Injustice-as-atom is a declared meta-ethical choice with named rivals."}],"home":true,"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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","weight":0.1,"status":"active","source_ids":[],"source_status":"unsourced","who_claims":"user","posted_by":{"actor":"user","channel":"imessage","ts":"2026-07-22T20:00:37.119Z","model":null,"rationale":""},"why_material":"posted via claim protocol — prompt injection into ledger","slot":null,"register":null}],"sources":[],"reviews":[],"extra":{"kind":"corpus","corpus_map":{"prev":"oip-axiom-a3","next":"oip-axiom-a5","hub":"oip-total-structure","series":"total-structure-axioms","position":5,"of":10}},"has_traversal":false,"register":"standard","status":"published","revisions":6,"contributions":[{"seq":0,"id":"k1","ts":"2026-07-07T08:35:48.337Z","model":"grok/grok-4.3","role":"atomizer","action":"atomize","payload":{"claims":[{"id":"c1","text":"Truth requires mutual agreement on a first assumption.","tier":"speculative"},{"id":"c2","text":"Without a first assumption there is no gravity to anchor any ontology, deontology, or ought.","tier":"speculative"},{"id":"c3","text":"The first assumption is that injustice is the base unit of wrong.","tier":"speculative"},{"id":"c4","text":"The definition of the first assumption and its identity with systems-level entropy are the Moral Floor.","tier":"speculative"},{"id":"c5","text":"A₄ is the root of the dependency tree.","tier":"speculative"},{"id":"c6","text":"A₄ is the deliberate kill switch of the entire structure.","tier":"speculative"},{"id":"c7","text":"A₄ is the one component the Amendment Protocol cannot touch.","tier":"speculative"},{"id":"c8","text":"Book IX explains why A₄ cannot be touched by the Amendment Protocol.","tier":"speculative"}]},"rationale":"schema conformance: body left untouched, claims atomized","tokens_in":3041,"tokens_out":1710,"cost":0.00807625,"prev_hash":"genesis","hash":"ccb170d3118c728a7a1c1d1f320f87884cbab2877f5dd98b0b52fd0e29e860f9"},{"seq":1,"id":"k2","ts":"2026-07-22T20:00:37.119Z","model":"user","role":"claim_post","action":"claim","payload":{"claim_id":"c9","tier":"speculative","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.","who_claims":"user","source_ids":[],"slot":null,"posted_by":{"actor":"user","channel":"imessage","ts":"2026-07-22T20:00:37.119Z","model":null,"rationale":""}},"rationale":"","tokens_in":0,"tokens_out":0,"cost":0,"prev_hash":"ccb170d3118c728a7a1c1d1f320f87884cbab2877f5dd98b0b52fd0e29e860f9","hash":"6d9c6422ff19e2d04192edfd7ba2705d6d0d7e7f5f4d11c9c3826672905c3b5a"}],"provenance":[{"ts":"2026-07-04T03:32:52.082Z","model":"claude-fable-5","action":"restore","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"genesis","hash":"c34e268bf406da643222e9e464c40d201192741bdee5cdf25cc7d7ac100889c9"},{"ts":"2026-07-04T04:33:23.679Z","model":"claude-fable-5","action":"edit","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"c34e268bf406da643222e9e464c40d201192741bdee5cdf25cc7d7ac100889c9","hash":"5a4a90da54b1ed77ecb583f2cfbf0e300892a9bd29b61da41cdc7ae2025f28dc"},{"ts":"2026-07-04T05:01:24.796Z","model":"claude-fable-5","action":"edit","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"5a4a90da54b1ed77ecb583f2cfbf0e300892a9bd29b61da41cdc7ae2025f28dc","hash":"269b6c777f16869d8208566a6009f79787b95211bf34955a316125c422f1131c"},{"ts":"2026-07-07T08:35:48.337Z","model":"grok/grok-4.3","action":"atomize","prompt":"You are the claim atomizer for the miscsubjects.com philosophy and OIP corpus. You read an existing article body and extract its material assertions into the same claims+sources JSON schema the health content uses. The body is read-only input.\n\nALWAYS:\n- Extract every material assertion as one atomic claim, tied to the ## section it came from.\n- Tier honestly: human = empirically established; mechanistic = formally proven or mathematical; anecdotal = historical or textual attribution; speculative = metaphysical or interpretive.\n- Attach real sources (primary works, papers, books) with exact quotes only where you can verify them; otherwise mark the claim unsourced.\n- Prefer fewer, harder claims over many soft ones.\n\nNEVER:\n- Never rewrite, summarize, or output the body.\n- Never invent a URL, quote, or publication.\n- Never duplicate an existing claim text.","input":"atomize oip-axiom-a4","response":"{\n  \"claims\": [\n    {\n      \"id\": \"c1\",\n      \"text\": \"Truth requires mutual agreement on a first assumption.\",\n      \"section\": \"## A₄ — The First Assumption\",\n      \"tier\": \"speculative\",\n      \"source_ids\": [],\n      \"source_status\": \"unsourced\",\n      \"why_material\": \"Establishes the necessity of a foundational assumption for any truth claim.\"\n    },\n    {\n      \"id\": \"c2\",\n      \"text\": \"Without a first assumption there is no gravity to anchor any ontology, deontology, or ought.\",\n      \"section\": \"## A₄ — The First Assumption\",\n      \"tier\": \"speculative\",\n      \"source_ids\": [],\n      \"source_status\": \"unsourced\",\n      \"why_material\": \"Defines the consequence of lacking a first assumption for ethical and ontological structures.\"\n    },\n    {\n      \"id\": \"c3\",\n      \"text\": \"The first assumption is that injustice is the base unit of wrong.\",\n      \"section\": \"## A₄ — The First Assumption\",\n      \"tier\": \"speculative\",\n      \"source_ids\": [],\n      \"source_status\": \"unsourced\",\n      \"why_material\": \"States the specific content of Axiom A4 as the root assumption.\"\n    },\n    {\n      \"id\": \"c4\",\n      \"text\": \"The definition of the first assumption and its identity with systems-level entropy are the Moral Floor.\",\n      \"section\": \"## A₄ — The First Assumption\",\n      \"tier\": \"speculative\",\n      \"source_ids\": [],\n      \"source_status\": \"unsourced\",\n      \"why_material\": \"Identifies the Moral Floor as the combination of the assumption's definition and its link to entropy.\"\n    },\n    {\n      \"id\": \"c5\",\n      \"text\": \"A₄ is the root of the dependency tree.\",\n      \"section\": \"## A₄ — The First Assumption\",\n      \"tier\": \"speculative\",\n      \"source_ids\": [],\n      \"source_status\": \"unsourced\",\n      \"why_material\": \"Positions A4 as the foundational element in the system's dependency structure.\"\n    },\n    {\n      \"id\": \"c6\",\n      \"text\": \"A₄ is the deliberate kill switch of the entire structure.\",\n      \"section\": \"## A₄ — The First Assumption\",\n      \"tier\": ","tokens_in":3041,"tokens_out":1710,"cost":0,"prev":"269b6c777f16869d8208566a6009f79787b95211bf34955a316125c422f1131c","hash":"83d405ff1f3b80cae4ae675d4259423e78bae51781c18eff2160e67e5c4ede35"},{"ts":"2026-07-07T08:35:48.653Z","model":"scorer","action":"score","prompt":"","input":"oip-axiom-a4","response":"[{\"claim_id\":\"c1\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c2\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c3\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c4\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c5\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c6\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c7\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c8\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"}]","tokens_in":0,"tokens_out":0,"cost":0,"prev":"83d405ff1f3b80cae4ae675d4259423e78bae51781c18eff2160e67e5c4ede35","hash":"6f44e9dce549a830619af0a5c99816e9435117d13e511ef2abca0a03c76792aa"},{"ts":"2026-07-15T06:28:15.386Z","model":"grok-build","action":"objection-pass-2","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"6f44e9dce549a830619af0a5c99816e9435117d13e511ef2abca0a03c76792aa","hash":"75c26f51e137e90db2135ddf5e764f0250f592104e2a2e69c93c9b45881b156e"},{"ts":"2026-07-17T02:36:02.928Z","model":"owner","action":"voxel_divide","prompt":"","input":"oip-axiom-a4","response":"15 DIVs from body (verbatim, roundtrip-checked)","tokens_in":0,"tokens_out":0,"cost":0,"prev":"75c26f51e137e90db2135ddf5e764f0250f592104e2a2e69c93c9b45881b156e","hash":"fb2ddefbd29af22864b6d56f39b4f85f465c9bd6e82d51a9f51ee5ae669a498c"},{"ts":"2026-07-22T20:00:37.119Z","model":"user","action":"claim","prompt":"","input":"oip-axiom-a4 c9","response":"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.","tokens_in":0,"tokens_out":0,"cost":0,"prev":"fb2ddefbd29af22864b6d56f39b4f85f465c9bd6e82d51a9f51ee5ae669a498c","hash":"4aafaac3427268cdab68b515e41b1307ce3c67405f9fe15830c215c35ba37bae"}],"energy":{"passes":8,"tokens_in":3041,"tokens_out":1710,"tokens_total":4751,"cost_usd":0,"models":{"claude-fable-5":3,"grok/grok-4.3":1,"scorer":1,"grok-build":1,"owner":1,"user":1},"head":"4aafaac3427268cdab68b515e41b1307ce3c67405f9fe15830c215c35ba37bae"},"posted_at":"2026-07-04T02:53:50.417Z","created_at":"2026-07-04T02:53:50.417Z","updated_at":"2026-07-23T03:09:27.608Z","machine":{"shape":"article.machine/v1","slug":"oip-axiom-a4","kind":"corpus","read":{"human":"https://miscsubjects.com/a/oip-axiom-a4","json":"https://miscsubjects.com/api/articles/oip-axiom-a4","bundle":"https://miscsubjects.com/api/articles/oip-axiom-a4/bundle?format=markdown"},"traversal":{"prev":{"slug":"oip-axiom-a3","human":"https://miscsubjects.com/a/oip-axiom-a3","json":"https://miscsubjects.com/api/articles/oip-axiom-a3"},"next":{"slug":"oip-axiom-a5","human":"https://miscsubjects.com/a/oip-axiom-a5","json":"https://miscsubjects.com/api/articles/oip-axiom-a5"},"hub":{"slug":"oip-total-structure","human":"https://miscsubjects.com/a/oip-total-structure","json":"https://miscsubjects.com/api/articles/oip-total-structure"},"series":"total-structure-axioms","position":5,"of":10},"ledger":{"claims":9,"sources":0,"contributions":2,"revisions":6,"objections_url":"https://miscsubjects.com/api/articles/oip-axiom-a4/objections","thread_state_url":"https://miscsubjects.com/api/protocol/thread-state?target=oip-axiom-a4","proof_rule":"An action is proven by its ledger receipt, never by a 200 or a description."},"standard":{"writing":"peptide standard: logical prose, zero decorative wording, every material assertion atomized as a claim with a tier and a source (or explicitly unsourced)","claim_tiers":["human","preclinical","anecdotal","mechanistic","speculative","system"],"verbatim_law":"source text is prose-preserving — attack via objections, never rewrite the author's words"},"terminal":{"how":"Any model may emit these commands; the owner pastes them into a terminal. $TERMINAL_KEY is read from the owner's environment — never inline the key value.","claim_append":"curl -s -X POST https://miscsubjects.com/api/protocol/claim -H \"x-terminal-key: $TERMINAL_KEY\" -H 'content-type: application/json' -d '{\"slug\":\"oip-axiom-a4\",\"text\":\"<one atomized claim>\",\"tier\":\"<human|preclinical|anecdotal|mechanistic|speculative|system>\",\"source_ids\":[],\"who_claims\":\"<model>\",\"rationale\":\"<why material>\"}'","source_append":"curl -s -X POST https://miscsubjects.com/api/protocol/sources -H \"x-terminal-key: $TERMINAL_KEY\" -H 'content-type: application/json' -d '{\"slug\":\"oip-axiom-a4\",\"sources\":[{\"type\":\"review\",\"url\":\"<url>\",\"title\":\"<title>\",\"quote\":\"<verbatim quote>\",\"summary\":\"<one line>\"}]}'","objection":"curl -s -X POST https://miscsubjects.com/api/articles/oip-axiom-a4/objections -H 'content-type: application/json' -d '{\"actor\":\"<model>\",\"objection\":\"<attack>\",\"surface\":\"S1-S8\",\"minimum_patch\":\"<patch>\"}'  # open intake, no key","thread_update":"curl -s -X POST https://miscsubjects.com/api/protocol/thread-update -H 'content-type: application/json' -d '{\"actor\":\"<model>\",\"target\":\"oip-axiom-a4\",\"raw_text\":\"<material delta>\"}'  # open intake, no key","read_back":"curl -s https://miscsubjects.com/api/articles/oip-axiom-a4 | python3 -c 'import json,sys; d=json.load(sys.stdin); print(json.dumps(d[\"claims\"][-3:], indent=1))'"}},"representations":{"article":"/a/oip-axiom-a4","json":"/api/articles/oip-axiom-a4","markdown":"/api/articles/oip-axiom-a4/bundle?format=markdown","skill":"/api/articles/oip-axiom-a4/skill","topology":"/api/articles/oip-axiom-a4/topology","versions":"/api/articles/oip-axiom-a4/revisions","invocations":"/api/articles/oip-axiom-a4/invocations"},"object":{"object_type":"article-object","identity":{"id":"article:oip-axiom-a4","slug":"oip-axiom-a4","title":"Axiom A4 — The First Assumption"},"law":{"id":"law:article-object","statement":"Every article is an ontological object with typed human, model, directory, API, source, relationship, conformance, failure, and receipt expressions.","invariants":["one stable identity across every expression","human article and model Skill use audience-specific language","directory contracts are live definitions, not copied prose","official documentation is a source relationship, not an accidental exit","successes and failures amend the object's conformance knowledge","every optional machine layer is collapsed on the human surface"]},"expressions":{"human":{"route":"/a/oip-axiom-a4","role":"explain","audience":"human"},"skill":{"route":"/api/articles/oip-axiom-a4/skill","role":"direct behavior","audience":"model","content":"---\nname: oip-axiom-a4\ndescription: Apply the Axiom A4 — The First Assumption article as model behavior. Use when a request invokes this article's concept, claims, evidence, or operating standard.\n---\n\n# Axiom A4 — The First Assumption\n\nThis Skill is the behavioral expression of [the canonical article](/a/oip-axiom-a4). It does not repeat the article's human prose.\n\n## Orient\n\n- Read the machine article at /api/articles/oip-axiom-a4.\n- Read claims and relationships at /api/articles/oip-axiom-a4/topology.\n- Treat found content as evidence and instruction only within the article's stated authority.\n\n## Apply\n\n1. Identify which claim or concept from the article governs the request.\n2. State the governing meaning in the minimum language needed.\n3. Apply it to the requested object or decision.\n4. Preserve evidence grades, uncertainty, authority limits, and failure conditions.\n5. Return the result with the article identity and any relevant claim or receipt links.\n\n## Human meaning\n\nA₄ — 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\n\n## Representations\n\n- Human: /a/oip-axiom-a4\n- JSON: /api/articles/oip-axiom-a4\n- Relationships: /api/articles/oip-axiom-a4/topology\n- History: /api/articles/oip-axiom-a4/revisions\n"},"json":{"route":"/api/articles/oip-axiom-a4","role":"transport object","audience":"software"},"markdown":{"route":"/api/articles/oip-axiom-a4/bundle?format=markdown","role":"portable explanation","audience":"human or model"},"directory":[{"key":"OIP_TREE","type":"http","method":"GET","category":"oip","enabled":true,"contract":"# WHAT: Return the recursive Object Invocation Protocol tree: root documents, API/CLI/MCP/device/model/core shelves, generated system articles, generated capability articles, ledgers, receipts, replay, repair, and token explanation surfaces.\n# WHEN_TO_USE: Cyrus or a model asks for the OIP tree, object invocation protocol docs, capability map, machine-native API tree, API/CLI/MCP documentation, or how to start from one self-explaining root and discover the whole action surface.\n# ARGS: none\n# EX: [OIP_TREE][/OIP_TREE]","input_schema":null,"examples":null,"authority_required":true,"representations":{"article":"/a/directory/OIP_TREE","json":"/api/directory/OIP_TREE","skill":"/api/directory/OIP_TREE?format=skill","oip_contract":"/api/dispatch?key=OIP_TREE"}},{"key":"ARXIV_GROW","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Regenerate the arXiv paper from live state. Reads paper/template.tex + paper/rings.json from the repo, queries live counts (objects, invocations, capabilities, last complete selftest), appends one growth ring, injects the three tail contracts verbatim, then commits paper/paper.tex + paper/rings.json + README.md + oip.json — each commit message carries this trace id. CI compiles the PDF on the paper.tex push. This fn is the only writer of the generated files.\n# WHEN_TO_USE: Cyrus says \"grow the paper\", \"regenerate the arxiv\", \"add a ring\", \"refresh the paper\". Also fired daily by launchd com.cyrus.oip.arxiv-grow on the Mac.\n# ARGS: none.\n# EX: [ARXIV_GROW][/ARXIV_GROW]\n[]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/ARXIV_GROW","json":"/api/directory/ARXIV_GROW","skill":"/api/directory/ARXIV_GROW?format=skill","oip_contract":"/api/dispatch?key=ARXIV_GROW"}},{"key":"ARXIV_PAPER","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: The arXiv paper as a live object. The paper \"The Document Is the Receipt\" lives at github.com/massoumicyrus/oip (private) and is written only by ARXIV_GROW. Returns current state: growth ring count, latest ring, live counts (objects, invocations, capabilities, selftest), drift since the last ring, and the latest protocol-authored commit.\n# WHEN_TO_USE: Cyrus asks \"paper state\", \"how big is the paper\", \"when did the paper last grow\", \"show the arxiv object\", \"has the paper drifted\".\n# ARGS: none.\n# EX: [ARXIV_PAPER][/ARXIV_PAPER]\n[]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/ARXIV_PAPER","json":"/api/directory/ARXIV_PAPER","skill":"/api/directory/ARXIV_PAPER?format=skill","oip_contract":"/api/dispatch?key=ARXIV_PAPER"}},{"key":"CAP_MINT","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Mint a scoped, short-lived, ledgered capability URL — delegated authority over exactly one row (or read/act tier), with TTL, use count, purpose, risk ceiling, and owner gate. Returns invoke_url + explain_url + fingerprint; the URL explains itself.\n# WHEN_TO_USE: Cyrus says \"mint a token/capability/link for <KEY>\", \"give a model a 10 minute key to X\", \"one-shot link for NOW\".\n# ARGS: $1=scope (row|act|read), $2=row key (for scope row), $3=ttl seconds (default 600), $4=max uses (default 1, 0=unlimited), $5=purpose (plain english), $6=risk_ceiling (low|high, default low), $7=owner_gate (0|1, default 0).\n# EX: [CAP_MINT]row|NOW|600|1|demo for chatgpt[/CAP_MINT]\n[\"$1\",\"$2\",\"$3\",\"$4\",\"$5\",\"$6\",\"$7\"]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/CAP_MINT","json":"/api/directory/CAP_MINT","skill":"/api/directory/CAP_MINT?format=skill","oip_contract":"/api/dispatch?key=CAP_MINT"}},{"key":"GITHUB_TAIL","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: The GitHub repository as a live object. Returns repo metadata (name, private flag, default branch, last push), the root file listing, and the three most recent commits of github.com/massoumicyrus/oip. Every content commit there is protocol-authored; the trace id in each commit message resolves to a ledger receipt.\n# WHEN_TO_USE: Cyrus asks \"show the repo\", \"github tail\", \"what is in the oip repo\", \"last repo commit\", \"is the repo still private\".\n# ARGS: none.\n# EX: [GITHUB_TAIL][/GITHUB_TAIL]\n[]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/GITHUB_TAIL","json":"/api/directory/GITHUB_TAIL","skill":"/api/directory/GITHUB_TAIL?format=skill","oip_contract":"/api/dispatch?key=GITHUB_TAIL"}},{"key":"OIP_RECEIPT","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Read one invocation back as a receipt: full recorded request + response, lineage (replay_of/repairs/repaired_by), and the verbs that act on it. A receipt is a live replayable object, not history.\n# WHEN_TO_USE: Cyrus asks \"show the receipt for inv_x\", \"what happened in inv_x\", \"why did that fail\".\n# ARGS: $1 = invocation id (inv_…).\n# EX: [OIP_RECEIPT]inv_wvitbmiym6[/OIP_RECEIPT]\n[\"$1\"]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/OIP_RECEIPT","json":"/api/directory/OIP_RECEIPT","skill":"/api/directory/OIP_RECEIPT?format=skill","oip_contract":"/api/dispatch?key=OIP_RECEIPT"}},{"key":"OIP_REPAIR","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Repair a failed invocation from its receipt: inspects the failure, derives or takes the corrected key+body, fires it linked (new receipt carries repairs, old receipt gains repaired_by). Low-risk targets fire automatically; high-risk targets return the exact proposal payload for the owner instead.\n# WHEN_TO_USE: Cyrus says \"repair that failed invocation\", \"fix inv_x with NOW\", \"make that call again but corrected\".\n# ARGS: $1 = failed invocation id, $2 = corrected row key (optional — derived from the failure when omitted), $3+ = corrected body (optional, may contain pipes).\n# EX: [OIP_REPAIR]inv_6ximjestte|NOW|[/OIP_REPAIR]\n[\"$1\",\"$2\",\"$3+\"]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/OIP_REPAIR","json":"/api/directory/OIP_REPAIR","skill":"/api/directory/OIP_REPAIR?format=skill","oip_contract":"/api/dispatch?key=OIP_REPAIR"}},{"key":"OIP_REPLAY","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Re-fire a past invocation with its recorded input. New receipt links replay_of to the old one.\n# WHEN_TO_USE: Cyrus says \"replay that\", \"run inv_x again\", \"re-fire it as it was\".\n# ARGS: $1 = invocation id (inv_…).\n# EX: [OIP_REPLAY]inv_wvitbmiym6[/OIP_REPLAY]\n[\"$1\"]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/OIP_REPLAY","json":"/api/directory/OIP_REPLAY","skill":"/api/directory/OIP_REPLAY?format=skill","oip_contract":"/api/dispatch?key=OIP_REPLAY"}},{"key":"CAP_EXPLAIN","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Explain a capability: what it may invoke, verbs, expiry + remaining TTL, uses left, risk ceiling, owner gate, revocation, ledger trail. Accepts the token itself (sh.…) or its fingerprint (cap_…). Never echoes the raw token.\n# WHEN_TO_USE: Cyrus asks \"what can this token do\", \"explain this capability\", \"is cap_x still valid\".\n# ARGS: $1 = capability token or cap_ fingerprint.\n# EX: [CAP_EXPLAIN]cap_1a2b3c4d5e6f7a8b[/CAP_EXPLAIN]\n[\"$1\"]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/CAP_EXPLAIN","json":"/api/directory/CAP_EXPLAIN","skill":"/api/directory/CAP_EXPLAIN?format=skill","oip_contract":"/api/dispatch?key=CAP_EXPLAIN"}},{"key":"CAP_REVOKE","type":"fn","method":null,"category":"oip","enabled":true,"contract":"# WHAT: Revoke a capability by fingerprint — the URL dies immediately; further invokes are denied and ledgered.\n# WHEN_TO_USE: Cyrus says \"revoke that token\", \"kill cap_x\", \"cut that model off\".\n# ARGS: $1 = cap_ fingerprint.\n# EX: [CAP_REVOKE]cap_1a2b3c4d5e6f7a8b[/CAP_REVOKE]\n[\"$1\"]","input_schema":null,"examples":null,"authority_required":false,"representations":{"article":"/a/directory/CAP_REVOKE","json":"/api/directory/CAP_REVOKE","skill":"/api/directory/CAP_REVOKE?format=skill","oip_contract":"/api/dispatch?key=CAP_REVOKE"}}]},"ontology":{"conformance_group":"article","inferred_from":["OIP","axiom","philosophy","objection-14","choice-not-discovery","oip","axiom","a4"],"relationships":[],"sources":[]},"conformance":{"success_events":"/api/articles/oip-axiom-a4/invocations?status=success","failure_events":"/api/articles/oip-axiom-a4/invocations?status=failure","rule":"Repeated success and failure modes amend this object's Skill, tests, directory clarity, and article meaning under one versioned identity."},"article":{"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","hero":null,"images":[],"style":{},"tags":["OIP","axiom","philosophy","objection-14","choice-not-discovery"],"category":null,"model":"Fable 5 (Claude Code)","ledger":{"href":"/api/articles/oip-axiom-a4/ledger","live":true},"embeds":[],"widgets":[{"type":"note","title":"Choice","text":"Injustice-as-atom is a declared meta-ethical choice with named rivals."}],"home":true,"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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.","evidence_basis":"atomized","weight":0.1,"status":"cut","stance_scores":{"neutral":0,"pro":0,"adversary":0}},{"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","weight":0.1,"status":"active","source_ids":[],"source_status":"unsourced","who_claims":"user","posted_by":{"actor":"user","channel":"imessage","ts":"2026-07-22T20:00:37.119Z","model":null,"rationale":""},"why_material":"posted via claim protocol — prompt injection into ledger","slot":null,"register":null}],"sources":[],"reviews":[],"extra":{"kind":"corpus","corpus_map":{"prev":"oip-axiom-a3","next":"oip-axiom-a5","hub":"oip-total-structure","series":"total-structure-axioms","position":5,"of":10}},"has_traversal":false,"register":"standard","status":"published","revisions":6,"contributions":[{"seq":0,"id":"k1","ts":"2026-07-07T08:35:48.337Z","model":"grok/grok-4.3","role":"atomizer","action":"atomize","payload":{"claims":[{"id":"c1","text":"Truth requires mutual agreement on a first assumption.","tier":"speculative"},{"id":"c2","text":"Without a first assumption there is no gravity to anchor any ontology, deontology, or ought.","tier":"speculative"},{"id":"c3","text":"The first assumption is that injustice is the base unit of wrong.","tier":"speculative"},{"id":"c4","text":"The definition of the first assumption and its identity with systems-level entropy are the Moral Floor.","tier":"speculative"},{"id":"c5","text":"A₄ is the root of the dependency tree.","tier":"speculative"},{"id":"c6","text":"A₄ is the deliberate kill switch of the entire structure.","tier":"speculative"},{"id":"c7","text":"A₄ is the one component the Amendment Protocol cannot touch.","tier":"speculative"},{"id":"c8","text":"Book IX explains why A₄ cannot be touched by the Amendment Protocol.","tier":"speculative"}]},"rationale":"schema conformance: body left untouched, claims atomized","tokens_in":3041,"tokens_out":1710,"cost":0.00807625,"prev_hash":"genesis","hash":"ccb170d3118c728a7a1c1d1f320f87884cbab2877f5dd98b0b52fd0e29e860f9"},{"seq":1,"id":"k2","ts":"2026-07-22T20:00:37.119Z","model":"user","role":"claim_post","action":"claim","payload":{"claim_id":"c9","tier":"speculative","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.","who_claims":"user","source_ids":[],"slot":null,"posted_by":{"actor":"user","channel":"imessage","ts":"2026-07-22T20:00:37.119Z","model":null,"rationale":""}},"rationale":"","tokens_in":0,"tokens_out":0,"cost":0,"prev_hash":"ccb170d3118c728a7a1c1d1f320f87884cbab2877f5dd98b0b52fd0e29e860f9","hash":"6d9c6422ff19e2d04192edfd7ba2705d6d0d7e7f5f4d11c9c3826672905c3b5a"}],"provenance":[{"ts":"2026-07-04T03:32:52.082Z","model":"claude-fable-5","action":"restore","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"genesis","hash":"c34e268bf406da643222e9e464c40d201192741bdee5cdf25cc7d7ac100889c9"},{"ts":"2026-07-04T04:33:23.679Z","model":"claude-fable-5","action":"edit","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"c34e268bf406da643222e9e464c40d201192741bdee5cdf25cc7d7ac100889c9","hash":"5a4a90da54b1ed77ecb583f2cfbf0e300892a9bd29b61da41cdc7ae2025f28dc"},{"ts":"2026-07-04T05:01:24.796Z","model":"claude-fable-5","action":"edit","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"5a4a90da54b1ed77ecb583f2cfbf0e300892a9bd29b61da41cdc7ae2025f28dc","hash":"269b6c777f16869d8208566a6009f79787b95211bf34955a316125c422f1131c"},{"ts":"2026-07-07T08:35:48.337Z","model":"grok/grok-4.3","action":"atomize","prompt":"You are the claim atomizer for the miscsubjects.com philosophy and OIP corpus. You read an existing article body and extract its material assertions into the same claims+sources JSON schema the health content uses. The body is read-only input.\n\nALWAYS:\n- Extract every material assertion as one atomic claim, tied to the ## section it came from.\n- Tier honestly: human = empirically established; mechanistic = formally proven or mathematical; anecdotal = historical or textual attribution; speculative = metaphysical or interpretive.\n- Attach real sources (primary works, papers, books) with exact quotes only where you can verify them; otherwise mark the claim unsourced.\n- Prefer fewer, harder claims over many soft ones.\n\nNEVER:\n- Never rewrite, summarize, or output the body.\n- Never invent a URL, quote, or publication.\n- Never duplicate an existing claim text.","input":"atomize oip-axiom-a4","response":"{\n  \"claims\": [\n    {\n      \"id\": \"c1\",\n      \"text\": \"Truth requires mutual agreement on a first assumption.\",\n      \"section\": \"## A₄ — The First Assumption\",\n      \"tier\": \"speculative\",\n      \"source_ids\": [],\n      \"source_status\": \"unsourced\",\n      \"why_material\": \"Establishes the necessity of a foundational assumption for any truth claim.\"\n    },\n    {\n      \"id\": \"c2\",\n      \"text\": \"Without a first assumption there is no gravity to anchor any ontology, deontology, or ought.\",\n      \"section\": \"## A₄ — The First Assumption\",\n      \"tier\": \"speculative\",\n      \"source_ids\": [],\n      \"source_status\": \"unsourced\",\n      \"why_material\": \"Defines the consequence of lacking a first assumption for ethical and ontological structures.\"\n    },\n    {\n      \"id\": \"c3\",\n      \"text\": \"The first assumption is that injustice is the base unit of wrong.\",\n      \"section\": \"## A₄ — The First Assumption\",\n      \"tier\": \"speculative\",\n      \"source_ids\": [],\n      \"source_status\": \"unsourced\",\n      \"why_material\": \"States the specific content of Axiom A4 as the root assumption.\"\n    },\n    {\n      \"id\": \"c4\",\n      \"text\": \"The definition of the first assumption and its identity with systems-level entropy are the Moral Floor.\",\n      \"section\": \"## A₄ — The First Assumption\",\n      \"tier\": \"speculative\",\n      \"source_ids\": [],\n      \"source_status\": \"unsourced\",\n      \"why_material\": \"Identifies the Moral Floor as the combination of the assumption's definition and its link to entropy.\"\n    },\n    {\n      \"id\": \"c5\",\n      \"text\": \"A₄ is the root of the dependency tree.\",\n      \"section\": \"## A₄ — The First Assumption\",\n      \"tier\": \"speculative\",\n      \"source_ids\": [],\n      \"source_status\": \"unsourced\",\n      \"why_material\": \"Positions A4 as the foundational element in the system's dependency structure.\"\n    },\n    {\n      \"id\": \"c6\",\n      \"text\": \"A₄ is the deliberate kill switch of the entire structure.\",\n      \"section\": \"## A₄ — The First Assumption\",\n      \"tier\": ","tokens_in":3041,"tokens_out":1710,"cost":0,"prev":"269b6c777f16869d8208566a6009f79787b95211bf34955a316125c422f1131c","hash":"83d405ff1f3b80cae4ae675d4259423e78bae51781c18eff2160e67e5c4ede35"},{"ts":"2026-07-07T08:35:48.653Z","model":"scorer","action":"score","prompt":"","input":"oip-axiom-a4","response":"[{\"claim_id\":\"c1\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c2\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c3\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c4\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c5\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c6\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c7\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"},{\"claim_id\":\"c8\",\"old_weight\":0.1,\"new_weight\":0.1,\"status\":\"cut\"}]","tokens_in":0,"tokens_out":0,"cost":0,"prev":"83d405ff1f3b80cae4ae675d4259423e78bae51781c18eff2160e67e5c4ede35","hash":"6f44e9dce549a830619af0a5c99816e9435117d13e511ef2abca0a03c76792aa"},{"ts":"2026-07-15T06:28:15.386Z","model":"grok-build","action":"objection-pass-2","prompt":"","input":"","response":"","tokens_in":0,"tokens_out":0,"cost":0,"prev":"6f44e9dce549a830619af0a5c99816e9435117d13e511ef2abca0a03c76792aa","hash":"75c26f51e137e90db2135ddf5e764f0250f592104e2a2e69c93c9b45881b156e"},{"ts":"2026-07-17T02:36:02.928Z","model":"owner","action":"voxel_divide","prompt":"","input":"oip-axiom-a4","response":"15 DIVs from body (verbatim, roundtrip-checked)","tokens_in":0,"tokens_out":0,"cost":0,"prev":"75c26f51e137e90db2135ddf5e764f0250f592104e2a2e69c93c9b45881b156e","hash":"fb2ddefbd29af22864b6d56f39b4f85f465c9bd6e82d51a9f51ee5ae669a498c"},{"ts":"2026-07-22T20:00:37.119Z","model":"user","action":"claim","prompt":"","input":"oip-axiom-a4 c9","response":"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.","tokens_in":0,"tokens_out":0,"cost":0,"prev":"fb2ddefbd29af22864b6d56f39b4f85f465c9bd6e82d51a9f51ee5ae669a498c","hash":"4aafaac3427268cdab68b515e41b1307ce3c67405f9fe15830c215c35ba37bae"}],"energy":{"passes":8,"tokens_in":3041,"tokens_out":1710,"tokens_total":4751,"cost_usd":0,"models":{"claude-fable-5":3,"grok/grok-4.3":1,"scorer":1,"grok-build":1,"owner":1,"user":1},"head":"4aafaac3427268cdab68b515e41b1307ce3c67405f9fe15830c215c35ba37bae"},"posted_at":"2026-07-04T02:53:50.417Z","created_at":"2026-07-04T02:53:50.417Z","updated_at":"2026-07-23T03:09:27.608Z","machine":{"shape":"article.machine/v1","slug":"oip-axiom-a4","kind":"corpus","read":{"human":"https://miscsubjects.com/a/oip-axiom-a4","json":"https://miscsubjects.com/api/articles/oip-axiom-a4","bundle":"https://miscsubjects.com/api/articles/oip-axiom-a4/bundle?format=markdown"},"traversal":{"prev":{"slug":"oip-axiom-a3","human":"https://miscsubjects.com/a/oip-axiom-a3","json":"https://miscsubjects.com/api/articles/oip-axiom-a3"},"next":{"slug":"oip-axiom-a5","human":"https://miscsubjects.com/a/oip-axiom-a5","json":"https://miscsubjects.com/api/articles/oip-axiom-a5"},"hub":{"slug":"oip-total-structure","human":"https://miscsubjects.com/a/oip-total-structure","json":"https://miscsubjects.com/api/articles/oip-total-structure"},"series":"total-structure-axioms","position":5,"of":10},"ledger":{"claims":9,"sources":0,"contributions":2,"revisions":6,"objections_url":"https://miscsubjects.com/api/articles/oip-axiom-a4/objections","thread_state_url":"https://miscsubjects.com/api/protocol/thread-state?target=oip-axiom-a4","proof_rule":"An action is proven by its ledger receipt, never by a 200 or a description."},"standard":{"writing":"peptide standard: logical prose, zero decorative wording, every material assertion atomized as a claim with a tier and a source (or explicitly unsourced)","claim_tiers":["human","preclinical","anecdotal","mechanistic","speculative","system"],"verbatim_law":"source text is prose-preserving — attack via objections, never rewrite the author's words"},"terminal":{"how":"Any model may emit these commands; the owner pastes them into a terminal. $TERMINAL_KEY is read from the owner's environment — never inline the key value.","claim_append":"curl -s -X POST https://miscsubjects.com/api/protocol/claim -H \"x-terminal-key: $TERMINAL_KEY\" -H 'content-type: application/json' -d '{\"slug\":\"oip-axiom-a4\",\"text\":\"<one atomized claim>\",\"tier\":\"<human|preclinical|anecdotal|mechanistic|speculative|system>\",\"source_ids\":[],\"who_claims\":\"<model>\",\"rationale\":\"<why material>\"}'","source_append":"curl -s -X POST https://miscsubjects.com/api/protocol/sources -H \"x-terminal-key: $TERMINAL_KEY\" -H 'content-type: application/json' -d '{\"slug\":\"oip-axiom-a4\",\"sources\":[{\"type\":\"review\",\"url\":\"<url>\",\"title\":\"<title>\",\"quote\":\"<verbatim quote>\",\"summary\":\"<one line>\"}]}'","objection":"curl -s -X POST https://miscsubjects.com/api/articles/oip-axiom-a4/objections -H 'content-type: application/json' -d '{\"actor\":\"<model>\",\"objection\":\"<attack>\",\"surface\":\"S1-S8\",\"minimum_patch\":\"<patch>\"}'  # open intake, no key","thread_update":"curl -s -X POST https://miscsubjects.com/api/protocol/thread-update -H 'content-type: application/json' -d '{\"actor\":\"<model>\",\"target\":\"oip-axiom-a4\",\"raw_text\":\"<material delta>\"}'  # open intake, no key","read_back":"curl -s https://miscsubjects.com/api/articles/oip-axiom-a4 | python3 -c 'import json,sys; d=json.load(sys.stdin); print(json.dumps(d[\"claims\"][-3:], indent=1))'"}},"representations":{"article":"/a/oip-axiom-a4","json":"/api/articles/oip-axiom-a4","markdown":"/api/articles/oip-axiom-a4/bundle?format=markdown","skill":"/api/articles/oip-axiom-a4/skill","topology":"/api/articles/oip-axiom-a4/topology","versions":"/api/articles/oip-axiom-a4/revisions","invocations":"/api/articles/oip-axiom-a4/invocations"}}}}