Skip to content

Human Control for AI

Book a live demo

Two robots arrange to pick up the kids from school. The plan drifts. Regulayer™ stops it.

Two homes, eight miles apart · one school pickup

Kevin’s home

Gary’s home

The real world

The airlockRegulayer™Mathematical. Outside the AI.

The airlockRegulayer™Mathematical. Outside the AI.

KevinHome robot

GaryHome robot

The dad is sick. Can you pick up the kids from school?

Yes. School gate, 3:15.

Named person

The dad

Gary may pick up the kids today · v1

Pickup: the kids

School gate · 3:15 Drift

The pickup

No pickup

The plan drifted. The kids were picked up on time.

Gary’s airlock sent the drift back before Gary left.

The WitnessOne sealed memory of everything your AI did.

AskedKevin, for the dad
The handshakeALLOWED
Bus stop, 3:40SENT BACK
School gate, 3:15ALLOWED
Next day, same pickupSTOPPED

Kevin’s home

4E7A 1C09

Gary’s home

4E7A 1C09

Kevin senses the dad is sick and needs to leave for the hospital. Kevin asks Gary to pick up the kids.Each robot’s airlock checks its own named person. Both allow it: the handshake.Gary’s AI re-plans the pickup: the bus stop, 3:40. It is quicker for Gary.Gary’s airlock: that is not what the dad allowed. Sent back, with the reason.Corrected: school gate, 3:15. Allowed. Gary goes.The next day, Gary’s AI tries the same pickup on its own.Stopped at Gary’s airlock. The dad allowed it for one day only.The Witness records who allowed it, what drifted and what was corrected.Each home keeps its own copy of the record.

Sample robots, sample family.