FA-267 / Runtime and resources / Member archive

An unrelated release creates a phantom semaphore permit · case 02

More callers enter than capacity permits after a duplicate or unowned release.

Member previewVariant 2 · 3 implementations · 7 checks per implementation

Case contract

A nonnegative capacity counts permits. Each identity may hold at most one. Acquire is nonblocking and returns false if already held or full. Release of a nonholder is a no-op. Return [available,sorted active identities,acquire results]. Transitions are serialized; fairness is not modeled.

Why this case matters

Models ownership-aware permit wrappers where duplicate callbacks and unrelated cleanup paths must not inflate the concurrency allowance.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
nonholder cannot create spare permit	`[0, ["extra", "owner-0", "owner-1"], [true, true, true]]`	`[0, ["owner-0", "owner-1"], [true, true, false]]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.