Schema
The layer topology
The layer topology holds the four core layers, the domains beneath them, the cross-cutting domains and the edges that join them. Every layer is an algorithm contract, and each record names the categories of principle and term that belong to it. Why a layer grouping exists beside the topical one is described in the canon is grouped twice on the architecture page.
Relations diagram
flowchart TB
n_layer_atomic_boundary["Atomic Boundary"]
n_layer_causality_core["Causality Core"]
n_layer_computation_core["Computation Core"]
n_layer_contracts_core["Contracts Core"]
n_layer_correctness_core["Correctness Core"]
n_layer_declarative_core["Declarative Core"]
n_layer_design_patterns_core["Design Patterns Core"]
n_layer_domain_modeling["Domain Modeling"]
n_layer_enforcement_core["Enforcement Core"]
n_layer_evolution_principles["Evolution Principles"]
n_layer_execution_core["Execution Core"]
n_layer_extensibility_core["Extensibility Core"]
n_layer_human_factors["Human Factors"]
n_layer_observability["Observability"]
n_layer_performance_core["Performance Core"]
n_layer_resource_core["Resource Core"]
n_layer_security_core["Security Core"]
n_layer_structural_core["Structural Core"]
n_layer_resource_core -- observe --> n_layer_computation_core
n_layer_computation_core -- feeds --> n_layer_execution_core
n_layer_resource_core -- feeds --> n_layer_execution_core
n_layer_execution_core -- feeds --> n_layer_structural_core
n_layer_structural_core -- feedback --> n_layer_execution_core
n_layer_structural_core -- feeds --> n_layer_human_factors
n_layer_structural_core -- feeds --> n_layer_evolution_principles
n_layer_evolution_principles -- feeds --> n_layer_human_factors
n_layer_correctness_core -- cross-cuts --> n_layer_structural_core
n_layer_security_core -- cross-cuts --> n_layer_structural_core
n_layer_performance_core -- cross-cuts --> n_layer_structural_core
n_layer_contracts_core -- cross-cuts --> n_layer_structural_core
n_layer_causality_core -- cross-cuts --> n_layer_structural_core
n_layer_declarative_core -- cross-cuts --> n_layer_structural_core
n_layer_extensibility_core -- cross-cuts --> n_layer_structural_core
n_layer_observability -- cross-cuts --> n_layer_structural_core
n_layer_enforcement_core -- cross-cuts --> n_layer_structural_core
n_layer_atomic_boundary -- cross-cuts --> n_layer_structural_core
n_layer_domain_modeling -- cross-cuts --> n_layer_structural_core
n_layer_design_patterns_core -- cross-cuts --> n_layer_structural_coreAtomic Boundary
- Contract: Atomic Boundary
Causality Core
- Contract: Causality Core
Computation Core
- Contract: Computation Core
Contracts Core
- Contract: Contracts Core
Correctness Core
- Contract: Correctness Core
Declarative Core
- Contract: Declarative Core
Design Patterns Core
- Contract: Design Patterns Core
Domain Modeling
- Contract: Domain Modeling
Enforcement Core
- Contract: Enforcement Core
Evolution Principles
- Contract: Evolution Principles
Execution Core
- Contract: Execution Core
Extensibility Core
- Contract: Extensibility Core
Human Factors
- Contract: Human Factors
Observability
- Contract: Observability
Performance Core
- Contract: Performance Core
Resource Core
- Contract: Resource Core
Security Core
- Contract: Security Core
Structural Core
- Contract: Structural Core