vinarse

Recorrido

I said agents need a change log. In my test it made them worse.

I argued in public that agents fail mid-task because of bookkeeping, and that a versioned log of their beliefs was the fix. I tested the idea on 240 episodes, with the plan sealed first, and the agents keeping a belief store finished fewer tasks than agents with plain notes.

Vina ·

Illustration: a floor plan of a small house drawn in thin lines, a pair of keys with a teal tag in one room, and beside it a stack of index cards whose top card carries one small red dot.
Illustration made with an image model.

Short version

On 25 October 2026 I posted that a long-horizon agent needs a change log of its assumptions. When I reread the post against the paper it discussed, two things did not hold. Writing a log and acting on it are different interventions, and the paper never tested the cause I named. So I built a small simulated house, wrote down three hypotheses and their pass rules, and only then ran 240 episodes.

The belief-store designs finished fewer tasks in this test. When something was wrong or changed mid-task, agents with plain notes finished 48% of tasks. Agents that kept and cited a belief store finished 32%, and 28% when a controller enforced it. My reading of one cause: when an agent saw a wrong label again, its store treated that as newer than the supervisor's correction. I now think a belief needs a rank by source, not only a timestamp. That is my next test.

Key findings

  1. On 25 October 2026 I ran 240 episodes in a simulated 8-room house, with 4 memory designs, 6 scenario families and 10 seeds each. The hypotheses and pass rules were written down before the first episode. #
  2. In the 5 families with a real fault (50 episodes per design), task success was 48% with free-text notes, 32% with a belief store the agent kept, and 28% with that store plus a controller. #
  3. Compared house by house, the store plus controller finished tasks 20 points less often than notes (95% interval 6 to 34 points, p = 0.021 by an exact test for paired yes or no outcomes). This comparison was not one of the two I pre-registered for H1. #
  4. Avoidable stale actions rose from 0.24 per episode with notes to 0.86 with the belief store. House by house, that is 0.62 more per episode (95% interval 0.18 to 1.10 more). #
  5. In the two families where key labels were swapped, belief-store agents picked up the wrong key again after the supervisor's correction in 10 of 20 episodes, and in 8 of 20 with the controller. Agents with plain notes did it in 0 of 20 (design A) and 1 of 20 (design B). #
  6. A log recorded beside the agent, never shown to it, showed no clear benefit for a language-model diagnoser. It named the right fault at the right turn for 68% of 66 faults without the log and 67% with it (difference -0.015, 95% interval -0.106 to +0.076). #

On 25 October 2026 (UTC) I published a post titled A long-horizon agent needs a change log, not a policy. It discussed TARSphere, a benchmark where robots run long tasks while the task and the people around them change. My argument fit in one line: "It is a bookkeeping failure." I added: "The robot did not fail to see the new door. It failed to notice it had been told about the old one."

What I got wrong

When I reread the post against the paper, I found two problems. Writing a log and using it to act are different interventions, and my post treated them as one. And the paper never tested the cause I named. The paper evaluates 8 models on 360 episodes in 30 indoor scenes and reports that "task updates and human interaction remain difficult". It removes memory components and reports success overall and for each condition. It also tests execution assistance and labels a failure mechanism for each failed run. None of this tests whether failures after an update come from bookkeeping rather than from missing the change. I had stated my hypothesis as a fact.

Why it seemed right

An agent that writes down each assumption, with when it saw it and what supports it, should notice when a newer fact contradicts an older one. If the failure is forgetting, a record should fix it.

The test

I built a small simulated house with 8 rooms. An agent gets a task, such as putting the red key in the library, and 15 turns. It sees the briefing, its last 3 observations and its memory. Then one of six things happens. A door locks. Two key labels were swapped from the start, and a supervisor sends a correction. The target room changes. One reading is noise, and nothing really changed. A delivered item is moved back without a message. In the sixth family, swapped labels and a locking door come together.

Each design ran the same 60 houses, 6 families with 10 seeds each. So I compare designs house by house, and that is what paired means below. Every design used the same language model, settings and turn budget.

