Duplicate Disposition Walk

Kind: algorithm

Record: algorithms:duplicate-disposition-walk

Canonical: Algorithms

Closure: Dependencies in load order

Walk a duplicated fact in order, enumerating its copies, counting the distinguished ones, reading each derivation edge's period, choosing the disposition and checking which consumer each copy reaches.

Listed in Algorithm contracts, after Invocation Join and before Lifetime Resolution.

Domain

• Coordination

Stage

• derive

Axis

• reasoning

Tier

• process

Principle

• Period-Decided Disposition

Math type

• Set Theory

Force

• Correctness verification
• Semantic consistency

Linked from

• Coordination Surfaces
• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces

in this codebase

• models/coordination.model.md