1. TYPE + ENVELOPE, units that refuse to mix, the Mars Climate Orbiter bug as a type error. 2. PROVENANCE, a number that came out of a document, a web page or an email never reaches a motor. 3. GEOFENCE, the swept path rather than the endpoint, so a legal destination reached straight through the stairwell is refused. 4. INTERLOCKS, battery reserve, sensor freshness, clearance and human presence read live. 5. WORK ORDER, an independent checker holding its own copy of the order, because the doer is never the checker. 6. RATE + DEADMAN, every action carries a lease, and a brain that goes quiet halts the machine.