====== P4-REQ-21-14-007 ====== [[dido:99_annexes:annex-d-requirements:part-04:start| Return to Requirements]] ===== Statement ===== IDL and generated type traceability SHALL relate FX logical information structures to IDL structures and generated types. ===== Source ===== Part 4, Section 21.14: Implementation Traceability Requirements. ===== Rationale ===== IDL structures and generated types provide Phase 0 implementation representations of FX logical information structures. Explicit traceability preserves the chain from logical information meaning through its governed IDL definition to the generated implementation-language representation used by Phase 0 participants. ===== Applies To ===== This requirement applies to: * FX logical information structures; * IDL structures; * generated types; * source IDL files; and * generation relationships. ===== Verification ===== Verification SHALL confirm that IDL and generated type traceability relates FX logical information structures to their Phase 0 representations. Verification activities should include review checks confirming that: * IDL structures identify their FX logical information sources; * generated types identify their source IDL structures; * the complete logical-to-IDL-to-generated-type chain is reviewable; and * generated types remain traceable after regeneration. ===== Traceability ===== This requirement establishes implementation traceability for Phase 0 information-structure realizations. Related requirement identifiers: * [[dido:99_annexes:annex-d-requirements:part-04:p4-req-21-6-001]] * [[dido:99_annexes:annex-d-requirements:part-04:p4-req-21-6-002]] * [[dido:99_annexes:annex-d-requirements:part-04:p4-req-21-6-003]] * [[dido:99_annexes:annex-d-requirements:part-04:p4-req-21-6-010]] Related source section: * [[fxdemo:04-part:21-phase-0-implementation-requirements:21-14-implementation-traceability-requirements:start]] ===== Status ===== Draft ---- © 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.