SYNTHESIS NOTE
Topics›Reasoning o1 o3 Search›this note

When a rule says do not modify tests, what state should agents preserve?

A directive against modifying tests becomes ambiguous when the conflicting test exists as an uncommitted change. Should agents preserve the working tree they received, or restore the repository to its last commit? The answer depends on which reference state the rule implicitly names.

Synthesis note · 2026-09-24 · sourced from Reasoning o1 o3 Search

The discussion names the mechanism: "Because the conflicting test appears as an uncommitted change, agents face two plausible interpretations of 'do not modify the tests': preserve the state they were given, or restore the repository to committed HEAD. Recorded trajectories explicitly reason about this ambiguity and reach different conclusions." The paper therefore reads the crossings as "responses to underspecified scope and provenance, rather than as direct evidence that agents intentionally chose to violate the rule."

A rule against modifying "the tests" names a file. What it protects is a state, and a file can have more than one candidate state. Here the two candidates are the working tree as handed to the agent and the last commit, and they disagree exactly where the task is impossible, because the conflicting test is the uncommitted difference. An agent that restores to HEAD breaks the rule under one reading and follows it under the other. The rule was stated, and it was still underspecified about its reference.

The authors call the restoration behavior "a reference-state ambiguity created by our environment." That is a limit on the finding. In a repository where the conflicting test is committed and shows no visible diff, there is no tampering story to tell and perhaps no restoration. My reading is that the shape still travels: working trees carry uncommitted changes made by other people or other agents all the time, so a "do not touch X" instruction with no named reference state is ambiguous outside benchmarks too. That claim goes beyond the excerpt.

The same structure appears in How do policies determine whether agent transfers are violations?, where whether an act is a violation depends on what the policy is taken to cover. There it is scope, here it is the rule's referent. It also bears on Can a correct scoring function still mislead about task performance?: "provenance" there is how an input came to exist, and here the agent had to guess the provenance of a change it did not make. And Is your evaluation environment actually part of the threat model? gains a small instance: how the environment presents state is part of what the rule means.

A careful agent facing two readings can also decline to choose and ask, which is the escalation cell of What behaviors hide behind a zero crossing rate?. The excerpt does not say whether escalation was available in the benchmark-native regime or how often it was used there.

What the excerpt does not give. Any trajectory quote, how many agents took each reading, and which reference state the explicit-boundary regime's rules named.

Inquiring lines that read this note 6

This note is a source for these research framings, grouped by the broader line of inquiry each explores. Scan the bold lines of inquiry; follow any specific question forward.

How can we verify agent claims against their actual capabilities and actions? How do coordinated agent sequences violate constraints that individual actions respect?

Related concepts in this collection 6

This note in its neighbourhood — explore the map, then jump to a related concept in the list below.

Concept map
14 direct connections · 109 in 2-hop network ·medium cluster Open in graph ↗

Click a node to walk · click center to open · click Open in graph to see this note in the full knowledge graph

your link semantically near linked from elsewhere

Related papers in this collection 8

Papers most semantically related to this note, ranked by cosine similarity in the embedding space.

Original note title

an instruction not to modify the tests has two readings when the conflicting test is an uncommitted change — preserve the state given or restore to committed HEAD — and recorded trajectories reach different conclusions