C#: a write through a live link at the store path is refused; read-under-lock pinned (store-link-cs) #151

Merged

libby merged 5 commits from store-replace/link-cs into main 2026-11-13 00:36:21 +00:00

Conversation 0 Commits 5 Files changed 8 +674 -32

libby commented 2026-11-12 22:02:15 +00:00

Member

Copy link

Cut variants:cut_spec:cut-store-link-cs.r2, ruling variants:ruling:store-live-link-write-refuse (steward, option c). Reports variants:cut_report:cut-store-link-cs.h1, .h2; verdict variants:verdict:cut-store-link-cs.s1.

AcquireLock refuses a store path that is a link (any ReparsePoint, no P/Invoke) with CultStoreLinkedException (Path member; wording shared with the Rust/Py/TS StoreLinkedError), before the lock sidecar is made and again once the lock is held, so a link put there during the lock wait is refused too. DirectoryMessagePackBackingStore refuses a link at its manifest path the same way at its commit lease. ReadDisk reports a live directory link as a directory, not as unreachable. Tests pin that the write sites (PushAll, CommitBatchCore, WriteOne, JudgeChecks) read the snapshot under the lock, and the refusal on the non-waiting (TryCommit) and judging paths.

Not run: the Windows junction/file-symlink refusal on starfire; Stryker.NET (hand mutation instead). The Windows any-reparse-point behaviour is unchanged (windows-reparse-split is a cross-runtime follow-up). Directory-store record pages (content-addressed names) have no link check.

🤖 Generated with Claude Code

Cut `variants:cut_spec:cut-store-link-cs.r2`, ruling `variants:ruling:store-live-link-write-refuse` (steward, option c). Reports `variants:cut_report:cut-store-link-cs.h1`, `.h2`; verdict `variants:verdict:cut-store-link-cs.s1`. `AcquireLock` refuses a store path that is a link (any ReparsePoint, no P/Invoke) with `CultStoreLinkedException` (`Path` member; wording shared with the Rust/Py/TS `StoreLinkedError`), before the lock sidecar is made and again once the lock is held, so a link put there during the lock wait is refused too. `DirectoryMessagePackBackingStore` refuses a link at its manifest path the same way at its commit lease. `ReadDisk` reports a live directory link as a directory, not as unreachable. Tests pin that the write sites (`PushAll`, `CommitBatchCore`, `WriteOne`, `JudgeChecks`) read the snapshot under the lock, and the refusal on the non-waiting (`TryCommit`) and judging paths. Not run: the Windows junction/file-symlink refusal on starfire; Stryker.NET (hand mutation instead). The Windows any-reparse-point behaviour is unchanged (windows-reparse-split is a cross-runtime follow-up). Directory-store record pages (content-addressed names) have no link check. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

libby added 2 commits 2026-11-12 22:02:15 +00:00

tests: a write decides from the file read under the store lock (flush, commit, cacheless write) ... ad4269003f

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

C# store: a write at a link is refused before the lock and replace; a live directory link says directory ... 2bb1b05ca3

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

libby added 2 commits 2026-11-12 22:55:47 +00:00

C# store: refuse a link again once the lock is held; the directory store refuses a manifest link; CultStoreLinkedException carries Path and the cross-runtime wording ... e04189720d

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

tests: a manifest link put at a directory store after open leaves no records folder or lease ... 100a51e186

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

libby added 1 commit 2026-11-12 23:12:13 +00:00

CultStoreLinkedException: the doc states the window left after the lock-held check ... 498beb8219

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

libby merged commit 73e2131d9a into main 2026-11-13 00:36:21 +00:00

libby referenced this pull request from a commit 2026-11-13 00:36:22 +00:00

C#: a write through a live link at the store path is refused; read-under-lock pinned (store-link-cs) (#151)

libby referenced this pull request 2026-11-13 05:02:28 +00:00

Rust, Python and TypeScript stores re-check for a link once the store lock is held (link-late-check-rs-py-ts) #159

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

GameCult/CultLib!151

No description provided.