dsh-logicprobe 0.4.0 → 0.5.1

package/src/data-engine.ts

@@ -0,0 +1,1001 @@
+import { createHash } from 'node:crypto'
+import type { CheckResult, Finding } from './engine.js'
+
+export const DATA_ENGINE_SCHEMA_VERSION = 1
+
+export type DataValue = number | string | boolean | null
+
+export type DataType =
+  | 'string'
+  | 'integer'
+  | 'number'
+  | 'boolean'
+  | 'uuid'
+  | 'date'
+  | 'datetime'
+  | 'timestamp'
+  | 'json'
+  | 'enum'
+  | 'array'
+  | 'object'
+  | 'binary'
+
+export interface FieldSpec {
+  name: string
+  type: DataType | string
+  required?: boolean
+  unique?: boolean
+  nullable?: boolean
+  default?: DataValue
+  min?: number
+  max?: number
+  minLength?: number
+  maxLength?: number
+  pattern?: string
+  enum?: DataValue[]
+  ref?: string
+  items?: FieldSpec
+  monotonic?: 'inc' | 'dec'
+}
+
+export interface EntitySpec {
+  name: string
+  fields: FieldSpec[]
+  primaryKey?: string[]
+  uniqueKeys?: string[][]
+  indexes?: string[][]
+}
+
+export interface RelationshipSpec {
+  name?: string
+  fromEntity: string
+  fromField: string
+  toEntity: string
+  toField?: string
+  onDelete?: 'cascade' | 'restrict' | 'set-null' | 'no-action'
+}
+
+export type DataInvariantSpec =
+  | { id: string; description: string; kind: 'field-required'; entity: string; field: string }
+  | { id: string; description: string; kind: 'unique'; entity: string; fields: string[] }
+  | { id: string; description: string; kind: 'referential-integrity'; entity: string; field: string; refEntity: string; refField?: string }
+  | { id: string; description: string; kind: 'range'; entity: string; field: string; min?: number; max?: number }
+  | { id: string; description: string; kind: 'count-equal'; sourceEntity: string; targetEntity: string }
+  | { id: string; description: string; kind: 'field-equal'; sourceEntity: string; sourceField: string; targetEntity: string; targetField: string }
+  | { id: string; description: string; kind: 'no-orphan'; entity: string; field: string; refEntity: string }
+  | { id: string; description: string; kind: 'idempotent-copy'; sourceEntity: string; targetEntity: string }
+  | { id: string; description: string; kind: 'idempotent-migration'; from: string; to: string }
+  | { id: string; description: string; kind: 'monotonic'; entity: string; field: string; direction: 'inc' | 'dec' }
+  | { id: string; description: string; kind: 'sequence'; steps: string[] }
+  | { id: string; description: string; kind: 'leads-to'; entity: string; field: string; from: DataValue; to: DataValue }
+  | { id: string; description: string; kind: 'atomicity'; steps: string[] }
+
+export interface DataModelV1 {
+  schemaVersion: 1
+  entities: EntitySpec[]
+  relationships?: RelationshipSpec[]
+  invariants?: DataInvariantSpec[]
+  boundaryChecks?: Array<{
+    entity: string
+    field: string
+    values?: DataValue[]
+  }>
+}
+
+export interface CopyPairSpec {
+  id: string
+  sourceEntity: string
+  targetEntity: string
+  mapping: Record<string, string>
+}
+
+export interface BackupPairSpec {
+  id: string
+  sourceEntity: string
+  targetEntity: string
+  mapping: Record<string, string>
+}
+
+export interface MigrationMappingSpec {
+  id?: string
+  from: string
+  to: string
+  transform?: 'copy' | 'rename' | 'split' | 'merge' | 'drop' | 'manual'
+  note?: string
+}
+
+export interface DataVerificationOptions {
+  beforeModel?: unknown
+  fieldMapping?: Record<string, string>
+  copyPairs?: CopyPairSpec[]
+  migrationMappings?: MigrationMappingSpec[]
+  backupPairs?: BackupPairSpec[]
+}
+
+export interface DataComparisonSummary {
+  beforeModelHash: string
+  afterModelHash: string
+  fieldMapping: Record<string, string>
+  beforeEntities: number
+  beforeFields: number
+  afterEntities: number
+  afterFields: number
+  addedEntities: string[]
+  removedEntities: string[]
+  addedFields: string[]
+  removedFields: string[]
+  addedRelationships: string[]
+  removedRelationships: string[]
+}
+
+export interface DataVerificationReport {
+  ok: boolean
+  schemaVersion: 1
+  modelHash: string
+  summary: {
+    entities: number
+    fields: number
+    errors: number
+    warnings: number
+    checksRun: number
+    truncated?: boolean
+  }
+  checks: CheckResult[]
+  comparison?: DataComparisonSummary
+}
+
+const KNOWN_TYPES = new Set<string>([
+  'string', 'integer', 'number', 'boolean', 'uuid', 'date', 'datetime', 'timestamp',
+  'json', 'enum', 'array', 'object', 'binary',
+])
+
+function stableStringify(value: unknown): string {
+  if (value === null || typeof value !== 'object') return JSON.stringify(value)
+  if (Array.isArray(value)) return '[' + value.map((item) => stableStringify(item)).join(',') + ']'
+  const record = value as Record<string, unknown>
+  return '{' + Object.keys(record).sort().map((key) => JSON.stringify(key) + ':' + stableStringify(record[key])).join(',') + '}'
+}
+
+export function dataModelHash(model: DataModelV1): string {
+  return createHash('sha256').update(stableStringify(model)).digest('hex')
+}
+
+function bad(errors: string[], path: string, message: string): void {
+  errors.push(path + ': ' + message)
+}
+
+function isPlainObject(value: unknown): value is Record<string, unknown> {
+  return typeof value === 'object' && value !== null && !Array.isArray(value)
+}
+
+function validateField(input: unknown, path: string, errors: string[], fieldNames: Set<string>): FieldSpec | undefined {
+  if (!isPlainObject(input)) {
+    bad(errors, path, 'must be an object')
+    return undefined
+  }
+  if (typeof input.name !== 'string' || input.name.length === 0) {
+    bad(errors, path + '.name', 'must be a non-empty string')
+  } else if (fieldNames.has(input.name)) {
+    bad(errors, path + '.name', 'duplicate field name ' + input.name)
+  } else {
+    fieldNames.add(input.name)
+  }
+  if (typeof input.type !== 'string' || input.type.length === 0) {
+    bad(errors, path + '.type', 'must be a non-empty string')
+  }
+  if (input.required !== undefined && typeof input.required !== 'boolean') bad(errors, path + '.required', 'must be a boolean')
+  if (input.unique !== undefined && typeof input.unique !== 'boolean') bad(errors, path + '.unique', 'must be a boolean')
+  if (input.nullable !== undefined && typeof input.nullable !== 'boolean') bad(errors, path + '.nullable', 'must be a boolean')
+  if (input.min !== undefined && typeof input.min !== 'number') bad(errors, path + '.min', 'must be a number')
+  if (input.max !== undefined && typeof input.max !== 'number') bad(errors, path + '.max', 'must be a number')
+  if (input.minLength !== undefined && typeof input.minLength !== 'number') bad(errors, path + '.minLength', 'must be a number')
+  if (input.maxLength !== undefined && typeof input.maxLength !== 'number') bad(errors, path + '.maxLength', 'must be a number')
+  if (input.monotonic !== undefined && input.monotonic !== 'inc' && input.monotonic !== 'dec') bad(errors, path + '.monotonic', "must be 'inc' or 'dec'")
+  if (input.pattern !== undefined && typeof input.pattern !== 'string') bad(errors, path + '.pattern', 'must be a string')
+  if (input.ref !== undefined && typeof input.ref !== 'string') bad(errors, path + '.ref', 'must be a string')
+  if (input.enum !== undefined && !Array.isArray(input.enum)) bad(errors, path + '.enum', 'must be an array')
+  if (input.items !== undefined) validateField(input.items, path + '.items', errors, new Set<string>())
+  return input as unknown as FieldSpec
+}
+
+function entityByName(model: DataModelV1, name: string): EntitySpec | undefined {
+  return model.entities.find((entity) => entity.name === name)
+}
+
+function fieldByPath(model: DataModelV1, entityName: string, fieldName: string): FieldSpec | undefined {
+  return entityByName(model, entityName)?.fields.find((field) => field.name === fieldName)
+}
+
+function mapFieldPath(mapping: Record<string, string>, path: string): string {
+  return mapping[path] ?? path
+}
+
+export function validateDataModel(input: unknown): { ok: true; model: DataModelV1 } | { ok: false; errors: string[] } {
+  const errors: string[] = []
+  if (!isPlainObject(input)) {
+    return { ok: false, errors: ['model: must be an object'] }
+  }
+  const root = input as Record<string, unknown>
+  if (root.schemaVersion !== 1) bad(errors, 'schemaVersion', 'must be 1')
+  if (!Array.isArray(root.entities) || root.entities.length === 0) {
+    bad(errors, 'entities', 'must be a non-empty array')
+  } else {
+    const entityNames = new Set<string>()
+    root.entities.forEach((entry, index) => {
+      const path = 'entities[' + index + ']'
+      if (!isPlainObject(entry)) {
+        bad(errors, path, 'must be an object')
+        return
+      }
+      if (typeof entry.name !== 'string' || entry.name.length === 0) {
+        bad(errors, path + '.name', 'must be a non-empty string')
+      } else if (entityNames.has(entry.name)) {
+        bad(errors, path + '.name', 'duplicate entity name ' + entry.name)
+      } else {
+        entityNames.add(entry.name)
+      }
+      if (!Array.isArray(entry.fields) || entry.fields.length === 0) {
+        bad(errors, path + '.fields', 'must be a non-empty array')
+      } else {
+        const fieldNames = new Set<string>()
+        entry.fields.forEach((field, fieldIndex) => {
+          validateField(field, path + '.fields[' + fieldIndex + ']', errors, fieldNames)
+        })
+      }
+      if (entry.primaryKey !== undefined) {
+        if (!Array.isArray(entry.primaryKey)) bad(errors, path + '.primaryKey', 'must be an array')
+      }
+      if (entry.uniqueKeys !== undefined) {
+        if (!Array.isArray(entry.uniqueKeys)) bad(errors, path + '.uniqueKeys', 'must be an array')
+      }
+      if (entry.indexes !== undefined) {
+        if (!Array.isArray(entry.indexes)) bad(errors, path + '.indexes', 'must be an array')
+      }
+    })
+  }
+  if (root.relationships !== undefined) {
+    if (!Array.isArray(root.relationships)) bad(errors, 'relationships', 'must be an array')
+  }
+  if (root.invariants !== undefined) {
+    if (!Array.isArray(root.invariants)) bad(errors, 'invariants', 'must be an array')
+    else root.invariants.forEach((entry, index) => {
+      const path = 'invariants[' + index + ']'
+      if (!isPlainObject(entry)) {
+        bad(errors, path, 'must be an object')
+        return
+      }
+      if (typeof entry.id !== 'string' || entry.id.length === 0) bad(errors, path + '.id', 'must be a non-empty string')
+      if (typeof entry.description !== 'string') bad(errors, path + '.description', 'must be a string')
+      const kind = entry.kind
+      if (kind === 'field-required' || kind === 'no-orphan') {
+        if (typeof entry.entity !== 'string') bad(errors, path + '.entity', 'must be a string')
+        if (typeof entry.field !== 'string') bad(errors, path + '.field', 'must be a string')
+      } else if (kind === 'unique') {
+        if (!Array.isArray(entry.fields)) bad(errors, path + '.fields', 'must be an array')
+      } else if (kind === 'referential-integrity') {
+        if (typeof entry.entity !== 'string') bad(errors, path + '.entity', 'must be a string')
+        if (typeof entry.field !== 'string') bad(errors, path + '.field', 'must be a string')
+        if (typeof entry.refEntity !== 'string') bad(errors, path + '.refEntity', 'must be a string')
+        if (entry.refField !== undefined && typeof entry.refField !== 'string') bad(errors, path + '.refField', 'must be a string')
+      } else if (kind === 'range') {
+        if (typeof entry.entity !== 'string') bad(errors, path + '.entity', 'must be a string')
+        if (typeof entry.field !== 'string') bad(errors, path + '.field', 'must be a string')
+        if (entry.min !== undefined && typeof entry.min !== 'number') bad(errors, path + '.min', 'must be a number')
+        if (entry.max !== undefined && typeof entry.max !== 'number') bad(errors, path + '.max', 'must be a number')
+      } else if (kind === 'count-equal') {
+        if (typeof entry.sourceEntity !== 'string') bad(errors, path + '.sourceEntity', 'must be a string')
+        if (typeof entry.targetEntity !== 'string') bad(errors, path + '.targetEntity', 'must be a string')
+      } else if (kind === 'field-equal') {
+        if (typeof entry.sourceEntity !== 'string') bad(errors, path + '.sourceEntity', 'must be a string')
+        if (typeof entry.sourceField !== 'string') bad(errors, path + '.sourceField', 'must be a string')
+        if (typeof entry.targetEntity !== 'string') bad(errors, path + '.targetEntity', 'must be a string')
+        if (typeof entry.targetField !== 'string') bad(errors, path + '.targetField', 'must be a string')
+      } else if (kind === 'idempotent-copy') {
+        if (typeof entry.sourceEntity !== 'string') bad(errors, path + '.sourceEntity', 'must be a string')
+        if (typeof entry.targetEntity !== 'string') bad(errors, path + '.targetEntity', 'must be a string')
+      } else if (kind === 'idempotent-migration') {
+        if (typeof entry.from !== 'string') bad(errors, path + '.from', 'must be a string')
+        if (typeof entry.to !== 'string') bad(errors, path + '.to', 'must be a string')
+      } else if (kind === 'monotonic') {
+        if (typeof entry.entity !== 'string') bad(errors, path + '.entity', 'must be a string')
+        if (typeof entry.field !== 'string') bad(errors, path + '.field', 'must be a string')
+        if (entry.direction !== 'inc' && entry.direction !== 'dec') bad(errors, path + '.direction', "must be 'inc' or 'dec'")
+      } else if (kind === 'sequence') {
+        if (!Array.isArray(entry.steps) || entry.steps.length === 0) bad(errors, path + '.steps', 'must be a non-empty array')
+        else entry.steps.forEach((step, stepIndex) => {
+          if (typeof step !== 'string' || step.length === 0) bad(errors, path + '.steps[' + stepIndex + ']', 'must be a non-empty string')
+        })
+      } else if (kind === 'leads-to') {
+        if (typeof entry.entity !== 'string') bad(errors, path + '.entity', 'must be a string')
+        if (typeof entry.field !== 'string') bad(errors, path + '.field', 'must be a string')
+      } else if (kind === 'atomicity') {
+        if (!Array.isArray(entry.steps) || entry.steps.length === 0) bad(errors, path + '.steps', 'must be a non-empty array')
+        else entry.steps.forEach((step, stepIndex) => {
+          if (typeof step !== 'string' || step.length === 0) bad(errors, path + '.steps[' + stepIndex + ']', 'must be a non-empty string')
+        })
+      } else {
+        bad(errors, path + '.kind', 'unknown invariant kind')
+      }
+    })
+  }
+  if (root.boundaryChecks !== undefined) {
+    if (!Array.isArray(root.boundaryChecks)) bad(errors, 'boundaryChecks', 'must be an array')
+  }
+  if (errors.length > 0) return { ok: false, errors }
+  return { ok: true, model: root as unknown as DataModelV1 }
+}
+
+function checkResult(id: string, name: string, findings: Finding[], detail: string): CheckResult {
+  const errors = findings.filter((finding) => finding.severity === 'error').length
+  const warnings = findings.filter((finding) => finding.severity === 'warning').length
+  return {
+    id,
+    name,
+    status: findings.length === 0 ? 'pass' : 'fail',
+    detail: detail + (errors > 0 ? ' (' + errors + ' errors' + (warnings > 0 ? ', ' + warnings + ' warnings' : '') + ')' : warnings > 0 ? ' (' + warnings + ' warnings)' : ''),
+    findings,
+  }
+}
+
+function allFieldPaths(model: DataModelV1): string[] {
+  const result: string[] = []
+  for (const entity of model.entities) {
+    for (const field of entity.fields) result.push(entity.name + '.' + field.name)
+  }
+  return result
+}
+
+function entityFieldMap(model: DataModelV1): Map<string, FieldSpec> {
+  const map = new Map<string, FieldSpec>()
+  for (const entity of model.entities) {
+    for (const field of entity.fields) map.set(entity.name + '.' + field.name, field)
+  }
+  return map
+}
+
+function DS1_schemaWellFormed(model: DataModelV1): CheckResult {
+  const findings: Finding[] = []
+  const entityNames = new Set<string>()
+  for (const entity of model.entities) {
+    if (entityNames.has(entity.name)) {
+      findings.push({ code: 'DS1_DUPLICATE_ENTITY', severity: 'error', message: 'Duplicate entity name ' + entity.name, evidence: { entity: entity.name } })
+    }
+    entityNames.add(entity.name)
+    const fieldNames = new Set<string>()
+    for (const field of entity.fields) {
+      if (fieldNames.has(field.name)) {
+        findings.push({ code: 'DS1_DUPLICATE_FIELD', severity: 'error', message: 'Duplicate field ' + entity.name + '.' + field.name, evidence: { entity: entity.name, field: field.name } })
+      }
+      fieldNames.add(field.name)
+      if (field.type !== undefined && !KNOWN_TYPES.has(field.type) && field.type.trim().length === 0) {
+        findings.push({ code: 'DS1_EMPTY_TYPE', severity: 'error', message: 'Field ' + entity.name + '.' + field.name + ' has empty type', evidence: { entity: entity.name, field: field.name } })
+      }
+    }
+    for (const key of entity.primaryKey ?? []) {
+      if (!fieldNames.has(key)) findings.push({ code: 'DS1_PRIMARY_KEY_MISSING', severity: 'error', message: 'Primary key field ' + key + ' does not exist in entity ' + entity.name, evidence: { entity: entity.name, field: key } })
+    }
+    for (const keySet of entity.uniqueKeys ?? []) {
+      for (const key of keySet) {
+        if (!fieldNames.has(key)) findings.push({ code: 'DS1_UNIQUE_KEY_MISSING', severity: 'error', message: 'Unique key field ' + key + ' does not exist in entity ' + entity.name, evidence: { entity: entity.name, field: key } })
+      }
+    }
+    for (const keySet of entity.indexes ?? []) {
+      for (const key of keySet) {
+        if (!fieldNames.has(key)) findings.push({ code: 'DS1_INDEX_MISSING', severity: 'error', message: 'Index field ' + key + ' does not exist in entity ' + entity.name, evidence: { entity: entity.name, field: key } })
+      }
+    }
+  }
+  return checkResult('DS1', 'Schema Well-Formedness', findings, findings.length === 0 ? 'Schema is well-formed' : 'Schema findings: ' + findings.length)
+}
+
+function DS2_requiredCompleteness(model: DataModelV1, options: DataVerificationOptions): CheckResult {
+  const findings: Finding[] = []
+  const afterFields = entityFieldMap(model)
+  const migrationFrom = new Set((options.migrationMappings ?? []).map((mapping) => mapping.from))
+  const copyTargets = new Set<string>()
+  for (const pair of options.copyPairs ?? []) {
+    for (const target of Object.values(pair.mapping)) copyTargets.add(pair.targetEntity + '.' + target)
+  }
+  const beforePaths = new Set<string>()
+  if (options.beforeModel !== undefined) {
+    const beforeValidation = validateDataModel(options.beforeModel)
+    if (beforeValidation.ok) {
+      const mapping = options.fieldMapping ?? {}
+      for (const path of allFieldPaths(beforeValidation.model)) beforePaths.add(mapFieldPath(mapping, path))
+    }
+  }
+  for (const entity of model.entities) {
+    for (const field of entity.fields) {
+      if (field.required !== true) continue
+      if ((entity.primaryKey ?? []).includes(field.name) && field.nullable === true) {
+        findings.push({ code: 'DS2_NULLABLE_PRIMARY_KEY', severity: 'error', message: 'Primary key field ' + entity.name + '.' + field.name + ' must not be nullable', evidence: { entity: entity.name, field: field.name } })
+      }
+      if (options.beforeModel !== undefined) {
+        const path = entity.name + '.' + field.name
+        if (!beforePaths.has(path) && !migrationFrom.has(path) && !copyTargets.has(path)) {
+          findings.push({ code: 'DS2_REQUIRED_FIELD_UNSOURCED', severity: 'warning', message: 'Required field ' + path + ' has no explicit migration mapping or copy target in a before/after migration', evidence: { entity: entity.name, field: field.name } })
+        }
+      }
+    }
+  }
+  return checkResult('DS2', 'Required-Field Completeness', findings, findings.length === 0 ? 'Required fields are complete' : 'Required-field findings: ' + findings.length)
+}
+
+function DS3_relationshipIntegrity(model: DataModelV1): CheckResult {
+  const findings: Finding[] = []
+  for (const relationship of model.relationships ?? []) {
+    const fromEntity = entityByName(model, relationship.fromEntity)
+    const toEntity = entityByName(model, relationship.toEntity)
+    if (fromEntity === undefined) {
+      findings.push({ code: 'DS3_FROM_ENTITY_MISSING', severity: 'error', message: 'Relationship references unknown fromEntity ' + relationship.fromEntity, evidence: { relationship } })
+      continue
+    }
+    if (toEntity === undefined) {
+      findings.push({ code: 'DS3_TO_ENTITY_MISSING', severity: 'error', message: 'Relationship references unknown toEntity ' + relationship.toEntity, evidence: { relationship } })
+      continue
+    }
+    if (!fromEntity.fields.some((field) => field.name === relationship.fromField)) {
+      findings.push({ code: 'DS3_FROM_FIELD_MISSING', severity: 'error', message: 'Relationship field ' + relationship.fromField + ' does not exist in ' + relationship.fromEntity, evidence: { relationship } })
+    }
+    if (relationship.toField !== undefined && !toEntity.fields.some((field) => field.name === relationship.toField)) {
+      findings.push({ code: 'DS3_TO_FIELD_MISSING', severity: 'error', message: 'Relationship target field ' + relationship.toField + ' does not exist in ' + relationship.toEntity, evidence: { relationship } })
+    }
+    if (relationship.onDelete !== undefined && !['cascade', 'restrict', 'set-null', 'no-action'].includes(relationship.onDelete)) {
+      findings.push({ code: 'DS3_INVALID_ON_DELETE', severity: 'error', message: 'Invalid onDelete value ' + relationship.onDelete, evidence: { relationship } })
+    }
+  }
+  return checkResult('DS3', 'Relationship Integrity', findings, findings.length === 0 ? 'Relationships are valid' : 'Relationship findings: ' + findings.length)
+}
+
+function DS4_typeNullabilityConsistency(model: DataModelV1): CheckResult {
+  const findings: Finding[] = []
+  for (const entity of model.entities) {
+    for (const field of entity.fields) {
+      if (field.required === true && field.nullable === true) {
+        findings.push({ code: 'DS4_REQUIRED_NULLABLE', severity: 'error', message: 'Field ' + entity.name + '.' + field.name + ' is both required and nullable', evidence: { entity: entity.name, field: field.name } })
+      }
+      if (field.unique === true && field.nullable === true) {
+        findings.push({ code: 'DS4_UNIQUE_NULLABLE', severity: 'warning', message: 'Unique field ' + entity.name + '.' + field.name + ' is nullable; uniqueness over NULL may be ambiguous', evidence: { entity: entity.name, field: field.name } })
+      }
+      if (typeof field.min === 'number' && typeof field.max === 'number' && field.min > field.max) {
+        findings.push({ code: 'DS4_MIN_GT_MAX', severity: 'error', message: 'Field ' + entity.name + '.' + field.name + ' has min > max', evidence: { entity: entity.name, field: field.name, min: field.min, max: field.max } })
+      }
+      if (typeof field.minLength === 'number' && typeof field.maxLength === 'number' && field.minLength > field.maxLength) {
+        findings.push({ code: 'DS4_MIN_LENGTH_GT_MAX_LENGTH', severity: 'error', message: 'Field ' + entity.name + '.' + field.name + ' has minLength > maxLength', evidence: { entity: entity.name, field: field.name } })
+      }
+      if (field.default === null && field.required === true) {
+        findings.push({ code: 'DS4_REQUIRED_NULL_DEFAULT', severity: 'warning', message: 'Required field ' + entity.name + '.' + field.name + ' has default null', evidence: { entity: entity.name, field: field.name } })
+      }
+    }
+  }
+  return checkResult('DS4', 'Type/Nullability Consistency', findings, findings.length === 0 ? 'Types and nullability are consistent' : 'Type/nullability findings: ' + findings.length)
+}
+
+function DA1_nullEmptyInjection(model: DataModelV1): CheckResult {
+  const findings: Finding[] = []
+  for (const entity of model.entities) {
+    for (const field of entity.fields) {
+      if (field.required === true && field.nullable === true) {
+        findings.push({ code: 'DA1_NULL_ACCEPTED_ON_REQUIRED', severity: 'error', message: 'Null can be injected into required field ' + entity.name + '.' + field.name, evidence: { entity: entity.name, field: field.name } })
+      }
+      if (field.required === true && field.type === 'string' && field.minLength !== undefined && field.minLength === 0) {
+        findings.push({ code: 'DA1_EMPTY_STRING_ALLOWED', severity: 'warning', message: 'Required string field ' + entity.name + '.' + field.name + ' allows empty string', evidence: { entity: entity.name, field: field.name } })
+      }
+    }
+  }
+  return checkResult('DA1', 'Null/Empty Injection', findings, findings.length === 0 ? 'Null/empty injection is rejected' : 'Null/empty findings: ' + findings.length)
+}
+
+function DA2_boundaryBlast(model: DataModelV1): CheckResult {
+  const findings: Finding[] = []
+  for (const entity of model.entities) {
+    for (const field of entity.fields) {
+      if (typeof field.min === 'number' && typeof field.max === 'number' && field.min > field.max) continue
+      if (typeof field.default === 'number') {
+        if (field.min !== undefined && field.default < field.min) findings.push({ code: 'DA2_DEFAULT_BELOW_MIN', severity: 'error', message: 'Default ' + field.default + ' is below min ' + field.min + ' for ' + entity.name + '.' + field.name, evidence: { entity: entity.name, field: field.name } })
+        if (field.max !== undefined && field.default > field.max) findings.push({ code: 'DA2_DEFAULT_ABOVE_MAX', severity: 'error', message: 'Default ' + field.default + ' is above max ' + field.max + ' for ' + entity.name + '.' + field.name, evidence: { entity: entity.name, field: field.name } })
+      }
+      if (field.enum !== undefined && field.enum.length > 0) {
+        if (typeof field.min === 'number') {
+          for (const value of field.enum) {
+            if (typeof value === 'number' && value < field.min) findings.push({ code: 'DA2_ENUM_BELOW_MIN', severity: 'warning', message: 'Enum value ' + value + ' is below min ' + field.min + ' for ' + entity.name + '.' + field.name, evidence: { entity: entity.name, field: field.name, value } })
+          }
+        }
+        if (typeof field.max === 'number') {
+          for (const value of field.enum) {
+            if (typeof value === 'number' && value > field.max) findings.push({ code: 'DA2_ENUM_ABOVE_MAX', severity: 'warning', message: 'Enum value ' + value + ' is above max ' + field.max + ' for ' + entity.name + '.' + field.name, evidence: { entity: entity.name, field: field.name, value } })
+          }
+        }
+      }
+    }
+  }
+  for (const check of model.boundaryChecks ?? []) {
+    const field = fieldByPath(model, check.entity, check.field)
+    if (field === undefined) {
+      findings.push({ code: 'DA2_BOUNDARY_FIELD_MISSING', severity: 'error', message: 'Boundary check references unknown field ' + check.entity + '.' + check.field, evidence: { entity: check.entity, field: check.field } })
+      continue
+    }
+    for (const value of check.values ?? []) {
+      if (typeof value === 'number') {
+        if (field.min !== undefined && value < field.min) findings.push({ code: 'DA2_BOUNDARY_BELOW_MIN', severity: 'warning', message: 'Boundary value ' + value + ' below min ' + field.min + ' for ' + check.entity + '.' + check.field, evidence: { entity: check.entity, field: check.field, value } })
+        if (field.max !== undefined && value > field.max) findings.push({ code: 'DA2_BOUNDARY_ABOVE_MAX', severity: 'warning', message: 'Boundary value ' + value + ' above max ' + field.max + ' for ' + check.entity + '.' + check.field, evidence: { entity: check.entity, field: check.field, value } })
+      }
+      if (field.enum !== undefined && field.enum.length > 0 && !field.enum.includes(value)) {
+        findings.push({ code: 'DA2_BOUNDARY_NOT_IN_ENUM', severity: 'warning', message: 'Boundary value ' + String(value) + ' not in enum for ' + check.entity + '.' + check.field, evidence: { entity: check.entity, field: check.field, value } })
+      }
+    }
+  }
+  return checkResult('DA2', 'Boundary Blast', findings, findings.length === 0 ? 'Boundary checks passed' : 'Boundary findings: ' + findings.length)
+}
+
+function DA3_uniquenessViolation(model: DataModelV1): CheckResult {
+  const findings: Finding[] = []
+  for (const entity of model.entities) {
+    for (const key of entity.primaryKey ?? []) {
+      const field = fieldByPath(model, entity.name, key)
+      if (field?.nullable === true) findings.push({ code: 'DA3_NULLABLE_PRIMARY_KEY', severity: 'error', message: 'Primary key ' + entity.name + '.' + key + ' is nullable', evidence: { entity: entity.name, field: key } })
+    }
+    for (const keySet of entity.uniqueKeys ?? []) {
+      for (const key of keySet) {
+        const field = fieldByPath(model, entity.name, key)
+        if (field?.nullable === true) findings.push({ code: 'DA3_NULLABLE_UNIQUE_KEY', severity: 'warning', message: 'Unique key ' + entity.name + '.' + key + ' is nullable', evidence: { entity: entity.name, field: key } })
+      }
+    }
+  }
+  return checkResult('DA3', 'Uniqueness Violation', findings, findings.length === 0 ? 'No uniqueness violations' : 'Uniqueness findings: ' + findings.length)
+}
+
+function DA4_referentialIntegrityViolation(model: DataModelV1): CheckResult {
+  const findings: Finding[] = []
+  for (const relationship of model.relationships ?? []) {
+    const fromField = fieldByPath(model, relationship.fromEntity, relationship.fromField)
+    const toField = relationship.toField === undefined ? undefined : fieldByPath(model, relationship.toEntity, relationship.toField)
+    if (fromField !== undefined && toField !== undefined && fromField.type !== toField.type) {
+      findings.push({ code: 'DA4_REF_TYPE_MISMATCH', severity: 'warning', message: 'Relationship ' + (relationship.name ?? relationship.fromEntity + '.' + relationship.fromField) + ' links different types ' + fromField.type + ' -> ' + toField.type, evidence: { relationship } })
+    }
+  }
+  return checkResult('DA4', 'Referential Integrity Violation', findings, findings.length === 0 ? 'No referential integrity violations' : 'Referential integrity findings: ' + findings.length)
+}
+
+function DA5_migrationCoverage(model: DataModelV1, options: DataVerificationOptions): CheckResult {
+  const findings: Finding[] = []
+  if (options.beforeModel === undefined) {
+    return checkResult('DA5', 'Migration Coverage', [], 'No beforeModel supplied — skipped')
+  }
+  const beforeValidation = validateDataModel(options.beforeModel)
+  if (!beforeValidation.ok) {
+    return checkResult('DA5', 'Migration Coverage', [{ code: 'DA5_BEFORE_MODEL_INVALID', severity: 'error', message: 'Before model failed validation: ' + beforeValidation.errors.join('; ') }], 'Before model invalid')
+  }
+  const before = beforeValidation.model
+  const afterPaths = new Set(allFieldPaths(model))
+  const beforePaths = allFieldPaths(before)
+  const mapping = options.fieldMapping ?? {}
+  const migrationFrom = new Set((options.migrationMappings ?? []).map((mapping) => mapping.from))
+  for (const path of beforePaths) {
+    const mapped = mapFieldPath(mapping, path)
+    if (!afterPaths.has(mapped) && !migrationFrom.has(path)) {
+      findings.push({ code: 'DA5_FIELD_NOT_MIGRATED', severity: 'error', message: 'BEFORE field ' + path + ' is not present in AFTER and has no migration mapping', evidence: { beforeField: path, afterField: mapped } })
+    }
+  }
+  return checkResult('DA5', 'Migration Coverage', findings, findings.length === 0 ? 'All before/after fields are covered by mappings' : 'Migration coverage findings: ' + findings.length)
+}
+
+function DA6_copyConsistency(model: DataModelV1, options: DataVerificationOptions): CheckResult {
+  const findings: Finding[] = []
+  const afterFields = entityFieldMap(model)
+  for (const pair of options.copyPairs ?? []) {
+    const targetEntity = entityByName(model, pair.targetEntity)
+    if (targetEntity === undefined) {
+      findings.push({ code: 'DA6_TARGET_ENTITY_MISSING', severity: 'error', message: 'Copy pair ' + pair.id + ' references unknown target entity ' + pair.targetEntity, evidence: { pair } })
+      continue
+    }
+    if (entityByName(model, pair.sourceEntity) === undefined) {
+      findings.push({ code: 'DA6_SOURCE_ENTITY_MISSING', severity: 'error', message: 'Copy pair ' + pair.id + ' references unknown source entity ' + pair.sourceEntity, evidence: { pair } })
+    }
+    const mappedTargets = new Set(Object.values(pair.mapping).map((field) => pair.targetEntity + '.' + field))
+    for (const field of targetEntity.fields) {
+      if (field.required === true && !mappedTargets.has(pair.targetEntity + '.' + field.name)) {
+        findings.push({ code: 'DA6_REQUIRED_TARGET_UNMAPPED', severity: 'error', message: 'Copy pair ' + pair.id + ' does not map required target field ' + pair.targetEntity + '.' + field.name, evidence: { pair, field: field.name } })
+      }
+    }
+    for (const [sourceField, targetField] of Object.entries(pair.mapping)) {
+      if (fieldByPath(model, pair.sourceEntity, sourceField) === undefined) {
+        findings.push({ code: 'DA6_SOURCE_FIELD_MISSING', severity: 'error', message: 'Copy pair ' + pair.id + ' maps unknown source field ' + pair.sourceEntity + '.' + sourceField, evidence: { pair, field: sourceField } })
+      }
+      if (afterFields.has(pair.targetEntity + '.' + targetField) === false) {
+        findings.push({ code: 'DA6_TARGET_FIELD_MISSING', severity: 'error', message: 'Copy pair ' + pair.id + ' maps unknown target field ' + pair.targetEntity + '.' + targetField, evidence: { pair, field: targetField } })
+      }
+    }
+  }
+  return checkResult('DA6', 'Copy Consistency', findings, findings.length === 0 ? 'Copy mappings are consistent' : 'Copy consistency findings: ' + findings.length)
+}
+
+function DA7_rollbackBackupSymmetry(model: DataModelV1, options: DataVerificationOptions): CheckResult {
+  const findings: Finding[] = []
+  const backupKeys = new Set((options.backupPairs ?? []).map((pair) => pair.sourceEntity + '|' + pair.targetEntity))
+  for (const pair of options.copyPairs ?? []) {
+    if (!backupKeys.has(pair.sourceEntity + '|' + pair.targetEntity)) {
+      findings.push({ code: 'DA7_NO_BACKUP_PAIR', severity: 'warning', message: 'Copy pair ' + pair.id + ' (' + pair.sourceEntity + ' -> ' + pair.targetEntity + ') has no matching backup/restore pair', evidence: { pair } })
+    }
+  }
+  return checkResult('DA7', 'Rollback/Backup Symmetry', findings, findings.length === 0 ? 'Copy/backup pairs are balanced' : 'Rollback/backup findings: ' + findings.length)
+}
+
+function DA8_idempotentConstraints(model: DataModelV1, options: DataVerificationOptions): CheckResult {
+  const findings: Finding[] = []
+  const copyPairs = options.copyPairs ?? []
+  const migrationMappings = options.migrationMappings ?? []
+  for (const invariant of model.invariants ?? []) {
+    if (invariant.kind === 'idempotent-copy') {
+      const pair = copyPairs.find((entry) => entry.sourceEntity === invariant.sourceEntity && entry.targetEntity === invariant.targetEntity)
+      if (pair === undefined) {
+        findings.push({
+          code: 'DA8_COPY_PAIR_MISSING',
+          severity: 'error',
+          message: 'Idempotent-copy invariant "' + invariant.id + '" has no matching copy pair for ' + invariant.sourceEntity + ' -> ' + invariant.targetEntity,
+          evidence: { invariant },
+        })
+      }
+    } else if (invariant.kind === 'idempotent-migration') {
+      const mapping = migrationMappings.find((entry) => entry.from === invariant.from && entry.to === invariant.to)
+      if (mapping === undefined) {
+        findings.push({
+          code: 'DA8_MIGRATION_MAPPING_MISSING',
+          severity: 'error',
+          message: 'Idempotent-migration invariant "' + invariant.id + '" has no matching migration mapping ' + invariant.from + ' -> ' + invariant.to,
+          evidence: { invariant },
+        })
+      } else if (mapping.transform === 'split' || mapping.transform === 'merge' || mapping.transform === 'drop') {
+        findings.push({
+          code: 'DA8_NON_IDEMPOTENT_TRANSFORM',
+          severity: 'warning',
+          message: 'Migration mapping ' + invariant.from + ' -> ' + invariant.to + ' uses non-idempotent transform ' + (mapping.transform ?? 'unknown'),
+          evidence: { invariant, mapping },
+        })
+      }
+    }
+  }
+  return checkResult('DA8', 'Idempotent Constraints', findings, findings.length === 0 ? 'Idempotency constraints are satisfied' : 'Idempotency findings: ' + findings.length)
+}
+
+function dataStepRegistry(options: DataVerificationOptions): Map<string, { kind: 'copy' | 'migration'; transform?: string; copyPair?: CopyPairSpec }> {
+  const map = new Map<string, { kind: 'copy' | 'migration'; transform?: string; copyPair?: CopyPairSpec }>()
+  for (const pair of options.copyPairs ?? []) map.set(pair.id, { kind: 'copy', copyPair: pair })
+  for (const mapping of options.migrationMappings ?? []) {
+    const id = mapping.id ?? mapping.from + '->' + mapping.to
+    map.set(id, { kind: 'migration', transform: mapping.transform })
+  }
+  return map
+}
+
+const MONOTONIC_DATA_TYPES = new Set<string>(['integer', 'number', 'date', 'datetime', 'timestamp'])
+
+function DA9_dataMonotonic(model: DataModelV1, options: DataVerificationOptions): CheckResult {
+  const findings: Finding[] = []
+  for (const invariant of model.invariants ?? []) {
+    if (invariant.kind !== 'monotonic') continue
+    const field = fieldByPath(model, invariant.entity, invariant.field)
+    if (field === undefined) {
+      findings.push({ code: 'DA9_MONOTONIC_FIELD_MISSING', severity: 'error', message: 'Monotonic invariant "' + invariant.id + '" references missing field ' + invariant.entity + '.' + invariant.field, evidence: { invariant } })
+      continue
+    }
+    if (!MONOTONIC_DATA_TYPES.has(field.type)) {
+      findings.push({ code: 'DA9_MONOTONIC_TYPE_UNSUPPORTED', severity: 'warning', message: 'Monotonic field ' + invariant.entity + '.' + invariant.field + ' has type ' + field.type + ', which may not support monotonic ordering', evidence: { invariant } })
+    }
+    if (field.monotonic !== undefined && field.monotonic !== invariant.direction) {
+      findings.push({ code: 'DA9_MONOTONIC_DIRECTION_MISMATCH', severity: 'error', message: 'Monotonic invariant direction ' + invariant.direction + ' conflicts with field monotonic ' + field.monotonic + ' for ' + invariant.entity + '.' + invariant.field, evidence: { invariant } })
+    }
+    for (const pair of options.copyPairs ?? []) {
+      for (const [sourceField, targetField] of Object.entries(pair.mapping)) {
+        if (pair.targetEntity + '.' + targetField === invariant.entity + '.' + invariant.field) {
+          const source = fieldByPath(model, pair.sourceEntity, sourceField)
+          if (source?.monotonic !== undefined && source.monotonic !== invariant.direction) {
+            findings.push({ code: 'DA9_MONOTONIC_COPY_OPPOSITE', severity: 'warning', message: 'Copy ' + pair.id + ' maps opposite-monotonic source ' + pair.sourceEntity + '.' + sourceField + ' into monotonic target ' + invariant.entity + '.' + invariant.field, evidence: { invariant, pair } })
+          }
+        }
+      }
+    }
+  }
+  return checkResult('DA9', 'Data Monotonic', findings, findings.length === 0 ? 'Monotonic data constraints are satisfied' : 'Data monotonic findings: ' + findings.length)
+}
+
+function DA10_dataSequence(model: DataModelV1, options: DataVerificationOptions): CheckResult {
+  const findings: Finding[] = []
+  const registry = dataStepRegistry(options)
+  for (const invariant of model.invariants ?? []) {
+    if (invariant.kind !== 'sequence') continue
+    for (const step of invariant.steps) {
+      if (!registry.has(step)) {
+        findings.push({ code: 'DA10_SEQUENCE_STEP_MISSING', severity: 'error', message: 'Sequence invariant "' + invariant.id + '" references missing step ' + step, evidence: { invariant, step } })
+      }
+    }
+  }
+  return checkResult('DA10', 'Data Sequence', findings, findings.length === 0 ? 'Data sequence steps exist' : 'Data sequence findings: ' + findings.length)
+}
+
+function DA11_dataLeadsTo(model: DataModelV1, options: DataVerificationOptions): CheckResult {
+  const findings: Finding[] = []
+  for (const invariant of model.invariants ?? []) {
+    if (invariant.kind !== 'leads-to') continue
+    const field = fieldByPath(model, invariant.entity, invariant.field)
+    if (field === undefined) {
+      findings.push({ code: 'DA11_LEADS_TO_FIELD_MISSING', severity: 'error', message: 'Leads-to invariant "' + invariant.id + '" references missing field ' + invariant.entity + '.' + invariant.field, evidence: { invariant } })
+      continue
+    }
+    if (field.enum !== undefined && field.enum.length > 0) {
+      if (!field.enum.includes(invariant.from)) findings.push({ code: 'DA11_FROM_NOT_IN_ENUM', severity: 'warning', message: 'Leads-to from value ' + String(invariant.from) + ' is not in enum for ' + invariant.entity + '.' + invariant.field, evidence: { invariant } })
+      if (!field.enum.includes(invariant.to)) findings.push({ code: 'DA11_TO_NOT_IN_ENUM', severity: 'warning', message: 'Leads-to to value ' + String(invariant.to) + ' is not in enum for ' + invariant.entity + '.' + invariant.field, evidence: { invariant } })
+    }
+  }
+  return checkResult('DA11', 'Data Leads-To', findings, findings.length === 0 ? 'Data leads-to constraints are structurally valid' : 'Data leads-to findings: ' + findings.length)
+}
+
+function DA12_dataAtomicity(model: DataModelV1, options: DataVerificationOptions): CheckResult {
+  const findings: Finding[] = []
+  const registry = dataStepRegistry(options)
+  for (const invariant of model.invariants ?? []) {
+    if (invariant.kind !== 'atomicity') continue
+    for (const step of invariant.steps) {
+      const entry = registry.get(step)
+      if (entry === undefined) {
+        findings.push({ code: 'DA12_ATOMIC_STEP_MISSING', severity: 'error', message: 'Atomicity invariant "' + invariant.id + '" references missing step ' + step, evidence: { invariant, step } })
+        continue
+      }
+      if (entry.kind === 'migration' && (entry.transform === 'drop' || entry.transform === 'split' || entry.transform === 'merge')) {
+        findings.push({ code: 'DA12_NON_ATOMIC_TRANSFORM', severity: 'warning', message: 'Atomic step ' + step + ' uses non-atomic transform ' + entry.transform, evidence: { invariant, step } })
+      }
+      if (entry.kind === 'copy' && entry.copyPair !== undefined) {
+        const hasBackup = (options.backupPairs ?? []).some((pair) => pair.sourceEntity === entry.copyPair!.sourceEntity && pair.targetEntity === entry.copyPair!.targetEntity)
+        if (!hasBackup) findings.push({ code: 'DA12_ATOMIC_COPY_NO_BACKUP', severity: 'warning', message: 'Atomic copy step ' + step + ' has no backup/restore pair', evidence: { invariant, step } })
+      }
+    }
+  }
+  return checkResult('DA12', 'Data Atomicity', findings, findings.length === 0 ? 'Data atomicity constraints are satisfied' : 'Data atomicity findings: ' + findings.length)
+}
+
+function DD1_dataBehaviorPreservation(before: DataModelV1, after: DataModelV1, options: DataVerificationOptions): CheckResult {
+  const findings: Finding[] = []
+  const afterFields = entityFieldMap(after)
+  const mapping = options.fieldMapping ?? {}
+  const migrationFrom = new Set((options.migrationMappings ?? []).map((mapping) => mapping.from))
+  for (const entity of before.entities) {
+    for (const field of entity.fields) {
+      const path = entity.name + '.' + field.name
+      const mapped = mapFieldPath(mapping, path)
+      const afterField = afterFields.get(mapped)
+      if (afterField === undefined) {
+        if (!migrationFrom.has(path)) {
+          findings.push({ code: 'DD1_FIELD_REMOVED', severity: 'error', message: 'BEFORE field ' + path + ' is missing in AFTER and has no migration mapping', evidence: { beforeField: path, mapped } })
+        }
+        continue
+      }
+      if (field.required === true && afterField.required !== true && !migrationFrom.has(path)) {
+        findings.push({ code: 'DD1_REQUIRED_BECAME_OPTIONAL', severity: 'warning', message: 'BEFORE required field ' + path + ' is optional in AFTER', evidence: { beforeField: path, afterField: mapped } })
+      }
+    }
+  }
+  return checkResult('DD1', 'Data Behavior Preservation', findings, findings.length === 0 ? 'BEFORE data behavior is preserved in AFTER' : 'Data behavior findings: ' + findings.length)
+}
+
+function DD2_dataInvariantContinuity(before: DataModelV1, after: DataModelV1, options: DataVerificationOptions): CheckResult {
+  const findings: Finding[] = []
+  const afterEntities = new Set(after.entities.map((entity) => entity.name))
+  const afterFields = entityFieldMap(after)
+  const mapping = options.fieldMapping ?? {}
+  for (const invariant of before.invariants ?? []) {
+    if (invariant.kind === 'field-required' || invariant.kind === 'range' || invariant.kind === 'no-orphan') {
+      const mappedField = mapFieldPath(mapping, invariant.entity + '.' + invariant.field)
+      const [entityName, fieldName] = mappedField.split('.')
+      if (!afterEntities.has(entityName) || !afterFields.has(mappedField)) {
+        findings.push({ code: 'DD2_INVARIANT_FIELD_MISSING', severity: 'error', message: 'BEFORE invariant "' + invariant.id + '" references ' + mappedField + ', missing in AFTER', evidence: { invariant, mappedField } })
+      }
+    } else if (invariant.kind === 'unique') {
+      for (const field of invariant.fields) {
+        const mappedField = mapFieldPath(mapping, invariant.entity + '.' + field)
+        if (!afterFields.has(mappedField)) {
+          findings.push({ code: 'DD2_INVARIANT_FIELD_MISSING', severity: 'error', message: 'BEFORE unique invariant "' + invariant.id + '" references ' + mappedField + ', missing in AFTER', evidence: { invariant, mappedField } })
+        }
+      }
+    } else if (invariant.kind === 'referential-integrity') {
+      const mappedField = mapFieldPath(mapping, invariant.entity + '.' + invariant.field)
+      if (!afterFields.has(mappedField)) {
+        findings.push({ code: 'DD2_INVARIANT_FIELD_MISSING', severity: 'error', message: 'BEFORE referential invariant "' + invariant.id + '" references ' + mappedField + ', missing in AFTER', evidence: { invariant, mappedField } })
+      }
+      if (!afterEntities.has(invariant.refEntity)) {
+        findings.push({ code: 'DD2_INVARIANT_ENTITY_MISSING', severity: 'error', message: 'BEFORE referential invariant "' + invariant.id + '" references missing entity ' + invariant.refEntity, evidence: { invariant } })
+      }
+    } else if (invariant.kind === 'count-equal') {
+      if (!afterEntities.has(invariant.sourceEntity)) findings.push({ code: 'DD2_INVARIANT_ENTITY_MISSING', severity: 'error', message: 'BEFORE count-equal invariant "' + invariant.id + '" references missing source entity ' + invariant.sourceEntity, evidence: { invariant } })
+      if (!afterEntities.has(invariant.targetEntity)) findings.push({ code: 'DD2_INVARIANT_ENTITY_MISSING', severity: 'error', message: 'BEFORE count-equal invariant "' + invariant.id + '" references missing target entity ' + invariant.targetEntity, evidence: { invariant } })
+    } else if (invariant.kind === 'field-equal') {
+      const sourceMapped = mapFieldPath(mapping, invariant.sourceEntity + '.' + invariant.sourceField)
+      const targetMapped = mapFieldPath(mapping, invariant.targetEntity + '.' + invariant.targetField)
+      if (!afterFields.has(sourceMapped)) findings.push({ code: 'DD2_INVARIANT_FIELD_MISSING', severity: 'error', message: 'BEFORE field-equal invariant "' + invariant.id + '" references missing source field ' + sourceMapped, evidence: { invariant, sourceMapped } })
+      if (!afterFields.has(targetMapped)) findings.push({ code: 'DD2_INVARIANT_FIELD_MISSING', severity: 'error', message: 'BEFORE field-equal invariant "' + invariant.id + '" references missing target field ' + targetMapped, evidence: { invariant, targetMapped } })
+    }
+  }
+  return checkResult('DD2', 'Data Invariant Continuity', findings, findings.length === 0 ? 'All BEFORE data invariants continue to hold structurally' : 'Data invariant continuity findings: ' + findings.length)
+}
+
+function DD3_deltaSummary(before: DataModelV1, after: DataModelV1, options: DataVerificationOptions): CheckResult {
+  const findings: Finding[] = []
+  const afterEntities = new Set(after.entities.map((entity) => entity.name))
+  const beforeEntities = new Set(before.entities.map((entity) => entity.name))
+  const removedEntities = before.entities.filter((entity) => !afterEntities.has(entity.name)).map((entity) => entity.name)
+  const addedEntities = after.entities.filter((entity) => !beforeEntities.has(entity.name)).map((entity) => entity.name)
+  const mapping = options.fieldMapping ?? {}
+  const beforePaths = new Set(allFieldPaths(before))
+  const afterPaths = new Set(allFieldPaths(after))
+  const removedFields: string[] = []
+  const addedFields: string[] = []
+  for (const path of beforePaths) {
+    const mapped = mapFieldPath(mapping, path)
+    if (!afterPaths.has(mapped)) removedFields.push(path)
+  }
+  for (const path of afterPaths) {
+    let found = false
+    for (const beforePath of beforePaths) {
+      if (mapFieldPath(mapping, beforePath) === path) {
+        found = true
+        break
+      }
+    }
+    if (!found) addedFields.push(path)
+  }
+  for (const entity of removedEntities) findings.push({ code: 'DD3_REMOVED_ENTITY', severity: 'warning', message: 'BEFORE entity ' + entity + ' is not present in AFTER', evidence: { entity } })
+  for (const field of removedFields) findings.push({ code: 'DD3_REMOVED_FIELD', severity: 'warning', message: 'BEFORE field ' + field + ' is not present in AFTER', evidence: { field } })
+  const detail = 'Delta: +' + addedEntities.length + ' entities, -' + removedEntities.length + ' entities, +' + addedFields.length + ' fields, -' + removedFields.length + ' fields'
+  return checkResult('DD3', 'Delta Summary', findings, detail)
+}
+
+function DD4_breakingChangeRegression(before: DataModelV1, after: DataModelV1, options: DataVerificationOptions): CheckResult {
+  const findings: Finding[] = []
+  const afterFields = entityFieldMap(after)
+  const mapping = options.fieldMapping ?? {}
+  const migrationFrom = new Set((options.migrationMappings ?? []).map((mapping) => mapping.from))
+  for (const entity of before.entities) {
+    for (const field of entity.fields) {
+      const path = entity.name + '.' + field.name
+      const mapped = mapFieldPath(mapping, path)
+      const afterField = afterFields.get(mapped)
+      if (afterField === undefined) {
+        if (field.required === true && !migrationFrom.has(path)) {
+          findings.push({ code: 'DD4_REQUIRED_FIELD_REMOVED', severity: 'error', message: 'Required field ' + path + ' was removed without migration mapping', evidence: { beforeField: path } })
+        }
+        continue
+      }
+      if (field.required !== true && afterField.required === true && !migrationFrom.has(path)) {
+        findings.push({ code: 'DD4_OPTIONAL_BECAME_REQUIRED', severity: 'warning', message: 'Optional field ' + path + ' became required in AFTER', evidence: { beforeField: path, afterField: mapped } })
+      }
+      if (field.nullable !== false && afterField.nullable === false && !migrationFrom.has(path)) {
+        findings.push({ code: 'DD4_NULLABLE_BECAME_NOT_NULL', severity: 'warning', message: 'Nullable field ' + path + ' became non-nullable in AFTER', evidence: { beforeField: path, afterField: mapped } })
+      }
+      if (field.type !== afterField.type && !migrationFrom.has(path)) {
+        findings.push({ code: 'DD4_TYPE_CHANGED', severity: 'warning', message: 'Field type changed from ' + field.type + ' to ' + afterField.type + ' for ' + path, evidence: { beforeField: path, beforeType: field.type, afterType: afterField.type } })
+      }
+    }
+  }
+  return checkResult('DD4', 'Breaking Change Regression', findings, findings.length === 0 ? 'No new breaking changes detected' : 'Breaking change findings: ' + findings.length)
+}
+
+function buildDataComparisonSummary(before: DataModelV1, after: DataModelV1, options: DataVerificationOptions): DataComparisonSummary {
+  const afterEntities = new Set(after.entities.map((entity) => entity.name))
+  const beforeEntities = new Set(before.entities.map((entity) => entity.name))
+  const addedEntities = after.entities.filter((entity) => !beforeEntities.has(entity.name)).map((entity) => entity.name).sort()
+  const removedEntities = before.entities.filter((entity) => !afterEntities.has(entity.name)).map((entity) => entity.name).sort()
+  const mapping = options.fieldMapping ?? {}
+  const beforePaths = allFieldPaths(before)
+  const afterPaths = allFieldPaths(after)
+  const afterPathSet = new Set(afterPaths)
+  const removedFields = beforePaths.filter((path) => !afterPathSet.has(mapFieldPath(mapping, path))).sort()
+  const addedFields = afterPaths.filter((path) => !beforePaths.some((beforePath) => mapFieldPath(mapping, beforePath) === path)).sort()
+  const beforeRelationships = (before.relationships ?? []).map((relationship) => relationship.name ?? relationship.fromEntity + '.' + relationship.fromField + '->' + relationship.toEntity)
+  const afterRelationships = (after.relationships ?? []).map((relationship) => relationship.name ?? relationship.fromEntity + '.' + relationship.fromField + '->' + relationship.toEntity)
+  const removedRelationships = beforeRelationships.filter((name) => !afterRelationships.includes(name)).sort()
+  const addedRelationships = afterRelationships.filter((name) => !beforeRelationships.includes(name)).sort()
+  return {
+    beforeModelHash: dataModelHash(before),
+    afterModelHash: dataModelHash(after),
+    fieldMapping: mapping,
+    beforeEntities: before.entities.length,
+    beforeFields: beforePaths.length,
+    afterEntities: after.entities.length,
+    afterFields: afterPaths.length,
+    addedEntities,
+    removedEntities,
+    addedFields,
+    removedFields,
+    addedRelationships,
+    removedRelationships,
+  }
+}
+
+export function runDataVerification(input: unknown, options: DataVerificationOptions = {}): DataVerificationReport {
+  const validation = validateDataModel(input)
+  if (!validation.ok) {
+    return {
+      ok: false,
+      schemaVersion: 1,
+      modelHash: '',
+      summary: { entities: 0, fields: 0, errors: validation.errors.length, warnings: 0, checksRun: 0 },
+      checks: [{
+        id: 'DATA_MODEL',
+        name: 'Data Model Validation',
+        status: 'fail',
+        detail: 'Data model schema validation failed: ' + validation.errors.length + ' errors',
+        findings: validation.errors.map((message) => ({ code: 'DATA_MODEL_INVALID', severity: 'error', message })),
+      }],
+    }
+  }
+  const model = validation.model
+  const checks: CheckResult[] = [
+    DS1_schemaWellFormed(model),
+    DS2_requiredCompleteness(model, options),
+    DS3_relationshipIntegrity(model),
+    DS4_typeNullabilityConsistency(model),
+    DA1_nullEmptyInjection(model),
+    DA2_boundaryBlast(model),
+    DA3_uniquenessViolation(model),
+    DA4_referentialIntegrityViolation(model),
+    DA5_migrationCoverage(model, options),
+    DA6_copyConsistency(model, options),
+    DA7_rollbackBackupSymmetry(model, options),
+    DA8_idempotentConstraints(model, options),
+    DA9_dataMonotonic(model, options),
+    DA10_dataSequence(model, options),
+    DA11_dataLeadsTo(model, options),
+    DA12_dataAtomicity(model, options),
+  ]
+  let comparison: DataComparisonSummary | undefined
+  if (options.beforeModel !== undefined) {
+    const beforeValidation = validateDataModel(options.beforeModel)
+    if (!beforeValidation.ok) {
+      return {
+        ok: false,
+        schemaVersion: 1,
+        modelHash: dataModelHash(model),
+        summary: {
+          entities: model.entities.length,
+          fields: allFieldPaths(model).length,
+          errors: beforeValidation.errors.length,
+          warnings: 0,
+          checksRun: checks.length + 1,
+        },
+        checks: [
+          ...checks,
+          {
+            id: 'BEFORE_DATA_MODEL',
+            name: 'Before Data Model Validation',
+            status: 'fail',
+            detail: 'Before data model schema validation failed: ' + beforeValidation.errors.length + ' errors',
+            findings: beforeValidation.errors.map((message) => ({ code: 'BEFORE_DATA_MODEL_INVALID', severity: 'error', message })),
+          },
+        ],
+      }
+    }
+    const before = beforeValidation.model
+    checks.push(
+      DD1_dataBehaviorPreservation(before, model, options),
+      DD2_dataInvariantContinuity(before, model, options),
+      DD3_deltaSummary(before, model, options),
+      DD4_breakingChangeRegression(before, model, options),
+    )
+    comparison = buildDataComparisonSummary(before, model, options)
+  }
+  const errors = checks.reduce((sum, check) => sum + check.findings.filter((finding) => finding.severity === 'error').length, 0)
+  const warnings = checks.reduce((sum, check) => sum + check.findings.filter((finding) => finding.severity === 'warning').length, 0)
+  return {
+    ok: true,
+    schemaVersion: 1,
+    modelHash: dataModelHash(model),
+    summary: {
+      entities: model.entities.length,
+      fields: allFieldPaths(model).length,
+      errors,
+      warnings,
+      checksRun: checks.length,
+    },
+    checks,
+    ...(comparison === undefined ? {} : { comparison }),
+  }
+}