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

Return to: 04 Journeys and State Machines

4. Journeys and State Machines — topic detail

Order
Customer record
Stock item
Order record
order record
customer profile

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.