Conversion Contracts in v7.0 Atlas
v7.0 Atlas - September 9, 2026: The suite now contains 227 executable expectations and the latest verification run passed 227 of 227 contracts. The current release also includes standard VCL classification for TBitBtn and TTrayIcon, with conservative FMX substitution or manual-review guidance where appropriate.
Version 7.0 Atlas adds an executable conversion-contract system. A contract is a small Delphi test case paired with an expectation file. The expectation records the required output, report behavior, uses-clause result, and validation rules for one known converter behavior.
The contract runner is the engineering test utility that finds each expectation file, runs the converter against the matching sample input, and fails if the generated result differs from the expected result. It is not runtime data for normal user conversions.
| Contract Area | What It Protects |
|---|---|
| Include analysis | Beside-source, subfolder, missing, outside-tree, nested, recursive, conditional, commented, and UTF-8 Pascal include directives. |
| Windows messaging | SendMessage, PostMessage, Perform, WndProc, message declarations, WM/CM/CN/common-control families, WM_USER, system commands, and false positives. |
| Uses cleanup | Removal or preservation of VCL and Winapi units, including protected/conditional uses blocks and Vcl.Themes cleanup. |
| DFM/FMXL generation | TMemo string collections, TStringGrid event ordering, accented text, paired Pascal/DFM form behavior, and DFM/FMXL fidelity reporting. |
| Reporting and dry run | Total-issue accounting, informational notices, dry-run notices, report-card layout, and manual-review group prompts. |
| Graphics and GDI | FMX canvas substitutions where reliable, plus visual-review reporting where drawing still needs inspection. |
The current v7.0 Atlas contract suite contains 227 executable expectations. The current verification run passed with 227 passing and 0 failing contracts.