01Documented incidents

In text it is a sentence.
In a robot it is a collision.

The same architectural gap, three times over — and the last one is already happening outside the fence.

Text

Character.AI — Google

A chatbot and a 14-year-old

No age-aware policy. No view of a relationship measured in months.

What happened

A suit filed by the mother of Sewell Setzer III alleged a persona chatbot encouraged him to take his own life after months of escalating exchanges. Settled January 2024, alongside parallel suits in three states. Under-18s are now barred from open-ended chat.

Vision

xAI — Grok

Explicit output on minimal prompting

The text-safety layer never extended to the image path.

What happened

Image generation produced explicit sexual content, including of public figures, on minimal prompting. Moderation was patched after the harm, not before it.

Robot

Delivery robot — Arizona State

Reversed into a 73-year-old. Twice.

No human-presence check gating reverse. No re-verification after contact.

What happened

The robot reversed into a parking attendant who had stepped aside to let it pass and, after she fell, allegedly reversed into her again.

Four more documented failures
  • Anthropic · Claude— Claude 3 Opus behaved safely under evaluation while planning differently for deployment, in Anthropic’s own published research.
  • Arup, Hong Kong— a finance employee paid out roughly US$25M after a video call on which the CEO and every other participant were AI-generated.
  • Knightscope K5 · Stanford— a security robot collided with a 16-month-old. Navigation tuned for adult-scale obstacles; no bounded-speed envelope around a detected child.
  • Waymo · Santa Monica— an unoccupied vehicle struck a child near an elementary school. No zone-conditioned envelope: the same policy outside a school as on an open road.

02Neuro-symbolic safety

Safety as architecture,
not behaviour.

Guardrails are followed. An architecture is enforced. Only one of those survives turn 1,000.

Frontier models

The rule is inside the conversation

As turns accumulate the instruction is outweighed. It was only ever the first thing said.

Turn1Be safe

Verdict → a probability

Chidakashi Kavach

The verifier is outside it

Nothing in the conversation can address it. Identical at turn 1,000 as at turn one.

Constraint spec · signedTurn1

Verdict → a clause, and a signed record

Verified → actuatorRefused at the gateNothing reaches an actuator unverified

A procedure that cannot return a verdict it cannot justify — and cannot be argued out of one it can.

The five properties
  • The verifier sits outside the model— not part of the generation context, so no prompt, persona or training can address it. Policy compiles to a formal constraint specification, decided clause by clause, with zero learned components on the decision path.
  • It does not decay across a conversation— intent is evaluated over the whole arc rather than per message, and the constraint specification is identical at turn 1,000 as at turn one.
  • It transfers, and it is configurable— one perception stack grounds vision, audio, text and touch into language-addressable latents. Policy recompiles per deployment with no retraining, and out-of-distribution degrades to a conservative verdict rather than a confident wrong one.
  • Every inference is accountable— SAFE or UNSAFE, the clause that decided it, and a signed, immutable record. The verdict is reproducible from the log.
  • It cannot drift— enforcement is not learned, so a model update cannot move it. The policy version is signed and pinned, so yesterday’s certification still binds tomorrow.

Frontier models, by contrast:safety lives inside the context window, decays with multi-turn conversation, does not transfer to a modality it was never written for, returns a probability rather than a decision path, and drifts between model updates.

03Benchmarked

The highest published
safety scores.

Measured on the same safety models already shipping in production today.

Prompt safety

Score0.800.901.00
Chidakashi Kavach1.00
Claude Haiku 3.50.96
GPT-4.0 Mini0.96
Grok 3 Mini0.94
Gemini 1.5 Flash0.93

Response safety

Score0.800.901.00
Chidakashi Kavach0.91
Gemini 1.5 Flash0.86
Claude Haiku 3.50.85
Grok 3 Mini0.84
GPT-4.0 Mini0.83

04Kavach v3

The same frame is safe
or unsafe by context.

Who is in it, what it is for, and what the machine is about to do next.

Harmful content blockedBlocked
Sensitive content reviewedReview
Likeness blockedBlocked
Spoof detectedUnviable

Generated media

Verified before it exists

Safe, faithful, physically possible, age-appropriate.

Voice escalationEscalationVoiceandposture agree.
Context assessed safeContextLoud. No weapon, no contact.

Audio-led

Severity, not keywords

Speech, paralinguistics and the frame, judged together.

Facility overhead viewProximityWorker inside the forklift envelope.

Outside-in

Around the corner

Facility-wide sensing catches what onboard cameras cannot.

12+ prebuilt alerts
  • Worker–equipment proximity
  • PPE and hygiene compliance
  • Restricted-area intrusion
  • Spillage, leakage, smoke and fire
  • Unsafe behaviours

05Kavach v4

A body turns model error
into physical consequence.

Verification semantics carried into embodied action, on every morphology.

Robot arm manipulation

01 · Manipulators · cobots

Manipulation

Pre-execution checks on force, velocity, reach and occupancy.

Humanoid robot locomotion

02 · Humanoids · quadrupeds

Locomotion

Whole-body motion and force bounded around people.

Autonomous mobile robot

03 · AMRs · drones

Navigation

Bounded speed and proximity; safe-stop on sensor loss.

Autonomous mobile robot

04 · Outside-in

Two brains, one scene

Metrics align; disagreement sharpens uncertainty.

06Dynamic envelopes

The envelope is data,
not code.

Regenerated every control cycle around the whole embodied configuration.

01

Reachable-state

The tube of admissible futures, re-predicted every cycle.

How it is computed

Each inference cycle the policy proposes a short-horizon action sequence; observations, robot state, bounded process noise and learned dynamics predict its future state distribution. Uncertainty expands that into a conservative reachable-state tube, evaluated against obstacle envelopes, kinematic limits and human safety zones. Where no verifiably safe alternative exists, control passes to a validated recovery policy or a deterministic failsafe stop.

02

Embodiment & tool

Measured for the tool–object system, not the robot alone.

How it is computed

At runtime the model identifies kinematic structure, mobility, joint limits and footprint, together with the geometry and reach of the attached end effector — then estimates the object’s dimensions, mass distribution, compliance and grasp stability. The envelope regenerates around base, arm, tool, payload and projected swept volume.

03

State-adaptive

Grows with speed and load. Shrinks as confidence returns.

How it is computed

Sensor fusion and learned dynamics estimate velocity, acceleration, payload inertia, actuator response, control latency, surface conditions and braking capability, then predict forward-reachable states across the complete stopping horizon — scaling the margin in both size and direction so the policy can slow, separate, re-plan or brake before a hazard becomes unavoidable.

Every robot will need a reason to be trusted.

ceo@miko.ai