Source-derived document; reported behaviour, inference and evidence gaps are identified in the text.
Return to: Hazards, Unknowns, and Backlog — topic detail
Evidence and implementation gaps
In this document
Hazard: Evidence and implementation gaps
The retained evidence omits or incompletely supplies interface files, demo files, help content, framework implementations, database schema, additional form artifacts, and several SVN metadata files. Named gaps include ID4_Cust, ID4_Demo, D4_Demo, helpdemo.properties in portions of the evidence, ID4_Globals, Order, Orderform, P_Ordcur, State_List, Stock1, and Stock_Sel artifacts. These omissions limit cross-checking of interfaces, event handling, order entry, stock selection, state selection, persistence, and repository provenance. E0001 E0002 E0004
The overall evidence supports implemented customer management, order creation and customer-based order viewing, two report types, shared in-memory application data, and preloaded stock and state data. It does not support treating order update or deletion, stock CRUD, backlog reporting, or stock-list reporting as implemented. Transaction completeness, SQL-construction safety, report lifecycle, customer-deletion semantics, and order-total calculation remain unresolved questions rather than established defects. E0002 E0004
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.