Source-derived document; reported behaviour, inference and evidence gaps are identified in the text.
Return to: 4. Journeys and State Machines — topic detail
Stock item
In this document
Lifecycle: Stock item
The evidence supports a documented “not implemented” status for stock add, find, update, and delete choices. It does not show whether stock records can be displayed, queried, or persisted through another incomplete or missing form. The retained coverage list includes Stock1.java.svn-base and Stock_Sel.java.svn-base, but the supplied analysis does not provide complete behavior for all stock artifacts. E0004 E0006
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.