====== P4-REQ-21-6-012 ====== [[dido:99_annexes:annex-d-requirements:part-04:start| Return to Requirements]] ===== Statement ===== Generated types SHALL NOT redefine IDL structures or FX logical information structures. ===== Source ===== Part 4, Section 21.6: Information Structure Mapping Requirements. ===== Rationale ===== Generated types are derived implementation artifacts produced from governed IDL structures. They are not independent sources of data-definition or logical meaning. Preventing generated types from redefining either their IDL sources or FX logical information structures preserves the governed derivation chain and supports repeatable generation. ===== Applies To ===== This requirement applies to: * generated types; * governed IDL structures; * generated-code locations; * implementation modules using generated types; and * FX logical information structures. ===== Verification ===== Verification SHALL confirm that generated types do not redefine their source IDL structures or applicable FX logical information structures. Verification activities should include review checks confirming that: * generated types remain derived from governed IDL; * generated files are not treated as authoritative source definitions; * manual modification is prohibited unless explicitly governed; * regenerated outputs remain consistent with their source definitions; and * logical meaning remains governed by Part 3. ===== Traceability ===== This requirement preserves the derivation hierarchy from FX logical information structure to IDL structure to generated Phase 0 type. Related requirement identifiers: * [[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]] * [[dido:99_annexes:annex-d-requirements:part-04:p4-req-21-6-011]] Related source section: * [[fxdemo:04-part:21-phase-0-implementation-requirements:21-6-information-structure-mapping-requirements:start]] ===== Status ===== Draft ---- © 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.