PROTOCOL NOTES / 10
Scenarios & evidence
Follow complete scenarios and read evidence at the right level.
Implemented software · Physical qualification pending
Eighteen views of the same system
Each scenario connects the starting state, ordered events, ownership, failure branches, and evidence. Read them as worked examples alongside the explanatory chapters.
- Organizer creates a ride and begins discovery
- Invitation import, discovery and first connection
- NDP through IPv6, TLS, greeting and hello
- Join approval, index assignment and signed roster
- Multiple direct and relayed admissions
- Admission closure, source descriptors and readiness
- Local helmet audio activation and first frame
- Single-hop and multi-hop authenticated media
- Silence, speaking, feedback and experimental DTX
- Graceful departure and organizer-local termination
- Network failure, half-open detection and repair
- Abrupt relay disappearance and descendant reconnection
- Partition, temporary root and later merge
- Parent improvement, handoff, abort, rollback and drain
- Duplicates, stale media, hop exhaustion and rejected membership
- Background operation, interruption, suspension and recovery
- Capacity exhaustion and break-before-make fallback
- Shared-NDI ownership and independent teardown
Observe without recording the conversation
RideWeave 0.2.1 persists bounded local diagnostics for rides, failed join attempts, and headset checks. A background writer records events, periodic counters, and device measurements. Ordinary records exclude speech and packet content. Shared reports also omit names, ride labels, invitations, keys, and raw network addresses.
Correlation pseudonyms support comparison across phones within a ride; they are not an anonymity guarantee against someone who already knows the source identities. Quota eviction can remove detail while retaining summaries. Recorder gaps and missing observations must remain explicit instead of being filled with invented values.
Keep evidence at its actual level
| Evidence | What it can establish |
|---|---|
| Deterministic host | State transitions, authorization and ownership invariants |
| TLS/UDP loopback | Real socket framing and software duplex behavior |
| JVM / Android emulator | Adapter policy, JNI, UI and lifecycle behavior |
| Physical phones and helmets | Radio, motion, wind acoustics, coexistence, heat and battery: still requires qualification |
A requirement mapped to a test is not itself a passing execution. Historical results apply to their recorded revisions. The documentation describes current implementation; cited software evidence does not qualify later radio behavior.
Deliberate boundaries
iOS, hotspot fallback, NAN Pairing interoperability, remote member eviction, and global authenticated termination are unimplemented. Moving-group range and reliability, screen-off survival, helmet acoustic quality, and battery duration are not qualified. Members share source keys. Parent coordination rejects known cycles but is not distributed consensus. DTX is optional and defaults off.
Authority: Scenario catalogue; diagnostics; human qualification. Public examples are synthetic. This guide is maintained against the private implementation; it does not imply access to its source.