One package, five documents, produced from a single export of the running program.
1. Functional design specification
What the program does, routine by routine, organised by function. Interlocks, permissives and anything safety-relevant called out first. Every statement the analysis could not prove from the export alone is marked VERIFY and collected for review.
2. Tag dictionary
Every tag with its type, description, scope, and read and write counts, so nothing is migrated blind.
3. Cross-reference
Where every signal is produced and consumed, across routines, including add-on instructions and indirect addressing.
4. Engineering review findings
Disabled logic, uncalled routines, suspect and unused tags, pending online edits, calls into missing routines — every item that needs a human ruling before migration.
5. FAT test plan
Every boolean output the program writes, the conditions that drive it, and drafted test steps with setup, action and expected result.
Delivered as
A bound PDF for approval and sign-off, plus Markdown sources your team can edit and keep in version control.