MembershipTableTestRunner Methods

Sealed, unconditional, individually invocable membership table guarantees.

CleanupDefunctSiloEntries_RemovesOnlyStrictlyOldDeadRows(CancellationToken)

public Task CleanupDefunctSiloEntries_RemovesOnlyStrictlyOldDeadRows(CancellationToken cancellationToken = default(CancellationToken))

G25: eligible Dead rows compact at the same version or in atomic +1 batches; retained canonical fields are preserved.

Parameters

cancellationTokenCancellationToken

Clusters_SharedBackendWithOverlappingSiloAddresses_AreIsolated(CancellationToken)

View source

public Task Clusters_SharedBackendWithOverlappingSiloAddresses_AreIsolated(CancellationToken cancellationToken = default(CancellationToken))

G24: shared-backend overlapping identities are isolated by cluster, not service or address.

Parameters

cancellationTokenCancellationToken

ConcurrentCrossRowUpdates_SharedTableVersion_HaveExactlyOneWinner(CancellationToken)

View source

public Task ConcurrentCrossRowUpdates_SharedTableVersion_HaveExactlyOneWinner(CancellationToken cancellationToken = default(CancellationToken))

G20: two armed cross-row writes using one table candidate have exactly one winner.

Parameters

cancellationTokenCancellationToken

ConcurrentReadAll_ReturnsOnlyAtomicCommittedViews(CancellationToken)

View source

public Task ConcurrentReadAll_ReturnsOnlyAtomicCommittedViews(CancellationToken cancellationToken = default(CancellationToken))

G21: bounded simultaneous full reads match only complete before/after committed views.

Parameters

cancellationTokenCancellationToken

ConcurrentReadRow_ReturnsOnlyAtomicCommittedViews(CancellationToken)

View source

public Task ConcurrentReadRow_ReturnsOnlyAtomicCommittedViews(CancellationToken cancellationToken = default(CancellationToken))

G22: each changing, sentinel, or missing point read matches its own legal atomic view.

Parameters

cancellationTokenCancellationToken

DeleteMembershipTableEntries_DeletesOwnClusterAndPreservesOtherCluster(CancellationToken)

View source

public Task DeleteMembershipTableEntries_DeletesOwnClusterAndPreservesOtherCluster(CancellationToken cancellationToken = default(CancellationToken))

G26: native verification confirms deletion before owner disposal, while the other cluster remains intact.

Parameters

cancellationTokenCancellationToken

DeleteMembershipTableEntries_DifferentClusterId_NeverDeletesConfiguredCluster(CancellationToken)

View source

public Task DeleteMembershipTableEntries_DifferentClusterId_NeverDeletesConfiguredCluster(CancellationToken cancellationToken = default(CancellationToken))

G27: deleting a different populated cluster never deletes the configured cluster.

Parameters

cancellationTokenCancellationToken

Handles_IndependentlyConstructed_ShareCommittedBackingState(CancellationToken)

View source

public Task Handles_IndependentlyConstructed_ShareCommittedBackingState(CancellationToken cancellationToken = default(CancellationToken))

G09: distinct constructed handles share one committed backing table.

Parameters

cancellationTokenCancellationToken

InitializeMembershipTable_RepeatedWithData_PreservesCommittedState(CancellationToken)

View source

public Task InitializeMembershipTable_RepeatedWithData_PreservesCommittedState(CancellationToken cancellationToken = default(CancellationToken))

G23: repeated initialization on existing and new handles preserves nonempty state exactly.

Parameters

cancellationTokenCancellationToken

InsertRow_CurrentTableVersion_CommitsExactlyOneVersion(CancellationToken)

View source

public Task InsertRow_CurrentTableVersion_CommitsExactlyOneVersion(CancellationToken cancellationToken = default(CancellationToken))

G01: insertion and its version are one exact +1 commit, preserving the sentinel.

Parameters

cancellationTokenCancellationToken

InsertRow_DuplicateIdentity_ReturnsFalseWithoutSideEffects(CancellationToken)

View source

public Task InsertRow_DuplicateIdentity_ReturnsFalseWithoutSideEffects(CancellationToken cancellationToken = default(CancellationToken))

G13: duplicate identity with a current valid candidate is rejected atomically.

Parameters

cancellationTokenCancellationToken

InsertRow_MutatingInputAndSuspectList_DoesNotMutateStoredState(CancellationToken)

View source

public Task InsertRow_MutatingInputAndSuspectList_DoesNotMutateStoredState(CancellationToken cancellationToken = default(CancellationToken))

G17: inserted caller entry and nested suspect-list aliases cannot mutate storage.

Parameters

cancellationTokenCancellationToken

InsertRow_StaleTableToken_ReturnsFalseWithoutSideEffects(CancellationToken)

View source

public Task InsertRow_StaleTableToken_ReturnsFalseWithoutSideEffects(CancellationToken cancellationToken = default(CancellationToken))

G10: stale-table insertion has no side effects.

Parameters

cancellationTokenCancellationToken

Lifecycle_DeadRemainsTerminalAfterCompaction_SuccessorUsesNewGeneration(CancellationToken)

View source

public Task Lifecycle_DeadRemainsTerminalAfterCompaction_SuccessorUsesNewGeneration(CancellationToken cancellationToken = default(CancellationToken))

