These papers constitute the canonical research output of the Derivable Architectures program. They are published here as they were produced — research drafts developed during an active investigation, not retrospective summaries.
The papers are organized into three volumes. Volume I establishes the foundational vocabulary and concepts. Volume II develops the formal structural theory. Volume III presents independent experimental validation against systems the theory was never designed to explain.
Volume I — Foundations#
The foundations series introduces the ontology, defines the primitive concepts, and establishes the basic operations of the theory.
| Paper |
Title |
| 000 |
Derivable Architectures: A Research Program |
| 001 |
Ontology of Derivable Architectures |
| 002 |
Architectural Identity |
| 003 |
Architecture as an Abstract Object |
| 004 |
Derivation as an Architectural Operation |
| 005 |
Architectural Invariants |
| 006 |
Artifacts and Instances |
| 007 |
Histories and Evolution |
| 008 |
Profiles |
| 009 |
Dependency and Traceability |
| 010 |
Correctness of Derivations |
The formal theory series investigates the mathematical structure of derivation spaces, establishes axioms, and proves properties of derivable systems.
| Paper |
Title |
| 011 |
Spaces of Derivations |
| 012 |
Composition of Derivations |
| 013 |
Partial Derivations |
| 014 |
Constraints on Derivations |
| 015 |
Equivalence of Derivations |
| 016 |
Reversible Derivations |
| 017 |
Branching of Derivations |
| 018 |
Canonical Derivations |
| 019 |
Complexity of Derivation Spaces |
| 020 |
Invariants of Derivation Spaces |
| 021 |
Structural Transformations of Derivation Spaces |
| 022 |
Symmetries of Derivation Spaces |
| 023 |
Minimal Architectures |
| 024 |
Completeness of Derivation Systems |
| 025 |
Morphisms Between Architectures |
| 026 |
Closure of Derivation Systems |
| 027 |
Generators of Architectural Structure |
| 028 |
Necessity of Structural Generators |
| 029 |
Independence of Structural Generators |
| 030 |
Axiomatization of Derivable Architectures |
| 031 |
Soundness of the Structural Theory |
| 032 |
Structural Completeness |
| 033 |
Independence of the Axioms |
| 034 |
On the Search for a More Primitive Principle |
| 035 |
Limits of Derivable Architectures |
Volume III — Experimental Validation#
The validation series applies the canonical theory to independent systems it was never designed to explain. Each paper tests whether the theoretical predictions hold when confronted with real, independently established architectures.
| Paper |
Title |
Domain |
| V3-001 |
Genome as Architectural Description |
Biology |
| Study 001A |
Genome to Multicellular Organism (Scaling) |
Biology |
| V3-002 |
TCP/IP as Architectural Description |
Computer Networking |
| V3-003 |
Linux Kernel as Architectural Description |
Operating Systems |
A note on status#
These papers represent the current state of an active research program. The theory is frozen — no modifications to Volumes I and II are authorized. Volume III continues to accumulate independent evidence. The outcome of the validation program is not predetermined.
Papers are published here in their research form. They have not been submitted to peer-reviewed journals. Independent replication and external review are welcome.
030 — Axiomatization of Derivable Architectures Volume II — Structural Theory
Status: Normative
Authors
Eduardo N. Hering OpenAI ChatGPT Abstract The preceding papers progressively reduced the structural theory of derivable architectures to a remarkably small collection of indispensable concepts.
Rather than introducing new principles, this paper reconstructs the theory by identifying the minimal explicit axioms that are already implicit throughout Volumes I and II.
The objective is not to postulate arbitrary assumptions but to expose the smallest set of architectural statements from which the existing structural theory can be derived.
...
031 — Soundness of the Structural Theory Volume II — Structural Theory
Status: Normative
Authors
Eduardo N. Hering OpenAI ChatGPT Abstract Paper 030 identified a provisional axiomatic foundation for derivable architectures.
The present paper investigates a different property.
Rather than asking whether the axioms are minimal, it asks whether the theory constructed from them is sound.
Within the present research program, soundness means that every theorem admitted by the structural theory preserves the distinction between architecture and realization established throughout Volumes I and II.
...
032 — Structural Completeness Volume II — Structural Theory
Status: Normative
Authors
Eduardo N. Hering OpenAI ChatGPT Abstract Paper 031 established that the structural theory is sound with respect to its provisional axioms.
Soundness guarantees that no invalid architectural propositions are produced.
It does not establish whether every valid architectural proposition can, in principle, be derived.
This paper investigates that complementary property.
The analysis concludes that complete structural completeness has not yet been demonstrated.
...
033 — Independence of the Axioms Volume II — Structural Theory
Status: Normative
Authors
Eduardo N. Hering OpenAI ChatGPT Abstract Paper 030 proposed a provisional axiomatization of derivable architectures.
Paper 031 established the soundness of the resulting structural theory.
Paper 032 identified structural completeness as a strongly supported but unproven hypothesis.
The present paper investigates a more fundamental question.
Do the three provisional axioms represent genuinely independent architectural principles, or are some merely consequences of others?
...
034 — On the Search for a More Primitive Principle Volume II — Structural Theory
Status: Normative
Authors
Eduardo N. Hering OpenAI ChatGPT Abstract The structural theory has undergone continuous conceptual compression throughout Volumes I and II.
Successive reductions culminated in three provisional axioms:
Architectural Identity; Derivability; Structural Preservation. The present paper considers whether further reduction is scientifically justified.
Rather than proposing a new primitive principle, it establishes the methodological conditions under which such a principle could legitimately be sought.
...
035 — Limits of Derivable Architectures Volume II — Structural Theory
Status: Normative
Authors
Eduardo N. Hering OpenAI ChatGPT Abstract Volumes I and II established an increasingly compact structural theory of derivable architectures.
The theory progressed from architectural ontology to derivation, structural spaces, generators, axiomatization, and meta-theory.
The present paper defines the limits of the theory.
Rather than extending the theory, it specifies the boundaries within which its conclusions remain scientifically justified.
...
Paper 002 Genome as an Architectural Description and the Multicellular Organism as a Hierarchical Derivation 1. Constitutional Status The Canonical Theory is frozen.
The Validation Methodology is frozen.
The Prediction Registry is frozen.
The objective of this paper is exclusively to compare the canonical theory with an independently established biological system.
No architectural concepts are introduced or modified.
Biological facts are taken exclusively from established biological literature.
2. Abstract Paper 001 demonstrated that a genome may be interpreted as an architectural description from which a single cellular instance is derived.
...
Paper 002 Genome as an Architectural Description and the Multicellular Organism as a Hierarchical Derivation 1. Constitutional Status The Canonical Theory is frozen.
The Validation Methodology is frozen.
The Prediction Registry is frozen.
The objective of this paper is exclusively to compare the canonical theory with an independently established biological system.
No architectural concepts are introduced or modified.
Biological facts are taken exclusively from established biological literature.
2. Abstract Paper 001 demonstrated that a genome may be interpreted as an architectural description from which a single cellular instance is derived.
...
Volume III — Experimental Validation Paper 002 (Revision 1) TCP/IP as an Architectural Description and Network Communication as Derived Instances 0. Case Profile Validation Type: Independent Validation Paper
Validation Domain: Computer Networking
Reference System: TCP/IP Internet Protocol Suite
Primary Reference Sources:
RFC 1122 — Requirements for Internet Hosts — Communication Layers RFC 1123 — Requirements for Internet Hosts — Application and Support RFC 768 — User Datagram Protocol RFC 791 — Internet Protocol RFC 8200 — Internet Protocol, Version 6 Specification RFC 9293 — Transmission Control Protocol RFC 1812 — Requirements for IP Version 4 Routers established networking literature consistent with the normative RFC corpus Canonical Theory Status: Frozen
...
Derivable Architectures Volume III — Experimental Validation Paper 003 (Canonical Revision) Linux Kernel as an Architectural Description and Operating System Instances as Derived Realizations Abstract The Derivable Architectures theory proposes that sufficiently expressive architectural descriptions contain enough information to derive complete operational realizations through lawful transformation rather than independent construction. Previous validation papers demonstrated this principle in biological systems, where genomic information derives living organisms, and in communication systems, where the TCP/IP architecture derives interoperable protocol implementations.
...