No bare built-in types

Types YAML manifest exists

Generic primitive underscore prefix

Custom types defined as NOT NULL

Default constraints documented

Reference tables seeded inline

Constraint predicate naming

No structural FK prefixes

PascalCase identifiers

No suffix for Number columns

Associative table naming

Composite PKs grow wider per level

No IDENTITY columns

Max-plus-one functions exist

Max-plus-one scoped to parent

ISNULL default to zero

FK references full parent PK

Predicate constraint names

No suffix for sequential identifiers

Function naming convention

Meta functions query sys.* views

Column existence check

Table existence check for new table

Constraint existence check

Index existence check

Type existence check

All 6 changes covered idempotently

Meta functions use scalar function pattern

Predicate constraint name on new table

Index naming convention

Required queue columns present

QueueStatus seeded inline

AppSettings table present

AppSettings dot-namespace

Next_ procedure uses READPAST

Next_ procedure uses UPDLOCK and ROWLOCK

Max attempts from AppSettings with COALESCE

Max attempts in WHERE clause

State classification functions

Subtype tables for email and SMS

Next_ procedure is _trx

DML error checking in Next_ procedure

_utx suffix for payment procedure

_trx suffix for reservation procedure

_utx validates @@TRANCOUNT > 0

_trx validates @@TRANCOUNT = 0

No TRY-CATCH for DML

GOTO exit labels present

Atomic @@ROWCOUNT + @@ERROR capture

Structured RAISERROR codes

Transaction name matches procedure

_trx calls _utx inside transaction

No SQL keyword verbs

DECLARE block present