Module coordination 

Coordination ops - Limit, Any, Gate, Serialize, CorrelateTag, Hold, DeadlineCheck. + .

DeadlineCheck lives in its own sub-module so the compiler pass that inserts it can re-export OP_TYPE + attribute-name constants from one place.

Modules

deadline_check

DeadlineCheck syscall op - a clock-driven gate that passes a trigger through if the current time is before its deadline_ns attribute, fails with "deadline exceeded" otherwise.

Structs

AnyOp

Marker struct for dispatch_table TypeId keying.

CorrelateTagOp

Marker struct for dispatch_table TypeId keying.

GateOp

Marker struct for dispatch_table TypeId keying.

HoldFlushOp

Marker struct for dispatch_table TypeId keying.

HoldStashOp

Marker struct for dispatch_table TypeId keying.

LimitAcquireOp

Marker struct for dispatch_table TypeId keying.

LimitReleaseOp

Marker struct for dispatch_table TypeId keying.

SerializeDequeueOp

Marker struct for dispatch_table TypeId keying.

SerializeEnqueueOp

Marker struct for dispatch_table TypeId keying.

Functions

invoke_any

Any(inputs: variadic, group: string) → value per IR_AND_DSL.md §5a. First-arrival semantics: the first input to arrive in a group emits its value; subsequent arrivals within the same group are absorbed (Immediate vec![]) so downstream consumers don’t re-fire.

invoke_correlate_tag

CorrelateTag(trigger) → token.

invoke_gate

Gate(value, trigger) → value. Releases the value once trigger arrives (both inputs are required by all_inputs_ready before the engine invokes us).

invoke_hold_flush

Hold.Flush(trigger, slot: string) → value.

invoke_hold_stash

Hold.Stash(value, slot: string) → Sink.

invoke_limit_acquire

Limit.Acquire(trigger, name: string, n: int) → Trigger | Sink.

invoke_limit_release

Limit.Release(trigger, name: string) → Sink.

invoke_serialize_dequeue

Serialize.Dequeue(trigger, queue: string) → value.

invoke_serialize_enqueue

Serialize.Enqueue(value, queue: string) → Trigger.

link_force

Linker-anchor - see bb_ops::link_force for details.