Unsafe states refused
Checksum-divergent, incorrectly owned, newer, partial, and unknown nonempty schemas fail closed.
DATABASE EXECUTION
A migration result is operational evidence only after an authorized four-role transaction.
The transaction separates migration target, rollback test, backup source, and restore target. Local state machines exercise twenty steps and every forced-failure boundary without importing a database driver, connecting to a server, executing SQL, or claiming a backup or restore.
74/74 LOCAL CONTROLS · AUTHORIZED DATABASE NOT SUPPLIEDJudgment state: NONE
Twenty-step transaction
Private configuration validation, authorization binding, driver and server identity, four distinct database identities, advisory lock, schema classification, migrations 0001–0003, schema and prohibited-field proof, idempotency, forced rollback, backup, restore, semantic reconciliation, backend endpoint verification, fail-closed input removal, lock release, and receipts are one bounded transaction.
No account SQL
CREATE DATABASE, CREATE USER, GRANT, and REVOKE remain outside application authority.
No silent fallback
MySQL/MariaDB cannot silently become SQLite, file, or memory storage.
Lock discipline
Every refusal and forced failure releases the modeled advisory lock.
Content-free receipts
Receipt families cover preflight, migration, rollback, idempotency, backup, restore, reconciliation, backend verification, and fail-closed removal. They disclose exact technical scope and limitations without database names, credentials, statement text, private paths, queries, prompts, or participant content.
No operational receipt exists because no authorized database, toolchain, adapter, or execution authorization was supplied.
EVIDENCE BOUNDARY
Local mechanism and operational fact remain separate.
Implemented locally
Four-role planner, manifest binding, schema classifier, prohibited-column scanner, twenty failure injections, atomic rollback model, lock release, adapter gate, and content-free receipt schemas.
Not supplied or observed
No driver import, server identity, database connection, SQL statement, migration, backup, restore, or backend-verification result.
Exact blocker
AUTHORIZED_MYSQL_MARIADB = NOT_RUN_NO_AUTHORIZED_DATABASE
No participant judgment
Every technical state has participant evaluation effect NONE and standing effect NONE.
NO JUDGMENT WHATSOEVER. A signature, status code, passing test, receipt, or package digest never becomes belief, intent, character, moral rank, guilt, danger, trustworthiness, worth, consciousness, personhood, or standing.