One-Sided Liveness

Kind: principle

Layer: Execution Core

Record: architecture:one-sided-liveness

Severity: recommended

Scope: process, liveness

Canonical: Ontology

A design rule that a process's absence proves it is dead while its presence proves nothing, so liveness is derived once, from the witness first and from a generous window only where the witness cannot decide.

Listed in Architecture principles, after Read-Time Join and before Reversible Channel Encoding.

Requires

• Liveness Witness

Reinforces

• Determinism

Enables

• Shared Invocation

Violated by

• Presence as Liveness
• Per-Consumer Liveness

Refactored by

• Derive Liveness Once
• Witness First
• Window Second

Severity

• recommended

Category

• Coordination Surfaces

Linked from

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

in this codebase

• models/invocation.model.md