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

Actor journeys

Subjects and elements	Diagram	Sources
Data-entry user; Begin data entry; Request context help; Contextual help displayed; Interrupt data entry; Entry abandoned without database write	Diagram; 1 recorded gaps	E0003
Application operator; Customer maintenance; Customer record maintained; Select existing customer; Enter new order; New order documented	Diagram; 2 recorded gaps	E0004, E0005, E0006
Application operator; Customer and order application; Customer menu; Add customer; Find customer; Select current customer; Update customer; Delete customer; Customer record maintained; Order menu; Select order customer; Enter order and line items; Commit order transaction; Order and invoice produced; Reports menu; Select report and destination; Produce labels or accounts receivable; Report output produced; Stock menu; Attempt stock maintenance; Stock maintenance unavailable	Diagram; 3 recorded gaps	E0007
Application operator; Manage customer; Customer record created; Look up customer; Customer information available; Enter order; Order entered; Look up order; Order information available; Print mailing labels; Mailing labels produced; Print accounts-receivable report; Accounts-receivable report produced; Attempt order update or deletion; Order update or deletion unavailable; Attempt stock maintenance; Stock maintenance unavailable; Attempt backlog or stock-list reporting; Backlog or stock-list report unavailable	Diagram; 2 recorded gaps	E0008
Application user; Privileged application user; Enter privilege status; Choose customer or order operation; Enter customer details; Customer added; Enter order and items; Order added; Query customer or order records; Records displayed	Diagram; 3 recorded gaps	E0009, E0010
Application user; Start application; Initialize shared application state; Load states and stock; Present main menu; Add order; Validate customer; Enter order header and line items; Calculate order total; Insert order and items; Commit order; Roll back order transaction; Handle unexpected transaction exception; Transaction disposition after exception	Diagram; 2 recorded gaps	E0011, E0012
Application startup; Interactive user; Load bounded reference data; Present main menu; Reference data available; Request order entry; Begin order transaction; Insert order header; Insert order items; Commit order transaction; Rollback order transaction; Committed order; Rolled-back order transaction; Enter command; Invoke application execution; Command execution invoked	Diagram; 1 recorded gaps	E0012, 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.