Source-derived document; reported behaviour, inference and evidence gaps are identified in the text.
Coverage and source dispositions
In this document
Chapter diagram inventory
| Chapter | Included / linked views | Further diagram work |
|---|---|---|
| 01 | System context | None listed. |
| 02 | Capability hierarchy | Use-case view |
| 03 | Actor workflow / activity; Related lifecycle state machine | Actor / use-case view |
| 04 | Journey / activity flow; Lifecycle state machine | Interaction sequence |
| 05 | Decision-related state machine | Decision / activity branches |
| 06 | Conceptual data / class model | ERD / physical record model |
| 07 | System context; Component cooperation | None listed. |
| 08 | Integration data flow | Message / interaction sequence |
| 09 | Trust-boundary crossings | Security interaction sequence |
| 10 | Deployment / runtime targets | Operational activity flow |
| 11 | Component / dependency view | Design interaction sequence |
| 12 | Related workflow | Use-case / requirement view |
| 13 | Related workflow; Related lifecycle states | Scenario traceability view |
| 14 | Related system context; Related trust boundaries | None listed. |
| 15 | Chapter diagram inventory | None listed. |
| 16 | Handoff context; Handoff component view | None listed. |
14 original analysis documents and 69 exact sections remain retained.
Source retention, source supplied to a writer, factual meaning and diagram availability are distinct. Accepted writer inputs are not a universal semantic completeness certificate.
| Source | Exact section count |
|---|---|
| E0001 | 1 |
| E0002 | 13 |
| E0003 | 1 |
| E0004 | 4 |
| E0005 | 1 |
| E0006 | 7 |
| E0007 | 3 |
| E0008 | 13 |
| E0009 | 3 |
| E0010 | 9 |
| E0011 | 1 |
| E0012 | 11 |
| E0013 | 1 |
| E0014 | 1 |
The source identifiers and section counts above are preserved from the export. Detailed evidence records are not included in this public edition.
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.