Coordination Surfaces
Kind: category
Record: architecture-category:coordination-surfaces
Canonical: Ontology
The Coordination Surfaces category holds 28 architecture principles.
Listed in Principle categories, after Codebase / System Architecture Styles and before Taxonomy / Classification / Naming.
Principle
- Stated Invariant
- Derived Record State
- Declared Subject
- Write Barrier
- Operand-Free Outcome Surface
- Projection Channel
- Two-Direction Index
- Independent Lifetime Axes
- Section Lifetime Divergence
- Write Scope and Read Population
- Read-Time Join
- One-Sided Liveness
- Reversible Channel Encoding
- Declare-Before-Read Order
- Period-Decided Disposition
- Derived Party Count
- Fan-In Ceiling
- State-Arity Limit
- Carrier and Payload Split
- Joinable Mandated Field
- Single Aggregate
- Contradicted Invariant
- Written Status Marker
- Invocation-Keyed Report
- Narrowed Aggregate
- Cyclic Tiebreak
- Destructive Closure
- Hand-Kept Index
Layer
Linked from
Coordination Surfaces
Every principle in this category is listed as a record. Each record carries its kind, its severity, the scopes it applies at and the layer it lives in, then the edge relations that join it to other records, the records that point back at it, the contracts that answer to it and the tensions it takes part in. The descriptors say how it is violated, detected, measured, repaired and enforced. Where the record carries one, an exemplar shows the shape before and after the principle is applied.
Relations diagram
flowchart LR
n_stated_invariant["Stated Invariant"]
n_derived_record_state["Derived Record State"]
n_declared_subject["Declared Subject"]
n_write_barrier["Write Barrier"]
n_operand_free_outcome_surface["Operand-Free Outcome Surface"]
n_projection_channel["Projection Channel"]
n_two_direction_index["Two-Direction Index"]
n_independent_lifetime_axes["Independent Lifetime Axes"]
n_section_lifetime_divergence["Section Lifetime Divergence"]
n_write_scope_and_read_population["Write Scope and Read Population"]
n_read_time_join["Read-Time Join"]
n_one_sided_liveness["One-Sided Liveness"]
n_reversible_channel_encoding["Reversible Channel Encoding"]
n_declare_before_read_order["Declare-Before-Read Order"]
n_period_decided_disposition["Period-Decided Disposition"]
n_derived_party_count["Derived Party Count"]
n_fan_in_ceiling["Fan-In Ceiling"]
n_state_arity_limit["State-Arity Limit"]
n_carrier_and_payload_split["Carrier and Payload Split"]
n_joinable_mandated_field["Joinable Mandated Field"]
n_single_aggregate["Single Aggregate"]
n_contradicted_invariant["Contradicted Invariant"]
n_written_status_marker["Written Status Marker"]
n_invocation_keyed_report["Invocation-Keyed Report"]
n_narrowed_aggregate["Narrowed Aggregate"]
n_cyclic_tiebreak["Cyclic Tiebreak"]
n_destructive_closure["Destructive Closure"]
n_hand_kept_index["Hand-Kept Index"]
n_stated_invariant --x n_contradicted_invariant
n_derived_record_state --x n_written_status_marker
n_operand_free_outcome_surface --> n_stated_invariant
n_operand_free_outcome_surface --x n_contradicted_invariant
n_two_direction_index --x n_hand_kept_index
n_independent_lifetime_axes --x n_destructive_closure
n_section_lifetime_divergence --> n_independent_lifetime_axes
n_read_time_join --> n_write_scope_and_read_population
n_period_decided_disposition --x n_cyclic_tiebreak
n_fan_in_ceiling --> n_derived_party_count
n_joinable_mandated_field --> n_carrier_and_payload_split
n_single_aggregate --x n_invocation_keyed_report
n_single_aggregate --x n_narrowed_aggregateStated Invariant
- Kind: principle
- Category: Coordination Surfaces
- Severity: mandatory
- Scope: topology, coordination
- Layer: Execution Core
Derived Record State
- Kind: principle
- Category: Coordination Surfaces
- Severity: mandatory
- Scope: record, coordination
- Layer: Execution Core
Declared Subject
- Kind: constraint
- Category: Coordination Surfaces
- Severity: mandatory
- Scope: record, identity
- Layer: Execution Core
Write Barrier
- Kind: mechanism
- Category: Coordination Surfaces
- Severity: contextual
- Scope: surface, concurrency
- Layer: Execution Core
Operand-Free Outcome Surface
- Kind: constraint
- Category: Coordination Surfaces
- Severity: mandatory
- Scope: surface, authorship
- Layer: Execution Core
Projection Channel
- Kind: constraint
- Category: Coordination Surfaces
- Severity: mandatory
- Scope: context, reader
- Layer: Execution Core
Two-Direction Index
- Kind: mechanism
- Category: Coordination Surfaces
- Severity: mandatory
- Scope: index, directory
- Layer: Execution Core
Independent Lifetime Axes
- Kind: principle
- Category: Coordination Surfaces
- Severity: mandatory
- Scope: surface, lifetime
- Layer: Execution Core
Section Lifetime Divergence
- Kind: constraint
- Category: Coordination Surfaces
- Severity: recommended
- Scope: surface, section
- Layer: Execution Core
Write Scope and Read Population
- Kind: principle
- Category: Coordination Surfaces
- Severity: mandatory
- Scope: run, invocation
- Layer: Execution Core
Read-Time Join
- Kind: mechanism
- Category: Coordination Surfaces
- Severity: recommended
- Scope: run, invocation
- Layer: Execution Core
One-Sided Liveness
- Kind: principle
- Category: Coordination Surfaces
- Severity: recommended
- Scope: process, liveness
- Layer: Execution Core
Reversible Channel Encoding
- Kind: constraint
- Category: Coordination Surfaces
- Severity: recommended
- Scope: channel, naming
- Layer: Execution Core
Declare-Before-Read Order
- Kind: mechanism
- Category: Coordination Surfaces
- Severity: recommended
- Scope: run, concurrency
- Layer: Execution Core
Period-Decided Disposition
- Kind: principle
- Category: Coordination Surfaces
- Severity: recommended
- Scope: duplicate, derivation
- Layer: Execution Core
Derived Party Count
- Kind: principle
- Category: Coordination Surfaces
- Severity: contextual
- Scope: allocation, coordination
- Layer: Execution Core
Fan-In Ceiling
- Kind: constraint
- Category: Coordination Surfaces
- Severity: contextual
- Scope: allocation, surface
- Layer: Execution Core
State-Arity Limit
- Kind: constraint
- Category: Coordination Surfaces
- Severity: recommended
- Scope: check, state
- Layer: Execution Core
Carrier and Payload Split
- Kind: principle
- Category: Coordination Surfaces
- Severity: recommended
- Scope: surface, field
- Layer: Execution Core
Joinable Mandated Field
- Kind: constraint
- Category: Coordination Surfaces
- Severity: recommended
- Scope: field, schema
- Layer: Execution Core
Single Aggregate
- Kind: constraint
- Category: Coordination Surfaces
- Severity: mandatory
- Scope: measurement, report
- Layer: Execution Core
Contradicted Invariant
- Kind: anti-pattern
- Category: Coordination Surfaces
- Severity: discouraged
- Scope: topology
- Layer: Execution Core
Written Status Marker
- Kind: anti-pattern
- Category: Coordination Surfaces
- Severity: discouraged
- Scope: record
- Layer: Execution Core
Invocation-Keyed Report
- Kind: anti-pattern
- Category: Coordination Surfaces
- Severity: discouraged
- Scope: report
- Layer: Execution Core
Narrowed Aggregate
- Kind: anti-pattern
- Category: Coordination Surfaces
- Severity: discouraged
- Scope: report
- Layer: Execution Core
Cyclic Tiebreak
- Kind: anti-pattern
- Category: Coordination Surfaces
- Severity: discouraged
- Scope: duplicate
- Layer: Execution Core
Destructive Closure
- Kind: anti-pattern
- Category: Coordination Surfaces
- Severity: discouraged
- Scope: venue
- Layer: Execution Core
Hand-Kept Index
- Kind: anti-pattern
- Category: Coordination Surfaces
- Severity: discouraged
- Scope: index
- Layer: Execution Core