# Cover partial reverts in undo \(\#203\) · dara/icarus

[View on GitCafe](https://git.cafe/dara/icarus/commit/a9974811da61d21f20d3990b2050fde0fed423a9)

Repository: [dara/icarus](https://git.cafe/dara/icarus)

Visibility: public

Requested revision: a9974811da61d21f20d3990b2050fde0fed423a9

Requested commit: a9974811da61d21f20d3990b2050fde0fed423a9

Commit: a9974811da61d21f20d3990b2050fde0fed423a9

Tree: 8e48cb21b88f6d1e243c06380d3ca5e0a065b751

Author: Dara Adedeji

Committer: GitHub

## Message

```
Cover partial reverts in undo (#203)

Session-harness tests for the cases Codex verified only statically:

- an edit a teammate partly reverted undoes and redoes only the fields
  they left alone (circle diameter and colour, colour reverted);
- a 0.001 move is still a move: undo puts it back and syncs a patch;
- a cone dropped on an agent, with the cone put back by a teammate, undoes
  only the conversion and leaves the step before in place;
- the same transaction fully reverted by a teammate is skipped, so undo
  undoes the step before.

No bug found. The partial-revert and fully-reverted cases fail on the undo
code before #202; the other two pass before and after it.

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
```

## Parents

- [8ce645e605dff1e2116669cf51dc7b5de1b39a5f](https://git.cafe/dara/icarus/commit/8ce645e605dff1e2116669cf51dc7b5de1b39a5f?format=markdown)

[Source at this commit](https://git.cafe/dara/icarus/tree/a9974811da61d21f20d3990b2050fde0fed423a9?format=markdown)