G05: legal lifecycle, terminal ledger, and a distinct successor generation.

Parameters

cancellationTokenCancellationToken

ReadRow_AndReadAll_AgreeForPresentAndAbsentIdentities(CancellationToken)

View source

public Task ReadRow_AndReadAll_AgreeForPresentAndAbsentIdentities(CancellationToken cancellationToken = default(CancellationToken))

G15: point/full reads agree for distinct generations, other endpoints, and absent identities.

Parameters

cancellationTokenCancellationToken

Reads_MaySkipCommittedVersions_WithoutSkippingHistoryValidation(CancellationToken)

View source

public Task Reads_MaySkipCommittedVersions_WithoutSkippingHistoryValidation(CancellationToken cancellationToken = default(CancellationToken))

G04: reads may skip two separately validated commits.

Parameters

cancellationTokenCancellationToken

Reads_MutatingReturnedEntryAndSuspectList_DoesNotMutateStoredState(CancellationToken)

View source

public Task Reads_MutatingReturnedEntryAndSuspectList_DoesNotMutateStoredState(CancellationToken cancellationToken = default(CancellationToken))

G19: caller mutations of point and full read results cannot mutate storage.

Parameters

cancellationTokenCancellationToken

Reads_RetainedObjectsRemainUnchangedAfterLaterWrites(CancellationToken)

View source

public Task Reads_RetainedObjectsRemainUnchangedAfterLaterWrites(CancellationToken cancellationToken = default(CancellationToken))

G16: the actual retained data, entries, and nested lists remain unchanged after later writes.

Parameters

cancellationTokenCancellationToken

Reads_SameVersion_PreservesRetainedCanonicalFields(CancellationToken)

View source

public Task Reads_SameVersion_PreservesRetainedCanonicalFields(CancellationToken cancellationToken = default(CancellationToken))

G03: equal versions retain canonical fields and non-Dead rows while liveness varies and Dead rows compact.

Parameters

cancellationTokenCancellationToken

UpdateIAmAlive_OwnerWrites_PreserveCanonicalFieldsAndTableVersion(CancellationToken)

View source

public Task UpdateIAmAlive_OwnerWrites_PreserveCanonicalFieldsAndTableVersion(CancellationToken cancellationToken = default(CancellationToken))

G06: owner liveness writes preserve canonical membership fields and the table version and ETag.

Parameters

cancellationTokenCancellationToken

UpdateRow_CurrentTokens_CommitsExactlyOneVersion(CancellationToken)

View source

public Task UpdateRow_CurrentTokens_CommitsExactlyOneVersion(CancellationToken cancellationToken = default(CancellationToken))

G02: a current-token forward update replaces exactly its intended row.

Parameters

cancellationTokenCancellationToken

UpdateRow_MissingIdentityWithRealToken_ReturnsFalseWithoutSideEffects(CancellationToken)

View source

public Task UpdateRow_MissingIdentityWithRealToken_ReturnsFalseWithoutSideEffects(CancellationToken cancellationToken = default(CancellationToken))

G14: a real row token cannot create a missing row through UpdateRow.

Parameters

cancellationTokenCancellationToken

UpdateRow_MutatingInputAndSuspectList_DoesNotMutateStoredState(CancellationToken)

View source

public Task UpdateRow_MutatingInputAndSuspectList_DoesNotMutateStoredState(CancellationToken cancellationToken = default(CancellationToken))

G18: updated caller entry and nested suspect-list aliases cannot mutate storage.

Parameters

cancellationTokenCancellationToken

UpdateRow_StaleSnapshotAfterSameRowCommit_ReturnsFalseWithoutSideEffects(CancellationToken)

View source

public Task UpdateRow_StaleSnapshotAfterSameRowCommit_ReturnsFalseWithoutSideEffects(CancellationToken cancellationToken = default(CancellationToken))

G12: a snapshot preceding a commit to the same row is rejected without partial effects.

Parameters

cancellationTokenCancellationToken

UpdateRow_StaleTableTokenWithCurrentRowToken_ReturnsFalseWithoutSideEffects(CancellationToken)

View source

public Task UpdateRow_StaleTableTokenWithCurrentRowToken_ReturnsFalseWithoutSideEffects(CancellationToken cancellationToken = default(CancellationToken))

G11: a stale table token is rejected even with freshly read target-row metadata.

Parameters

cancellationTokenCancellationToken

UpdateRow_TokensCapturedBeforeHeartbeat_CommitStatusChange(CancellationToken)

View source

public Task UpdateRow_TokensCapturedBeforeHeartbeat_CommitStatusChange(CancellationToken cancellationToken = default(CancellationToken))

G07: tokens captured before an owner heartbeat commit a canonical status change exactly once.

Parameters

cancellationTokenCancellationToken

UpdateRow_TokensCapturedBeforeHeartbeat_CommitVoteChange(CancellationToken)

View source

public Task UpdateRow_TokensCapturedBeforeHeartbeat_CommitVoteChange(CancellationToken cancellationToken = default(CancellationToken))

G08: tokens captured before an owner heartbeat commit a canonical suspect-vote change exactly once.

Parameters

cancellationTokenCancellationToken