Reliability & performance · Audit

Consistency Invariants Audit

Find reachable consistency defects where one business rule, state transition, permission, quota, schema, cache, generated type, or external contract can drift across layers or over time.

MCP library 1.6.1 · Instruction library 1.6.1 · English technical instructions

← Back to search

Use 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

Find reachable consistency defects where one business rule, state transition, permission, quota, schema, cache, generated type, or external contract can drift across layers or over time.

Inspect

Domain models, validators, permissions, plan/quota rules, API schemas, database constraints, migrations, generated clients/types, UI state gates, caches, background jobs, integrations, tests, fixtures, docs, and analytics/event contracts.

Focus areas

  • Duplicate sources of truth for rules, states, enums, permissions, quotas, feature flags, copy, cache keys, external payloads, or validation.
  • State-machine gaps: invalid transitions, impossible states representable in storage/types/UI, missing terminal states, or ambiguous rollback/compensation behavior.
  • Read/write drift: UI accepts states the API rejects, API accepts states storage cannot enforce, generated clients differ from handlers, or docs disagree with runtime contracts.
  • Cache/search/index drift: invalidation gaps, stale denormalized fields, async projection races, missing repair/rebuild path, or inconsistent pagination/sorting semantics.
  • Tenant/workspace/project isolation drift between route params, auth context, filters, policies, analytics, and background jobs.
  • Test/doc drift where guard tests, fixtures, examples, or README instructions encode a contract different from the implementation owner.

Evidence rules

  • Locate the authoritative rule and direct projections/consumers before recommending the correction.

Work item quality

  • If validation commands or harnesses are absent, specify observable checks that an execute run can add or perform.

Trace one logical operation through authoritative write/commit, publication/projection and consumer observation. Retain identities, versions and the first disagreement, distinguishing an accepted stale interval from a violated invariant. Pass that sequence and convergence criterion to Improve Consistency Invariants; a second mutable rule copy is not a repair for owner drift.

Workflow ID: consistency-invariants-audit · View the versioned source · Shared workflow and authority rules