Skip to contentThe claims register is public. 27 verified, 7 struck.

Answers can be corrected. Actions must be answered for.

An AI system produces two kinds of output. Answers, which a person reads, weighs, and can discard. And actions, which change the world the moment they execute. The costs are not symmetric.

Precedent

The liability has already been assigned. A chatbot only spoke. Agents act.

The Ledger

Moffatt v. Air Canada

2024 BCCRT 149

A British Columbia tribunal found the airline owed a duty of care for what its website chatbot told a passenger: a company must “take reasonable care to ensure their representations are accurate and not misleading” (para 26), and ordered compensation.

The tribunal characterised Air Canada's submission as suggesting, in effect, that the chatbot was responsible for its own actions, called that suggestion remarkable, and rejected it.

A different order of exposure

A chatbot only spoke. Agents act. The same principle, applied to systems that move money and delete records, is a different order of exposure.

The question that matters is not whether the model is good. It is what stands between a proposed action and its execution, and whether the organisation can show what stood there.

What this page argues

That the answer today is usually “nothing”. That regulators are already asking for evidence to the contrary. And that safety engineering settled the pattern for this problem decades ago.

What happens in the meantime

The instruments

The rules already ask for evidence at action time. None of them was written about agents.

Each of them, read plainly, asks the deploying organisation to show it was in control when its system acted. The common thread is an artefact: evidence of control at the moment of action, retained and producible.

The standards navigator

EU AI Act

logging and deployer oversight

Regulation (EU) 2024/1689. Article 12(1) requires that high-risk AI systems technically allow “the automatic recording of events (logs)” over the system’s lifetime, and Article 12(2) ties that logging to the deployer’s own operational monitoring.

Article 26 puts duties on the deployer directly: human oversight assigned to named people with competence and authority (Art. 26(2)), monitoring in operation with a duty to suspend where risk appears (Art. 26(5)), and retention of the automatically generated logs for at least six months (Art. 26(6)).

The timetable was amended by Regulation (EU) 2026/1744, in force 27 July 2026: high-risk obligations for standalone Annex III systems now apply from 2 December 2027, and for Annex I product-embedded systems from 2 August 2028.

Many summaries still cite the superseded 2026 dates. Read the amended Article 113.

DORA

responsibility does not outsource

Regulation (EU) 2022/2554, applying since 17 January 2025. Article 28(1)(a) is blunt: a financial entity using ICT services shall “at all times, remain fully responsible” for discharging its obligations under the regulation.

Whatever an AI vendor does or fails to do, the burden of showing control stays with the deploying institution, which is why Article 30(3) writes access, inspection and audit rights into every contract supporting a critical or important function.

Consumer Duty

outcomes, not intentions

FCA policy statement PS22/9 (27 July 2022) made Principle 12: firms must act to deliver good outcomes for retail consumers, structured as four outcomes — products and services, price and value, consumer understanding, consumer support.

The Duty has applied to open products since 31 July 2023 and to closed books since 31 July 2024, and the FCA’s follow-on supervisory work centres on outcomes monitoring. An outcome an AI produced is still an outcome the firm must stand behind.

SS1/23

model risk, including AI

The PRA’s supervisory statement on model risk management, effective 17 May 2024, current version published 23 April 2026. It sets five principles: model identification and risk classification; governance; development, implementation and use; independent validation; and risk mitigants.

It applies to UK-incorporated banks, building societies and PRA-designated investment firms holding internal model approval. Its sub-principles reach the use of AI and machine learning in modelling explicitly, and allocate responsibility for the framework to a named senior manager. It states supervisory expectations, not statute — but expectations a supervisor examines against.

Lineage

Safety engineering solved this shape of problem first. A simple, verified supervisor beside the complex thing, with the last word.

The papers behind this
2001

The Simplex architecture

Lui Sha’s “Using Simplicity to Control Complexity” made the canonical argument: reliability comes not from adding diversity but from a simple, reliable core that ensures the critical functions while a complex, higher-performance component does the ambitious work, and that reverts to the core when the complex component would cross a boundary.

Sha, IEEE Software, vol. 18, no. 4, July 2001, pp. 20–28

2017

DARPA Assured Autonomy

A national research programme built on the premise that design-time assurance alone does not hold for learning-enabled systems: its stated goal was continual assurance — safety established at design time, then monitored, updated and evaluated at operation time. Demonstrations ran on aircraft, ground vehicles and undersea vehicles.

DARPA, programme announced 16 August 2017; now complete

2020

Runtime assurance in the aerospace literature

