Declare-Before-Read Order

Kind: mechanism

Layer: Execution Core

Record: architecture:declare-before-read-order

Severity: recommended

Scope: run, concurrency

Canonical: Ontology

A mechanism that orders two simultaneous starters without a lock by writing each entry before reading the set, with the start stamp and then the party identity breaking a tie.

Listed in Architecture principles, after Reversible Channel Encoding and before Period-Decided Disposition.

Requires

• Write Scope

Reinforces

• Determinism

Enables

• Shared Invocation

Violated by

• Read Before Declare

Refactored by

• Write the Entry Before Reading the Set

Severity

• recommended

Category

• Coordination Surfaces

Linked from

• Correctness / Determinism / Verification
• Coordination Surfaces
• Severity levels

in this codebase

• models/invocation.model.md