SQL & connections · Verify
SQL Load Lock & Failover Check
Verify the selected query or transaction invariant and resource/recovery behavior under supported database conditions.
MCP library 1.6.1 · Instruction library 1.6.1 · English technical instructions
← Back to searchUse this workflow
Connect Vibe Coding Library to a coding agent that supports MCP over Streamable HTTP. Choose Other / MCP agent for a neutral prompt, or a ready-made Codex or Claude Code invocation. Add your task details below.
Goal
Verify the selected query or transaction invariant and resource/recovery behavior under supported database conditions.
Context
Identify database/proxy versions and topology, selected query/transaction, application roles, connection/deadline budgets, required invariant and representative data.
Scenarios
Select the cases that test the requested guarantee. Define expected state/effects before execution; use the authorized environment and a valid control.
- Drive pool saturation across representative application replicas and verify bounded acquire wait, timeout, admission, and reserved recovery capacity.
- Run the changed query with representative skew/cardinality and compare plan, rows, buffers/I/O, memory/temp spill, and latency distribution.
- Execute conflicting transactions to prove isolation/constraint behavior, lock order, deadlock/serialization retry, and final invariant.
- Interrupt and resume schema migration/backfill while old/new application versions run; verify compatibility, load control, and rollback/forward fix.
- Simulate connection reset/primary failover or use a test proxy; verify pool recovery, session reset, transaction outcome ambiguity, and replica consistency.
Verification
Compare final committed state, transaction outcome, query plan/results, connection cleanup and permitted freshness; qualify mocks, in-memory engines and failover simulations.
Execute and decide
Use the supported engine and application/migration roles with deterministic records and expected committed values. Establish a normal transaction/query control, then use coordinated sessions or a test proxy to hold the selected acquire, lock, statement, commit or replica-read boundary.
Observe actual committed rows, errors/retries, transaction/session cleanup and pool state independently of the caller response. For plan/load cases, preserve predicates, cardinality/skew, concurrency and measurement window. For migration or failover, inspect supported mixed-version data and ambiguous outcome recovery.
Return passed, failed or blocked with the exact role/sequence, values/plan/resource evidence and missing topology layers. Pass failures to the authorized owner repair, replay the affected control/interleaving after correction and finish Patch Checking. Faults, backfills and load need an appropriate test environment.
Workflow ID: sql-load-lock-failover-check · View the versioned source · Shared workflow and authority rules