Derivable Architectures — Volume II
Paper 012 — Composition of Derivations
Research Program: Derivable Architectures
Volume: II — Structural Theory
Document: papers/012-composition-of-derivations.md
Status: Draft 0.1
Authors
Eduardo N. Hering
OpenAI ChatGPT
Abstract
Volume I established derivation as the transformation from an abstract architecture to implementation artifacts.
Paper 011 demonstrated that valid derivations form a structured space.
This paper studies how derivations themselves may be composed.
Rather than treating derivation as an indivisible process, we observe that complex derivations naturally decompose into smaller derivational steps.
Composition therefore becomes the fundamental operation governing navigation through the derivation space.
1. Observation
Practical derivations rarely occur in a single step.
Instead, implementation usually proceeds through successive decisions.
For example:
Architecture
↓
Jurisdiction Selection
↓
Legal Adaptation
↓
Organizational Structure
↓
Document Production
↓
Implementation Artifacts
Each stage preserves the architectural identity established in the previous stage.
2. Observation
Each stage is itself a valid derivation.
The complete implementation is therefore not a primitive derivation but a sequence of derivations.
3. Definition
Definition 1 — Sequential Derivation
A sequential derivation is an ordered collection of valid derivation steps in which the output of one step constitutes the architectural input of the next.
Each individual step must satisfy the correctness conditions established in Volume I.
4. Proposition
The composition of correct derivations is itself a correct derivation.
Proof Sketch
Each derivation preserves architectural identity.
Applying one identity-preserving derivation after another cannot introduce an architectural inconsistency absent from the individual steps.
Therefore the complete sequence also preserves architectural identity.
∎
5. Observation
Composition allows architectural complexity to be managed incrementally.
Rather than constructing an implementation in one operation, the derivation may be divided into independently understandable stages.
This reflects actual engineering practice.
6. Definition
Definition 2 — Derivational Path
A derivational path is an ordered sequence of composed derivations connecting an abstract architecture to a concrete implementation.
Different paths may terminate at the same implementation.
Likewise, identical initial stages may diverge into distinct implementations.
7. Observation
The existence of multiple derivational paths immediately explains an important engineering phenomenon.
Different implementation teams frequently reach equivalent artifacts through different development sequences.
The architecture therefore constrains the destination more strongly than the route.
8. Proposition
Architectural correctness depends on the validity of the composed derivation rather than on the uniqueness of the derivational path.
Proof Sketch
Correctness is determined by preservation of architectural invariants.
Since multiple derivational paths may preserve the same invariants,
uniqueness of the path is unnecessary.
Only correctness of every composed step matters.
∎
9. Observation
Composition introduces hierarchy into derivation.
A derivation may itself contain derivations.
Those derivations may contain further derivations.
Consequently, derivation exhibits recursive organization.
Definition 3 — Hierarchical Derivation
A hierarchical derivation is a derivation whose individual steps may themselves be expanded into lower-level derivations.
The distinction between a single derivation and a composed derivation therefore depends on the level of observation.
10. Corollary
Derivations possess multiple valid levels of abstraction.
A derivation may legitimately be described as:
-
one transformation,
-
several major stages,
-
hundreds of implementation decisions,
without contradiction.
These descriptions represent different resolutions of the same derivational process.
11. Observation
The ICA Baseline illustrates hierarchical derivation directly.
For example:
ICA
↓
Brazil Profile
↓
Corporate Form
↓
Governance Documents
↓
Operational Documents
↓
Institution-Specific Documents
Each stage remains architecturally derivable from the preceding stage.
The engineering process therefore reflects recursive composition rather than isolated derivation.
12. Conjecture
Every sufficiently complex derivation admits multiple valid decompositions.
Some decompositions may optimize:
-
understandability,
-
verification,
-
automation,
-
maintenance,
-
reuse,
without changing the resulting implementation.
13. Open Questions
Does composition satisfy associativity?
Can derivations be factorized uniquely?
Do irreducible derivation steps exist?
Can composition reveal hidden architectural symmetries?
Can optimal derivational paths be identified?
These questions motivate the study of partial derivations and constraints.
Conclusion
Composition transforms derivation from an isolated transformation into a structured process.
Implementation becomes the traversal of a derivational path assembled from individually correct architectural steps.
This recursive view explains how large implementations remain manageable while preserving architectural identity throughout the entire engineering process.