Source-derived document; reported behaviour, inference and evidence gaps are identified in the text.

Conceptual information

Subjects and elements	Diagram	Sources
Customer record; Customer form; Order; Order line item; Stock item; State; Shared application state; Print option	Diagram; 1 recorded gaps	E0001, E0002, E0003, E0004
Customer; Order; Order Item; Stock Item; Invoice	Diagram; 1 recorded gaps	E0004, E0006
Customer record; Customer source records; State; Order record; Item unload record	Diagram; 1 recorded gaps	E0007, E0008
Customer; orders.unl extract and stores7 order records — Order; Order Item; Stock Record; Manufacturer; State; System Catalog Attribute	Diagram	E0009, E0010
Customer; Order; Order line item; Stock item; Manufacturer; State; Invoice	Diagram; 1 recorded gaps	E0011, E0012, E0013

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.