Schierman and colleagues set out why the pattern exists: runtime assurance protects systems containing elements that cannot be completely tested to the required level of assurance at design time, and it layers, from inner-loop control up to mission planning.

Schierman, DeVore, Richards and Clark, “Runtime Assurance for Autonomous Aerospace Systems”, Journal of Guidance, Control, and Dynamics, vol. 43, no. 12, December 2020

2021

The pattern becomes a standard

ASTM F3269-21, “Standard Practice for Methods to Safely Bound Behavior of Aircraft Systems Containing Complex Functions Using Run-Time Assurance”, codifies the architecture for aircraft: a safety monitor, recovery functions, the unassured complex function, and a switch that transfers control when a boundary is reached. The 2021 revision extended the practice beyond unmanned aircraft.

ASTM International, Committee F38 on Unmanned Aircraft Systems, 2021

The tiers

Four tiers are occupied. The fifth is the one we build in.

Today's AI-governance tooling is real and worth having. It clusters at four levels of the problem, and none of the four stands at the moment before an action executes.

Watch it happen
Documentation and inventoryOccupied

Before deployment

Policies, model registers, attestations, in periodic review.

Misses Every individual action.

Input and output guardrailsOccupied

At the prompt

The text entering and leaving the model.

Misses The action the text leads to.

Model evaluationOccupied

Before release

Model behaviour on test sets, at a point in time.

Misses The case that arrives tomorrow.

Policy-as-code at the APIOccupied

At the interface

The caller’s permission to make a request.

Misses A reproducible verdict on the action’s substance, and signed proof of the check.

Control of the actionWhere we build

The instant before

The proposed action, in full, against the organisation’s rules.

After it Nothing comes after it. Admitted or refused, with a signed record either way.

By definition

The four occupied tiers act on paper, on words, on averages, or on permissions. DSIT's Introduction to AI assurance (12 February 2024, s. 4.2) describes conformity assessment as demonstrating requirements are met before a system is placed on the market.

The action that goes wrong happens after that, one case at a time.

Before, not after

Every action the platform governs is checked before it executes; an action that fails its checks does not execute.

Checks itself first

The checking is deterministic mathematical governance, and the kernel will not serve at all if its own checks cannot be discharged at start-up.

The record

The empty tier is control of the action itself: the proposed action examined in full, the instant before execution, admitted or refused, with a signed record either way.

Determinism

An opinion is not a verdict. A control you cannot replay is a control you cannot demonstrate.

An opinion

Oversight by sampling

One way to watch an agent is to ask another model whether the action looks right. That yields an opinion, often a good one. But it is a sample from a distribution: ask twice and you may get two different answers.

Ask again after an incident, in front of an auditor, and you cannot reproduce the judgement your system made at the time.

Its failure mode is a confession too. A sampling layer that times out must choose between blocking work and waving the action through, and throughput usually decides.

A verdict

Oversight by rule

A deterministic check is a different object. Same input, same verdict, every time. Run the check again next month, or next year, on the recorded input, and it answers the same: the judgement is reproducible, not merely asserted.

And the failure mode is stated in advance, in writing. Fail-open assumes the unexamined action is safe. We fail closed: when the governance layer cannot decide, the action is refused, not waved through.

The same proposalthree runs
proposal
payment.approve · £48,200 · limit £25,000
run 1
REFUSE — spend_limit_exceeded
run 2
REFUSE — spend_limit_exceeded
run 1000
REFUSE — spend_limit_exceeded
Illustrative. The property is on the register as CLM-0101.
When the kernel cannot decidefail closed
proposal
record.update · required check unavailable
checks
could not be discharged
verdict
REFUSE — fail_closed
record
signed · reason attached
Illustrative. The property is on the register as CLM-0102.

Admissible

Three things have to be admissible. The action, the evidence, and the company making the claim.

The verification report

The action

An action is admissible when it has been examined and admitted before it executes, or it is refused there, not flagged afterwards.

A refused action is recorded with the reason it was refused.

The Gate

The evidence

A record is admissible when it survives scrutiny it was not designed around.

Every governed action is sealed in a signed, tamper-evident record, and the evidence a period produces can be handed to a third party and verified with Admissible absent.

Verify a record

The company

This website is held to the same standard as the platform.

Demo Company Limited is registered in England and Wales, company number 00000000.

Every factual sentence about our capabilities is tied to a named verifier, and a sentence that fails verification is removed at build.

The current verification report

Start here

Watch the kernel decide

A proposed action goes in, a verdict comes out, and you read the record it leaves.