Skip to content

test(blackbox): revert optimistic properties for slots a failed command never touched - #672

Merged
JeroenSoeters merged 1 commit into
mainfrom
fix/revert-unmentioned-slot-properties
Aug 22, 2026
Merged

test(blackbox): revert optimistic properties for slots a failed command never touched#672
JeroenSoeters merged 1 commit into
mainfrom
fix/revert-unmentioned-slot-properties

Conversation

@JeroenSoeters

Copy link
Copy Markdown
Collaborator

Summary

Fixes the TestProperty_ConcurrentMultiStack failure observed on #659's CI rebase run: OrderedItems mismatch (inventory ["third","fourth"], model ["third"]) on a slot whose patch command failed elsewhere.

The unmentioned-slot revert in correctModelFromCommandOutcome only fired when a slot's State differed from its snapshot. But an optimistic property prediction (the patch merge applied to the model at submission) survives that gate: when the command fails on a sibling before reaching the slot, the agent never touches it, State stays Exists on both sides, and the model keeps expecting merged properties the agent never wrote.

Revert properties along with state whenever either differs from the snapshot. Reverse-order processing keeps stacked reverts convergent (the oldest unmentioned snapshot is the last agent-confirmed state), and slots corrected or superseded by newer events are skipped as before.

Regression test reproduces the exact shape and fails without the fix. This is the third pre-existing seed-dependent prediction gap surfaced by the strict suite this week (#658's assertions, then #670); like those, it is unrelated to #659's content but blocks its CI.

…nd never touched

A failed or canceled command's unmentioned slot was never touched by the
agent, but the unmentioned-slot revert only fired when the slot's State
differed from its snapshot. An optimistic property prediction — a patch
merge applied to the model at submission — therefore survived when the
command failed on a sibling before reaching the slot: the model expected
merged properties the agent never wrote, while State stayed Exists on
both sides.

Revert properties along with state whenever either differs from the
snapshot. Reverse-order processing keeps stacked reverts convergent: the
oldest unmentioned snapshot is the last agent-confirmed state, and slots
corrected or superseded by newer events are skipped as before.
@JeroenSoeters
JeroenSoeters merged commit 5567aca into main Aug 22, 2026
32 checks passed
@JeroenSoeters
JeroenSoeters deleted the fix/revert-unmentioned-slot-properties branch August 22, 2026 14:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant