Skip to main content
← Back to list
01Issue
BugShippedSwamp CLIPublic
Assigneeszack

Relationships

#3789 flaky: for_each_name_property_test lets the text around a sentinel equal the secret's value, so the untyped value search replaces both and the property fails by seed

Opened by zack · 10/22/2026· Shipped 10/22/2026

Problem

src/domain/workflows/for_each_name_property_test.ts, the property 'a sentinel and a recorded value of the same secret give the same name', generates the text before and after the sentinel and the secret value independently. When the surrounding text equals the secret value (fast-check found before='ply', secret='[REDACTED-SECRET-1]', after='', index=0) the typed path answers 'plysensitive-0' while the untyped path's value search replaces every occurrence and answers 'sensitive-0sensitive-0'. The property fails for that seed and passes otherwise, so verification runs fail at random.

Seen in a verify-build run on an unrelated change (swamp-club#3732, commit 30a85fc7752f5b6b99ba416c41e23319dfeeedba): seed -2136255155, counterexample ['ply','ply','',0]. Six local runs of the file pass.

Expected

The generator keeps the surrounding text from containing the secret value (filter the tuple, or draw the secret from an alphabet the plain text cannot produce), or the property states the untyped over-replacement explicitly. The over-replacement itself is the value search the typed-secrets design deletes at the release flip, so the fix belongs in the test.

02Bog Flow
✓OPEN✓TRIAGED✓IN PROGRESS✓SHIPPED+ 1 MOREASSIGNED+ 2 MOREREVIEW+ 6 MOREPR_LINKED+ 2 MORESESSION_SUMMARIZED

Shipped

10/22/2026, 9:00:18 PM

Click a lifecycle step above to view its details.

03Sludge Pulse
zack assigned zack10/22/2026, 7:47:54 PM

Sign in to post a ripple.