Source-derived document; reported behaviour, inference and evidence gaps are identified in the text.
Deployment evidence
| Subjects and elements | Diagram | Sources |
|---|---|---|
| GUIApplication configuration; D4_Main; Customer persistence; Order persistence; Help and interrupt documentation; stores7 database alias | No diagram; 2 recorded gaps | E0001, E0002, E0003, E0004 |
| Deployment evidence · 2: No elements recovered | No diagram; 2 recorded gaps | See linked evidence gaps |
| Demo application; Generated Java record artifacts; Local stores7 Informix endpoint; Project Informix endpoint; Translation project | No diagram; 2 recorded gaps | E0007, E0008 |
| 4GL form definitions; Compiled .frm forms; Java target source; stores7 database declaration | No diagram; 3 recorded gaps | E0009, E0010 |
| D4_Main Java application; Demo runtime libraries; Stores7 demo database; Java runtime; Informix Docker container | Diagram | E0011, E0013, E0014 |
Harten documentation of the Informix 4GL and Java source repository, from the retained 17 October 2026 export. The exact upstream revision analysed is not established. Source findings do not establish runtime behaviour or equivalence between the implementations.
Evidence identifiers are retained for traceability. The underlying analysis records are not included in this public edition; credential values are redacted. About this case study.