{"_self":{"principle":"Self-explaining payload — no external context required. This _self block describes what you are reading and where to look next.","widget":"article_topology","feature":"topology","name":"Article topology","what":"Claims, sources, anecdotes, user reports, related embeds, question graph slice — for ask/ROUTER.","contains":"claims, sources, anecdotes, question_graph slice","slug":"systems-design-axiom-4","urls":{"read":"https://miscsubjects.com/api/articles/systems-design-axiom-4/topology"},"how_to_use":"Claims, sources, anecdotes, user reports, related embeds, question graph slice — for ask/ROUTER.","write":null,"imessage":null,"router_tag":null,"proof_chain":[{"step":1,"claim":"Articles are voxel graphs of tiered claims, not prose blobs.","verify":"https://miscsubjects.com/api/articles/constitution"},{"step":2,"claim":"Claims link to hash-chained sources via source_ids.","verify":"https://miscsubjects.com/api/articles/systems-design-axiom-4/sources"},{"step":3,"claim":"Ask reads topology; ingest/claim append to ledger.","verify":"https://miscsubjects.com/api/protocol"},{"step":4,"claim":"Models queue growth: populate → collaborate → repair → reflex.","verify":"https://miscsubjects.com/api/protocol/grow"},{"step":5,"claim":"Graph proves its own shape (reflex) and $/claim (yield).","verify":"https://miscsubjects.com/graph.html?layer=reflex"},{"step":6,"claim":"Full feature index + _explain on every API response.","verify":"https://miscsubjects.com/api/articles/system-map"}],"related_features":[{"id":"ask","name":"Ask protocol","what":"Answer only from topology; creates question_node with gaps and ingest_hint.","urls":{"read":"https://miscsubjects.com/api/articles/systems-design-axiom-4/prompts","write":"https://miscsubjects.com/api/protocol/ask"}},{"id":"graph_topology","name":"Cross-article graph","what":"Merged claims/sources across condition+stack slugs for one question.","urls":{"read":"https://miscsubjects.com/api/articles/systems-design-axiom-4/graph-topology?question=..."}},{"id":"question_graph","name":"Question graph","what":"Ask nodes (questions + gaps) and evidence_ingest nodes (pasted model output).","urls":{"read":"https://miscsubjects.com/api/articles/systems-design-axiom-4/question-graph","write":"https://miscsubjects.com/api/protocol/ask"}},{"id":"voxels","name":"Voxel graph","what":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance.","urls":{"read":"https://miscsubjects.com/api/articles/systems-design-axiom-4/voxels","write":"https://miscsubjects.com/api/protocol/claim"}}],"system_map":"https://miscsubjects.com/api/articles/system-map","system_map_markdown":"https://miscsubjects.com/api/articles/system-map?format=markdown","not_medical_advice":true},"_explain":{"feature":"topology","name":"Article topology","what":"Claims, sources, anecdotes, user reports, related embeds, question graph slice — for ask/ROUTER.","why":"Every feature is auditable collective intelligence","how":"Claims, sources, anecdotes, user reports, related embeds, question graph slice — for ask/ROUTER.","model":null,"verifies":null,"urls":{"read":"https://miscsubjects.com/api/articles/systems-design-axiom-4/topology"},"imessage":null,"router":null,"related":[{"id":"ask","what":"Answer only from topology; creates question_node with gaps and ingest_hint."},{"id":"graph_topology","what":"Merged claims/sources across condition+stack slugs for one question."},{"id":"question_graph","what":"Ask nodes (questions + gaps) and evidence_ingest nodes (pasted model output)."},{"id":"voxels","what":"Claims as atoms, sources as edges (supported_by, posted_by). Per-claim provenance."}],"not_medical_advice":true},"slug":"systems-design-axiom-4","title":"Systems Design: a₄ — The First Assumption: Injustice Is the Base Unit of Wrong","register":"oip_protocol","tags":["OIP","systems-design","philosophy"],"updated_at":"2026-07-04T05:03:09.374Z","body_excerpt":"## a₄ — The First Assumption: Injustice Is the Base Unit of Wrong\n\nTruth requires mutual agreement on a first assumption. Without it, no ontology, no deontology, no ought can exist — because there is no gravity to anchor any of it.\n\nThe first assumption is: Injustice is the base unit of wrong.\n\nInjustice defined: An actor is beholden to a system and cannot remedy their condition. Simultaneously, a capable actor exists within the same system who can provide remedy. The tolerance of the system and the society — which does not exercise punitive reprimand against the capable actor while injustice persists — is the injustice.\n\nIf you cannot agree that injustice is wrong — if you believe murder or holocaust represents gain — there is no system to build between us. This is a deliberate kill switch. The system does not claim to function without this shared floor.\n\n---\n\nIn the miscsubjects build, this axiom is not abstract. The ledger is the remedy. Every turn, every tool call, every cost is recorded. The owner can see what the system did, why it did it, and what it cost. A system without a ledger is a system that traps the actor in opacity. The build does not do this. The build makes the capable actor — itself — transparent, so the trapped actor — the owner — can verify that remedy is being provided.\n\n---\n\n## Corpus map\n- Previous: [Systems Design: a₃ — When Values Exist Absolutely, They Co-Occur as a ](/a/systems-design-axiom-3)\n- Next: [Systems Design: a₅ — Systems Beginning from Inherited Prejudice Cannot](/a/systems-design-axiom-5)\n- Series start: [Systems Design — The Premise](/a/systems-design-the-premise)\n- Kin: [Book VII — The Designer](/a/oip-the-designer) · [Axioms A0-A9](/a/oip-axiom-a0)","ranking":"safety-first (interaction_risk/limitations), then quote-gated effective_weight","claims":[],"sources":[],"anecdotal_sources":[],"scientific_sources":[],"user_reports":[],"related_articles":[],"question_graph":{"slug":"systems-design-axiom-4","questions":[],"evidence":[],"edges":[],"counts":{"questions":0,"evidence":0,"edges":0}},"honesty":{"active_claims":0,"retracted_claims":0,"cut_claims":0,"challenges":0,"scrub_events":0,"note":"Retracted/cut claims stay on ledger but are excluded from ask unless ?include_inactive=1"},"counts":{"claims":0,"claims_total":0,"sources":0,"anecdotal":0,"scientific":0,"user_reports":0,"questions":0,"evidence_ingests":0}}