Architectural Rules
Kind: domain
Record: algorithms-domain:architectural-rules
Canonical: Algorithms
The Architectural Rules domain holds 47 algorithm contracts.
Listed in Algorithm domains, after Architectural Clusters and before Automation.
Contracts
- Constraints Over Shortcuts
- Forward Compatibility Over Backward Compatibility
- Fail-Fast Over Fallback
- Explicit Removal Over Deprecation
- Greenfield Over Legacy
- Single-Path Determinism Over Dual-Path
- Immediacy Over Deferring
- Mandatory Over Optional
- Now Over For-Now
- Observed Execution Over Unobserved
- Compression Over Repetition
- Approved Evolution Over Unapproved
- Enforced Feedback Over Ignored
- Single Owner Over Shared Ownership
- Bounded Lifetime Over Unbounded
- Enforced Symmetry Over Asymmetric Lifecycle
- Explicit Retention Over Implicit
- Structural Release Over Discipline
- Immutable Data Over Mutable State
- Errors As Language Over Silent Errors
- Explicit Invalidity Over Hidden
- Event Emission Over Parent Callbacks
- Monotonic Growth Over Retraction
- Semantic Addressing Over Location Addressing
- Ordinal Time Over Timestamps
- Homoiconicity Over Separation
- Bounded Complexity Over Unlimited
- Computed Health Over Metric Health
- Secret Store Over Hardcoded Secrets
- Boundary Validation Over Unvalidated Input
- Least Privilege Over Broad Privilege
- Config Externalization Over Env Fallback
- Profile-First Over Unmeasured Optimization
- Rule As Code Over Convention
- Design By Contract Over Implicit Contract
- Versioned Evolution Over Breaking Change
- Schema-Validated Boundary Over Untyped
- Atomic Boundary Over Partial Commit
- Saga Compensation Over Distributed 2PC
- Async Events Over Synchronous Cross-Boundary
- Observable Signals Over Opaque Runtime
- Injected Dependency Over Hidden
- Convention Discovery Over Hardcoded Wiring
- Declarative Config Over Imperative
- Anti-Corruption Layer Over Cross-Context Leak
- Injected Nondeterminism Over Hidden
- Pattern By Fit Over Speculative Pattern
Linked from
Architectural Rules
Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain.
Relations diagram
flowchart LR
n_no_shortcuts["Constraints Over Shortcuts"]
n_no_backward_compat["Forward Compatibility Over Backward Compatibility"]
n_no_fallback["Fail-Fast Over Fallback"]
n_no_deprecation["Explicit Removal Over Deprecation"]
n_no_legacy["Greenfield Over Legacy"]
n_no_dual_path["Single-Path Determinism Over Dual-Path"]
n_no_deferring["Immediacy Over Deferring"]
n_no_optional["Mandatory Over Optional"]
n_no_for_now["Now Over For-Now"]
n_no_unobserved["Observed Execution Over Unobserved"]
n_no_uncompressed["Compression Over Repetition"]
n_no_unapproved["Approved Evolution Over Unapproved"]
n_no_ignored_feedback["Enforced Feedback Over Ignored"]
n_no_shared_ownership["Single Owner Over Shared Ownership"]
n_no_unbounded["Bounded Lifetime Over Unbounded"]
n_no_asymmetric["Enforced Symmetry Over Asymmetric Lifecycle"]
n_no_implicit_retention["Explicit Retention Over Implicit"]
n_no_discipline_release["Structural Release Over Discipline"]
n_no_mutable["Immutable Data Over Mutable State"]
n_no_silent["Errors As Language Over Silent Errors"]
n_no_hidden_invalidity["Explicit Invalidity Over Hidden"]
n_no_callbacks["Event Emission Over Parent Callbacks"]
n_no_retraction["Monotonic Growth Over Retraction"]
n_no_location["Semantic Addressing Over Location Addressing"]
n_no_timestamps["Ordinal Time Over Timestamps"]
n_no_separation["Homoiconicity Over Separation"]
n_no_unlimited["Bounded Complexity Over Unlimited"]
n_no_metrics["Computed Health Over Metric Health"]
n_no_hardcoded_secrets["Secret Store Over Hardcoded Secrets"]
n_no_unvalidated_input["Boundary Validation Over Unvalidated Input"]
n_no_broad_privilege["Least Privilege Over Broad Privilege"]
n_no_env_fallback["Config Externalization Over Env Fallback"]
n_no_unmeasured_optimization["Profile-First Over Unmeasured Optimization"]
n_no_convention_enforcement["Rule As Code Over Convention"]
n_no_implicit_contract["Design By Contract Over Implicit Contract"]
n_no_breaking_change["Versioned Evolution Over Breaking Change"]
n_no_untyped_boundary["Schema-Validated Boundary Over Untyped"]
n_no_partial_commit["Atomic Boundary Over Partial Commit"]
n_no_distributed_2pc["Saga Compensation Over Distributed 2PC"]
n_no_sync_cross_boundary["Async Events Over Synchronous Cross-Boundary"]
n_no_opaque_runtime["Observable Signals Over Opaque Runtime"]
n_no_hidden_dependency["Injected Dependency Over Hidden"]
n_no_hardcoded_wiring["Convention Discovery Over Hardcoded Wiring"]
n_no_imperative_config["Declarative Config Over Imperative"]
n_no_leaky_context["Anti-Corruption Layer Over Cross-Context Leak"]
n_no_hidden_nondeterminism["Injected Nondeterminism Over Hidden"]
n_no_speculative_pattern["Pattern By Fit Over Speculative Pattern"]Constraints Over Shortcuts
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Forward Compatibility Over Backward Compatibility
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Fail-Fast Over Fallback
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Explicit Removal Over Deprecation
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Greenfield Over Legacy
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Single-Path Determinism Over Dual-Path
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Immediacy Over Deferring
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Mandatory Over Optional
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Now Over For-Now
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Observed Execution Over Unobserved
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Compression Over Repetition
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Approved Evolution Over Unapproved
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Enforced Feedback Over Ignored
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Single Owner Over Shared Ownership
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Bounded Lifetime Over Unbounded
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Enforced Symmetry Over Asymmetric Lifecycle
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Explicit Retention Over Implicit
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Structural Release Over Discipline
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Immutable Data Over Mutable State
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Errors As Language Over Silent Errors
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Event Emission Over Parent Callbacks
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Monotonic Growth Over Retraction
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Semantic Addressing Over Location Addressing
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Ordinal Time Over Timestamps
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Homoiconicity Over Separation
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Bounded Complexity Over Unlimited
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Computed Health Over Metric Health
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Secret Store Over Hardcoded Secrets
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Boundary Validation Over Unvalidated Input
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Least Privilege Over Broad Privilege
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Config Externalization Over Env Fallback
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Profile-First Over Unmeasured Optimization
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Rule As Code Over Convention
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Design By Contract Over Implicit Contract
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Versioned Evolution Over Breaking Change
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Schema-Validated Boundary Over Untyped
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Atomic Boundary Over Partial Commit
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Saga Compensation Over Distributed 2PC
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Async Events Over Synchronous Cross-Boundary
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Observable Signals Over Opaque Runtime
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Convention Discovery Over Hardcoded Wiring
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Declarative Config Over Imperative
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Anti-Corruption Layer Over Cross-Context Leak
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean
Pattern By Fit Over Speculative Pattern
- Domain: Architectural Rules
- Tier: leaf
- Math type: logic
- Yields: boolean