Source-derived document; reported behaviour, inference and evidence gaps are identified in the text.
System context
| Subjects and elements | Diagram | Sources |
|---|---|---|
| D4 Demo Application; Application User; stores7 Database; Operating-System Command Facility | Diagram; 1 recorded gaps | E0001, E0002, E0003 |
| Customer Order Stock Report Application; Application user; Informix-related data environment | Diagram; 3 recorded gaps | E0004, E0005, E0006 |
| Legacy Informix demonstration application; Application user; stores7 Informix database; Printer; Operating system | Diagram; 1 recorded gaps | E0007, E0008 |
| Legacy Informix-4GL demo application; Application User; stores7 Database | Diagram; 1 recorded gaps | E0008, E0009 |
| Demo order-management application; Application user; Informix database | Diagram; 1 recorded gaps | E0011, E0012, 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.