Transactional Lifecycle Audit: Verdict, Localization, and Performance Source Data
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.