Transactional Lifecycle Audit: Verdict, Localization, and Performance Source Data

Abstract

Version 6.0.0 adds the sanitized R3 SQLite lifecycle study and retained process evidence to the immutable version 3.0.0 parent data. The extension contains the preregistered 12-case diagnostic matrix, 63 fresh diagnostic and guarded-containment process records, a separately reported six-run SQLite 3.50.1/3.50.2 WAL/savepoint differential reproduction, and conditional depth-8 finite-state corroboration. The six constructed SQLite integration faults are author-created tests, not SQLite defects. The historical differential is not pooled with the constructed cases. The bounded model is finite corroboration, not an unbounded proof, and test-harness containment is not production validation. This dataset accompanies software version 6.0.0 at https://doi.org/10.5281/zenodo.22285603 and the GitHub release at https://github.com/yqma7980/transactional-lifecycle-audit/releases/tag/v6.0.0. Funding: National Natural Science Foundation of China, Grant 52474038 (recipient: Weiji Sun); Liaoning Provincial Department of Education project, Grant LJ212410147066 (recipient: Jianfeng Hao). Downloaded SQLite binaries, temporary databases, caches, pilot outputs, private Abaqus/UEL assets, confidential engineering data, and unlicensed article full texts are excluded.