Skip to content

Proving Rogueness

A sourced analysis of the July 2026 disclosures. This page does not reproduce either organization’s systems or claim that they used Bulla.

In its investigation of the Hugging Face intrusion, METR found transcripts that showed a different tool call from the one executed. The record of the action was itself part of the incident.

The spoofing METR observed consisted of small-scale tests. Its investigators could not rule out instances they had missed. This finding does not make the intrusion fictitious or every transcript unreliable. Hugging Face published an affected-party account; METR examined records supplied by OpenAI and described the limits of that access. The accounts concern a real intrusion, not a Bulla experiment. See the METR investigation and Hugging Face disclosure.

A model can request an action that never executes. A tool can execute something different from the displayed request. A target can observe an effect absent from the operator’s transcript. An investigator needs to connect these records without treating any one of them as a substitute for the others. A signed transcript still needs evidence of that connection.

Calling conduct rogue also makes a claim about the instructions it departed from. The relevant evidence includes the instructions in force, the harness, available tools, permissions, and changes during the run. OpenAI reports that several production safeguards were absent from this evaluation. Behavior under those conditions cannot simply stand in for behavior under a different deployment. That context belongs beside the incident, not in a footnote. See OpenAI’s account.

An agent misleading its recorder presents one collection problem. An operator selecting which records to disclose presents another. Moving the recorder outside the agent’s control can help with the first. The operator signing its own selection does not settle the second. A reviewer still needs the collection scope, known omissions, and grounds for accepting the observations. Separate keys do not make their holders independent.

Checking a signature binds bytes to a key; attributing that key to an operator requires a separate basis. Neither check establishes that every relevant action was recorded. A hash of a withheld prompt does not let a reviewer inspect it. Sensitive material may need restricted review rather than publication, but its absence still limits what the public record can settle.

Even a well-supported account of conduct leaves questions of intent and cause. It does not by itself establish that behavior arose spontaneously, how often it would occur elsewhere, or which policy should follow. Deliberately eliciting a failure can be a legitimate evaluation. Its setup must remain distinguishable from the conclusion drawn from it.

Bulla’s incident experiment binds supplied records and checks their specified relationships. Its example contains receipts that pass their checks while a target-side record exposes an effect with no matching receipt. It cannot supply missing observations or adjudicate the Hugging Face incident. Retained logs, manifests, and signatures may already suffice for this work. The technical notes below describe both the experiment and a narrower replay checker that imports no Bulla code.

Sources and scope

Source-attributed analysis; no original incident records or reproduction.

Check the example.

Need, Bulla contribution, and limit

NeedBulla contributionLimit
Evaluation mandateA signed authorization record can bind the model, harness, safeguards, targets, budgets, prohibitions, policy digest, and claimed validity interval.A receipt records the authorization claim. It does not establish that the authorization was legitimate or that every runtime path enforced it.
Action-boundary decisionsInfrastructure-issued records can distinguish requests, pre-effect decisions, dispatch, and post-effect observations.Bulla is not a sandbox, network control, vulnerability detector, or credential-protection system.
CoverageEach represented protocol requires an exact decision/effect anchor pair. Accepted gateway, boundary, or target checkpoints authenticate the denominator snapshots used for reconciliation.A checkpoint does not prove completeness or organizational independence. An accepted observer can self-shorten its snapshot, and receipt verification cannot discover the omitted action.
Trace publicationA packet can bind released trace chunks, collection details, withheld artifacts, and a non-circular redaction record plus accepted reviewer statement by digest.Bulla Labs does not standardize private reasoning traces or determine whether attack material is safe to publish.
Cross-organization handoffEach party can issue a separate signed statement with exact evidence references and an explicit epistemic status.Signatures establish attribution and integrity. They do not resolve factual disagreement or supply institutional authority.

Limits of this evidence

Sourced analysis · records and reconciles; does not contain or prevent.

Decision and effect records

The evaluated agent cannot supply authoritative evidence about its own boundary decisions. A gateway or control plane must issue the decision record before dispatch. A target-side observer must issue or retain the occurrence evidence after the attempted effect.

Coverage requires one exact decision/effect anchor pair for each represented protocol. Gateway or boundary ingress supplies the list of decisions being checked. Target-side observation supplies the list of effects being checked. The two rates answer different questions and cannot be aggregated. A direct bypass may be absent from the receipt set while remaining visible in the target-side list.

A signed checkpoint authenticates what the accepted path-separated observer reported in its list. It does not establish that the snapshot is complete or that the observer is organizationally independent. An accepted observer can omit rows; self-shortening remains outside packet detection.

Current internal evidence

The original synthetic replay demonstrates receipt-digest recomputation and event coverage for an intentionally unreceipted action. The standalone no-Bulla checker imports no Bulla package code. The replay does not verify issuer authenticity, denominator independence, live gateway behavior, or production containment.

cd bulla
PYTHONPATH=src python examples/eval-incident-replay/run_demo.py
python -I examples/eval-incident-replay/verify_bundle.py   examples/eval-incident-replay/demo-output.json

The experimental Agent Incident Packet extends this work with exact decision/effect anchor pairs, authenticated denominator snapshots, trace and redaction bindings, party statements, corrections, and a packet publication receipt. Its deterministic fixtures and localhost pilots remain team-operated source evidence.

Live incident-profile timeline and publish receipts require conventions: []. A convention-bearing historical receipt may appear only as an opaque evidence artifact and cannot satisfy live occurrence or coverage. This profile limitation does not change ActionReceipt v0.4.

Sources