This note defines the time, observation, coordination, and cost boundary for the shared-clock-free benchmark. Music supplies the test regime; the measured problem is distributed predictive control under expressive nonstationarity, delay, role change, and partner turnover.
Local clocks and evaluator time
Agent observes its local clock
where is hidden evaluator time in seconds, is dimensionless clock rate, is offset in seconds, and is local clock error in seconds. Agents may not read , , , or another agent's clock. The evaluator uses only to score pairwise events and injected disturbances.
For event sent by partner and observed by agent ,
where event time and channel delay are seconds and observation error is seconds. Delay may be asymmetric, time-varying, and censored by loss. A shared beat label, synchronized timestamp, or evaluator clock in the policy input invalidates the shared-clock-free arm.
Phase and tempo state
Agent maintains a local phase estimate radians, period estimate in seconds, uncertainty in radians, and drift estimate in seconds per second. For an observed partner phase ,
A minimal correction null is
where predicted onset , period , and onset asynchrony are seconds, and gain is dimensionless. Tempo adaptation requires a separately identifiable update; folding timing and tempo error into one unconstrained latent state weakens the diagnosis.
Pairwise timing outcomes
For paired events from agents and , evaluator asynchrony is
Report the signed distribution, median absolute asynchrony, absolute asynchrony, circular phase error, and missed or duplicated event count. Similar mean tempo does not establish synchronization.
After perturbation at , recovery time is
where and are seconds, is seconds, and is a declared variance or instability measure with a matching frozen threshold. Censored failures remain failures rather than disappearing from the mean.
Phrase and role state
Timing alone can be excellent while the wrong phrase, motif, answer, or role is executed. Let be a typed phrase act with boundary, motif relation, literal constraint, role, and addressee. The partner model is
where history , partner memory , context , phrase act , and role are typed variables. Score held-out log loss in bits per act, calibration, literal constraint satisfaction, phrase-response accuracy, and role violations separately.
Familiar-partner gain is
where uses the same dimensionless task-quality measure and task set. A positive value may reflect replay or overfitting; it earns co-adaptation credit only when the policy also transfers to new motifs and recovers after partner or role change.
Multi-objective outcome
Keep the primary result as a vector:
is dimensionless; asynchronies and recovery are seconds; phrase error is a dimensionless error rate; is a count; message traffic is bytes; decision latency is seconds; and lifecycle energy is joules. Blinded human judgments of coherence or expressivity are additional outcomes, never substitutes for literal success or timing.
Lifecycle and equal-budget boundary
For horizon ,
with all terms in joules at one boundary. Also report parameter bytes, partner- memory bytes, messages and bytes per event, evaluator or human queries, rehearsal events, and wall time. A centralized conductor pays its synchronization traffic and infrastructure; a local method pays identification and adaptation.
Equal-budget arms receive the same event stream, sensor uncertainty, action interface, parameter and state ceiling, training examples, rehearsal, hyperparameter trials, update rate, message budget, latency budget, and energy boundary. The hidden evaluator trace is paired across arms.
Rejection conditions
Reject the composed residual when any of the following holds:
- a phase-locked loop, Kalman/state-space estimator, or MPC arm matches timing and recovery;
- retrieval plus explicit role/protocol state matches phrase response and partner turnover;
- the gain vanishes on new partners, motifs, tempi, or delay processes;
- a policy observes the privileged clock or hidden perturbation state;
- familiar-partner gain is replay without adaptation to a new phrase;
- timing improves while literal constraints or role safety worsen; or
- adaptation, rehearsal, communication, evaluator work, or recovery energy is omitted.
Editable system diagram: shared-clock-free-coadaptation.mmd.