---
slug: oip-axiom-a8-times-a5
title: A8 × A5 — Maker-System Identity Prosecuted Against Inherited Prejudice
canonical: https://miscsubjects.com/a/oip-axiom-a8-times-a5
---

<!-- hierarchy:nav -->
> **Path:** [OIP](https://miscsubjects.com/a/oip) › [Axioms](https://miscsubjects.com/a/oip-the-12-axioms) › **A8×A5**
> **Attack type answered:** keystone crack — A8 identity + A5 contamination never composed
> **A0 demand:** test the composition in print or a stranger will

# A8 × A5 — Maker-System Identity Prosecuted Against Inherited Prejudice

## §SELF — oip-axiom-a8-times-a5

**What this page is:** the explicit composition of [Axiom A8](/a/oip-axiom-a8) (maker-system identity) with [Axiom A5](/a/oip-axiom-a5) (inherited prejudice).
**What it explains:** if the system *is* the designer's externalized ought, designer bias propagates by identity, not accident — and what defense remains.
**Why read it:** this is the exact objection a good adversary files; silence is failure under A0.

### The composition

1. **A8:** When a system fully externalizes its designer's ought, system and designer are interoperable. Observing the system is observing the designer's bled judgment.
2. **A5:** Biased initial conditions contaminate terminal output. False assumptions about what is distinct or independent poison the result. Full-scope accounting is mandatory.
3. **Composition:** Under A8, the designer's biases are not bugs introduced *into* the system; they *are* the system's orientation insofar as the identity holds. Under A5, those biases propagate to everything downstream.

### Negation tests (A0)

| Negation | What would have to be true | Status |
|---|---|---|
| Identity without prejudice | A8 holds but designer bias does not enter the system | **Fails** if "ought" includes the designer's false assumptions |
| Prejudice without identity | A5 holds but only as accident, not identity | Weakens A8 to representation, not identity |
| Both hold without audit | Composition true but no external check | **Fails A11** — no receipt |

### Defense (honest, strengthens A8)

The identity claim is only as trustworthy as the **audit of the maker through the artifact**.

- The **ledger** (append-only invocations, receipts, denials) is the audit surface.
- The **objection log** is the intake for prejudice the maker did not see.
- **Capability scope, risk ceilings, and revoke** are mechanical bounds on damage while bias is being corrected.
- A8 does **not** claim the designer is clean. It claims the system is answerable *as* the designer — so the designer's contamination is **visible**, not hidden behind "the algorithm did it."

### What we refuse

We refuse the hand-wave that says "identity is poetic, not operational." If A8 is operational, A5 applies by identity. If A8 is only poetic, drop A8 from the load-bearing set.

### Links

- [A8 Maker-System Identity](/a/oip-axiom-a8)
- [A5 Inherited Prejudice](/a/oip-axiom-a5)
- [A0](/a/oip-axiom-a0)
- [The receipt is the proof](/a/what-is-receipt-is-proof)
- [Designer that is not God](/a/grain-the-designer-that-is-not-god) (deflationary register)
- [Count discipline](/a/oip-count-discipline)

## Machine surfaces

- This page: `https://miscsubjects.com/a/oip-axiom-a8-times-a5`
- JSON: `https://miscsubjects.com/api/articles/oip-axiom-a8-times-a5`