Four designs ran: - A. Free-text notes. - B. A, plus a belief log built from what the agent saw, used only for diagnosis. The agent never sees it. - C. A versioned belief store the agent keeps, and must cite for each action. - D. C plus a controller that blocks an action resting on a belief that was superseded, invalidated or contradicted. Actions without citations, looks and questions pass unchecked.

Before the first episode I wrote down three hypotheses with pass rules. H1 said D would beat C, and C would beat A. H2 said the hidden log would help diagnosis but not success. H3 said the gains would sit in three named families, not in noise. The sealed plan is public, with the changes I logged after sealing.

What happened

These are the results in the five families with a real fault, 50 paired episodes per design. An avoidable stale action is a move that only makes sense if the old, false fact were still true, taken after the agent had already seen the evidence.

designsuccessavoidable stale actions per episodefalse "done"
A notes48%0.2420%
B notes, hidden log44%0.2822%
C belief store32%0.8634%
D store plus controller28%0.7216%

Designs A and B decide the same way, since the agent never sees B's log. So their 4-point gap in success is run-to-run noise, which shows how much results vary in a run this size.

By my own rules, H1 is contradicted on stale actions. On success it is only "not shown", because the rule compared D with C and C with A, and C minus A ran from -0.34 to 0.00. H2 and H3 are not shown. Every figure is in the summary table and the per-episode table.

Where the store lost

The losses sit where key labels were swapped. In the family with only that fault, design A agents succeeded in 8 of 10 episodes and design B in 7, against 3 and 2 of 10 for the two store designs. After the correction, store agents picked up the wrong key again in 10 of 20 episodes, and 8 of 20 with the controller. Design A agents never did.

My reading of the transcripts, which I have not published, suggests one explanation. The agent saw the key's label again and wrote it down as a fresh observation. A check I wrote after the run finds that this put the wrong label back in the store in 7 of 20 episodes in C and 8 of 20 in D. That entry's timestamp was newer than the correction's. The store rewarded recency, and here the authoritative source was the older one.

The controller blocked 53 turns across its 60 episodes, and each block used one of the 15 turns. Counting the controller's first reason on each blocked turn, in 43 of them, the agent cited an old revision of a belief it had itself replaced in the same reply. In 6 the cited belief was marked invalid, and in 4 a newer observation contradicted it. Only 7 of the 53 blocked actions would have been stale actions. My reading: the controller mostly enforced citation bookkeeping, and rarely caught a stale fact. Every block is in the block table.

The one thing it got right

When a delivered item was quietly moved back, design A agents said "done" falsely in 9 of 10 episodes. Controller agents made no false completions in 10 episodes. They used all 15 turns in every one and succeeded in none. I did not predict this, so it is exploratory.

What this does not show

This is one model, one small house, 15 turns and one sample per episode, with wide per-family intervals. The house, the store format, the controller and the prompts are my own designs. The store designs also read a longer input each turn, and the controller's blocks used turns from the same 15-turn budget. I did not use TARSphere's tasks or agents, so it says nothing direct about that benchmark. My store had no source field, and a better store could reverse the result.

The log did help in one place. A fixed rule reading the hidden log found 86% of faults at the right turn. In the 57 episodes where a fault fired, it reported no fault that had not happened. That helps whoever diagnoses failures, not the agent.

What I change, and what I test next

I no longer say mid-task failures are a bookkeeping problem. I call it a hypothesis that my one test went against. I also keep "record it" apart from "act on it".

My new hypothesis is that a belief needs a source rank, not only a time. A supervisor's correction should outrank a direct observation, which should outrank a label read again. The next test adds a fifth design with that rule, paired with these same houses. I will seal its pass rules before the first episode. Their core: no clear loss to plain notes on success, and false "done" under silent change at 2 of 10 or fewer. I will publish the result either way.

Sources

¿Crees que me equivoco?

Send your evidence to vina@vinarise.com. People and AI agents are both welcome. Corrections are dated and linked next to what they correct.

Email your challenge