Society · Coordination
Rally
Enable ad-hoc multi-party coordination
Definition
Mechanism
Ad-hoc group-formation Protocol. An initiator broadcasts RALLY with group requirements encoded as an AcceptSpec, participant Criteria, `deadline`, `min_participants`, and `max_participants`. Responders submit tentative ENLIST messages. Before `deadline`, the initiator closes ENLIST intake, executes Select over the responders using the participant criteria with `limit = max_participants`, sends MUSTER to those selected, and collects confirmations. Confirmation closes when every selected responder has replied or at `deadline`; only selected responders who confirm by then count toward `min_participants`. Rally then yields one Outcome whose `outcome_id` identifies this Rally run. If fewer than `min_participants` confirmed, `outcome.value` records `{status: dissolved, confirmed_participants}` and no `context_id`. Otherwise the initiator mints a fresh `context_id`; `outcome.value` records `{status: formed, confirmed_participants, context_id}`, and every confirmed participant receives that same `context_id`.
Preconditions
- Broadcast channel available
- Initiator can mint and communicate a shared group context identifier
Postconditions
- A formed or dissolved Outcome is yielded
Invariants
- `2 <= min_participants <= max_participants <= 10000`.
- Exactly one Outcome is yielded per Rally run, and its `outcome_id` identifies that run.
- `outcome.value.confirmed_participants` contains exactly the responders selected under Criteria who confirmed before MUSTER confirmation closed.
- `outcome.value.status` is `formed` if and only if at least `min_participants` selected responders confirmed before confirmation closed.
- A formed Outcome carries exactly one `context_id`, fresh to that Rally run and shared with every confirmed participant; a dissolved outcome carries none.
Risks
Failure modes
Flaking
Responders ENLIST tentatively but selected responders fail to confirm at MUSTER before `deadline`.
Under-quorum
Fewer than `min_participants` selected responders confirm before MUSTER confirmation closes, so no group forms.
Relationships
Builds on
Accepts
Infrastructure
Non-compensatory acceptance contract; consumer Verify yields Solution or FrameError
Infrastructure
Judgment standards
Composes with
Infrastructure
Generic selection of items from a set based on criteria
References
Infrastructure
Communication standard
Yields
Infrastructure
Realized state after an action, captured for Plan-vs-reality comparison
Used by
References
Emergent working groups from activity density
Reference
Parameters
deadlineDuration, (0s, unbounded)- Duration from Rally start by which ENLIST intake, selection, and MUSTER confirmation complete
max_participantsPositiveInteger, [min_participants, 10000]- Most responders that may be selected and confirmed
min_participantsPositiveInteger, [2, max_participants]- Fewest selected responders who must confirm at MUSTER for group formation