Write Scope and Read Population

Kind: principle

Layer: Execution Core

Record: architecture:write-scope-and-read-population

Severity: mandatory

Scope: run, invocation

Canonical: Ontology

A design rule that a run declares the paths it writes and publishes the set it read as two declarations, because collision is decided by the first and a published result's validity by the second.

Listed in Architecture principles, after Section Lifetime Divergence and before Read-Time Join.

Requires

• Write Scope
• Read Population

Reinforces

• Determinism

Enables

• Shared Invocation

Violated by

• Conflated Scope

Refactored by

• Declare the Write Scope
• Publish the Read Population

Expressed by

• population_clause

Severity

• mandatory

Category

• Coordination Surfaces

Reinforced by

• Read-Time Join

Linked from

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

in this codebase

• unsanctionedWriters
• models/invocation.model.md