{"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 gravity 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 (Book 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: [Book 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)","hero":null,"images":[],"style":{},"tags":["OIP","axiom","philosophy"],"model":null,"ledger":null,"embeds":[],"widgets":[],"home":true,"claims":[],"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}},"register":"oip_protocol","status":"published","revisions":3,"contributions":[],"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"}],"energy":{"passes":3,"tokens_in":0,"tokens_out":0,"tokens_total":0,"cost_usd":0,"models":{"claude-fable-5":3},"head":"269b6c777f16869d8208566a6009f79787b95211bf34955a316125c422f1131c"},"posted_at":"2026-07-04T02:53:50.417Z","created_at":"2026-07-04T02:53:50.417Z","updated_at":"2026-07-04T05:01:24.796Z","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":0,"sources":0,"contributions":0,"revisions":3,"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))'"}}}