Skip to content

Commit 39769a9

Browse files
committed
tla(composed): missed _proposed_ -> _partial_ ref (claude[bot] on PR #927)
claude[bot] review of b527dd5 flagged tla/composed/Composed.tla:93 as a missed reference. My earlier rg sweep was scoped to --include=*.go/*.clj/*.sh/*.md and did not match .tla files. $ grep -rn '2026_(05_29|06_02)_proposed_composed1' . -> 0 hits after this fix.
1 parent b527dd5 commit 39769a9

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

tla/composed/Composed.tla

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -90,7 +90,7 @@ VARIABLES
9090
\* observed-version check and the apply-time
9191
\* current-version cross-version-read fence
9292
\* (Composed-1a; see docs/design/
93-
\* 2026_05_29_proposed_composed1_cross_group_commit_guard.md
93+
\* 2026_05_29_partial_composed1_cross_group_commit_guard.md
9494
\* §4.4 and §5).
9595
opCount
9696

0 commit comments

Comments
 (0)