rad:z3gqcJUoA1n9HaHKufZs5FCSGazv5 heartwoodf2c71f424cdbfdbfa08a3e60f282eff9bd97ba09
{
"request": "trigger",
"version": 1,
"event_type": "patch",
"repository": {
"id": "rad:z3gqcJUoA1n9HaHKufZs5FCSGazv5",
"name": "heartwood",
"description": "Radicle Heartwood Protocol & Stack",
"private": false,
"default_branch": "master",
"delegates": [
"did:key:z6MksFqXN3Yhqk8pTJdUGLwATkRfQvwZXPqR2qMEhbS9wzpT",
"did:key:z6MktaNvN1KVFMkSRAiN4qK5yvX1zuEEaseeX5sffhzPZRZW",
"did:key:z6MkireRatUThvd3qzfKht1S44wpm4FEWSSa4PRMTSQZ3voM",
"did:key:z6MkgFq6z5fkF2hioLLSNu1zP2qEL1aHXHZzGH1FLFGAnBGz",
"did:key:z6MkkPvBfjP4bQmco5Dm7UGsX2ruDBieEHi8n9DVJWX5sTEz"
]
},
"action": "Created",
"patch": {
"id": "c4d7407924da99d09988cf92efefdf26e4b47668",
"author": {
"id": "did:key:z6MkireRatUThvd3qzfKht1S44wpm4FEWSSa4PRMTSQZ3voM",
"alias": "fintohaps"
},
"title": "Sans-IO Connection Management",
"state": {
"status": "open",
"conflicts": []
},
"before": "a1c445fe8f3f7ef7f71d2159405d46edabdf3833",
"after": "f2c71f424cdbfdbfa08a3e60f282eff9bd97ba09",
"commits": [
"f2c71f424cdbfdbfa08a3e60f282eff9bd97ba09",
"f9afa274709a854597e88e5230b2f2f4d3e2eb67",
"b62ca15cc64efdd493bac56fd0a9fa507af1fc64",
"6bbc1bc44ab4d7c9ba5453a2289c80e37320dabc",
"6d62394d72dea921c3ee8709e8f0d75e1178e021",
"091319fe576f5643eb26e2bc523a083b2a550f45"
],
"target": "cf023f750dee2681eb73e4e0704da137ea2195ef",
"labels": [],
"assignees": [],
"revisions": [
{
"id": "c4d7407924da99d09988cf92efefdf26e4b47668",
"author": {
"id": "did:key:z6MkireRatUThvd3qzfKht1S44wpm4FEWSSa4PRMTSQZ3voM",
"alias": "fintohaps"
},
"description": "This patch defines the connection session management in a sans-IO\nfashion, and replaces the old logic in `Service`.\n\nIt is stacked on [patches/806043519e7439bebe26a66b247025ef5a7f8ef0](https://app.radicle.xyz/nodes/rosa.radicle.xyz/rad:z3gqcJUoA1n9HaHKufZs5FCSGazv5/patches/806043519e7439bebe26a66b247025ef5a7f8ef0).",
"base": "a1c445fe8f3f7ef7f71d2159405d46edabdf3833",
"oid": "f2c71f424cdbfdbfa08a3e60f282eff9bd97ba09",
"timestamp": 1766601700
}
]
}
}
{
"response": "triggered",
"run_id": {
"id": "c0e1652d-acc0-48f9-81c6-f4eca785f0e7"
},
"info_url": "https://cci.rad.levitte.org//c0e1652d-acc0-48f9-81c6-f4eca785f0e7.html"
}
Started at: 2025-12-24 19:41:45.282653+01:00
Commands:
$ rad clone rad:z3gqcJUoA1n9HaHKufZs5FCSGazv5 .
✓ Creating checkout in ./...
✓ Remote cloudhead@z6MksFqXN3Yhqk8pTJdUGLwATkRfQvwZXPqR2qMEhbS9wzpT added
✓ Remote-tracking branch cloudhead@z6MksFqXN3Yhqk8pTJdUGLwATkRfQvwZXPqR2qMEhbS9wzpT/master created for z6MksFqXN3Yhqk8pTJdUGLwATkRfQvwZXPqR2qMEhbS9wzpT
✓ Remote cloudhead@z6MktaNvN1KVFMkSRAiN4qK5yvX1zuEEaseeX5sffhzPZRZW added
✓ Remote-tracking branch cloudhead@z6MktaNvN1KVFMkSRAiN4qK5yvX1zuEEaseeX5sffhzPZRZW/master created for z6MktaNvN1KVFMkSRAiN4qK5yvX1zuEEaseeX5sffhzPZRZW
✓ Remote fintohaps@z6MkireRatUThvd3qzfKht1S44wpm4FEWSSa4PRMTSQZ3voM added
✓ Remote-tracking branch fintohaps@z6MkireRatUThvd3qzfKht1S44wpm4FEWSSa4PRMTSQZ3voM/master created for z6MkireRatUThvd3qzfKht1S44wpm4FEWSSa4PRMTSQZ3voM
✓ Remote erikli@z6MkgFq6z5fkF2hioLLSNu1zP2qEL1aHXHZzGH1FLFGAnBGz added
✓ Remote-tracking branch erikli@z6MkgFq6z5fkF2hioLLSNu1zP2qEL1aHXHZzGH1FLFGAnBGz/master created for z6MkgFq6z5fkF2hioLLSNu1zP2qEL1aHXHZzGH1FLFGAnBGz
✓ Remote lorenz@z6MkkPvBfjP4bQmco5Dm7UGsX2ruDBieEHi8n9DVJWX5sTEz added
✓ Remote-tracking branch lorenz@z6MkkPvBfjP4bQmco5Dm7UGsX2ruDBieEHi8n9DVJWX5sTEz/master created for z6MkkPvBfjP4bQmco5Dm7UGsX2ruDBieEHi8n9DVJWX5sTEz
✓ Repository successfully cloned under /opt/radcis/ci.rad.levitte.org/cci/state/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/
╭────────────────────────────────────╮
│ heartwood │
│ Radicle Heartwood Protocol & Stack │
│ 129 issues · 16 patches │
╰────────────────────────────────────╯
Run `cd ./.` to go to the repository directory.
Exit code: 0
$ rad patch checkout c4d7407924da99d09988cf92efefdf26e4b47668
✓ Switched to branch patch/c4d7407 at revision c4d7407
✓ Branch patch/c4d7407 setup to track rad/patches/c4d7407924da99d09988cf92efefdf26e4b47668
Exit code: 0
$ git config advice.detachedHead false
Exit code: 0
$ git checkout f2c71f424cdbfdbfa08a3e60f282eff9bd97ba09
HEAD is now at f2c71f42 protocol/connections: testing Connections
Exit code: 0
$ git show f2c71f424cdbfdbfa08a3e60f282eff9bd97ba09
commit f2c71f424cdbfdbfa08a3e60f282eff9bd97ba09
Author: Fintan Halpenny <fintan.halpenny@gmail.com>
Date: Wed Dec 17 14:24:09 2025 +0000
protocol/connections: testing Connections
Adds property based tests to ensure the correctness of the
`Connections` logic.
The basis of the tests is to ensure that the state transitions are
correct, and that the machine cannot end up in an unexpected state.
There are also tests that ensure that certain state is preserved
across transitions, as well as other domain logic.
Disclaimer: the basis of the test suite was generated using Claude
with human input on what properties to start off with. All generated
code was reviewed for correctness and modified to fit the style of the
project as best as possible.
Squash to tests
diff --git a/crates/radicle-protocol/src/connections/state.rs b/crates/radicle-protocol/src/connections/state.rs
index 592004a8..4826036e 100644
--- a/crates/radicle-protocol/src/connections/state.rs
+++ b/crates/radicle-protocol/src/connections/state.rs
@@ -1,6 +1,9 @@
pub mod command;
pub mod event;
+#[cfg(test)]
+mod test;
+
use std::net::IpAddr;
use localtime::{LocalDuration, LocalTime};
diff --git a/crates/radicle-protocol/src/connections/state/test.rs b/crates/radicle-protocol/src/connections/state/test.rs
new file mode 100644
index 00000000..b97a88b0
--- /dev/null
+++ b/crates/radicle-protocol/src/connections/state/test.rs
@@ -0,0 +1,3139 @@
+//! Property-Based Tests for Connection State Management
+
+mod arbitrary;
+use arbitrary::{ArbitraryTime, NonLocalNode, RoutableAddress, TestCommand};
+
+mod invariants;
+use invariants::{check_invariants, get_session_state, is_invalid_transition, SessionState};
+
+use std::collections::{HashMap, HashSet};
+use std::net::{IpAddr, Ipv4Addr, Ipv6Addr};
+
+use localtime::{LocalDuration, LocalTime};
+use qcheck::{Arbitrary, Gen, TestResult};
+use qcheck_macros::quickcheck;
+use radicle::crypto;
+use radicle::node::config::{RateLimit, RateLimits};
+use radicle::node::{Address, HostName, Link, NodeId, Timestamp};
+use radicle::prelude::RepoId;
+
+use crate::connections::config;
+use crate::connections::config::{
+ ReconnectionDelay, MAX_RECONNECTION_DELTA, MIN_RECONNECTION_DELTA,
+};
+use crate::connections::session::{ConnectionType, Pong};
+use crate::connections::state::{command, event, Connections};
+use crate::connections::{Attempts, Config};
+use crate::service::filter::Filter;
+use crate::service::limiter::RateLimiter;
+use crate::service::DisconnectReason;
+use crate::service::{message, MAX_LATENCIES};
+
+// =============================================================================
+// Test Helpers
+// =============================================================================
+
+fn test_config() -> Config {
+ let durations = config::Durations {
+ idle: LocalDuration::from_secs(60),
+ keep_alive: LocalDuration::from_secs(30),
+ stale: LocalDuration::from_secs(120),
+ reconnection_delay: ReconnectionDelay::default(),
+ };
+ let limits = RateLimits::default();
+ let inbound = config::Inbound {
+ rate_limit: limits.inbound.into(),
+ maximum: 10,
+ };
+ let outbound = config::Outbound {
+ rate_limit: limits.outbound.into(),
+ target: 8,
+ };
+ Config {
+ durations,
+ inbound,
+ outbound,
+ }
+}
+
+fn new_connections(local: NodeId) -> Connections {
+ Connections::new(local, test_config(), RateLimiter::default())
+}
+
+fn test_config_low_limits() -> Config {
+ let durations = config::Durations {
+ idle: LocalDuration::from_secs(60),
+ keep_alive: LocalDuration::from_secs(30),
+ stale: LocalDuration::from_secs(120),
+ reconnection_delay: ReconnectionDelay::default(),
+ };
+ let inbound = config::Inbound {
+ rate_limit: RateLimit {
+ capacity: 1,
+ fill_rate: 0.0,
+ }, // 1 token, no refill
+ maximum: 10,
+ };
+ let outbound = config::Outbound {
+ rate_limit: RateLimit {
+ capacity: 1,
+ fill_rate: 0.0,
+ },
+ target: 8,
+ };
+ Config {
+ durations,
+ inbound,
+ outbound,
+ }
+}
+
+fn new_connections_with_low_limits(local: NodeId) -> Connections {
+ Connections::new(local, test_config_low_limits(), RateLimiter::default())
+}
+
+fn apply_command(connections: &mut Connections, cmd: TestCommand, time: &mut LocalTime) {
+ *time = *time + LocalDuration::from_secs(1);
+ let now = *time;
+
+ match cmd {
+ TestCommand::Accept { ip } => {
+ connections.accept(command::Accept { ip }, now);
+ }
+ TestCommand::Connect {
+ node,
+ addr,
+ connection_type,
+ } => {
+ connections.connect(
+ command::Connect {
+ node,
+ addr,
+ connection_type,
+ },
+ now,
+ );
+ }
+ TestCommand::Attempt { node } => {
+ connections.attempted(command::Attempt { node });
+ }
+ TestCommand::ConnectedInbound {
+ node,
+ addr,
+ connection_type,
+ } => {
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type,
+ },
+ now,
+ );
+ }
+ TestCommand::ConnectedOutbound {
+ node,
+ addr,
+ connection_type,
+ } => {
+ connections.connected(
+ command::Connected::Outbound {
+ node,
+ addr,
+ connection_type,
+ },
+ now,
+ );
+ }
+ TestCommand::Disconnect {
+ node,
+ link,
+ connection_type,
+ } => {
+ connections.disconnected(
+ command::Disconnect {
+ node,
+ link,
+ since: now,
+ connection_type,
+ },
+ &DisconnectReason::Command,
+ );
+ }
+ TestCommand::Reconnect { node } => {
+ connections.reconnect(command::Reconnect { node });
+ }
+ TestCommand::Message {
+ node,
+ connection_type,
+ } => {
+ connections.handle_message(
+ command::Message {
+ node,
+ payload: None,
+ connection_type,
+ },
+ now,
+ );
+ }
+ }
+}
+
+// =============================================================================
+// Session Uniqueness Properties
+// =============================================================================
+
+/// Single Session Per Node
+///
+/// After any sequence of commands, no node appears in more than one state collection.
+///
+/// ∀ node ∈ NodeId:
+/// |{s ∈ initial | s.node = node}| +
+/// |{s ∈ attempted | s.node = node}| +
+/// |{s ∈ connected | s.node = node}| +
+/// |{s ∈ disconnected | s.node = node}| ≤ 1
+#[quickcheck]
+fn prop_single_session_per_node(commands: Vec<TestCommand>) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+ let mut time = LocalTime::from_secs(1577836800);
+
+ for cmd in commands {
+ apply_command(&mut connections, cmd, &mut time);
+ }
+
+ match invariants::check_single_session_per_node(connections.sessions()) {
+ Ok(()) => TestResult::passed(),
+ Err(e) => TestResult::error(e.to_string()),
+ }
+}
+
+/// Local Node Exclusion
+///
+/// The local node should never exist in any session collection.
+///
+/// ∀ state ∈ {Initial, Attempted, Connected, Disconnected}:
+/// local_node ∉ sessions[state].keys()
+#[quickcheck]
+fn prop_local_node_exclusion(commands: Vec<TestCommand>) {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+ let mut time = LocalTime::from_secs(1577836800);
+
+ for cmd in commands {
+ apply_command(&mut connections, cmd, &mut time);
+ }
+
+ assert!(!connections.has_session(&local));
+}
+
+/// Session Existence Consistency
+///
+/// has_session_for(node) is true iff exactly one state check returns true.
+///
+/// has_session_for(node) ⟺
+/// (is_initial(node) ⊕ is_attempted(node) ⊕ is_connected(node) ⊕ is_disconnected(node))
+#[quickcheck]
+fn prop_session_existence_consistency(commands: Vec<TestCommand>) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+ let mut time = LocalTime::from_secs(1577836800);
+
+ for cmd in commands {
+ apply_command(&mut connections, cmd, &mut time);
+ }
+
+ match invariants::check_session_existence_consistency(connections.sessions()) {
+ Ok(()) => TestResult::passed(),
+ Err(e) => TestResult::error(e.to_string()),
+ }
+}
+
+// =============================================================================
+// State Transition Properties
+// =============================================================================
+
+/// All State Transitions Are Valid
+///
+/// No command sequence produces an invalid state transition.
+#[quickcheck]
+fn prop_valid_transitions(commands: Vec<TestCommand>) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+ let mut time = LocalTime::from_secs(1577836800);
+
+ // Track previous state for each node
+ let mut previous_states: HashMap<NodeId, SessionState> = HashMap::new();
+
+ for (i, cmd) in commands.iter().enumerate() {
+ apply_command(&mut connections, cmd.clone(), &mut time);
+
+ // Check all nodes we're tracking
+ let mut to_remove = Vec::new();
+ for (node, prev_state) in previous_states.iter() {
+ match get_session_state(connections.sessions(), node) {
+ Some(current) => {
+ if *prev_state != current && is_invalid_transition(*prev_state, current) {
+ return TestResult::error(format!(
+ "Invalid transition at command {}: {:?} -> {:?} for node {:?}",
+ i, prev_state, current, node
+ ));
+ }
+ }
+ None => {
+ // Session was removed (valid for ephemeral)
+ to_remove.push(*node);
+ }
+ }
+ }
+
+ // Remove tracked nodes that no longer exist
+ for node in to_remove {
+ previous_states.remove(&node);
+ }
+
+ // Update states for all current sessions
+ for (node, _) in connections.sessions().iter() {
+ if let Some(state) = get_session_state(connections.sessions(), node) {
+ previous_states.insert(*node, state);
+ }
+ }
+ }
+
+ TestResult::passed()
+}
+
+// =============================================================================
+// Command Safety Properties
+// =============================================================================
+
+/// Connect Idempotency for Connected Sessions
+///
+/// Calling connect on an already-connected node returns AlreadyConnected.
+///
+/// ∀ node ∈ connected.keys():
+/// let state_before = sessions.clone()
+/// connect(node) = AlreadyConnected
+/// sessions = state_before
+#[quickcheck]
+fn prop_connect_idempotency(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ let event::Connected::Established { session } = connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) else {
+ return TestResult::error("Expected Established");
+ };
+
+ assert_eq!(
+ connections.connect(
+ command::Connect {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ),
+ event::Connect::AlreadyConnected { session }
+ );
+ TestResult::passed()
+}
+
+/// Connect Blocked for Disconnected Sessions
+///
+/// Calling connect on a disconnected node returns Disconnected.
+///
+/// ∀ node ∈ disconnected.keys():
+/// connect(node) = Disconnected { node }
+#[quickcheck]
+fn prop_connect_blocked_for_disconnected(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ let event::Disconnected::Retry { .. } = connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ ) else {
+ return TestResult::error("Expected Retry");
+ };
+
+ assert!(connections.sessions().is_diconnected(&node));
+ assert_eq!(
+ connections.connect(
+ command::Connect {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ),
+ event::Connect::Disconnected { node }
+ );
+ TestResult::passed()
+}
+
+/// Connect Blocked for Connecting Sessions
+///
+/// Calling connect on Initial/Attempted returns AlreadyConnecting.
+///
+/// ∀ node ∈ (initial.keys() ∪ attempted.keys()):
+/// connect(node) = AlreadyConnecting { node }
+#[quickcheck]
+fn prop_connect_blocked_for_connecting(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connect(
+ command::Connect {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ assert_eq!(
+ connections.connect(
+ command::Connect {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ),
+ event::Connect::AlreadyConnecting { node }
+ );
+ TestResult::passed()
+}
+
+/// Missing Session Handling
+///
+/// Commands requiring existing session return MissingSession when none exists.
+///
+/// ∀ node ∉ sessions.keys():
+/// attempt(node) = MissingSession { node }
+/// ∧ disconnect(node) = MissingSession { node }
+/// ∧ reconnect(node) = MissingSession { node }
+/// ∧ connected_outbound(node) = MissingSession { node }
+#[quickcheck]
+fn prop_missing_session_handling(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ // Attempt on missing session
+ assert_eq!(
+ connections.attempted(command::Attempt { node }),
+ event::Attempted::MissingSession { node }
+ );
+
+ // Disconnect on missing session
+ assert_eq!(
+ connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Persistent
+ },
+ &DisconnectReason::Command
+ ),
+ event::Disconnected::MissingSession { node }
+ );
+
+ // Reconnect on missing session
+ assert_eq!(
+ connections.reconnect(command::Reconnect { node }),
+ event::Reconnect::MissingSession { node }
+ );
+
+ // Connected Outbound on missing session
+ assert_eq!(
+ connections.connected(
+ command::Connected::Outbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent
+ },
+ now
+ ),
+ event::Connected::MissingSession { node }
+ );
+
+ TestResult::passed()
+}
+
+// =============================================================================
+// Link Direction Properties
+// =============================================================================
+
+/// Outbound Link for Outbound Connections
+///
+/// Sessions created via connect have Link::Outbound.
+///
+/// ∀ session created via connect():
+/// session.link = Link::Outbound
+#[quickcheck]
+fn prop_outbound_link(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connect(
+ command::Connect {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ match connections.connected(
+ command::Connected::Outbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::Connected::Established { session } => {
+ if *session.link() == Link::Outbound {
+ TestResult::passed()
+ } else {
+ TestResult::error(format!("Expected Outbound, got {:?}", session.link()))
+ }
+ }
+ other => TestResult::error(format!("Expected Established, got {:?}", other)),
+ }
+}
+
+/// Inbound Link for Inbound Connections
+///
+/// Sessions created via Connected::Inbound have Link::Inbound.
+///
+/// ∀ session created via Connected::Inbound:
+/// session.link = Link::Inbound
+#[quickcheck]
+fn prop_inbound_link(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ match connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::Connected::Established { session } => {
+ assert_eq!(*session.link(), Link::Inbound);
+ TestResult::passed()
+ }
+ other => TestResult::error(format!("Expected Established, got {:?}", other)),
+ }
+}
+
+/// Link Conflict Detection (Inbound session, Outbound disconnect)
+///
+/// Disconnect with mismatched link returns LinkConflict.
+///
+/// ∀ session, link where session.link ≠ link:
+/// disconnect(session.node, link) = LinkConflict {
+/// node: session.node,
+/// found: session.link,
+/// expected: link
+/// }
+#[quickcheck]
+fn prop_link_conflict_inbound_session(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ // Create Inbound session
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ // Disconnect with wrong link (Outbound)
+ match connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Outbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ ) {
+ event::Disconnected::LinkConflict {
+ found, expected, ..
+ } => {
+ if found == Link::Inbound && expected == Link::Outbound {
+ TestResult::passed()
+ } else {
+ TestResult::error(format!(
+ "Unexpected conflict: found={:?}, expected={:?}",
+ found, expected
+ ))
+ }
+ }
+ other => TestResult::error(format!("Expected LinkConflict, got {:?}", other)),
+ }
+}
+
+/// Link Conflict Detection (Outbound session, Inbound disconnect)
+///
+/// Disconnect with mismatched link returns LinkConflict.
+///
+/// ∀ session, link where session.link ≠ link:
+/// disconnect(session.node, link) = LinkConflict {
+/// node: session.node,
+/// found: session.link,
+/// expected: link
+/// }
+#[quickcheck]
+fn prop_link_conflict_outbound_session(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ // Create Outbound session
+ connections.connect(
+ command::Connect {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+ connections.connected(
+ command::Connected::Outbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ // Disconnect with wrong link (Inbound)
+ match connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ ) {
+ event::Disconnected::LinkConflict {
+ found, expected, ..
+ } => {
+ if found == Link::Outbound && expected == Link::Inbound {
+ TestResult::passed()
+ } else {
+ TestResult::error(format!(
+ "Unexpected conflict: found={:?}, expected={:?}",
+ found, expected
+ ))
+ }
+ }
+ other => TestResult::error(format!("Expected LinkConflict, got {:?}", other)),
+ }
+}
+
+/// Link Count Consistency
+///
+/// connected_inbound() and connected_outbound() match actual counts.
+///
+/// connected_inbound() = |{s ∈ connected | s.link = Link::Inbound}|
+/// connected_outbound() = |{s ∈ connected | s.link = Link::Outbound}|
+#[quickcheck]
+fn prop_link_counts(commands: Vec<TestCommand>) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+ let mut time = LocalTime::from_secs(1577836800);
+
+ for cmd in commands {
+ apply_command(&mut connections, cmd, &mut time);
+ }
+
+ match invariants::check_link_count_consistency(connections.sessions()) {
+ Ok(()) => TestResult::passed(),
+ Err(e) => TestResult::error(e.to_string()),
+ }
+}
+
+// =============================================================================
+// Connection Type Properties
+// =============================================================================
+
+/// Ephemeral Disconnection Removes Session
+///
+/// Disconnecting an ephemeral session removes it entirely.
+///
+/// ∀ session where session.connection_type = Ephemeral:
+/// disconnect(session) → session ∉ sessions
+#[quickcheck]
+fn prop_ephemeral_removes(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Ephemeral,
+ },
+ now,
+ );
+
+ match connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Ephemeral,
+ },
+ &DisconnectReason::Command,
+ ) {
+ event::Disconnected::Severed { .. } => {
+ if connections.has_session(&node) {
+ TestResult::error("Session should be removed after ephemeral disconnect")
+ } else {
+ TestResult::passed()
+ }
+ }
+ other => TestResult::error(format!("Expected Severed, got {:?}", other)),
+ }
+}
+
+/// Persistent Disconnection Preserves Session
+///
+/// Disconnecting a persistent session transitions to Disconnected state.
+///
+/// ∀ session where session.connection_type = Persistent:
+/// disconnect(session) → session ∈ disconnected
+#[quickcheck]
+fn prop_persistent_preserves(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ match connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ ) {
+ event::Disconnected::Retry { .. } => {
+ if connections.sessions().is_diconnected(&node) {
+ TestResult::passed()
+ } else {
+ TestResult::error("Session should be in Disconnected state")
+ }
+ }
+ other => TestResult::error(format!("Expected Retry, got {:?}", other)),
+ }
+}
+
+/// Persistent Sessions Have Retry Time
+///
+/// Disconnected persistent sessions have retry_at > disconnect time.
+///
+/// ∀ session ∈ disconnected:
+/// session.retry_at.is_some()
+#[quickcheck]
+fn prop_has_retry_time(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ match connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ ) {
+ event::Disconnected::Retry { retry_at, .. } => {
+ if retry_at > now {
+ TestResult::passed()
+ } else {
+ TestResult::error(format!(
+ "retry_at ({:?}) should be > now ({:?})",
+ retry_at, now
+ ))
+ }
+ }
+ other => TestResult::error(format!("Expected Retry, got {:?}", other)),
+ }
+}
+
+// =============================================================================
+// Attempt Counter Properties
+// =============================================================================
+
+/// Attempt Monotonicity During Connection Phase
+///
+/// The attempt counter never decreases during Initial → Attempted → Connected.
+///
+/// ∀ transitions Initial → Attempted → Connected:
+/// attempts_before ≤ attempts_after
+#[quickcheck]
+fn prop_attempt_monotonic(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+ let mut attempts: Vec<Attempts> = Vec::new();
+
+ // Initial state
+ connections.connect(
+ command::Connect {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+ match connections.session_for(&node) {
+ Some(s) => attempts.push(s.attempts()),
+ None => return TestResult::error("Session should exist after connect"),
+ }
+
+ // Attempted state
+ match connections.attempted(command::Attempt { node }) {
+ event::Attempted::ConnectionAttempt { session } => {
+ attempts.push(session.attempts());
+ }
+ other => return TestResult::error(format!("Expected ConnectionAttempt, got {:?}", other)),
+ }
+
+ // Connected state
+ match connections.connected(
+ command::Connected::Outbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::Connected::Established { session } => {
+ attempts.push(session.attempts());
+ }
+ other => return TestResult::error(format!("Expected Established, got {:?}", other)),
+ }
+
+ // Verify we have all 3 data points
+ assert_eq!(attempts.len(), 3);
+
+ // Verify monotonicity
+ for window in attempts.windows(2) {
+ if window[1] < window[0] {
+ return TestResult::error(format!(
+ "Attempt count decreased: {} -> {}",
+ window[0], window[1]
+ ));
+ }
+ }
+
+ TestResult::passed()
+}
+
+/// Attempt Increment on Attempt Command
+///
+/// The Attempt command increments the attempt counter by exactly 1.
+///
+/// ∀ session in Initial:
+/// let attempts_before = session.attempts
+/// attempt(session.node)
+/// let attempts_after = session.attempts
+/// attempts_after = attempts_before + 1
+#[quickcheck]
+fn prop_attempt_increments(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connect(
+ command::Connect {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ let before = match connections.session_for(&node) {
+ Some(s) => s.attempts(),
+ None => return TestResult::error("Session should exist after connect"),
+ };
+
+ match connections.attempted(command::Attempt { node }) {
+ event::Attempted::ConnectionAttempt { session } => {
+ let after = session.attempts();
+ if after == before.attempted() {
+ TestResult::passed()
+ } else {
+ TestResult::error(format!(
+ "Expected attempts={}, got {}",
+ before.attempted(),
+ after
+ ))
+ }
+ }
+ other => TestResult::error(format!("Expected ConnectionAttempt, got {:?}", other)),
+ }
+}
+
+/// Attempt Preservation Through Disconnection
+///
+/// The attempt count is preserved when transitioning to Disconnected.
+///
+/// ∀ session transitioning to Disconnected:
+/// disconnected.attempts = original.attempts
+#[quickcheck]
+fn prop_attempt_preserved_on_disconnect(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connect(
+ command::Connect {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+ connections.attempted(command::Attempt { node });
+ connections.connected(
+ command::Connected::Outbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ let before = match connections.sessions().get_connected(&node) {
+ Some(session) => session.attempts(),
+ None => return TestResult::error("Session should be connected"),
+ };
+
+ connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Outbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ );
+
+ let after = match connections.session_for(&node) {
+ Some(session) => session.attempts(),
+ None => return TestResult::error("Session should exist after disconnect"),
+ };
+
+ if before == after {
+ TestResult::passed()
+ } else {
+ TestResult::error(format!(
+ "Attempts changed through disconnect: {} -> {}",
+ before, after
+ ))
+ }
+}
+
+/// Attempt Reset on Stabilization
+///
+/// When a session is stabilised, its attempt counter is reset to zero.
+///
+/// ∀ session where stabilise(session) = true:
+/// session.attempts = 0
+#[quickcheck]
+fn prop_attempt_reset_on_stabilise(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ // Build up some attempts
+ connections.connect(
+ command::Connect {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+ connections.attempted(command::Attempt { node });
+ connections.connected(
+ command::Connected::Outbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ // Verify we have attempts > 0
+ let before = match connections.sessions().get_connected(&node) {
+ Some(session) => session.attempts(),
+ None => return TestResult::error("Session should be connected"),
+ };
+
+ if before == 0 {
+ return TestResult::error("Expected attempts > 0 before stabilise");
+ }
+
+ let later = now + connections.config().stale() + LocalDuration::from_secs(1);
+
+ let stabilised = connections.stabilise(later);
+
+ // Verify this session was stabilised
+ assert!(stabilised.iter().any(|s| s.node() == node));
+
+ // Verify attempts reset
+ let after = match connections.sessions().get_connected(&node) {
+ Some(session) => session.attempts(),
+ None => return TestResult::error("Session should still be connected"),
+ };
+
+ if after == 0 {
+ TestResult::passed()
+ } else {
+ TestResult::error(format!(
+ "Attempts should be 0 after stabilise, got {}",
+ after
+ ))
+ }
+}
+
+// =============================================================================
+// Rate Limiting Properties
+// =============================================================================
+
+/// Inbound Limit Enforcement
+///
+/// When inbound connections reach the limit, accept returns LimitExceeded.
+///
+/// connected_inbound() ≥ inbound_limit ∧ ¬ip.is_loopback() ∧ ¬ip.is_unspecified()
+/// → accept(ip) = LimitExceeded
+#[test]
+fn prop_inbound_limit() {
+ const INBOUND_LIMIT: u8 = 2;
+
+ let local = NonLocalNode::local_node();
+ let config = {
+ let mut config = test_config();
+ config.inbound.maximum = INBOUND_LIMIT as usize;
+ config
+ };
+ let mut connections = Connections::new(local, config, RateLimiter::default());
+ let now = LocalTime::from_secs(1577836800);
+ let mut g = Gen::new(100);
+
+ // Fill up to the inbound limit
+ for i in 0..INBOUND_LIMIT {
+ let node = NodeId::from(crypto::PublicKey::from([i + 10; 32]));
+ let addr = Address::arbitrary(&mut g);
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Ephemeral,
+ },
+ now,
+ );
+ }
+
+ // Next accept should be limited
+ let ip = IpAddr::V4(Ipv4Addr::new(8, 8, 8, 8));
+ assert!(
+ matches!(
+ connections.accept(command::Accept { ip }, now),
+ event::Accept::LimitExceeded { .. }
+ ),
+ "Accept should return LimitExceeded when at inbound limit"
+ );
+}
+
+/// Localhost Always Accepted
+///
+/// Localhost and unspecified IPs are always accepted regardless of limits.
+///
+/// ip.is_loopback() ∨ ip.is_unspecified() → accept(ip) = LocalHost
+#[test]
+fn prop_localhost_accepted() {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+ let now = LocalTime::from_secs(1577836800);
+
+ let localhost_ips = [
+ IpAddr::V4(Ipv4Addr::LOCALHOST),
+ IpAddr::V6(Ipv6Addr::LOCALHOST),
+ IpAddr::V4(Ipv4Addr::UNSPECIFIED),
+ IpAddr::V6(Ipv6Addr::UNSPECIFIED),
+ ];
+
+ for ip in localhost_ips {
+ assert!(
+ matches!(
+ connections.accept(command::Accept { ip }, now),
+ event::Accept::LocalHost { .. }
+ ),
+ "Expected LocalHost for {:?}",
+ ip
+ );
+ }
+}
+
+/// Host Rate Limiting
+///
+/// IPs that exceed the rate limit return HostLimited.
+///
+/// rate_limited(ip) → accept(ip) = HostLimited { ip }
+#[test]
+fn prop_host_rate_limited() {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections_with_low_limits(local);
+ let now = LocalTime::from_secs(1577836800);
+ let ip = IpAddr::V4(Ipv4Addr::new(8, 8, 8, 8));
+
+ // First accept consumes the single token
+ assert!(
+ matches!(
+ connections.accept(command::Accept { ip }, now),
+ event::Accept::Accepted { .. }
+ ),
+ "First accept should succeed"
+ );
+
+ // Second accept should be rate limited (no tokens, no refill)
+ assert_eq!(
+ connections.accept(command::Accept { ip }, now),
+ event::Accept::HostLimited { ip }
+ );
+}
+
+/// Message Rate Limiting
+///
+/// Messages from rate-limited nodes return RateLimited.
+///
+/// ∀ message from rate_limited node:
+/// handle_message(message) = RateLimited { node }
+#[quickcheck]
+fn prop_message_rate_limited(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections_with_low_limits(local);
+
+ // Establish a connected session
+ match connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::Connected::Established { .. } => {}
+ other => return TestResult::error(format!("Expected Established, got {:?}", other)),
+ }
+
+ // First message consumes the single token
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: None,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::HandledMessage::Connected { .. } => {}
+ other => {
+ return TestResult::error(format!("First message should succeed, got {:?}", other))
+ }
+ }
+
+ // Second message should be rate limited
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: None,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::HandledMessage::RateLimited { node: n } if n == node => TestResult::passed(),
+ other => TestResult::error(format!("Expected RateLimited for {node}, got {:?}", other)),
+ }
+}
+
+// =============================================================================
+// Timing Properties
+// =============================================================================
+
+/// Reconnection Delay Bounds
+///
+/// Reconnection delay is always within configured min/max bounds.
+///
+/// ∀ delay returned by disconnect:
+/// min_delta ≤ delay ≤ max_delta
+#[quickcheck]
+fn prop_delay_bounds(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ match connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ ) {
+ event::Disconnected::Retry { delay, .. } => {
+ if delay < MIN_RECONNECTION_DELTA {
+ TestResult::error(format!(
+ "Delay {:?} is below minimum {:?}",
+ delay, MIN_RECONNECTION_DELTA
+ ))
+ } else if delay > MAX_RECONNECTION_DELTA {
+ TestResult::error(format!(
+ "Delay {:?} is above maximum {:?}",
+ delay, MAX_RECONNECTION_DELTA
+ ))
+ } else {
+ TestResult::passed()
+ }
+ }
+ other => TestResult::error(format!("Expected Retry, got {:?}", other)),
+ }
+}
+
+/// Exponential Backoff
+///
+/// Reconnection delays are increasing across reconnection cycles.
+#[quickcheck]
+fn prop_exponential_backoff(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+ let mut delays: Vec<LocalDuration> = Vec::new();
+
+ for _ in 0..5 {
+ connections.connect(
+ command::Connect {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+ connections.attempted(command::Attempt { node });
+ connections.connected(
+ command::Connected::Outbound {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ match connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Outbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ ) {
+ event::Disconnected::Retry { delay, .. } => delays.push(delay),
+ other => return TestResult::error(format!("Expected Retry, got {:?}", other)),
+ }
+
+ connections.reconnect(command::Reconnect { node });
+ }
+
+ // Verify we collected all delays
+ if delays.len() != 5 {
+ return TestResult::error(format!("Expected 5 delays, got {}", delays.len()));
+ }
+
+ // Verify increasing
+ for window in delays.windows(2) {
+ if window[1] < window[0] {
+ return TestResult::error(format!(
+ "Delay decreased: {:?} -> {:?}",
+ window[0], window[1]
+ ));
+ }
+ }
+
+ TestResult::passed()
+}
+
+/// Last Active Update on Connection
+///
+/// last_active is set when a session transitions to Connected.
+///
+/// ∀ connection at time t:
+/// session.last_active = t
+#[quickcheck]
+fn prop_last_active_on_connect(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ match connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::Connected::Established { session } => {
+ assert_eq!(*session.last_active(), now);
+ TestResult::passed()
+ }
+ other => TestResult::error(format!("Expected Established, got {:?}", other)),
+ }
+}
+
+/// Last Active Update on Message
+///
+/// last_active is updated when a session receives a message.
+///
+/// ∀ connection at time t:
+/// session.last_active = t
+#[quickcheck]
+fn prop_last_active_on_message(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(connect_time): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ connect_time,
+ );
+
+ let message_time = connect_time + LocalDuration::from_secs(10);
+
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: None,
+ connection_type: ConnectionType::Persistent,
+ },
+ message_time,
+ ) {
+ event::HandledMessage::Connected { session } => {
+ assert_eq!(*session.last_active(), message_time);
+ TestResult::passed()
+ }
+ other => TestResult::error(format!("Expected Connected, got {:?}", other)),
+ }
+}
+
+/// Inactivity Detection
+///
+/// is_inactive returns true iff time since last activity exceeds threshold.
+#[quickcheck]
+fn prop_inactivity_detection(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ let session = match connections.sessions().get_connected(&node) {
+ Some(s) => s,
+ None => return TestResult::error("Session should be connected"),
+ };
+
+ let delta = LocalDuration::from_secs(60);
+
+ // Before threshold: not inactive
+ let before_threshold = now + connections.config().idle() - LocalDuration::from_secs(1);
+ assert!(!session.is_inactive(&before_threshold, delta));
+
+ // At threshold: inactive
+ let at_threshold = now + delta;
+ assert!(session.is_inactive(&at_threshold, delta));
+
+ // After threshold: inactive
+ let after_threshold = now + connections.config().idle();
+ assert!(session.is_inactive(&after_threshold, delta));
+ TestResult::passed()
+}
+
+/// Stability Threshold
+///
+/// A session becomes stable only after connected for longer than the stability threshold.
+///
+/// session.stable = true ⟺ (now - session.since ≥ stable_threshold)
+#[quickcheck]
+fn prop_stability_threshold(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ let before_threshold = now + connections.config().stale() - LocalDuration::from_secs(1);
+ connections.stabilise(before_threshold);
+
+ let session = match connections.sessions().get_connected(&node) {
+ Some(s) => s,
+ None => return TestResult::error("Session should be connected"),
+ };
+ assert!(!session.is_stable());
+
+ let after_threshold = now + connections.config().stale();
+ connections.stabilise(after_threshold);
+
+ let session = match connections.sessions().get_connected(&node) {
+ Some(s) => s,
+ None => return TestResult::error("Session should be connected"),
+ };
+ assert!(session.is_stable());
+
+ TestResult::passed()
+}
+
+// =============================================================================
+// Subscription Properties
+// =============================================================================
+
+/// Subscription Persistence Across States
+///
+/// Subscription data is preserved through state transitions.
+///
+/// ∀ state transition:
+/// session_before.subscribe = session_after.subscribe
+#[quickcheck]
+fn prop_subscription_persistence_through_disconnect(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+ rid: RepoId,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ // Connect with Persistent type
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ // Set subscription with the repo ID
+ let mut filter = Filter::empty();
+ filter.insert(&rid);
+ let subscription = message::Subscribe {
+ filter,
+ since: Timestamp::from(now),
+ until: Timestamp::MAX,
+ };
+
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: Some(command::Payload::Subscribe(subscription)),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::HandledMessage::Subscribed { session } => {
+ assert!(session.is_subscribed_to(&rid));
+ }
+ other => return TestResult::error(format!("Expected Subscribed, got {:?}", other)),
+ }
+
+ // Disconnect
+ connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ );
+
+ // Verify subscription is preserved in disconnected state
+ match connections.session_for(&node) {
+ Some(session) => {
+ assert!(session.is_subscribed_to(&rid));
+ TestResult::passed()
+ }
+ None => TestResult::error("Session should exist after persistent disconnect"),
+ }
+}
+
+/// Subscription Persistence Across States
+///
+/// Subscription data is preserved through state transitions.
+///
+/// ∀ state transition:
+/// session_before.subscribe = session_after.subscribe
+#[quickcheck]
+fn prop_subscription_persistence(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+ rid: RepoId,
+ commands: Vec<TestCommand>,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ // Connect with Persistent type
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ // Set subscription with the repo ID
+ let mut filter = Filter::empty();
+ filter.insert(&rid);
+ let subscription = message::Subscribe {
+ filter,
+ since: Timestamp::from(now),
+ until: Timestamp::MAX,
+ };
+
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: Some(command::Payload::Subscribe(subscription)),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::HandledMessage::Subscribed { session } => {
+ if !session.is_subscribed_to(&rid) {
+ return TestResult::error("Subscription should be set");
+ }
+ }
+ other => return TestResult::error(format!("Expected Subscribed, got {:?}", other)),
+ }
+
+ let mut time = now;
+
+ for cmd in commands {
+ // Track if this command might replace our session
+ let is_inbound_for_node = matches!(
+ &cmd,
+ TestCommand::ConnectedInbound { node: n, .. } if *n == node
+ );
+ let is_ephemeral_disconnect_for_node = matches!(
+ &cmd,
+ TestCommand::Disconnect {
+ node: n,
+ connection_type: ConnectionType::Ephemeral,
+ ..
+ } if *n == node
+ );
+
+ apply_command(&mut connections, cmd, &mut time);
+
+ // If session was replaced by inbound or removed by ephemeral disconnect, stop checking
+ if is_inbound_for_node || is_ephemeral_disconnect_for_node {
+ continue;
+ }
+
+ // If session still exists, verify subscription is preserved
+ if let Some(session) = connections.session_for(&node) {
+ assert!(session.is_subscribed_to(&rid));
+ }
+ }
+
+ // Final check if session exists
+ if let Some(session) = connections.session_for(&node) {
+ assert!(session.is_subscribed_to(&rid));
+ }
+
+ TestResult::passed()
+}
+
+/// Subscribe Returns Success Only for Existing Connected Sessions
+///
+/// subscribe returns Subscribed only if the session exists and is connected.
+///
+/// subscribe(node, subscription) = true ⟺ has_session_for(node)
+#[quickcheck]
+fn prop_subscribe_requires_connected_session(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ let subscription = message::Subscribe {
+ filter: Filter::default(),
+ since: Timestamp::from(now),
+ until: Timestamp::MAX,
+ };
+
+ // Subscribe on missing session should fail
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: Some(command::Payload::Subscribe(subscription.clone())),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::HandledMessage::MissingSession { .. } => {}
+ other => {
+ return TestResult::error(format!(
+ "Expected MissingSession for missing session, got {:?}",
+ other
+ ))
+ }
+ }
+
+ // Connect the session
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ // Subscribe on connected session should succeed
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: Some(command::Payload::Subscribe(subscription.clone())),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::HandledMessage::Subscribed { .. } => {}
+ other => {
+ return TestResult::error(format!(
+ "Expected Subscribed for connected session, got {:?}",
+ other
+ ))
+ }
+ }
+
+ // Disconnect the session
+ connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ );
+
+ // Subscribe on disconnected session should fail
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: Some(command::Payload::Subscribe(subscription)),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::HandledMessage::Disconnected { .. } => TestResult::passed(),
+ other => TestResult::error(format!(
+ "Expected Disconnected for disconnected session, got {:?}",
+ other
+ )),
+ }
+}
+
+// =============================================================================
+// Ping/Pong Properties
+// =============================================================================
+
+/// Pong Only in Connected State
+///
+/// Pong processing only succeeds for connected sessions.
+///
+/// pinged(node, pong) = Ok(_) ⟺ node ∈ connected.keys()
+#[quickcheck]
+fn prop_pong_only_connected(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ let pong = Pong {
+ now,
+ zeroes: message::ZeroBytes::new(10),
+ };
+
+ // Pong on missing session
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: Some(command::Payload::Pong(pong.clone())),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::HandledMessage::MissingSession { .. } => {}
+ other => {
+ return TestResult::error(format!(
+ "Expected MissingSession for missing session, got {:?}",
+ other
+ ))
+ }
+ }
+
+ // Connect and set up ping state
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ // Ping the session to set up AwaitingResponse state
+ let later = now + LocalDuration::from_secs(60);
+ let ponglen = 10u16;
+ let mut ping_called = false;
+ for event in connections.ping(
+ || {
+ ping_called = true;
+ message::Ping {
+ ponglen,
+ zeroes: message::ZeroBytes::new(0),
+ }
+ },
+ later,
+ ) {
+ // Consume the iterator to trigger pings
+ let _ = event;
+ }
+ assert!(ping_called);
+
+ // Valid pong on connected session should succeed
+ let valid_pong = Pong {
+ now: later,
+ zeroes: message::ZeroBytes::new(ponglen),
+ };
+
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: Some(command::Payload::Pong(valid_pong)),
+ connection_type: ConnectionType::Persistent,
+ },
+ later,
+ ) {
+ event::HandledMessage::Pinged {
+ pinged: Some(_), ..
+ } => {}
+ other => {
+ return TestResult::error(format!(
+ "Expected Pinged with Some for connected session, got {:?}",
+ other
+ ))
+ }
+ }
+
+ // Disconnect the session
+ connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: later,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ );
+
+ // Pong on disconnected session should fail
+ let pong = Pong {
+ now: later,
+ zeroes: message::ZeroBytes::new(10),
+ };
+
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: Some(command::Payload::Pong(pong)),
+ connection_type: ConnectionType::Persistent,
+ },
+ later,
+ ) {
+ event::HandledMessage::Disconnected { .. } => TestResult::passed(),
+ other => TestResult::error(format!(
+ "Expected Disconnected for disconnected session, got {:?}",
+ other
+ )),
+ }
+}
+
+/// Latency Recording
+///
+/// Successful pong responses record latency
+///
+/// ∀ successful pong:
+/// session.latencies.push_back(latency)
+/// ∧ |session.latencies| ≤ MAX_LATENCIES
+#[quickcheck]
+fn prop_latency_bounded(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ let ponglen = 10u16;
+ let mut successful_pongs = 0;
+
+ // Send more pongs than MAX_LATENCIES to verify bounded storage
+ for i in 0..(MAX_LATENCIES + 5) {
+ let ping_time = now + LocalDuration::from_secs(60 * (i as u64 + 1));
+
+ // Ping to set up AwaitingResponse
+ for _ in connections.ping(
+ || message::Ping {
+ ponglen,
+ zeroes: message::ZeroBytes::new(0),
+ },
+ ping_time,
+ ) {}
+
+ // Pong with valid response
+ let pong_time = ping_time + LocalDuration::from_secs(1);
+ let pong = Pong {
+ now: pong_time,
+ zeroes: message::ZeroBytes::new(ponglen),
+ };
+
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: Some(command::Payload::Pong(pong)),
+ connection_type: ConnectionType::Persistent,
+ },
+ pong_time,
+ ) {
+ event::HandledMessage::Pinged {
+ pinged: Some(pinged),
+ ..
+ } => {
+ successful_pongs += 1;
+ // Verify latency is recorded correctly
+ assert_eq!(pinged.latency, LocalDuration::from_secs(1));
+ }
+ other => {
+ return TestResult::error(format!("Expected Pinged with latency, got {:?}", other))
+ }
+ }
+ }
+
+ assert_eq!(successful_pongs, MAX_LATENCIES + 5);
+ TestResult::passed()
+}
+
+/// Ping State Transition
+///
+/// After ping, session enters AwaitingResponse state until valid pong.
+///
+/// after ping(): session.ping = AwaitingResponse { len, since }
+/// after valid pong(): session.ping = Ok
+#[quickcheck]
+fn prop_ping_state_transition(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ let ponglen = 10u16;
+
+ // Before ping: pong should return None (no AwaitingResponse)
+ let pong = Pong {
+ now,
+ zeroes: message::ZeroBytes::new(ponglen),
+ };
+
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: Some(command::Payload::Pong(pong)),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::HandledMessage::Pinged { pinged: None, .. } => {}
+ other => {
+ return TestResult::error(format!(
+ "Expected Pinged with None before ping, got {:?}",
+ other
+ ))
+ }
+ }
+
+ // Ping to enter AwaitingResponse
+ let ping_time = now + LocalDuration::from_secs(60);
+ for _ in connections.ping(
+ || message::Ping {
+ ponglen,
+ zeroes: message::ZeroBytes::new(0),
+ },
+ ping_time,
+ ) {}
+
+ // Invalid pong (wrong length) should return None
+ let invalid_pong = Pong {
+ now: ping_time,
+ zeroes: message::ZeroBytes::new(ponglen + 1), // Wrong length
+ };
+
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: Some(command::Payload::Pong(invalid_pong)),
+ connection_type: ConnectionType::Persistent,
+ },
+ ping_time,
+ ) {
+ event::HandledMessage::Pinged { pinged: None, .. } => {}
+ other => {
+ return TestResult::error(format!(
+ "Expected Pinged with None for invalid pong, got {:?}",
+ other
+ ))
+ }
+ }
+
+ // Need to ping again since state may have changed
+ let ping_time2 = ping_time + LocalDuration::from_secs(60);
+ for _ in connections.ping(
+ || message::Ping {
+ ponglen,
+ zeroes: message::ZeroBytes::new(0),
+ },
+ ping_time2,
+ ) {}
+
+ // Valid pong should return Some and reset state
+ let valid_pong = Pong {
+ now: ping_time2,
+ zeroes: message::ZeroBytes::new(ponglen),
+ };
+
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: Some(command::Payload::Pong(valid_pong)),
+ connection_type: ConnectionType::Persistent,
+ },
+ ping_time2,
+ ) {
+ event::HandledMessage::Pinged {
+ pinged: Some(_), ..
+ } => {}
+ other => {
+ return TestResult::error(format!(
+ "Expected Pinged with Some for valid pong, got {:?}",
+ other
+ ))
+ }
+ }
+
+ // After valid pong: back to Ok state, pong should return None
+ let final_pong = Pong {
+ now: ping_time2,
+ zeroes: message::ZeroBytes::new(ponglen),
+ };
+
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: Some(command::Payload::Pong(final_pong)),
+ connection_type: ConnectionType::Persistent,
+ },
+ ping_time2,
+ ) {
+ event::HandledMessage::Pinged { pinged: None, .. } => TestResult::passed(),
+ other => TestResult::error(format!(
+ "Expected Pinged with None after valid pong (back to Ok), got {:?}",
+ other
+ )),
+ }
+}
+
+// =============================================================================
+// Iterator Properties
+// =============================================================================
+
+/// Iterator Completeness
+///
+/// Iterating over sessions yields exactly all sessions across all states.
+///
+/// |sessions.iter()| = |initial| + |attempted| + |connected| + |disconnected|
+#[quickcheck]
+fn prop_iterator_complete(commands: Vec<TestCommand>) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+ let mut time = LocalTime::from_secs(1577836800);
+
+ for cmd in commands {
+ apply_command(&mut connections, cmd, &mut time);
+ }
+
+ let sessions = connections.sessions();
+ let iter_count = sessions.iter().count();
+
+ let mut state_count = 0;
+ for (node, _) in sessions.iter() {
+ let in_state = sessions.is_initial(node) as usize
+ + sessions.is_attempted(node) as usize
+ + sessions.get_connected(node).is_some() as usize
+ + sessions.is_diconnected(node) as usize;
+
+ assert_eq!(in_state, 1);
+ state_count += 1;
+ }
+
+ assert_eq!(iter_count, state_count);
+ TestResult::passed()
+}
+
+/// Connected Iterator Correctness
+///
+/// connected() iterator yields exactly all connected sessions.
+///
+/// sessions.connected().count() = |connected|
+/// ∧ ∀ session in sessions.connected(): session ∈ connected
+#[quickcheck]
+fn prop_connected_iterator(commands: Vec<TestCommand>) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+ let mut time = LocalTime::from_secs(1577836800);
+
+ for cmd in commands {
+ apply_command(&mut connections, cmd, &mut time);
+ }
+
+ let sessions = connections.sessions();
+ let iter_count = sessions.connected().sessions().count();
+
+ let manual_count = sessions
+ .iter()
+ .filter(|(node, _)| sessions.get_connected(node).is_some())
+ .count();
+
+ assert_eq!(iter_count, manual_count);
+ TestResult::passed()
+}
+
+/// Unresponsive Filter Correctness
+///
+/// unresponsive returns only connected sessions that are inactive.
+///
+/// ∀ session in unresponsive(now, threshold):
+/// session ∈ connected ∧ session.is_inactive(now, threshold)
+#[quickcheck]
+fn prop_unresponsive_filter(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ // Connect the session
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ let stale_connection = connections.config().stale();
+
+ // Before stale_connection threshold: not unresponsive
+ let before_threshold = now + stale_connection - LocalDuration::from_secs(1);
+ let unresponsive_before: Vec<_> = connections.unresponsive(&before_threshold).collect();
+ assert!(!unresponsive_before.iter().any(|(n, _)| **n == node));
+
+ // At/after stale_connection threshold: unresponsive
+ let after_threshold = now + stale_connection + LocalDuration::from_secs(1);
+ let unresponsive_after: Vec<_> = connections.unresponsive(&after_threshold).collect();
+ assert!(unresponsive_after.iter().any(|(n, _)| **n == node));
+
+ // Verify all returned sessions are actually connected and inactive
+ for (nid, session) in unresponsive_after {
+ if connections.sessions().get_connected(nid).is_none() {
+ return TestResult::error(format!("Unresponsive session {:?} is not connected", nid));
+ }
+ if !session.is_inactive(&after_threshold, stale_connection) {
+ return TestResult::error(format!("Unresponsive session {:?} is not inactive", nid));
+ }
+ }
+
+ TestResult::passed()
+}
+
+// =============================================================================
+// State Machine Model Properties
+// =============================================================================
+
+/// Deterministic Transitions
+///
+/// Given the same state and command, the resulting state is always the same.
+///
+/// ∀ state S, command C:
+/// apply(S, C) always produces the same result
+#[quickcheck]
+fn prop_deterministic_transitions(commands: Vec<TestCommand>) -> TestResult {
+ let local = NonLocalNode::local_node();
+
+ let mut connections1 = new_connections(local);
+ let mut connections2 = new_connections(local);
+ let mut time1 = LocalTime::from_secs(1577836800);
+ let mut time2 = LocalTime::from_secs(1577836800);
+
+ for cmd in commands {
+ apply_command(&mut connections1, cmd.clone(), &mut time1);
+ apply_command(&mut connections2, cmd, &mut time2);
+
+ // Verify session sets match
+ let nodes1: HashSet<_> = connections1.sessions().iter().map(|(n, _)| *n).collect();
+ let nodes2: HashSet<_> = connections2.sessions().iter().map(|(n, _)| *n).collect();
+
+ if nodes1 != nodes2 {
+ return TestResult::error("Session sets differ after identical commands");
+ }
+
+ // Verify states match for each node
+ for node in nodes1 {
+ let s1 = connections1.sessions();
+ let s2 = connections2.sessions();
+
+ let state1 = (
+ s1.is_initial(&node),
+ s1.is_attempted(&node),
+ s1.get_connected(&node).is_some(),
+ s1.is_diconnected(&node),
+ );
+ let state2 = (
+ s2.is_initial(&node),
+ s2.is_attempted(&node),
+ s2.get_connected(&node).is_some(),
+ s2.is_diconnected(&node),
+ );
+
+ if state1 != state2 {
+ return TestResult::error(format!(
+ "State differs for node {:?}: {:?} vs {:?}",
+ node, state1, state2
+ ));
+ }
+ }
+ }
+
+ TestResult::passed()
+}
+
+/// No State Loss
+///
+/// A session cannot disappear except through Disconnect(Ephemeral).
+///
+/// session ∈ sessions at time t ∧ session ∉ sessions at time t+1
+/// → ∃ Disconnect(Ephemeral) for session.node between t and t+1
+/// ∨ ∃ Connected(Inbound) that replaced session
+#[quickcheck]
+fn prop_no_state_loss(commands: Vec<TestCommand>) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+ let mut time = LocalTime::from_secs(1577836800);
+
+ // Track which nodes have sessions
+ let mut had_session: HashSet<NodeId> = HashSet::new();
+
+ for cmd in commands {
+ // Record nodes that have sessions before command
+ had_session.extend(connections.sessions().iter().map(|(n, _)| n));
+
+ // Track if this command is an ephemeral disconnect or inbound connect
+ let is_ephemeral_disconnect = matches!(
+ &cmd,
+ TestCommand::Disconnect {
+ connection_type: ConnectionType::Ephemeral,
+ ..
+ }
+ );
+ let inbound_node = match &cmd {
+ TestCommand::ConnectedInbound { node, .. } => Some(*node),
+ _ => None,
+ };
+
+ apply_command(&mut connections, cmd, &mut time);
+
+ // Check for disappeared sessions
+ for node in had_session.iter() {
+ if !connections.has_session(node) {
+ // Session disappeared - must be due to ephemeral disconnect
+ // or it was overwritten by inbound (which keeps the session)
+ if !is_ephemeral_disconnect && inbound_node != Some(*node) {
+ return TestResult::error(format!(
+ "Session {:?} disappeared without ephemeral disconnect or inbound overwrite",
+ node
+ ));
+ }
+ }
+ }
+
+ // Update tracked sessions
+ had_session.clear();
+ had_session.extend(connections.sessions().iter().map(|(n, _)| n));
+ }
+
+ TestResult::passed()
+}
+
+/// Command Reversibility (Partial)
+///
+/// Reconnect reverses disconnect in terms of session state (Disconnected → Initial).
+///
+/// reconnect(node) reverses disconnect(node)
+/// only in terms of session existence, not exact state
+#[quickcheck]
+fn prop_reconnect_reverses_disconnect(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ // Connect and establish session
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ assert!(connections.sessions().get_connected(&node).is_some());
+
+ connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ );
+ assert!(connections.sessions().is_diconnected(&node));
+
+ // Reconnect should bring session back to Initial
+ match connections.reconnect(command::Reconnect { node }) {
+ event::Reconnect::Reconnecting { .. } => {}
+ other => {
+ return TestResult::error(format!("Expected Reconnecting, got {:?}", other));
+ }
+ }
+ assert!(connections.sessions().is_initial(&node));
+ assert!(connections.has_session(&node));
+
+ TestResult::passed()
+}
+
+// =============================================================================
+// Inbound Special Cases
+// =============================================================================
+
+/// Inbound Creates Session if Missing
+///
+/// Connected::Inbound creates a new connected session if none exists.
+///
+/// node ∉ sessions.keys() ∧ Connected::Inbound(node)
+/// → node ∈ connected.keys()
+#[quickcheck]
+fn prop_inbound_creates(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ match connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::Connected::Established { session } => {
+ assert_eq!(session.node(), node);
+ assert!(connections.sessions().get_connected(&node).is_some());
+ TestResult::passed()
+ }
+ other => TestResult::error(format!("Expected Established, got {:?}", other)),
+ }
+}
+
+/// Inbound Overwrites Disconnected State
+///
+/// Connected::Inbound transitions disconnected session to Connected.
+///
+/// ∀ existing session state:
+/// Connected::Inbound(node) → node ∈ connected.keys()
+#[quickcheck]
+fn prop_inbound_overwrites_disconnected(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ // Create a disconnected session
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+ connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ );
+ assert!(connections.sessions().is_diconnected(&node));
+
+ // Inbound should overwrite
+ match connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::Connected::Established { .. } => {
+ assert!(connections.sessions().get_connected(&node).is_some());
+ TestResult::passed()
+ }
+ other => TestResult::error(format!("Expected Established, got {:?}", other)),
+ }
+}
+
+/// Inbound Overwrites Initial State
+///
+/// Connected::Inbound transitions initial session to Connected.
+///
+/// ∀ existing session state:
+/// Connected::Inbound(node) → node ∈ connected.keys()
+#[quickcheck]
+fn prop_inbound_overwrites_initial(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ // Create an initial session via connect
+ connections.connect(
+ command::Connect {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+ assert!(connections.sessions().is_initial(&node));
+
+ // Inbound should overwrite
+ match connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::Connected::Established { .. } => {
+ assert!(connections.sessions().get_connected(&node).is_some());
+ TestResult::passed()
+ }
+ other => TestResult::error(format!("Expected Established, got {:?}", other)),
+ }
+}
+
+/// Inbound Overwrites Attempted State
+///
+/// Connected::Inbound transitions attempted session to Connected.
+///
+/// ∀ existing session state:
+/// Connected::Inbound(node) → node ∈ connected.keys()
+#[quickcheck]
+fn prop_inbound_overwrites_attempted(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ // Create an attempted session
+ connections.connect(
+ command::Connect {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+ connections.attempted(command::Attempt { node });
+ assert!(connections.sessions().is_attempted(&node));
+
+ // Inbound should overwrite
+ match connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::Connected::Established { .. } => {
+ assert!(connections.sessions().get_connected(&node).is_some());
+ TestResult::passed()
+ }
+ other => TestResult::error(format!("Expected Established, got {:?}", other)),
+ }
+}
+
+/// Outbound Requires Existing Session
+///
+/// Connected::Outbound fails if no session exists.
+///
+/// node ∉ sessions.keys() ∧ Connected::Outbound(node)
+/// → result = MissingSession { node }
+#[quickcheck]
+fn prop_outbound_requires_session(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ match connections.connected(
+ command::Connected::Outbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::Connected::MissingSession { node: n } if n == node => TestResult::passed(),
+ other => TestResult::error(format!(
+ "Expected MissingSession for {node}, got {:?}",
+ other
+ )),
+ }
+}
+
+// =============================================================================
+// Address Properties
+// =============================================================================
+
+/// Address Preservation
+///
+/// Session address is preserved through state transitions.
+///
+/// ∀ state transition:
+/// session_before.addr = session_after.addr
+#[quickcheck]
+fn prop_address_preservation(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+ commands: Vec<TestCommand>,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ let expected_addr = addr.clone();
+
+ // Create session via connect
+ connections.connect(
+ command::Connect {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ let mut time = now;
+
+ for cmd in commands {
+ // Track if this command might replace our session
+ let is_inbound_for_node = matches!(
+ &cmd,
+ TestCommand::ConnectedInbound { node: n, .. } if *n == node
+ );
+ let is_ephemeral_disconnect_for_node = matches!(
+ &cmd,
+ TestCommand::Disconnect {
+ node: n,
+ connection_type: ConnectionType::Ephemeral,
+ ..
+ } if *n == node
+ );
+
+ apply_command(&mut connections, cmd, &mut time);
+
+ // If session was replaced by inbound or removed by ephemeral disconnect, stop checking
+ if is_inbound_for_node || is_ephemeral_disconnect_for_node {
+ continue;
+ }
+
+ // If session still exists, verify address is preserved
+ if let Some(session) = connections.session_for(&node) {
+ assert_eq!(*session.address(), expected_addr);
+ }
+ }
+
+ // Final check if session exists
+ if let Some(session) = connections.session_for(&node) {
+ assert_eq!(*session.address(), expected_addr);
+ }
+
+ TestResult::passed()
+}
+
+/// Record IP for Routable Addresses
+///
+/// connect signals to record IP only for non-local IP addresses.
+///
+/// connect(node, addr) = Establish { record_ip: Some(ip) }
+/// ⟺ addr.host = Ip(ip) ∧ ¬is_local(ip)
+#[quickcheck]
+fn prop_record_ip_for_routable(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ match connections.connect(
+ command::Connect {
+ node,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::Connect::Establish { record_ip, .. } => match record_ip {
+ Some(_) => TestResult::passed(),
+ None => TestResult::error("Expected record_ip for routable address"),
+ },
+ other => TestResult::error(format!("Expected Establish, got {:?}", other)),
+ }
+}
+
+/// Record IP is None for non-IP addresses
+///
+/// connect signals record_ip=None for DNS hostnames.
+#[quickcheck]
+fn prop_no_record_ip_for_dns(
+ NonLocalNode(node): NonLocalNode,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ let addr = Address::from(cyphernet::addr::NetAddr {
+ host: HostName::Dns(String::from("seed.radicle.example.com")),
+ port: 8080,
+ });
+
+ match connections.connect(
+ command::Connect {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::Connect::Establish {
+ record_ip: None, ..
+ } => TestResult::passed(),
+ event::Connect::Establish {
+ record_ip: Some(ip),
+ ..
+ } => TestResult::error(format!(
+ "Expected record_ip=None for DNS address, got {:?}",
+ ip
+ )),
+ other => TestResult::error(format!("Expected Establish, got {:?}", other)),
+ }
+}
+
+/// Record IP is None for localhost addresses.
+#[quickcheck]
+fn prop_no_record_ip_for_localhost(
+ NonLocalNode(node): NonLocalNode,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ let localhost_ips = [
+ IpAddr::V4(Ipv4Addr::LOCALHOST),
+ IpAddr::V6(Ipv6Addr::LOCALHOST),
+ ];
+
+ for ip in localhost_ips {
+ let addr = Address::from(cyphernet::addr::NetAddr {
+ host: HostName::Ip(ip),
+ port: 8080,
+ });
+
+ match connections.connect(
+ command::Connect {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ ) {
+ event::Connect::Establish {
+ record_ip: None, ..
+ } => {}
+ event::Connect::Establish {
+ record_ip: Some(recorded),
+ ..
+ } => {
+ return TestResult::error(format!(
+ "Expected record_ip=None for localhost {:?}, got {:?}",
+ ip, recorded
+ ));
+ }
+ other => {
+ return TestResult::error(format!(
+ "Expected Establish for {:?}, got {:?}",
+ ip, other
+ ))
+ }
+ }
+
+ connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Outbound,
+ since: now,
+ connection_type: ConnectionType::Ephemeral,
+ },
+ &DisconnectReason::Command,
+ );
+ }
+
+ TestResult::passed()
+}
+
+// =============================================================================
+// Additional Properties
+// =============================================================================
+
+/// Empty State Initial Condition
+///
+/// New Connections instance has empty sessions.
+#[test]
+fn prop_empty_initial() {
+ let local = NonLocalNode::local_node();
+ let connections = new_connections(local);
+
+ assert_eq!(
+ connections.sessions().iter().count(),
+ 0,
+ "Sessions should be empty"
+ );
+ assert_eq!(
+ connections.sessions().connected().sessions().count(),
+ 0,
+ "Connected sessions should be empty"
+ );
+ assert_eq!(
+ connections.sessions().connected_inbound(),
+ 0,
+ "Inbound count should be 0"
+ );
+ assert_eq!(
+ connections.sessions().connected_outbound(),
+ 0,
+ "Outbound count should be 0"
+ );
+}
+
+/// Double Disconnect Prevention
+///
+/// Disconnecting an already disconnected session returns AlreadyDisconnected.
+#[quickcheck]
+fn prop_double_disconnect(
+ NonLocalNode(node): NonLocalNode,
+ addr: Address,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ // First disconnect
+ connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ );
+
+ // Second disconnect should return AlreadyDisconnected
+ match connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ ) {
+ event::Disconnected::AlreadyDisconnected { node: n } if n == node => TestResult::passed(),
+ other => TestResult::error(format!(
+ "Expected AlreadyDisconnected for {node}, got {:?}",
+ other
+ )),
+ }
+}
+
+/// Number of Connections Calculation
+///
+/// number_of_outbound_connections counts only Attempted and Connected with outbound links.
+#[quickcheck]
+fn prop_number_of_outbound_connections(
+ NonLocalNode(node1): NonLocalNode,
+ NonLocalNode(node2): NonLocalNode,
+ NonLocalNode(node3): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ // Ensure distinct nodes
+ if node1 == node2 || node2 == node3 || node1 == node3 {
+ return TestResult::discard();
+ }
+
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ // Initial state: 0 outbound
+ assert_eq!(connections.number_of_outbound_connections(), 0);
+
+ // Initial connections are not counted
+ connections.connect(
+ command::Connect {
+ node: node1,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+ assert_eq!(connections.number_of_outbound_connections(), 0);
+
+ connections.attempted(command::Attempt { node: node1 });
+ assert_eq!(connections.number_of_outbound_connections(), 1);
+
+ // Add Connected (outbound) - should count
+ connections.connected(
+ command::Connected::Outbound {
+ node: node1,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+ assert_eq!(connections.number_of_outbound_connections(), 1);
+
+ // Add Connected (inbound) - should NOT count
+ connections.connected(
+ command::Connected::Inbound {
+ node: node2,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+ assert_eq!(connections.number_of_outbound_connections(), 1);
+
+ // Disconnect outbound to Disconnected - should NOT count
+ connections.disconnected(
+ command::Disconnect {
+ node: node1,
+ link: Link::Outbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ );
+ assert_eq!(connections.number_of_outbound_connections(), 0);
+
+ TestResult::passed()
+}
+
+/// Message Handling for Disconnected Nodes
+///
+/// Messages from disconnected nodes return Disconnected and don't modify state.
+#[quickcheck]
+fn prop_message_from_disconnected(
+ NonLocalNode(node): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ // Connect then disconnect
+ connections.connected(
+ command::Connected::Inbound {
+ node,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ connections.disconnected(
+ command::Disconnect {
+ node,
+ link: Link::Inbound,
+ since: now,
+ connection_type: ConnectionType::Persistent,
+ },
+ &DisconnectReason::Command,
+ );
+ assert!(connections.sessions().is_diconnected(&node));
+
+ // Message to disconnected node
+ let later = now + LocalDuration::from_secs(10);
+ match connections.handle_message(
+ command::Message {
+ node,
+ payload: None,
+ connection_type: ConnectionType::Persistent,
+ },
+ later,
+ ) {
+ event::HandledMessage::Disconnected { node: n } if n == node => {}
+ other => {
+ return TestResult::error(format!(
+ "Expected Disconnected for message to disconnected node, got {:?}",
+ other
+ ))
+ }
+ }
+
+ // State should not have changed
+ assert!(connections.sessions().is_diconnected(&node));
+ TestResult::passed()
+}
+
+/// Stabilization Batch Correctness
+///
+/// stabilise returns exactly the sessions that transition to stable, not all stable sessions.
+#[quickcheck]
+fn prop_stabilise_returns_newly_stable(
+ NonLocalNode(node1): NonLocalNode,
+ NonLocalNode(node2): NonLocalNode,
+ RoutableAddress(addr): RoutableAddress,
+ ArbitraryTime(now): ArbitraryTime,
+) -> TestResult {
+ if node1 == node2 {
+ return TestResult::discard();
+ }
+
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+
+ let stale_connection = connections.config().stale();
+
+ // Connect first session
+ connections.connected(
+ command::Connected::Inbound {
+ node: node1,
+ addr: addr.clone(),
+ connection_type: ConnectionType::Persistent,
+ },
+ now,
+ );
+
+ // Stabilise first session
+ let after_threshold = now + stale_connection + LocalDuration::from_secs(1);
+ let stabilised1 = connections.stabilise(after_threshold);
+ assert_eq!(stabilised1.len(), 1);
+ assert_eq!(stabilised1[0].node(), node1);
+
+ // Connect second session at later time
+ let later = after_threshold + LocalDuration::from_secs(1);
+ connections.connected(
+ command::Connected::Inbound {
+ node: node2,
+ addr,
+ connection_type: ConnectionType::Persistent,
+ },
+ later,
+ );
+
+ // Stabilise again - first session is already stable, should not be returned
+ let much_later = later + stale_connection + LocalDuration::from_secs(1);
+ let stabilised2 = connections.stabilise(much_later);
+ assert_eq!(stabilised2.len(), 1);
+ assert_eq!(stabilised2[0].node(), node2);
+
+ // Stabilise again - both already stable, should return empty
+ let even_later = much_later + LocalDuration::from_secs(1);
+ let stabilised3 = connections.stabilise(even_later);
+ assert!(stabilised3.is_empty());
+
+ TestResult::passed()
+}
+
+// =============================================================================
+// Comprehensive Invariant Test
+// =============================================================================
+
+/// All invariants hold after any command sequence.
+#[quickcheck]
+fn prop_all_invariants(commands: Vec<TestCommand>) -> TestResult {
+ let local = NonLocalNode::local_node();
+ let mut connections = new_connections(local);
+ let mut time = LocalTime::from_secs(1577836800);
+
+ for (i, cmd) in commands.iter().enumerate() {
+ apply_command(&mut connections, cmd.clone(), &mut time);
+
+ if let Err(e) = check_invariants(&connections, &local) {
+ return TestResult::error(format!("Invariant violated after command {}: {}", i, e));
+ }
+ }
+
+ TestResult::passed()
+}
diff --git a/crates/radicle-protocol/src/connections/state/test/arbitrary.rs b/crates/radicle-protocol/src/connections/state/test/arbitrary.rs
new file mode 100644
index 00000000..027f20ab
--- /dev/null
+++ b/crates/radicle-protocol/src/connections/state/test/arbitrary.rs
@@ -0,0 +1,351 @@
+//! Arbitrary implementations for property-based testing of connections.
+
+use std::net::{IpAddr, Ipv4Addr, Ipv6Addr};
+
+use localtime::LocalTime;
+use qcheck::{Arbitrary, Gen};
+use radicle::crypto;
+use radicle::node::{address, Address, HostName, Link, NodeId};
+
+use crate::connections::session::ConnectionType;
+
+// =============================================================================
+// Generation Functions (for types we don't own)
+// =============================================================================
+
+pub fn link(g: &mut Gen) -> Link {
+ if bool::arbitrary(g) {
+ Link::Inbound
+ } else {
+ Link::Outbound
+ }
+}
+
+pub fn local_time(g: &mut Gen) -> LocalTime {
+ // Generate time between year 2020 and 2030
+ let secs = u64::arbitrary(g) % (10 * 365 * 24 * 60 * 60);
+ LocalTime::from_secs(1577836800 + secs)
+}
+
+pub fn routable_ip(g: &mut Gen) -> IpAddr {
+ loop {
+ let ip: IpAddr = if bool::arbitrary(g) {
+ IpAddr::V4(Ipv4Addr::from(u32::arbitrary(g)))
+ } else {
+ let octets: [u8; 16] = Arbitrary::arbitrary(g);
+ IpAddr::V6(Ipv6Addr::from(octets))
+ };
+ if !ip.is_loopback() && !ip.is_unspecified() {
+ return ip;
+ }
+ }
+}
+
+// =============================================================================
+// Newtype Wrappers for Quickcheck Integration
+// =============================================================================
+
+/// Newtype for LocalTime that implements Arbitrary.
+#[derive(Clone, Debug)]
+pub struct ArbitraryTime(pub LocalTime);
+
+impl Arbitrary for ArbitraryTime {
+ fn arbitrary(g: &mut Gen) -> Self {
+ ArbitraryTime(local_time(g))
+ }
+
+ fn shrink(&self) -> Box<dyn Iterator<Item = Self>> {
+ // Shrink toward epoch (1577836800 = 2020-01-01)
+ let secs = self.0.as_secs();
+ let base = 1577836800u64;
+ if secs > base {
+ Box::new(std::iter::once(ArbitraryTime(LocalTime::from_secs(base))))
+ } else {
+ Box::new(std::iter::empty())
+ }
+ }
+}
+
+/// Newtype for Link that implements Arbitrary.
+#[derive(Clone, Debug)]
+pub struct ArbitraryLink(pub Link);
+
+impl Arbitrary for ArbitraryLink {
+ fn arbitrary(g: &mut Gen) -> Self {
+ ArbitraryLink(link(g))
+ }
+
+ fn shrink(&self) -> Box<dyn Iterator<Item = Self>> {
+ // Shrink Outbound to Inbound
+ match self.0 {
+ Link::Outbound => Box::new(std::iter::once(ArbitraryLink(Link::Inbound))),
+ Link::Inbound => Box::new(std::iter::empty()),
+ }
+ }
+}
+
+/// Newtype for NodeId that is never equal to the test local node.
+#[derive(Clone, Debug)]
+pub struct NonLocalNode(pub NodeId);
+
+impl NonLocalNode {
+ pub(super) fn local_node() -> NodeId {
+ NodeId::from(crypto::PublicKey::from([1u8; 32]))
+ }
+}
+
+impl Arbitrary for NonLocalNode {
+ fn arbitrary(g: &mut Gen) -> Self {
+ let local = Self::local_node();
+ loop {
+ let node = NodeId::arbitrary(g);
+ if node != local {
+ return NonLocalNode(node);
+ }
+ }
+ }
+
+ fn shrink(&self) -> Box<dyn Iterator<Item = Self>> {
+ let local = Self::local_node();
+ Box::new(
+ self.0
+ .shrink()
+ .filter(move |n| *n != local)
+ .map(NonLocalNode),
+ )
+ }
+}
+
+/// Newtype for Address with a routable IP.
+#[derive(Clone, Debug)]
+pub struct RoutableAddress(pub Address);
+
+impl Arbitrary for RoutableAddress {
+ fn arbitrary(g: &mut Gen) -> Self {
+ loop {
+ let ip: IpAddr = if bool::arbitrary(g) {
+ IpAddr::V4(Ipv4Addr::from(u32::arbitrary(g)))
+ } else {
+ let octets: [u8; 16] = Arbitrary::arbitrary(g);
+ IpAddr::V6(Ipv6Addr::from(octets))
+ };
+ if address::is_routable(&ip) {
+ let port = u16::arbitrary(g);
+ let addr = Address::from(cyphernet::addr::NetAddr {
+ host: HostName::Ip(ip),
+ port,
+ });
+ return RoutableAddress(addr);
+ }
+ }
+ }
+
+ fn shrink(&self) -> Box<dyn Iterator<Item = Self>> {
+ // Shrinking while maintaining routability is complex; skip it
+ Box::new(std::iter::empty())
+ }
+}
+
+// =============================================================================
+// ConnectionType Arbitrary
+// =============================================================================
+
+impl Arbitrary for ConnectionType {
+ fn arbitrary(g: &mut Gen) -> Self {
+ if bool::arbitrary(g) {
+ ConnectionType::Ephemeral
+ } else {
+ ConnectionType::Persistent
+ }
+ }
+
+ fn shrink(&self) -> Box<dyn Iterator<Item = Self>> {
+ // Shrink Persistent to Ephemeral
+ match self {
+ ConnectionType::Persistent => Box::new(std::iter::once(ConnectionType::Ephemeral)),
+ ConnectionType::Ephemeral => Box::new(std::iter::empty()),
+ }
+ }
+}
+
+// =============================================================================
+// Test Command
+// =============================================================================
+
+/// A command that can be applied to the Connections state machine.
+#[derive(Clone, Debug)]
+pub enum TestCommand {
+ Accept {
+ ip: IpAddr,
+ },
+ Connect {
+ node: NodeId,
+ addr: Address,
+ connection_type: ConnectionType,
+ },
+ Attempt {
+ node: NodeId,
+ },
+ ConnectedInbound {
+ node: NodeId,
+ addr: Address,
+ connection_type: ConnectionType,
+ },
+ ConnectedOutbound {
+ node: NodeId,
+ addr: Address,
+ connection_type: ConnectionType,
+ },
+ Disconnect {
+ node: NodeId,
+ link: Link,
+ connection_type: ConnectionType,
+ },
+ Reconnect {
+ node: NodeId,
+ },
+ Message {
+ node: NodeId,
+ connection_type: ConnectionType,
+ },
+}
+
+impl Arbitrary for TestCommand {
+ fn arbitrary(g: &mut Gen) -> Self {
+ let choice = u8::arbitrary(g) % 8;
+
+ match choice {
+ 0 => TestCommand::Accept { ip: routable_ip(g) },
+ 1 => TestCommand::Connect {
+ node: NodeId::arbitrary(g),
+ addr: Address::arbitrary(g),
+ connection_type: ConnectionType::arbitrary(g),
+ },
+ 2 => TestCommand::Attempt {
+ node: NodeId::arbitrary(g),
+ },
+ 3 => TestCommand::ConnectedInbound {
+ node: NodeId::arbitrary(g),
+ addr: Address::arbitrary(g),
+ connection_type: ConnectionType::arbitrary(g),
+ },
+ 4 => TestCommand::ConnectedOutbound {
+ node: NodeId::arbitrary(g),
+ addr: Address::arbitrary(g),
+ connection_type: ConnectionType::arbitrary(g),
+ },
+ 5 => TestCommand::Disconnect {
+ node: NodeId::arbitrary(g),
+ link: ArbitraryLink::arbitrary(g).0,
+ connection_type: ConnectionType::arbitrary(g),
+ },
+ 6 => TestCommand::Reconnect {
+ node: NodeId::arbitrary(g),
+ },
+ _ => TestCommand::Message {
+ node: NodeId::arbitrary(g),
+ connection_type: ConnectionType::arbitrary(g),
+ },
+ }
+ }
+
+ fn shrink(&self) -> Box<dyn Iterator<Item = Self>> {
+ match self {
+ TestCommand::Connect {
+ node,
+ addr,
+ connection_type,
+ } => {
+ let node = *node;
+ let addr = addr.clone();
+ let ct = *connection_type;
+
+ // Shrink node, then try simpler command
+ let node_shrinks = node.shrink().map(move |n| TestCommand::Connect {
+ node: n,
+ addr: addr.clone(),
+ connection_type: ct,
+ });
+ let simpler = std::iter::once(TestCommand::Attempt { node });
+
+ Box::new(node_shrinks.chain(simpler))
+ }
+ TestCommand::ConnectedInbound {
+ node,
+ addr,
+ connection_type,
+ } => {
+ let node = *node;
+ let addr = addr.clone();
+ let ct = *connection_type;
+
+ let node_shrinks = node.shrink().map(move |n| TestCommand::ConnectedInbound {
+ node: n,
+ addr: addr.clone(),
+ connection_type: ct,
+ });
+ let simpler = std::iter::once(TestCommand::Attempt { node });
+
+ Box::new(node_shrinks.chain(simpler))
+ }
+ TestCommand::ConnectedOutbound {
+ node,
+ addr,
+ connection_type,
+ } => {
+ let node = *node;
+ let addr = addr.clone();
+ let ct = *connection_type;
+
+ let node_shrinks = node.shrink().map(move |n| TestCommand::ConnectedOutbound {
+ node: n,
+ addr: addr.clone(),
+ connection_type: ct,
+ });
+ let simpler = std::iter::once(TestCommand::Attempt { node });
+
+ Box::new(node_shrinks.chain(simpler))
+ }
+ TestCommand::Disconnect {
+ node,
+ link,
+ connection_type,
+ } => {
+ let node = *node;
+ let link = *link;
+ let ct = *connection_type;
+
+ let node_shrinks = node.shrink().map(move |n| TestCommand::Disconnect {
+ node: n,
+ link,
+ connection_type: ct,
+ });
+
+ Box::new(node_shrinks)
+ }
+ TestCommand::Attempt { node } => {
+ let node_shrinks = node.shrink().map(|n| TestCommand::Attempt { node: n });
+ Box::new(node_shrinks)
+ }
+ TestCommand::Reconnect { node } => {
+ let node_shrinks = node.shrink().map(|n| TestCommand::Reconnect { node: n });
+ Box::new(node_shrinks)
+ }
+ TestCommand::Message {
+ node,
+ connection_type,
+ } => {
+ let node = *node;
+ let ct = *connection_type;
+
+ let node_shrinks = node.shrink().map(move |n| TestCommand::Message {
+ node: n,
+ connection_type: ct,
+ });
+
+ Box::new(node_shrinks)
+ }
+ TestCommand::Accept { .. } => Box::new(std::iter::empty()),
+ }
+ }
+}
diff --git a/crates/radicle-protocol/src/connections/state/test/invariants.rs b/crates/radicle-protocol/src/connections/state/test/invariants.rs
new file mode 100644
index 00000000..265e4037
--- /dev/null
+++ b/crates/radicle-protocol/src/connections/state/test/invariants.rs
@@ -0,0 +1,182 @@
+//! Invariant checking functions for connection state management.
+
+use std::collections::HashSet;
+
+use radicle::node::{Link, NodeId};
+
+use crate::connections::session::Sessions;
+use crate::connections::state::Connections;
+
+// =============================================================================
+// Error Types
+// =============================================================================
+
+#[derive(Debug, Clone, PartialEq, Eq)]
+pub enum InvariantViolation {
+ /// A node appears in multiple state collections
+ DuplicateSession { node: NodeId },
+ /// The local node appears in a session collection
+ LocalNodeInSession { node: NodeId },
+ /// Session existence check is inconsistent with state checks
+ SessionExistenceInconsistent { node: NodeId },
+ /// Link count mismatch
+ LinkCountMismatch {
+ link: Link,
+ counted: usize,
+ reported: usize,
+ },
+}
+
+impl std::fmt::Display for InvariantViolation {
+ fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
+ match self {
+ Self::DuplicateSession { node } => {
+ write!(f, "Node {:?} appears in multiple states", node)
+ }
+ Self::LocalNodeInSession { node } => {
+ write!(f, "Local node {:?} found in sessions", node)
+ }
+ Self::SessionExistenceInconsistent { node } => {
+ write!(f, "Session existence inconsistent for node {:?}", node)
+ }
+ Self::LinkCountMismatch {
+ link,
+ counted,
+ reported,
+ } => {
+ write!(
+ f,
+ "{:?} count mismatch: counted={}, reported={}",
+ link, counted, reported
+ )
+ }
+ }
+ }
+}
+
+impl std::error::Error for InvariantViolation {}
+
+// =============================================================================
+// Invariant Checking Functions
+// =============================================================================
+
+/// Check all core invariants on a Connections instance.
+pub fn check_invariants(
+ connections: &Connections,
+ local: &NodeId,
+) -> Result<(), InvariantViolation> {
+ let sessions = connections.sessions();
+ check_single_session_per_node(sessions)?;
+ check_local_node_exclusion(sessions, local)?;
+ check_session_existence_consistency(sessions)?;
+ check_link_count_consistency(sessions)?;
+ Ok(())
+}
+
+/// A node should only appear in the sessions exactly once, or not at all.
+pub fn check_single_session_per_node(sessions: &Sessions) -> Result<(), InvariantViolation> {
+ let mut seen_nodes: HashSet<NodeId> = HashSet::new();
+ for (node, _) in sessions.iter() {
+ if !seen_nodes.insert(*node) {
+ return Err(InvariantViolation::DuplicateSession { node: *node });
+ }
+ }
+ Ok(())
+}
+
+/// The local node should never appear in any session collection.
+pub fn check_local_node_exclusion(
+ sessions: &Sessions,
+ local: &NodeId,
+) -> Result<(), InvariantViolation> {
+ if sessions.has_session_for(local) {
+ return Err(InvariantViolation::LocalNodeInSession { node: *local });
+ }
+ Ok(())
+}
+
+/// For every session, the corresponding node should appear exactly once.
+pub fn check_session_existence_consistency(sessions: &Sessions) -> Result<(), InvariantViolation> {
+ for (node, _) in sessions.iter() {
+ let has_session = sessions.has_session_for(node);
+ let state_count = sessions.is_initial(node) as u8
+ + sessions.is_attempted(node) as u8
+ + sessions.get_connected(node).is_some() as u8
+ + sessions.is_diconnected(node) as u8;
+
+ if has_session && state_count != 1 {
+ return Err(InvariantViolation::SessionExistenceInconsistent { node: *node });
+ }
+ if !has_session && state_count != 0 {
+ return Err(InvariantViolation::SessionExistenceInconsistent { node: *node });
+ }
+ }
+ Ok(())
+}
+
+/// For every connected session, the computed link counts should match.
+pub fn check_link_count_consistency(sessions: &Sessions) -> Result<(), InvariantViolation> {
+ let mut inbound_count = 0;
+ let mut outbound_count = 0;
+
+ for session in sessions.connected().sessions() {
+ match session.link() {
+ Link::Inbound => inbound_count += 1,
+ Link::Outbound => outbound_count += 1,
+ }
+ }
+
+ if inbound_count != sessions.connected_inbound() {
+ return Err(InvariantViolation::LinkCountMismatch {
+ link: Link::Inbound,
+ counted: inbound_count,
+ reported: sessions.connected_inbound(),
+ });
+ }
+ if outbound_count != sessions.connected_outbound() {
+ return Err(InvariantViolation::LinkCountMismatch {
+ link: Link::Outbound,
+ counted: outbound_count,
+ reported: sessions.connected_outbound(),
+ });
+ }
+ Ok(())
+}
+
+// =============================================================================
+// State Transition Oracle
+// =============================================================================
+
+#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
+pub enum SessionState {
+ Initial,
+ Attempted,
+ Connected,
+ Disconnected,
+}
+
+/// Check if a state transition is explicitly invalid.
+pub fn is_invalid_transition(from: SessionState, to: SessionState) -> bool {
+ matches!(
+ (from, to),
+ (SessionState::Attempted, SessionState::Initial)
+ | (SessionState::Connected, SessionState::Initial)
+ | (SessionState::Connected, SessionState::Attempted)
+ | (SessionState::Disconnected, SessionState::Attempted)
+ )
+}
+
+/// Determine the current state of a session.
+pub fn get_session_state(sessions: &Sessions, node: &NodeId) -> Option<SessionState> {
+ if sessions.is_initial(node) {
+ Some(SessionState::Initial)
+ } else if sessions.is_attempted(node) {
+ Some(SessionState::Attempted)
+ } else if sessions.get_connected(node).is_some() {
+ Some(SessionState::Connected)
+ } else if sessions.is_diconnected(node) {
+ Some(SessionState::Disconnected)
+ } else {
+ None // Session doesn't exist
+ }
+}
Exit code: 0
shell: 'export RUSTDOCFLAGS=''-D warnings'' cargo --version rustc --version cargo fmt --check cargo clippy --all-targets --workspace -- --deny warnings cargo build --all-targets --workspace cargo doc --workspace --no-deps --all-features cargo test --workspace --no-fail-fast '
Commands:
$ podman run --name c0e1652d-acc0-48f9-81c6-f4eca785f0e7 -v /opt/radcis/ci.rad.levitte.org/cci/state/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/s:/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/s:ro -v /opt/radcis/ci.rad.levitte.org/cci/state/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w:/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w -w /c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w -v /opt/radcis/ci.rad.levitte.org/.radicle:/${id}/.radicle:ro -e RAD_HOME=/${id}/.radicle rust:bookworm bash /c0e1652d-acc0-48f9-81c6-f4eca785f0e7/s/script.sh
+ export 'RUSTDOCFLAGS=-D warnings'
+ RUSTDOCFLAGS='-D warnings'
+ cargo --version
info: syncing channel updates for '1.90-x86_64-unknown-linux-gnu'
info: latest update on 2025-09-18, rust version 1.90.0 (1159e78c4 2025-09-14)
info: downloading component 'cargo'
info: downloading component 'clippy'
info: downloading component 'rust-docs'
info: downloading component 'rust-src'
info: downloading component 'rust-std'
info: downloading component 'rustc'
info: downloading component 'rustfmt'
info: installing component 'cargo'
info: installing component 'clippy'
info: installing component 'rust-docs'
info: installing component 'rust-src'
info: installing component 'rust-std'
info: installing component 'rustc'
info: installing component 'rustfmt'
cargo 1.90.0 (840b83a10 2025-07-30)
+ rustc --version
rustc 1.90.0 (1159e78c4 2025-09-14)
+ cargo fmt --check
+ cargo clippy --all-targets --workspace -- --deny warnings
Updating crates.io index
Downloading crates ...
Downloaded base-x v0.2.11
Downloaded base32 v0.4.0
Downloaded anstyle-parse v0.2.3
Downloaded addr2line v0.24.2
Downloaded amplify_syn v2.0.1
Downloaded git-ref-format v0.6.0
Downloaded gix-credentials v0.30.0
Downloaded gix-date v0.10.5
Downloaded gix-tempfile v18.0.0
Downloaded indicatif v0.18.0
Downloaded gimli v0.31.1
Downloaded overload v0.1.1
Downloaded bitflags v1.3.2
Downloaded console v0.16.0
Downloaded aho-corasick v1.1.3
Downloaded clap_derive v4.5.41
Downloaded crc32fast v1.5.0
Downloaded crossterm v0.29.0
Downloaded elliptic-curve v0.13.8
Downloaded data-encoding-macro-internal v0.1.12
Downloaded clap_lex v0.7.5
Downloaded digest v0.10.7
Downloaded crossbeam-channel v0.5.15
Downloaded phf v0.11.3
Downloaded dunce v1.0.5
Downloaded bit-vec v0.8.0
Downloaded borrow-or-share v0.2.2
Downloaded crossterm v0.25.0
Downloaded idna_adapter v1.2.0
Downloaded icu_normalizer_data v1.5.1
Downloaded memchr v2.7.2
Downloaded derive_more v2.0.1
Downloaded multibase v0.9.1
Downloaded group v0.13.0
Downloaded fastrand v2.3.0
Downloaded gix-validate v0.10.0
Downloaded home v0.5.9
Downloaded displaydoc v0.2.5
Downloaded nu-ansi-term v0.46.0
Downloaded pbkdf2 v0.12.2
Downloaded base64 v0.22.1
Downloaded signature v1.6.4
Downloaded parking_lot_core v0.9.12
Downloaded keccak v0.1.5
Downloaded paste v1.0.15
Downloaded human-panic v2.0.3
Downloaded gix-sec v0.12.0
Downloaded pem-rfc7468 v0.7.0
Downloaded phf_shared v0.11.3
Downloaded p521 v0.13.3
Downloaded shlex v1.3.0
Downloaded pin-project-lite v0.2.16
Downloaded poly1305 v0.8.0
Downloaded icu_locid_transform_data v1.5.1
Downloaded lazy_static v1.5.0
Downloaded portable-atomic v1.11.0
Downloaded proc-macro-error2 v2.0.1
Downloaded scopeguard v1.2.0
Downloaded ref-cast v1.0.24
Downloaded siphasher v0.3.11
Downloaded thiserror-impl v2.0.12
Downloaded ssh-cipher v0.2.0
Downloaded siphasher v1.0.1
Downloaded sec1 v0.7.3
Downloaded signature v2.2.0
Downloaded strsim v0.11.1
Downloaded log v0.4.27
Downloaded ppv-lite86 v0.2.17
Downloaded ref-cast-impl v1.0.24
Downloaded unicode-segmentation v1.11.0
Downloaded tinyvec v1.6.0
Downloaded sval_json v2.14.1
Downloaded num-traits v0.2.19
Downloaded systemd-journal-logger v2.2.2
Downloaded salsa20 v0.10.2
Downloaded unicode-ident v1.0.12
Downloaded synstructure v0.13.1
Downloaded sem_safe v0.2.0
Downloaded same-file v1.0.6
Downloaded inquire v0.7.5
Downloaded thiserror-impl v1.0.69
Downloaded thread_local v1.1.9
Downloaded timeago v0.4.2
Downloaded signal-hook-mio v0.2.4
Downloaded serde_derive_internals v0.29.1
Downloaded serde-untagged v0.1.7
Downloaded tinystr v0.7.6
Downloaded tracing-core v0.1.34
Downloaded stable_deref_trait v1.2.0
Downloaded ssh-encoding v0.2.0
Downloaded serde_derive v1.0.219
Downloaded tracing v0.1.41
Downloaded utf8parse v0.2.1
Downloaded yoke-derive v0.7.5
Downloaded write16 v1.0.0
Downloaded utf8_iter v1.0.4
Downloaded sval_ref v2.14.1
Downloaded zerofrom-derive v0.1.6
Downloaded universal-hash v0.5.1
Downloaded tinyvec_macros v0.1.1
Downloaded test-log v0.2.18
Downloaded xattr v1.3.1
Downloaded zerofrom v0.1.6
Downloaded vsimd v0.8.0
Downloaded tree-sitter-highlight v0.24.4
Downloaded zerovec-derive v0.10.3
Downloaded value-bag v1.11.1
Downloaded typenum v1.17.0
Downloaded yansi v0.5.1
Downloaded tracing-log v0.2.0
Downloaded uuid v1.16.0
Downloaded zeroize v1.7.0
Downloaded walkdir v2.5.0
Downloaded unicode-width v0.1.11
Downloaded yoke v0.7.5
Downloaded url v2.5.4
Downloaded tree-sitter v0.24.4
Downloaded tree-sitter-html v0.23.2
Downloaded ssh-key v0.6.6
Downloaded unicode-normalization v0.1.23
Downloaded tracing-subscriber v0.3.19
Downloaded zerovec v0.10.4
Downloaded winnow v0.7.13
Downloaded tree-sitter-c v0.23.2
Downloaded zlib-rs v0.5.2
Downloaded vcpkg v0.2.15
Downloaded rustix v1.0.7
Downloaded regex-automata v0.4.9
Downloaded sha1-checked v0.10.0
Downloaded tree-sitter-bash v0.23.3
Downloaded unicode-width v0.2.1
Downloaded rustix v0.38.34
Downloaded tree-sitter-ruby v0.23.1
Downloaded syn v1.0.109
Downloaded jiff v0.2.15
Downloaded sqlite3-src v0.5.1
Downloaded libc v0.2.174
Downloaded syn v2.0.106
Downloaded sha3 v0.10.8
Downloaded tokio v1.47.1
Downloaded object v0.36.7
Downloaded tree-sitter-typescript v0.23.2
Downloaded amplify_num v0.5.2
Downloaded zerocopy v0.7.35
Downloaded tree-sitter-go v0.23.4
Downloaded regex-syntax v0.8.5
Downloaded serde_json v1.0.140
Downloaded escargot v0.5.10
Downloaded regex v1.11.1
Downloaded linux-raw-sys v0.4.13
Downloaded fast-glob v0.3.3
Downloaded ec25519 v0.1.0
Downloaded cyphergraphy v0.3.0
Downloaded amplify_derive v4.0.0
Downloaded libgit2-sys v0.17.0+1.8.1
Downloaded amplify v4.6.0
Downloaded toml_datetime v0.7.0
Downloaded toml v0.9.5
Downloaded tempfile v3.23.0
Downloaded linux-raw-sys v0.9.4
Downloaded socks5-client v0.4.1
Downloaded radicle-std-ext v0.2.0
Downloaded radicle-git-ext v0.11.0
Downloaded structured-logger v1.0.4
Downloaded tar v0.4.40
Downloaded sqlite v0.32.0
Downloaded p384 v0.13.0
Downloaded writeable v0.5.5
Downloaded typeid v1.0.3
Downloaded toml_writer v1.0.2
Downloaded tree-sitter-toml-ng v0.6.0
Downloaded tree-sitter-language v0.1.2
Downloaded tree-sitter-css v0.23.1
Downloaded noise-framework v0.4.0
Downloaded localtime v1.3.1
Downloaded libz-sys v1.1.16
Downloaded git-ref-format-macro v0.6.0
Downloaded git-ref-format-core v0.6.0
Downloaded thiserror v2.0.12
Downloaded tree-sitter-python v0.23.4
Downloaded thiserror v1.0.69
Downloaded regex-syntax v0.6.29
Downloaded uuid-simd v0.8.0
Downloaded tree-sitter-json v0.24.8
Downloaded sval_nested v2.14.1
Downloaded version_check v0.9.4
Downloaded value-bag-sval2 v1.11.1
Downloaded sval_buffer v2.14.1
Downloaded sval v2.14.1
Downloaded socket2 v0.5.7
Downloaded snapbox v0.4.17
Downloaded git2 v0.19.0
Downloaded value-bag-serde1 v1.11.1
Downloaded utf16_iter v1.0.5
Downloaded unit-prefix v0.5.1
Downloaded unicode-display-width v0.3.0
Downloaded tree-sitter-rust v0.23.2
Downloaded test-log-macros v0.2.18
Downloaded tree-sitter-md v0.3.2
Downloaded sval_serde v2.14.1
Downloaded sval_fmt v2.14.1
Downloaded sval_dynamic v2.14.1
Downloaded spin v0.9.8
Downloaded signals_receipts v0.2.0
Downloaded subtle v2.5.0
Downloaded sqlite3-sys v0.15.2
Downloaded spki v0.7.3
Downloaded smallvec v1.15.1
Downloaded schemars v1.0.4
Downloaded signal-hook-registry v1.4.5
Downloaded snapbox-macros v0.3.8
Downloaded serde v1.0.219
Downloaded itertools v0.14.0
Downloaded sha1 v0.10.6
Downloaded serde_spanned v1.0.0
Downloaded rsa v0.9.6
Downloaded idna v1.0.3
Downloaded hashbrown v0.14.3
Downloaded serde_fmt v1.0.3
Downloaded schemars_derive v1.0.4
Downloaded ryu v1.0.17
Downloaded regex-automata v0.1.10
Downloaded num-bigint-dig v0.8.4
Downloaded icu_collections v1.5.0
Downloaded num-bigint v0.4.6
Downloaded signal-hook v0.3.18
Downloaded sharded-slab v0.1.7
Downloaded scrypt v0.11.0
Downloaded radicle-surf v0.26.0
Downloaded libm v0.2.8
Downloaded jsonschema v0.30.0
Downloaded similar v2.5.0
Downloaded rfc6979 v0.4.0
Downloaded litrs v0.4.1
Downloaded indexmap v2.2.6
Downloaded heapless v0.8.0
Downloaded fraction v0.15.3
Downloaded rustc-demangle v0.1.26
Downloaded gix-pack v0.60.0
Downloaded p256 v0.13.2
Downloaded jiff-static v0.2.15
Downloaded streaming-iterator v0.1.9
Downloaded sha2 v0.10.8
Downloaded referencing v0.30.0
Downloaded rand_chacha v0.3.1
Downloaded rand v0.8.5
Downloaded icu_provider v1.5.0
Downloaded icu_normalizer v1.5.0
Downloaded gix-transport v0.48.0
Downloaded icu_locid v1.5.0
Downloaded qcheck-macros v1.0.0
Downloaded polyval v0.6.2
Downloaded proc-macro2 v1.0.101
Downloaded icu_properties v1.5.1
Downloaded rand_core v0.6.4
Downloaded parking_lot v0.12.5
Downloaded shell-words v1.1.0
Downloaded quote v1.0.41
Downloaded qcheck v1.0.0
Downloaded once_cell v1.21.3
Downloaded pkg-config v0.3.30
Downloaded pkcs8 v0.10.2
Downloaded gix-protocol v0.51.0
Downloaded gix-odb v0.70.0
Downloaded prodash v30.0.1
Downloaded lock_api v0.4.14
Downloaded libz-rs-sys v0.5.2
Downloaded gix-url v0.32.0
Downloaded os_info v3.12.0
Downloaded num-rational v0.4.2
Downloaded num-integer v0.1.46
Downloaded num-complex v0.4.6
Downloaded gix-revwalk v0.21.0
Downloaded pretty_assertions v1.4.0
Downloaded litemap v0.7.5
Downloaded hmac v0.12.1
Downloaded gix-hash v0.19.0
Downloaded getrandom v0.2.15
Downloaded fxhash v0.2.1
Downloaded proc-macro-error-attr2 v2.0.0
Downloaded primeorder v0.13.6
Downloaded pkcs1 v0.7.5
Downloaded outref v0.5.2
Downloaded num-cmp v0.1.0
Downloaded num v0.4.3
Downloaded normalize-line-endings v0.3.0
Downloaded nonempty v0.9.0
Downloaded newline-converter v0.3.0
Downloaded lexopt v0.3.0
Downloaded opaque-debug v0.3.1
Downloaded num-iter v0.1.45
Downloaded gix-revision v0.35.0
Downloaded generic-array v0.14.7
Downloaded percent-encoding v2.3.1
Downloaded matchers v0.1.0
Downloaded gix-hashtable v0.9.0
Downloaded gix-actor v0.35.4
Downloaded form_urlencoded v1.2.1
Downloaded bloomy v1.2.0
Downloaded icu_locid_transform v1.5.0
Downloaded iana-time-zone v0.1.60
Downloaded emojis v0.6.4
Downloaded clap_builder v4.5.44
Downloaded bstr v1.12.0
Downloaded mio v1.0.4
Downloaded mio v0.8.11
Downloaded jobserver v0.1.31
Downloaded icu_provider_macros v1.5.0
Downloaded heck v0.5.0
Downloaded gix-utils v0.3.0
Downloaded gix-negotiate v0.21.0
Downloaded backtrace v0.3.75
Downloaded base64 v0.21.7
Downloaded itoa v1.0.11
Downloaded hash32 v0.3.1
Downloaded gix-trace v0.1.13
Downloaded clap v4.5.44
Downloaded ascii v1.1.0
Downloaded arc-swap v1.7.1
Downloaded miniz_oxide v0.8.8
Downloaded memmap2 v0.9.8
Downloaded inout v0.1.3
Downloaded clap_complete v4.5.60
Downloaded anstream v0.6.13
Downloaded gix-packetline v0.19.1
Downloaded convert_case v0.7.1
Downloaded bitflags v2.9.1
Downloaded base64ct v1.6.0
Downloaded bytesize v2.0.1
Downloaded bcrypt-pbkdf v0.10.0
Downloaded autocfg v1.2.0
Downloaded anstyle-query v1.0.2
Downloaded aead v0.5.2
Downloaded env_logger v0.11.8
Downloaded email_address v0.2.9
Downloaded dyn-clone v1.0.17
Downloaded base16ct v0.2.0
Downloaded gix-shallow v0.5.0
Downloaded gix-ref v0.53.1
Downloaded gix-object v0.50.2
Downloaded gix-fs v0.16.1
Downloaded bit-set v0.8.0
Downloaded anstyle v1.0.11
Downloaded adler2 v2.0.0
Downloaded maybe-async v0.2.10
Downloaded icu_properties_data v1.5.1
Downloaded gix-traverse v0.47.0
Downloaded gix-quote v0.6.0
Downloaded gix-prompt v0.11.1
Downloaded gix-lock v18.0.0
Downloaded faster-hex v0.10.0
Downloaded fancy-regex v0.14.0
Downloaded data-encoding-macro v0.1.14
Downloaded cypheraddr v0.4.0
Downloaded cpufeatures v0.2.12
Downloaded byteorder v1.5.0
Downloaded bytecount v0.6.8
Downloaded aes v0.8.4
Downloaded errno v0.3.13
Downloaded erased-serde v0.4.6
Downloaded env_filter v0.1.3
Downloaded either v1.11.0
Downloaded ed25519 v1.5.3
Downloaded ecdsa v0.16.9
Downloaded document-features v0.2.11
Downloaded diff v0.1.13
Downloaded ct-codecs v1.1.1
Downloaded cbc v0.1.2
Downloaded colorchoice v1.0.0
Downloaded blowfish v0.9.1
Downloaded equivalent v1.0.1
Downloaded derive_more-impl v2.0.1
Downloaded der v0.7.9
Downloaded cyphernet v0.5.2
Downloaded crypto-bigint v0.5.5
Downloaded colored v2.1.0
Downloaded chrono v0.4.38
Downloaded anyhow v1.0.82
Downloaded cc v1.2.2
Downloaded block-buffer v0.10.4
Downloaded data-encoding v2.5.0
Downloaded cfg-if v1.0.0
Downloaded bytes v1.10.1
Downloaded block-padding v0.3.3
Downloaded chacha20poly1305 v0.10.1
Downloaded ctr v0.9.2
Downloaded const-oid v0.9.6
Downloaded chacha20 v0.9.1
Downloaded crypto-common v0.1.6
Downloaded crossbeam-utils v0.8.19
Downloaded cipher v0.4.4
Downloaded hashbrown v0.15.5
Downloaded gix-diff v0.53.0
Downloaded getrandom v0.3.3
Downloaded fluent-uri v0.3.2
Downloaded flate2 v1.1.1
Downloaded gix-refspec v0.31.0
Downloaded gix-path v0.10.20
Downloaded gix-features v0.43.1
Downloaded gix-commitgraph v0.29.0
Downloaded gix-chunk v0.4.11
Downloaded ghash v0.5.1
Downloaded filetime v0.2.23
Downloaded ff v0.13.0
Downloaded aes-gcm v0.10.3
Downloaded gix-config-value v0.15.1
Downloaded gix-command v0.6.2
Downloaded ahash v0.8.11
Compiling libc v0.2.174
Compiling proc-macro2 v1.0.101
Compiling unicode-ident v1.0.12
Compiling quote v1.0.41
Checking cfg-if v1.0.0
Compiling version_check v0.9.4
Compiling shlex v1.3.0
Checking memchr v2.7.2
Compiling jobserver v0.1.31
Compiling syn v2.0.106
Compiling cc v1.2.2
Checking getrandom v0.2.15
Compiling typenum v1.17.0
Compiling generic-array v0.14.7
Checking rand_core v0.6.4
Compiling serde v1.0.219
Checking aho-corasick v1.1.3
Checking regex-syntax v0.8.5
Checking smallvec v1.15.1
Checking crypto-common v0.1.6
Checking subtle v2.5.0
Checking stable_deref_trait v1.2.0
Checking cpufeatures v0.2.12
Checking once_cell v1.21.3
Compiling parking_lot_core v0.9.12
Checking fastrand v2.3.0
Checking scopeguard v1.2.0
Checking lock_api v0.4.14
Checking block-buffer v0.10.4
Compiling thiserror v2.0.12
Checking parking_lot v0.12.5
Checking digest v0.10.7
Compiling crc32fast v1.5.0
Checking regex-automata v0.4.9
Checking tinyvec_macros v0.1.1
Checking byteorder v1.5.0
Checking tinyvec v1.6.0
Compiling typeid v1.0.3
Checking bitflags v2.9.1
Checking gix-trace v0.1.13
Checking unicode-normalization v0.1.23
Checking home v0.5.9
Compiling synstructure v0.13.1
Checking gix-utils v0.3.0
Checking zlib-rs v0.5.2
Checking same-file v1.0.6
Checking walkdir v2.5.0
Checking prodash v30.0.1
Compiling serde_derive v1.0.219
Compiling thiserror-impl v2.0.12
Checking bstr v1.12.0
Checking libz-rs-sys v0.5.2
Compiling zerofrom-derive v0.1.6
Checking flate2 v1.1.1
Compiling yoke-derive v0.7.5
Checking gix-validate v0.10.0
Checking gix-path v0.10.20
Compiling zerovec-derive v0.10.3
Checking gix-features v0.43.1
Checking zerofrom v0.1.6
Checking yoke v0.7.5
Compiling displaydoc v0.2.5
Compiling heapless v0.8.0
Checking itoa v1.0.11
Checking hash32 v0.3.1
Checking zeroize v1.7.0
Checking litemap v0.7.5
Checking zerovec v0.10.4
Compiling pkg-config v0.3.30
Checking writeable v0.5.5
Compiling thiserror v1.0.69
Checking tinystr v0.7.6
Compiling icu_locid_transform_data v1.5.1
Checking faster-hex v0.10.0
Checking icu_locid v1.5.0
Compiling thiserror-impl v1.0.69
Compiling icu_provider_macros v1.5.0
Compiling rustix v1.0.7
Compiling icu_properties_data v1.5.1
Checking icu_provider v1.5.0
Checking sha1 v0.10.6
Checking block-padding v0.3.3
Checking linux-raw-sys v0.9.4
Compiling icu_normalizer_data v1.5.1
Checking inout v0.1.3
Checking sha1-checked v0.10.0
Checking erased-serde v0.4.6
Checking serde_fmt v1.0.3
Checking icu_locid_transform v1.5.0
Checking value-bag-serde1 v1.11.1
Checking value-bag v1.11.1
Checking icu_collections v1.5.0
Compiling getrandom v0.3.3
Checking log v0.4.27
Compiling syn v1.0.109
Checking icu_properties v1.5.1
Checking gix-hash v0.19.0
Checking cipher v0.4.4
Checking utf8_iter v1.0.4
Checking utf16_iter v1.0.5
Checking write16 v1.0.0
Checking percent-encoding v2.3.1
Checking form_urlencoded v1.2.1
Checking sha2 v0.10.8
Compiling vcpkg v0.2.15
Compiling libz-sys v1.1.16
Checking universal-hash v0.5.1
Checking icu_normalizer v1.5.0
Checking opaque-debug v0.3.1
Checking tempfile v3.23.0
Compiling autocfg v1.2.0
Compiling libgit2-sys v0.17.0+1.8.1
Checking idna_adapter v1.2.0
Checking idna v1.0.3
Compiling num-traits v0.2.19
Checking equivalent v1.0.1
Checking signature v1.6.4
Checking hashbrown v0.14.3
Compiling serde_json v1.0.140
Checking url v2.5.4
Compiling amplify_syn v2.0.1
Checking indexmap v2.2.6
Checking ed25519 v1.5.3
Checking aead v0.5.2
Checking ryu v1.0.17
Checking ascii v1.1.0
Compiling ref-cast v1.0.24
Checking amplify_num v0.5.2
Checking ct-codecs v1.1.1
Checking ec25519 v0.1.0
Compiling amplify_derive v4.0.0
Checking poly1305 v0.8.0
Checking git-ref-format-core v0.6.0
Checking chacha20 v0.9.1
Compiling ref-cast-impl v1.0.24
Checking polyval v0.6.2
Compiling sqlite3-src v0.5.1
Checking amplify v4.6.0
Checking hmac v0.12.1
Checking dyn-clone v1.0.17
Checking keccak v0.1.5
Checking base64ct v1.6.0
Checking cyphergraphy v0.3.0
Checking sha3 v0.10.8
Checking pem-rfc7468 v0.7.0
Checking pbkdf2 v0.12.2
Checking ghash v0.5.1
Checking ctr v0.9.2
Checking aes v0.8.4
Checking rand v0.8.5
Checking base32 v0.4.0
Compiling crossbeam-utils v0.8.19
Compiling data-encoding v2.5.0
Checking qcheck v1.0.0
Checking cypheraddr v0.4.0
Compiling data-encoding-macro-internal v0.1.12
Checking aes-gcm v0.10.3
Checking ssh-encoding v0.2.0
Checking chacha20poly1305 v0.10.1
Checking blowfish v0.9.1
Checking cbc v0.1.2
Compiling serde_derive_internals v0.29.1
Checking data-encoding-macro v0.1.14
Checking ssh-cipher v0.2.0
Checking bcrypt-pbkdf v0.10.0
Checking noise-framework v0.4.0
Checking socks5-client v0.4.1
Compiling schemars_derive v1.0.4
Checking base-x v0.2.11
Checking signature v2.2.0
Checking ssh-key v0.6.6
Checking multibase v0.9.1
Checking crossbeam-channel v0.5.15
Checking schemars v1.0.4
Checking cyphernet v0.5.2
Checking radicle-ssh v0.10.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-ssh)
Checking lazy_static v1.5.0
Checking jiff v0.2.15
Checking nonempty v0.9.0
Checking siphasher v1.0.1
Checking anstyle-query v1.0.2
Checking radicle-git-metadata v0.1.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-git-metadata)
Checking radicle-dag v0.10.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-dag)
Checking winnow v0.7.13
Checking utf8parse v0.2.1
Checking hashbrown v0.15.5
Checking gix-hashtable v0.9.0
Checking anstyle-parse v0.2.3
Checking gix-date v0.10.5
Checking radicle-git-ref-format v0.1.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-git-ref-format)
Checking gix-actor v0.35.4
Checking colorchoice v1.0.0
Checking base64 v0.21.7
Checking iana-time-zone v0.1.60
Checking anstyle v1.0.11
Checking chrono v0.4.38
Checking anstream v0.6.13
Checking gix-object v0.50.2
Checking colored v2.1.0
Checking serde-untagged v0.1.7
Checking bytesize v2.0.1
Checking localtime v1.3.1
Checking memmap2 v0.9.8
Checking fast-glob v0.3.3
Checking dunce v1.0.5
Checking tree-sitter-language v0.1.2
Checking gix-chunk v0.4.11
Checking gix-fs v0.16.1
Checking gix-commitgraph v0.29.0
Checking gix-tempfile v18.0.0
Checking mio v1.0.4
Checking gix-revwalk v0.21.0
Checking gix-quote v0.6.0
Checking sem_safe v0.2.0
Checking errno v0.3.13
Checking shell-words v1.1.0
Checking either v1.11.0
Checking gix-command v0.6.2
Checking signals_receipts v0.2.0
Compiling signal-hook v0.3.18
Compiling object v0.36.7
Checking gix-lock v18.0.0
Checking gix-url v0.32.0
Checking gix-config-value v0.15.1
Checking gix-sec v0.12.0
Checking signal-hook-registry v1.4.5
Checking gimli v0.31.1
Compiling rustix v0.38.34
Checking adler2 v2.0.0
Checking miniz_oxide v0.8.8
Checking gix-prompt v0.11.1
Checking addr2line v0.24.2
Checking radicle-signals v0.11.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-signals)
Checking gix-traverse v0.47.0
Checking gix-revision v0.35.0
Checking gix-diff v0.53.0
Checking mio v0.8.11
Checking gix-packetline v0.19.1
Compiling tree-sitter v0.24.4
Compiling anyhow v1.0.82
Compiling linux-raw-sys v0.4.13
Checking rustc-demangle v0.1.26
Compiling unicode-segmentation v1.11.0
Compiling convert_case v0.7.1
Checking backtrace v0.3.75
Checking sqlite3-sys v0.15.2
Checking sqlite v0.32.0
Checking radicle-crypto v0.14.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-crypto)
Checking gix-transport v0.48.0
Checking signal-hook-mio v0.2.4
Checking gix-pack v0.60.0
Checking gix-refspec v0.31.0
Checking gix-credentials v0.30.0
Checking gix-ref v0.53.1
Checking gix-shallow v0.5.0
Checking gix-negotiate v0.21.0
Checking regex v1.11.1
Compiling maybe-async v0.2.10
Compiling proc-macro-error-attr2 v2.0.0
Checking arc-swap v1.7.1
Compiling portable-atomic v1.11.0
Checking gix-protocol v0.51.0
Compiling proc-macro-error2 v2.0.1
Checking gix-odb v0.70.0
Compiling xattr v1.3.1
Compiling derive_more-impl v2.0.1
Compiling filetime v0.2.23
Checking uuid v1.16.0
Checking bytes v1.10.1
Checking bitflags v1.3.2
Compiling litrs v0.4.1
Checking unicode-width v0.2.1
Checking derive_more v2.0.1
Checking crossterm v0.25.0
Checking console v0.16.0
Compiling document-features v0.2.11
Compiling tar v0.4.40
Compiling git-ref-format-macro v0.6.0
Checking newline-converter v0.3.0
Checking snapbox-macros v0.3.8
Checking salsa20 v0.10.2
Checking fxhash v0.2.1
Checking unicode-width v0.1.11
Checking unit-prefix v0.5.1
Checking similar v2.5.0
Checking streaming-iterator v0.1.9
Checking strsim v0.11.1
Checking normalize-line-endings v0.3.0
Checking siphasher v0.3.11
Compiling heck v0.5.0
Checking clap_lex v0.7.5
Checking bloomy v1.2.0
Checking clap_builder v4.5.44
Checking snapbox v0.4.17
Compiling clap_derive v4.5.41
Checking indicatif v0.18.0
Compiling radicle-surf v0.26.0
Checking inquire v0.7.5
Checking scrypt v0.11.0
Checking git-ref-format v0.6.0
Checking crossterm v0.29.0
Checking unicode-display-width v0.3.0
Checking systemd-journal-logger v2.2.2
Checking serde_spanned v1.0.0
Checking toml_datetime v0.7.0
Compiling tree-sitter-typescript v0.23.2
Compiling tree-sitter-c v0.23.2
Compiling tree-sitter-html v0.23.2
Compiling tree-sitter-toml-ng v0.6.0
Compiling tree-sitter-ruby v0.23.1
Compiling tree-sitter-md v0.3.2
Compiling tree-sitter-rust v0.23.2
Compiling tree-sitter-css v0.23.1
Compiling tree-sitter-bash v0.23.3
Compiling tree-sitter-go v0.23.4
Compiling tree-sitter-json v0.24.8
Compiling tree-sitter-python v0.23.4
Checking toml_writer v1.0.2
Checking radicle-std-ext v0.2.0
Checking pin-project-lite v0.2.16
Checking toml v0.9.5
Checking tokio v1.47.1
Checking clap v4.5.44
Checking os_info v3.12.0
Compiling radicle-node v0.16.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-node)
Compiling radicle-cli v0.17.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cli)
Checking diff v0.1.13
Checking yansi v0.5.1
Checking pretty_assertions v1.4.0
Checking human-panic v2.0.3
Checking clap_complete v4.5.60
Checking structured-logger v1.0.4
Checking radicle-systemd v0.11.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-systemd)
Checking tree-sitter-highlight v0.24.4
Checking itertools v0.14.0
Checking num-integer v0.1.46
Compiling qcheck-macros v1.0.0
Checking socket2 v0.5.7
Checking timeago v0.4.2
Checking lexopt v0.3.0
Compiling escargot v0.5.10
Checking num-bigint v0.4.6
Compiling ahash v0.8.11
Checking num-iter v0.1.45
Checking num-complex v0.4.6
Checking env_filter v0.1.3
Checking num-rational v0.4.2
Checking zerocopy v0.7.35
Checking bit-vec v0.8.0
Checking borrow-or-share v0.2.2
Checking fluent-uri v0.3.2
Checking bit-set v0.8.0
Checking num v0.4.3
Checking env_logger v0.11.8
Checking phf_shared v0.11.3
Compiling test-log-macros v0.2.18
Checking vsimd v0.8.0
Compiling radicle-remote-helper v0.14.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-remote-helper)
Checking outref v0.5.2
Compiling paste v1.0.15
Checking uuid-simd v0.8.0
Checking test-log v0.2.18
Checking phf v0.11.3
Checking referencing v0.30.0
Checking fraction v0.15.3
Checking fancy-regex v0.14.0
Checking email_address v0.2.9
Checking bytecount v0.6.8
Checking base64 v0.22.1
Checking num-cmp v0.1.0
Checking emojis v0.6.4
Checking jsonschema v0.30.0
Checking git2 v0.19.0
Checking radicle-oid v0.1.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-oid)
Checking radicle-git-ext v0.11.0
Checking radicle-term v0.16.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-term)
Checking radicle-cob v0.17.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cob)
Checking radicle v0.20.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle)
Checking radicle-fetch v0.16.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-fetch)
Checking radicle-cli-test v0.13.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cli-test)
Checking radicle-schemars v0.6.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-schemars)
Checking radicle-protocol v0.4.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-protocol)
Finished `dev` profile [unoptimized + debuginfo] target(s) in 46.84s
+ cargo build --all-targets --workspace
Compiling libc v0.2.174
Compiling cfg-if v1.0.0
Compiling shlex v1.3.0
Compiling memchr v2.7.2
Compiling typenum v1.17.0
Compiling serde v1.0.219
Compiling generic-array v0.14.7
Compiling jobserver v0.1.31
Compiling getrandom v0.2.15
Compiling rand_core v0.6.4
Compiling cc v1.2.2
Compiling crypto-common v0.1.6
Compiling aho-corasick v1.1.3
Compiling regex-syntax v0.8.5
Compiling smallvec v1.15.1
Compiling subtle v2.5.0
Compiling stable_deref_trait v1.2.0
Compiling once_cell v1.21.3
Compiling cpufeatures v0.2.12
Compiling scopeguard v1.2.0
Compiling fastrand v2.3.0
Compiling lock_api v0.4.14
Compiling parking_lot_core v0.9.12
Compiling regex-automata v0.4.9
Compiling block-buffer v0.10.4
Compiling digest v0.10.7
Compiling parking_lot v0.12.5
Compiling thiserror v2.0.12
Compiling bitflags v2.9.1
Compiling byteorder v1.5.0
Compiling tinyvec_macros v0.1.1
Compiling tinyvec v1.6.0
Compiling crc32fast v1.5.0
Compiling gix-trace v0.1.13
Compiling typeid v1.0.3
Compiling home v0.5.9
Compiling erased-serde v0.4.6
Compiling serde_fmt v1.0.3
Compiling unicode-normalization v0.1.23
Compiling zlib-rs v0.5.2
Compiling value-bag-serde1 v1.11.1
Compiling same-file v1.0.6
Compiling gix-utils v0.3.0
Compiling walkdir v2.5.0
Compiling zerofrom v0.1.6
Compiling value-bag v1.11.1
Compiling prodash v30.0.1
Compiling bstr v1.12.0
Compiling log v0.4.27
Compiling gix-validate v0.10.0
Compiling yoke v0.7.5
Compiling gix-path v0.10.20
Compiling zerovec v0.10.4
Compiling itoa v1.0.11
Compiling hash32 v0.3.1
Compiling zeroize v1.7.0
Compiling heapless v0.8.0
Compiling tinystr v0.7.6
Compiling litemap v0.7.5
Compiling writeable v0.5.5
Compiling faster-hex v0.10.0
Compiling icu_locid v1.5.0
Compiling icu_locid_transform_data v1.5.1
Compiling sha1 v0.10.6
Compiling libz-rs-sys v0.5.2
Compiling flate2 v1.1.1
Compiling icu_provider v1.5.0
Compiling block-padding v0.3.3
Compiling gix-features v0.43.1
Compiling linux-raw-sys v0.9.4
Compiling thiserror v1.0.69
Compiling icu_locid_transform v1.5.0
Compiling inout v0.1.3
Compiling sha1-checked v0.10.0
Compiling icu_properties_data v1.5.1
Compiling icu_collections v1.5.0
Compiling gix-hash v0.19.0
Compiling icu_properties v1.5.1
Compiling rustix v1.0.7
Compiling cipher v0.4.4
Compiling icu_normalizer_data v1.5.1
Compiling utf8_iter v1.0.4
Compiling write16 v1.0.0
Compiling utf16_iter v1.0.5
Compiling getrandom v0.3.3
Compiling percent-encoding v2.3.1
Compiling sha2 v0.10.8
Compiling form_urlencoded v1.2.1
Compiling libz-sys v1.1.16
Compiling universal-hash v0.5.1
Compiling opaque-debug v0.3.1
Compiling libgit2-sys v0.17.0+1.8.1
Compiling equivalent v1.0.1
Compiling signature v1.6.4
Compiling icu_normalizer v1.5.0
Compiling hashbrown v0.14.3
Compiling idna_adapter v1.2.0
Compiling idna v1.0.3
Compiling indexmap v2.2.6
Compiling url v2.5.4
Compiling tempfile v3.23.0
Compiling ed25519 v1.5.3
Compiling aead v0.5.2
Compiling amplify_num v0.5.2
Compiling ryu v1.0.17
Compiling ct-codecs v1.1.1
Compiling ascii v1.1.0
Compiling serde_json v1.0.140
Compiling ec25519 v0.1.0
Compiling num-traits v0.2.19
Compiling amplify v4.6.0
Compiling poly1305 v0.8.0
Compiling chacha20 v0.9.1
Compiling git-ref-format-core v0.6.0
Compiling ref-cast v1.0.24
Compiling cyphergraphy v0.3.0
Compiling polyval v0.6.2
Compiling sqlite3-src v0.5.1
Compiling hmac v0.12.1
Compiling dyn-clone v1.0.17
Compiling keccak v0.1.5
Compiling base64ct v1.6.0
Compiling pem-rfc7468 v0.7.0
Compiling sha3 v0.10.8
Compiling pbkdf2 v0.12.2
Compiling ghash v0.5.1
Compiling ctr v0.9.2
Compiling aes v0.8.4
Compiling rand v0.8.5
Compiling base32 v0.4.0
Compiling cypheraddr v0.4.0
Compiling qcheck v1.0.0
Compiling aes-gcm v0.10.3
Compiling ssh-encoding v0.2.0
Compiling chacha20poly1305 v0.10.1
Compiling cbc v0.1.2
Compiling blowfish v0.9.1
Compiling data-encoding v2.5.0
Compiling data-encoding-macro v0.1.14
Compiling bcrypt-pbkdf v0.10.0
Compiling ssh-cipher v0.2.0
Compiling noise-framework v0.4.0
Compiling socks5-client v0.4.1
Compiling crossbeam-utils v0.8.19
Compiling base-x v0.2.11
Compiling signature v2.2.0
Compiling ssh-key v0.6.6
Compiling crossbeam-channel v0.5.15
Compiling multibase v0.9.1
Compiling cyphernet v0.5.2
Compiling schemars v1.0.4
Compiling radicle-ssh v0.10.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-ssh)
Compiling jiff v0.2.15
Compiling lazy_static v1.5.0
Compiling nonempty v0.9.0
Compiling siphasher v1.0.1
Compiling anstyle-query v1.0.2
Compiling radicle-git-metadata v0.1.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-git-metadata)
Compiling radicle-dag v0.10.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-dag)
Compiling winnow v0.7.13
Compiling utf8parse v0.2.1
Compiling gix-date v0.10.5
Compiling hashbrown v0.15.5
Compiling gix-hashtable v0.9.0
Compiling gix-actor v0.35.4
Compiling anstyle-parse v0.2.3
Compiling radicle-git-ref-format v0.1.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-git-ref-format)
Compiling iana-time-zone v0.1.60
Compiling anstyle v1.0.11
Compiling colorchoice v1.0.0
Compiling base64 v0.21.7
Compiling anstream v0.6.13
Compiling chrono v0.4.38
Compiling gix-object v0.50.2
Compiling colored v2.1.0
Compiling serde-untagged v0.1.7
Compiling bytesize v2.0.1
Compiling localtime v1.3.1
Compiling memmap2 v0.9.8
Compiling fast-glob v0.3.3
Compiling dunce v1.0.5
Compiling tree-sitter-language v0.1.2
Compiling gix-chunk v0.4.11
Compiling adler2 v2.0.0
Compiling gix-commitgraph v0.29.0
Compiling gix-fs v0.16.1
Compiling gix-revwalk v0.21.0
Compiling gix-tempfile v18.0.0
Compiling mio v1.0.4
Compiling gix-quote v0.6.0
Compiling sem_safe v0.2.0
Compiling errno v0.3.13
Compiling unicode-segmentation v1.11.0
Compiling sqlite3-sys v0.15.2
Compiling either v1.11.0
Compiling sqlite v0.32.0
Compiling shell-words v1.1.0
Compiling radicle-crypto v0.14.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-crypto)
Compiling gix-command v0.6.2
Compiling signals_receipts v0.2.0
Compiling gix-lock v18.0.0
Compiling gix-url v0.32.0
Compiling gix-config-value v0.15.1
Compiling gix-sec v0.12.0
Compiling signal-hook-registry v1.4.5
Compiling gimli v0.31.1
Compiling signal-hook v0.3.18
Compiling gix-prompt v0.11.1
Compiling radicle-signals v0.11.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-signals)
Compiling object v0.36.7
Compiling gix-traverse v0.47.0
Compiling addr2line v0.24.2
Compiling gix-revision v0.35.0
Compiling miniz_oxide v0.8.8
Compiling gix-diff v0.53.0
Compiling gix-packetline v0.19.1
Compiling mio v0.8.11
Compiling tree-sitter v0.24.4
Compiling rustc-demangle v0.1.26
Compiling rustix v0.38.34
Compiling backtrace v0.3.75
Compiling signal-hook-mio v0.2.4
Compiling gix-transport v0.48.0
Compiling gix-pack v0.60.0
Compiling gix-refspec v0.31.0
Compiling gix-credentials v0.30.0
Compiling gix-shallow v0.5.0
Compiling gix-ref v0.53.1
Compiling convert_case v0.7.1
Compiling gix-negotiate v0.21.0
Compiling regex v1.11.1
Compiling arc-swap v1.7.1
Compiling gix-odb v0.70.0
Compiling gix-protocol v0.51.0
Compiling derive_more-impl v2.0.1
Compiling xattr v1.3.1
Compiling uuid v1.16.0
Compiling filetime v0.2.23
Compiling unicode-width v0.2.1
Compiling bytes v1.10.1
Compiling bitflags v1.3.2
Compiling crossterm v0.25.0
Compiling console v0.16.0
Compiling git-ref-format-macro v0.6.0
Compiling tar v0.4.40
Compiling derive_more v2.0.1
Compiling anyhow v1.0.82
Compiling portable-atomic v1.11.0
Compiling newline-converter v0.3.0
Compiling snapbox-macros v0.3.8
Compiling salsa20 v0.10.2
Compiling fxhash v0.2.1
Compiling unicode-width v0.1.11
Compiling unit-prefix v0.5.1
Compiling strsim v0.11.1
Compiling streaming-iterator v0.1.9
Compiling siphasher v0.3.11
Compiling normalize-line-endings v0.3.0
Compiling clap_lex v0.7.5
Compiling similar v2.5.0
Compiling clap_builder v4.5.44
Compiling snapbox v0.4.17
Compiling bloomy v1.2.0
Compiling indicatif v0.18.0
Compiling inquire v0.7.5
Compiling scrypt v0.11.0
Compiling radicle-surf v0.26.0
Compiling crossterm v0.29.0
Compiling git-ref-format v0.6.0
Compiling unicode-display-width v0.3.0
Compiling systemd-journal-logger v2.2.2
Compiling tree-sitter-bash v0.23.3
Compiling tree-sitter-c v0.23.2
Compiling tree-sitter-rust v0.23.2
Compiling tree-sitter-html v0.23.2
Compiling tree-sitter-json v0.24.8
Compiling tree-sitter-ruby v0.23.1
Compiling tree-sitter-go v0.23.4
Compiling tree-sitter-python v0.23.4
Compiling tree-sitter-css v0.23.1
Compiling tree-sitter-typescript v0.23.2
Compiling tree-sitter-md v0.3.2
Compiling tree-sitter-toml-ng v0.6.0
Compiling serde_spanned v1.0.0
Compiling toml_datetime v0.7.0
Compiling radicle-std-ext v0.2.0
Compiling toml_writer v1.0.2
Compiling pin-project-lite v0.2.16
Compiling tokio v1.47.1
Compiling toml v0.9.5
Compiling clap v4.5.44
Compiling os_info v3.12.0
Compiling diff v0.1.13
Compiling yansi v0.5.1
Compiling radicle-node v0.16.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-node)
Compiling radicle-cli v0.17.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cli)
Compiling pretty_assertions v1.4.0
Compiling human-panic v2.0.3
Compiling clap_complete v4.5.60
Compiling structured-logger v1.0.4
Compiling radicle-systemd v0.11.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-systemd)
Compiling tree-sitter-highlight v0.24.4
Compiling itertools v0.14.0
Compiling num-integer v0.1.46
Compiling socket2 v0.5.7
Compiling timeago v0.4.2
Compiling lexopt v0.3.0
Compiling escargot v0.5.10
Compiling num-bigint v0.4.6
Compiling num-iter v0.1.45
Compiling num-complex v0.4.6
Compiling env_filter v0.1.3
Compiling num-rational v0.4.2
Compiling bit-vec v0.8.0
Compiling borrow-or-share v0.2.2
Compiling zerocopy v0.7.35
Compiling fluent-uri v0.3.2
Compiling bit-set v0.8.0
Compiling ahash v0.8.11
Compiling num v0.4.3
Compiling env_logger v0.11.8
Compiling phf_shared v0.11.3
Compiling radicle-remote-helper v0.14.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-remote-helper)
Compiling outref v0.5.2
Compiling vsimd v0.8.0
Compiling test-log v0.2.18
Compiling phf v0.11.3
Compiling referencing v0.30.0
Compiling fraction v0.15.3
Compiling uuid-simd v0.8.0
Compiling fancy-regex v0.14.0
Compiling email_address v0.2.9
Compiling num-cmp v0.1.0
Compiling bytecount v0.6.8
Compiling base64 v0.22.1
Compiling emojis v0.6.4
Compiling jsonschema v0.30.0
Compiling git2 v0.19.0
Compiling radicle-oid v0.1.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-oid)
Compiling radicle-git-ext v0.11.0
Compiling radicle-term v0.16.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-term)
Compiling radicle-cob v0.17.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cob)
Compiling radicle v0.20.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle)
Compiling radicle-fetch v0.16.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-fetch)
Compiling radicle-protocol v0.4.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-protocol)
Compiling radicle-cli-test v0.13.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cli-test)
Compiling radicle-schemars v0.6.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-schemars)
Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 03s
+ cargo doc --workspace --no-deps --all-features
Checking regex-automata v0.4.9
Compiling syn v1.0.109
Checking idna v1.0.3
Checking radicle-ssh v0.10.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-ssh)
Compiling num-traits v0.2.19
Checking url v2.5.4
Checking radicle-git-metadata v0.1.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-git-metadata)
Checking git2 v0.19.0
Checking radicle-dag v0.10.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-dag)
Compiling amplify_syn v2.0.1
Checking bstr v1.12.0
Checking chrono v0.4.38
Checking gix-validate v0.10.0
Checking gix-path v0.10.20
Checking git-ref-format-core v0.6.0
Checking gix-features v0.43.1
Checking gix-hash v0.19.0
Compiling amplify_derive v4.0.0
Compiling data-encoding-macro-internal v0.1.12
Checking gix-date v0.10.5
Checking radicle-git-ref-format v0.1.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-git-ref-format)
Checking gix-actor v0.35.4
Checking gix-hashtable v0.9.0
Checking radicle-oid v0.1.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-oid)
Checking gix-object v0.50.2
Checking data-encoding-macro v0.1.14
Checking multibase v0.9.1
Checking gix-commitgraph v0.29.0
Checking gix-fs v0.16.1
Checking gix-quote v0.6.0
Checking gix-tempfile v18.0.0
Checking gix-command v0.6.2
Checking gix-lock v18.0.0
Checking gix-url v0.32.0
Checking gix-config-value v0.15.1
Checking gix-revwalk v0.21.0
Checking gix-diff v0.53.0
Checking gix-revision v0.35.0
Checking gix-prompt v0.11.1
Checking gix-traverse v0.47.0
Checking radicle-signals v0.11.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-signals)
Checking gix-packetline v0.19.1
Checking regex v1.11.1
Checking amplify v4.6.0
Checking gix-transport v0.48.0
Checking gix-pack v0.60.0
Checking tree-sitter v0.24.4
Checking cyphergraphy v0.3.0
Checking gix-refspec v0.31.0
Checking cypheraddr v0.4.0
Checking noise-framework v0.4.0
Checking socks5-client v0.4.1
Checking git-ref-format v0.6.0
Checking gix-credentials v0.30.0
Checking gix-negotiate v0.21.0
Checking cyphernet v0.5.2
Checking radicle-crypto v0.14.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-crypto)
Checking gix-ref v0.53.1
Checking gix-shallow v0.5.0
Checking radicle-cob v0.17.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cob)
Checking radicle-git-ext v0.11.0
Checking gix-odb v0.70.0
Checking uuid v1.16.0
Checking gix-protocol v0.51.0
Compiling radicle-cli v0.17.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cli)
Checking human-panic v2.0.3
Checking radicle-surf v0.26.0
Checking radicle v0.20.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle)
Checking tree-sitter-toml-ng v0.6.0
Checking radicle-term v0.16.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-term)
Checking tree-sitter-highlight v0.24.4
Checking radicle-systemd v0.11.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-systemd)
Documenting radicle-systemd v0.11.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-systemd)
Documenting radicle v0.20.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle)
Documenting radicle-term v0.16.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-term)
Documenting radicle-cob v0.17.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cob)
Documenting radicle-crypto v0.14.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-crypto)
Documenting radicle-signals v0.11.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-signals)
Documenting radicle-oid v0.1.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-oid)
Documenting radicle-git-ref-format v0.1.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-git-ref-format)
Documenting radicle-git-metadata v0.1.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-git-metadata)
Documenting radicle-ssh v0.10.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-ssh)
Documenting radicle-dag v0.10.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-dag)
Checking radicle-fetch v0.16.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-fetch)
Documenting radicle-cli v0.17.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cli)
Documenting radicle-schemars v0.6.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-schemars)
Checking radicle-protocol v0.4.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-protocol)
Documenting radicle-protocol v0.4.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-protocol)
Documenting radicle-node v0.16.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-node)
Documenting radicle-cli-test v0.13.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cli-test)
Documenting radicle-fetch v0.16.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-fetch)
Documenting radicle-remote-helper v0.14.0 (/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-remote-helper)
Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.01s
Generated /c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/target/doc/radicle/index.html and 18 other files
+ cargo test --workspace --no-fail-fast
Finished `test` profile [unoptimized + debuginfo] target(s) in 0.16s
Running unittests src/lib.rs (target/debug/deps/radicle-8b4dadc74248ba75)
running 239 tests
test canonical::formatter::test::ascii_control_characters ... ok
test canonical::formatter::test::ordered_nested_object ... ok
test canonical::formatter::test::securesystemslib_asserts ... ok
test cob::cache::migrations::_2::tests::test_patch_json_deserialization ... ok
test cob::common::test::test_color ... ok
test cob::cache::tests::test_check_version ... ok
test cob::cache::migrations::_2::tests::test_migration_2 ... ok
test cob::common::test::test_emojis ... ok
test cob::common::test::test_title ... ok
test cob::cache::tests::test_migrate_to ... ok
test cob::identity::test::prop_json_eq_str ... ok
test cob::identity::test::test_identity_redact_revision ... ok
test cob::identity::test::test_identity_remove_delegate_concurrent ... ok
test cob::identity::test::test_identity_reject_concurrent ... ok
test cob::identity::test::test_identity_updates ... ok
test cob::identity::test::test_identity_update_rejected ... ok
test cob::issue::cache::tests::test_counts ... ok
test cob::issue::cache::tests::test_get ... ok
test cob::issue::cache::tests::test_is_empty ... ok
test cob::issue::cache::tests::test_list ... ok
test cob::issue::cache::tests::test_list_by_status ... ok
test cob::issue::cache::tests::test_remove ... ok
test cob::identity::test::test_valid_identity ... ok
test cob::identity::test::test_identity_updates_concurrent ... ok
test cob::issue::test::test_embeds ... ok
test cob::issue::test::test_embeds_edit ... ok
test cob::identity::test::test_identity_updates_concurrent_outdated ... ok
test cob::issue::test::test_invalid_actions ... ok
test cob::issue::test::test_invalid_cob ... ok
test cob::issue::test::test_invalid_tx ... ok
test cob::issue::test::test_invalid_tx_reference ... ok
test cob::issue::test::test_concurrency ... ok
test cob::issue::test::test_issue_all ... ok
test cob::issue::test::test_issue_comment ... ok
test cob::issue::test::test_issue_create_and_assign ... ok
test cob::issue::test::test_issue_create_and_change_state ... ok
test cob::issue::test::test_issue_comment_redact ... ok
test cob::issue::test::test_issue_create_and_get ... ok
test cob::issue::test::test_issue_create_and_reassign ... ok
test cob::issue::test::test_issue_edit ... ok
test cob::issue::test::test_issue_create_and_unassign ... ok
test cob::issue::test::test_issue_edit_description ... ok
test cob::issue::test::test_issue_label ... ok
test cob::issue::test::test_issue_state_serde ... ok
test cob::issue::test::test_ordering ... ok
test cob::patch::actions::test::test_review_edit ... ok
test cob::issue::test::test_issue_multilines ... ok
test cob::issue::test::test_issue_react ... ok
test cob::issue::test::test_issue_reply ... ok
test cob::patch::cache::tests::test_is_empty ... ok
test cob::patch::cache::tests::test_counts ... ok
test cob::patch::cache::tests::test_get ... ok
test cob::patch::cache::tests::test_list ... ok
test cob::patch::encoding::review::test::test_review_deserialize_summary_migration_null_summary ... ok
test cob::patch::encoding::review::test::test_review_deserialize_summary_migration_with_summary ... ok
test cob::patch::encoding::review::test::test_review_deserialize_summary_migration_without_summary ... ok
test cob::patch::encoding::review::test::test_review_deserialize_summary_v2 ... ok
test cob::patch::encoding::review::test::test_review_summary ... ok
test cob::patch::test::test_json ... ok
test cob::patch::test::test_json_serialization ... ok
test cob::patch::cache::tests::test_list_by_status ... ok
test cob::patch::test::test_patch_create_and_get ... ok
test cob::patch::cache::tests::test_remove ... ok
test cob::patch::test::test_patch_discussion ... ok
test cob::patch::test::test_patch_merge ... ok
test cob::patch::test::test_patch_redact ... ok
test cob::patch::test::test_patch_review ... ok
test cob::patch::test::test_patch_review_comment ... ok
test cob::patch::test::test_patch_review_duplicate ... ok
test cob::patch::test::test_patch_review_edit ... ok
test cob::patch::test::test_patch_review_remove_summary ... ok
test cob::patch::test::test_patch_review_edit_comment ... ok
test cob::patch::test::test_reactions_json_serialization ... ok
test cob::patch::test::test_revision_edit_redact ... ok
test cob::patch::test::test_revision_reaction ... ok
test cob::patch::test::test_revision_review_merge_redacted ... ok
test cob::stream::tests::test_all_from ... ok
test cob::stream::tests::test_all_from_until ... ok
test cob::patch::test::test_patch_review_revision_redact ... ok
test cob::stream::tests::test_all_until ... ok
test cob::stream::tests::test_from_until ... ok
test cob::stream::tests::test_regression_from_until ... ok
test cob::thread::tests::test_comment_edit_missing ... ok
test cob::thread::tests::test_comment_edit_redacted ... ok
test cob::thread::tests::test_comment_redact_missing ... ok
test cob::patch::test::test_patch_update ... ok
test cob::thread::tests::test_duplicate_comments ... ok
test cob::thread::tests::test_edit_comment ... ok
test cob::thread::tests::test_timeline ... ok
test cob::thread::tests::test_redact_comment ... ok
test git::canonical::quorum::test::merge_base_commutative ... ok
test git::canonical::quorum::test::test_merge_bases ... ok
test git::canonical::rules::tests::test_deserialization ... ok
test git::canonical::rules::tests::test_deserialize_extensions ... ok
test git::canonical::rules::tests::test_order ... ok
test git::canonical::rules::tests::test_roundtrip ... ok
test git::canonical::rules::tests::test_canonical ... ok
test git::canonical::rules::tests::test_rule_validate_success ... ok
test git::canonical::rules::tests::test_special_branches ... ok
test git::canonical::tests::test_commit_quorum_fork_of_a_fork ... ok
test git::canonical::tests::test_commit_quorum_forked_merge_commits ... ok
test git::canonical::tests::test_commit_quorum_groups ... ok
test git::canonical::tests::test_commit_quorum_linear ... ok
test git::canonical::tests::test_commit_quorum_merges ... ok
test git::canonical::tests::test_commit_quorum_single ... ok
test git::canonical::tests::test_commit_quorum_three_way_fork ... ok
test git::canonical::tests::test_commit_quorum_two_way_fork ... ok
test git::canonical::tests::test_quorum_different_types ... ok
test git::canonical::rules::tests::test_rule_validate_failures ... ok
test git::canonical::tests::test_tag_quorum ... ok
test git::test::test_version_from_str ... ok
test git::test::test_version_ord ... ok
test identity::did::test::test_did_encode_decode ... ok
test identity::did::test::test_did_vectors ... ok
test identity::doc::id::test::prop_from_str ... ok
test git::canonical::tests::test_quorum_properties ... ok
test identity::doc::test::test_canonical_doc ... ok
test identity::doc::test::test_canonical_example ... ok
test identity::doc::test::test_duplicate_dids ... ok
test identity::doc::test::test_future_version_error ... ok
test identity::doc::test::test_is_valid_version ... ok
test cob::thread::tests::prop_ordering ... ok
test identity::doc::test::test_not_found ... ok
test identity::doc::test::test_parse_version ... ok
test identity::doc::test::test_visibility_json ... ok
test identity::doc::update::test::test_can_update_crefs ... ok
test identity::doc::update::test::test_cannot_include_default_branch_rule ... ok
test identity::doc::update::test::test_default_branch_rule_exists_after_verification ... ok
test identity::project::test::test_project_name ... ok
test node::address::store::test::test_alias ... ok
test node::address::store::test::test_disconnected ... ok
test node::address::store::test::test_disconnected_ban ... ok
test node::address::store::test::test_empty ... ok
test node::address::store::test::test_entries ... ok
test node::address::store::test::test_get_none ... ok
test node::address::store::test::test_insert_and_get ... ok
test node::address::store::test::test_insert_and_remove ... ok
test node::address::store::test::test_insert_and_update ... ok
test node::address::store::test::test_insert_duplicate ... ok
test node::address::store::test::test_node_aliases ... ok
test node::address::store::test::test_remove_nothing ... ok
test node::command::test::command_result ... ok
test node::config::test::partial ... ok
test node::db::test::test_version ... ok
test node::features::test::test_operations ... ok
test node::notifications::store::test::test_branch_notifications ... ok
test node::notifications::store::test::test_clear ... ok
test node::notifications::store::test::test_cob_notifications ... ok
test node::notifications::store::test::test_counts_by_repo ... ok
test node::notifications::store::test::test_duplicate_notifications ... ok
test node::notifications::store::test::test_notification_status ... ok
test node::policy::store::test::test_follow_and_unfollow_node ... ok
test node::policy::store::test::test_node_aliases ... ok
test node::policy::store::test::test_node_policies ... ok
test node::policy::store::test::test_node_policy ... ok
test node::policy::store::test::test_repo_policies ... ok
test node::policy::store::test::test_repo_policy ... ok
test node::policy::store::test::test_seed_and_unseed_repo ... ok
test node::policy::store::test::test_update_alias ... ok
test node::policy::store::test::test_update_scope ... ok
test node::refs::store::test::test_count ... ok
test node::refs::store::test::test_set_and_delete ... ok
test node::refs::store::test::test_set_and_get ... ok
test node::routing::test::test_count ... ok
test node::routing::test::test_entries ... ok
test node::routing::test::test_insert_and_get ... ok
test identity::doc::test::test_max_delegates ... ok
test node::routing::test::test_insert_and_remove ... ok
test node::routing::test::test_insert_duplicate ... ok
test node::routing::test::test_insert_existing_updated_time ... ok
test node::routing::test::test_insert_and_get_resources ... ok
test node::routing::test::test_len ... ok
test node::routing::test::test_remove_many ... ok
test node::routing::test::test_remove_redundant ... ok
test node::routing::test::test_update_existing_multi ... ok
test node::sync::announce::test::all_synced_nodes_are_preferred_seeds ... ok
test node::sync::announce::test::announcer_adapts_target_to_reach ... ok
test node::sync::announce::test::announcer_preferred_seeds_or_replica_factor ... ok
test node::routing::test::test_prune ... ok
test node::sync::announce::test::announcer_reached_max_replication_target ... ok
test node::sync::announce::test::announcer_reached_preferred_seeds ... ok
test node::sync::announce::test::announcer_reached_min_replication_target ... ok
test node::sync::announce::test::announcer_synced_with_unknown_node ... ok
test node::sync::announce::test::announcer_timed_out ... ok
test node::sync::announce::test::announcer_with_replication_factor_zero_and_preferred_seeds ... ok
test node::sync::announce::test::construct_node_appears_in_multiple_input_sets ... ok
test node::sync::announce::test::construct_only_preferred_seeds_provided ... ok
test node::sync::announce::test::cannot_construct_announcer ... ok
test node::sync::announce::test::local_node_in_multiple_sets ... ok
test node::sync::announce::test::invariant_progress_should_match_state ... ok
test node::sync::announce::test::local_node_in_synced_set ... ok
test node::sync::announce::test::local_node_in_preferred_seeds ... ok
test node::sync::announce::test::local_node_only_in_all_sets_results_in_no_seeds_error ... ok
test node::sync::announce::test::preferred_seeds_already_synced ... ok
test node::sync::announce::test::local_node_in_unsynced_set ... ok
test node::sync::announce::test::synced_with_local_node_is_ignored ... ok
test node::sync::announce::test::synced_with_same_node_multiple_times ... ok
test node::sync::announce::test::timed_out_after_reaching_success ... ok
test node::sync::fetch::test::all_nodes_are_fetchable ... ok
test node::sync::fetch::test::all_nodes_are_candidates ... ok
test node::sync::fetch::test::could_not_reach_target ... ok
test node::sync::fetch::test::ignores_duplicates_and_local_node ... ok
test node::sync::fetch::test::preferred_seeds_target_returned_over_replicas ... ok
test node::sync::fetch::test::reaches_target_of_max_replicas ... ok
test node::sync::fetch::test::reaches_target_of_preferred_seeds ... ok
test node::sync::test::ensure_replicas_construction ... ok
test node::sync::test::replicas_constrain_to ... ok
test node::test::test_alias ... ok
test node::test::test_command_result ... ok
test node::test::test_user_agent ... ok
test node::timestamp::tests::test_timestamp_max ... ok
test node::sync::fetch::test::reaches_target_of_replicas ... ok
test profile::test::canonicalize_home ... ok
test profile::test::test_config ... ok
test rad::tests::test_checkout ... ok
test profile::config::test::schema ... ok
test rad::tests::test_fork ... ok
test serde_ext::test::test_localtime ... ok
test serde_ext::test::test_localtime_ext ... ok
test rad::tests::test_init ... ok
test storage::git::tests::test_references_of ... ok
test storage::git::tests::test_sign_refs ... ok
test storage::git::transport::local::url::test::test_url_parse ... ok
test storage::git::transport::local::url::test::test_url_to_string ... ok
test storage::git::transport::remote::url::test::test_url_parse ... ok
test storage::refs::tests::prop_canonical_roundtrip ... ok
test storage::git::tests::test_remote_refs ... ok
test storage::tests::test_storage ... ok
test test::assert::test::assert_with_message ... ok
test test::assert::test::test_assert_no_move ... ok
test test::assert::test::test_assert_panic_0 - should panic ... ok
test test::assert::test::test_assert_panic_1 - should panic ... ok
test test::assert::test::test_assert_panic_2 - should panic ... ok
test test::assert::test::test_assert_succeed ... ok
test test::assert::test::test_panic_message ... ok
test version::test::test_version ... ok
test storage::refs::tests::test_rid_verification ... ok
test identity::doc::test::prop_encode_decode ... ok
test cob::patch::cache::tests::test_find_by_revision ... ok
test result: ok. 239 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.82s
Running unittests src/lib.rs (target/debug/deps/radicle_cli-95bced30e39eacd6)
running 46 tests
test commands::block::args::test::should_not_parse ... ok
test commands::block::args::test::should_parse_nid ... ok
test commands::clone::args::test::should_parse_rid_non_urn ... ok
test commands::block::args::test::should_parse_rid ... ok
test commands::cob::args::test::should_allow_log_json_format ... ok
test commands::clone::args::test::should_parse_rid_urn ... ok
test commands::cob::args::test::should_allow_log_pretty_format ... ok
test commands::clone::args::test::should_parse_rid_url ... ok
test commands::cob::args::test::should_allow_update_json_format ... ok
test commands::cob::args::test::should_allow_show_json_format ... ok
test commands::cob::args::test::should_not_allow_show_pretty_format ... ok
test commands::fork::args::test::should_not_parse_rid_url ... ok
test commands::cob::args::test::should_not_allow_update_pretty_format ... ok
test commands::fork::args::test::should_parse_rid_non_urn ... ok
test commands::id::args::test::should_not_clobber_payload_args ... ok
test commands::fork::args::test::should_parse_rid_urn ... ok
test commands::id::args::test::should_not_parse_into_payload - should panic ... ok
test commands::id::args::test::should_not_parse_single_payload ... ok
test commands::id::args::test::should_parse_into_payload ... ok
test commands::id::args::test::should_not_parse_single_payloads ... ok
test commands::id::args::test::should_parse_multiple_payloads ... ok
test commands::id::args::test::should_parse_single_payload ... ok
test commands::init::args::test::should_not_parse_rid_url ... ok
test commands::init::args::test::should_parse_rid_non_urn ... ok
test commands::init::args::test::should_parse_rid_urn ... ok
test commands::inspect::test::test_tree ... ok
test commands::patch::review::builder::tests::test_review_comments_basic ... ok
test commands::patch::review::builder::tests::test_review_comments_before ... ok
test commands::patch::review::builder::tests::test_review_comments_multiline ... ok
test commands::patch::review::builder::tests::test_review_comments_split_hunk ... ok
test commands::publish::args::test::should_not_parse_rid_url ... ok
test commands::publish::args::test::should_parse_rid_non_urn ... ok
test git::pretty_diff::test::test_pretty ... ignored
test git::unified_diff::test::test_diff_content_encode_decode_content ... ok
test commands::watch::args::test::should_parse_ref_str ... ok
test git::ddiff::tests::diff_encode_decode_ddiff_hunk ... ok
test terminal::args::test::should_not_parse ... ok
test git::unified_diff::test::test_diff_encode_decode_diff ... ok
test commands::publish::args::test::should_parse_rid_urn ... ok
test terminal::args::test::should_parse_nid ... ok
test terminal::format::test::test_strip_comments ... ok
test terminal::format::test::test_bytes ... ok
test terminal::args::test::should_parse_rid ... ok
test terminal::patch::test::test_edit_display_message ... ok
test terminal::patch::test::test_create_display_message ... ok
test terminal::patch::test::test_update_display_message ... ok
test result: ok. 45 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.01s
Running unittests src/main.rs (target/debug/deps/rad-ffa65e2e7a295c19)
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running tests/commands.rs (target/debug/deps/commands-055cce0040876a28)
running 110 tests
test framework_home ... ok
test git_push_and_fetch ... ok
test git_push_amend ... ok
test git_push_canonical_annotated_tags ... ok
test git_push_canonical_lightweight_tags ... ok
test git_push_force_with_lease ... ok
test git_push_diverge ... ok
test rad_auth ... ok
test rad_auth_errors ... ok
test rad_block ... ok
test git_push_rollback ... ok
test rad_checkout ... ok
test git_tag ... ok
test git_push_converge ... ok
test rad_clone ... ok
test rad_clone_bare ... ok
test rad_clean ... ok
test rad_clone_all ... ok
test rad_clone_connect ... ok
test rad_clone_unknown ... ok
test rad_clone_directory ... ok
test rad_cob_multiset ... ok
test rad_cob_log ... ok
test rad_cob_migrate ... ok
test rad_clone_partial_fail ... ok
test rad_cob_operations ... ok
test rad_cob_show ... ok
test rad_config ... ok
test rad_cob_update_identity ... ok
test rad_cob_update ... ok
test rad_diff ... ok
test rad_help ... ok
test rad_id_collaboration ... ignored, slow
test rad_id ... ok
test rad_id_conflict ... ok
test rad_id_private ... ok
test rad_id_multi_delegate ... ok
test rad_id_threshold ... ok
test rad_id_unknown_field ... ok
test rad_id_threshold_soft_fork ... ok
test rad_id_update_delete_field ... ok
test rad_init ... ignored, part of many other tests
test rad_init_bare ... ok
test rad_init_detached_head ... ok
test rad_init_existing ... ok
test rad_init_existing_bare ... ok
test rad_init_no_git ... ok
test rad_init_no_seed ... ok
test rad_init_private ... ok
test rad_fetch ... ok
test rad_fork ... ok
test rad_init_private_no_seed ... ok
test rad_inbox ... ok
test rad_init_private_clone ... ok
test rad_init_sync_not_connected ... ok
test rad_init_private_clone_seed ... ok
test rad_init_private_seed ... ok
test rad_init_with_existing_remote ... ok
test rad_init_sync_preferred ... ok
test rad_inspect ... ok
test rad_issue ... ok
test rad_jj_bare ... ok
test rad_jj_colocated_patch ... ok
test rad_key_mismatch ... ok
test rad_issue_list ... ok
test rad_merge_after_update ... ok
test rad_merge_no_ff ... ok
test rad_merge_via_push ... ok
test rad_node ... ok
test rad_node_connect ... ok
test rad_node_connect_without_address ... ok
test rad_patch_ahead_behind ... ok
test rad_patch ... ok
test rad_patch_change_base ... ok
test rad_patch_checkout ... ok
test rad_patch_checkout_revision ... ok
test rad_init_sync_and_clone ... ok
test rad_patch_detached_head ... ok
test rad_init_sync_timeout ... ok
test rad_patch_checkout_force ... ok
test rad_patch_diff ... ok
test rad_patch_draft ... ok
test rad_patch_edit ... ok
test rad_patch_fetch_2 ... FAILED
test rad_patch_merge_draft ... ok
test rad_patch_fetch_1 ... ok
test rad_patch_revert_merge ... ok
test rad_patch_open_explore ... ok
test rad_patch_delete ... ok
test rad_patch_update ... ok
test rad_patch_via_push ... FAILED
test rad_publish ... ok
test rad_review_by_hunk ... ok
test rad_seed_and_follow ... ok
test rad_remote ... ok
test rad_self ... ok
test rad_seed_many ... ok
test rad_sync_without_node ... ok
test rad_push_and_pull_patches ... ok
test rad_unseed ... ok
test rad_warn_old_nodes ... ok
test rad_unseed_many ... ok
test rad_watch ... ok
test rad_sync ... ok
test test_clone_without_seeds ... ok
test test_cob_deletion ... ok
test test_cob_replication ... ok
test rad_workflow ... ok
test rad_patch_pull_update ... ok
test test_replication_via_seed ... ok
failures:
---- rad_patch_fetch_2 stdout ----
1766601911 test: Using PATH ["/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cli/target/debug", "/usr/local/cargo/bin", "/usr/local/sbin", "/usr/local/bin", "/usr/sbin", "/usr/bin", "/sbin", "/bin", "/tmp/.tmpCrRRtz/alice/work"]
1766601911 test: rad-init.md: Running `/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/target/debug/rad` with ["init", "--name", "heartwood", "--description", "Radicle Heartwood Protocol & Stack", "--no-confirm", "--public", "-v"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: rad-init.md: Running `/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/target/debug/rad` with ["init"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: rad-init.md: Running `/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/target/debug/rad` with ["ls"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: rad-init.md: Running `/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/target/debug/rad` with ["node", "inventory"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: Using PATH ["/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cli/target/debug", "/usr/local/cargo/bin", "/usr/local/sbin", "/usr/local/bin", "/usr/sbin", "/usr/bin", "/sbin", "/bin", "/tmp/.tmpCrRRtz/alice/work"]
1766601911 test: rad-patch-fetch-2.md: Running `git` with ["checkout", "-b", "alice/1", "-q"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: rad-patch-fetch-2.md: Running `git` with ["commit", "--allow-empty", "-m", "Changes #1", "-q"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: rad-patch-fetch-2.md: Running `git` with ["push", "rad", "-o", "patch.message=Changes", "HEAD:refs/patches"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: rad-patch-fetch-2.md: Running `git` with ["checkout", "master", "-q"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: rad-patch-fetch-2.md: Running `git` with ["branch", "-D", "alice/1", "-q"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: rad-patch-fetch-2.md: Running `git` with ["update-ref", "-d", "refs/remotes/rad/alice/1"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: rad-patch-fetch-2.md: Running `git` with ["update-ref", "-d", "refs/remotes/rad/patches/5e2dedcc5d515fcbc1cca483d3376609fe889bfb"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: rad-patch-fetch-2.md: Running `git` with ["gc", "--prune=now"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: rad-patch-fetch-2.md: Running `git` with ["branch", "-r"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: rad-patch-fetch-2.md: Running `git` with ["pull"] in `/tmp/.tmpCrRRtz/alice/work`..
1766601911 test: rad-patch-fetch-2.md: Running `git` with ["branch", "-r"] in `/tmp/.tmpCrRRtz/alice/work`..
thread 'rad_patch_fetch_2' panicked at crates/radicle-cli-test/src/lib.rs:503:36:
--- Expected
++++ actual: stdout
1 - rad/HEAD -> rad/master
2 1 | rad/master
3 2 | rad/patches/5e2dedcc5d515fcbc1cca483d3376609fe889bfb
Exit status: 0
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
---- rad_patch_via_push stdout ----
1766601913 test: Using PATH ["/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cli/target/debug", "/usr/local/cargo/bin", "/usr/local/sbin", "/usr/local/bin", "/usr/sbin", "/usr/bin", "/sbin", "/bin", "/tmp/.tmpeOJZRD/alice/work"]
1766601913 test: rad-init.md: Running `/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/target/debug/rad` with ["init", "--name", "heartwood", "--description", "Radicle Heartwood Protocol & Stack", "--no-confirm", "--public", "-v"] in `/tmp/.tmpeOJZRD/alice/work`..
1766601913 test: rad-init.md: Running `/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/target/debug/rad` with ["init"] in `/tmp/.tmpeOJZRD/alice/work`..
1766601913 test: rad-init.md: Running `/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/target/debug/rad` with ["ls"] in `/tmp/.tmpeOJZRD/alice/work`..
1766601913 test: rad-init.md: Running `/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/target/debug/rad` with ["node", "inventory"] in `/tmp/.tmpeOJZRD/alice/work`..
1766601913 test: Using PATH ["/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/crates/radicle-cli/target/debug", "/usr/local/cargo/bin", "/usr/local/sbin", "/usr/local/bin", "/usr/sbin", "/usr/bin", "/sbin", "/bin", "/tmp/.tmpeOJZRD/alice/work"]
1766601913 test: rad-patch-via-push.md: Running `git` with ["checkout", "-b", "feature/1"] in `/tmp/.tmpeOJZRD/alice/work`..
1766601913 test: rad-patch-via-push.md: Running `git` with ["commit", "-a", "-m", "Add things", "-q", "--allow-empty"] in `/tmp/.tmpeOJZRD/alice/work`..
1766601913 test: rad-patch-via-push.md: Running `git` with ["push", "-o", "patch.message=Add things #1", "-o", "patch.message=See commits for details.", "rad", "HEAD:refs/patches"] in `/tmp/.tmpeOJZRD/alice/work`..
1766601913 test: rad-patch-via-push.md: Running `/c0e1652d-acc0-48f9-81c6-f4eca785f0e7/w/target/debug/rad` with ["patch", "show", "6035d2f582afbe01ff23ea87528ae523d76875b6"] in `/tmp/.tmpeOJZRD/alice/work`..
1766601913 test: rad-patch-via-push.md: Running `git` with ["branch", "-vv"] in `/tmp/.tmpeOJZRD/alice/work`..
1766601913 test: rad-patch-via-push.md: Running `git` with ["status", "--short", "--branch"] in `/tmp/.tmpeOJZRD/alice/work`..
1766601913 test: rad-patch-via-push.md: Running `git` with ["fetch"] in `/tmp/.tmpeOJZRD/alice/work`..
1766601913 test: rad-patch-via-push.md: Running `git` with ["push"] in `/tmp/.tmpeOJZRD/alice/work`..
1766601913 test: rad-patch-via-push.md: Running `git` with ["show-ref"] in `/tmp/.tmpeOJZRD/alice/work`..
thread 'rad_patch_via_push' panicked at crates/radicle-cli-test/src/lib.rs:503:36:
--- Expected
++++ actual: stdout
1 1 | 42d894a83c9c356552a57af09ccdbd5587a99045 refs/heads/feature/1
2 2 | f2de534b5e81d7c6e2dcaf58c3dd91573c0a0354 refs/heads/master
3 - f2de534b5e81d7c6e2dcaf58c3dd91573c0a0354 refs/remotes/rad/HEAD
4 3 | f2de534b5e81d7c6e2dcaf58c3dd91573c0a0354 refs/remotes/rad/master
5 4 | 42d894a83c9c356552a57af09ccdbd5587a99045 refs/remotes/rad/patches/6035d2f582afbe01ff23ea87528ae523d76875b6
Exit status: 0
failures:
rad_patch_fetch_2
rad_patch_via_push
test result: FAILED. 106 passed; 2 failed; 2 ignored; 0 measured; 0 filtered out; finished in 76.17s
error: test failed, to rerun pass `-p radicle-cli --test commands`
Running unittests src/lib.rs (target/debug/deps/radicle_cli_test-22f42f580c47356c)
running 3 tests
test tests::test_parse ... ok
test tests::test_run ... ok
test tests::test_example_spaced_brackets ... ok
test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
Running unittests src/lib.rs (target/debug/deps/radicle_cob-9e4e028983a03e33)
running 8 tests
test object::tests::test_serde ... ok
test tests::git::list_cobs ... ok
test tests::git::traverse_cobs ... ok
test tests::git::roundtrip ... ok
test tests::invalid_parse_refstr ... ok
test type_name::test::valid_typenames ... ok
test tests::git::update_cob ... ok
test tests::parse_refstr ... ok
test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
Running unittests src/lib.rs (target/debug/deps/radicle_crypto-80263ddcd17d8a3e)
running 12 tests
test ssh::fmt::test::test_key ... ok
test ssh::fmt::test::test_fingerprint ... ok
test ssh::keystore::tests::test_init_no_passphrase ... ok
test ssh::test::test_agent_encoding_remove ... ok
test ssh::test::test_agent_encoding_sign ... ok
test ssh::test::prop_encode_decode_sk ... ok
test tests::prop_encode_decode ... ok
test tests::test_e25519_dh ... ok
test tests::test_encode_decode ... ok
test tests::prop_key_equality ... ok
test ssh::keystore::tests::test_signer ... ok
test ssh::keystore::tests::test_init_passphrase ... ok
test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.92s
Running unittests src/lib.rs (target/debug/deps/radicle_dag-05f7457e7194a495)
running 20 tests
test tests::test_contains ... ok
test tests::test_dependencies ... ok
test tests::test_cycle ... ok
test tests::test_diamond ... ok
test tests::test_complex ... ok
test tests::test_fold_multiple_roots ... ok
test tests::test_fold_diamond ... ok
test tests::test_fold_reject ... ok
test tests::test_fold_sorting_1 ... ok
test tests::test_fold_sorting_2 ... ok
test tests::test_is_empty ... ok
test tests::test_get ... ok
test tests::test_len ... ok
test tests::test_merge_1 ... ok
test tests::test_merge_2 ... ok
test tests::test_prune_1 ... ok
test tests::test_prune_2 ... ok
test tests::test_prune_by_sorting ... ok
test tests::test_remove ... ok
test tests::test_siblings ... ok
test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running unittests src/lib.rs (target/debug/deps/radicle_fetch-4f3e21e02e0d48bb)
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running unittests src/lib.rs (target/debug/deps/radicle_git_metadata-60432466fb6713b9)
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running unittests src/lib.rs (target/debug/deps/radicle_git_ref_format-b808ac22aa3ddce7)
running 9 tests
test test::component ... ok
test test::qualified ... ok
test test::component_invalid - should panic ... ok
test test::pattern ... ok
test test::qualified_invalid - should panic ... ok
test test::qualified_pattern ... ok
test test::qualified_pattern_invalid - should panic ... ok
test test::refname ... ok
test test::refname_invalid - should panic ... ok
test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running unittests src/lib.rs (target/debug/deps/radicle_node-d9b4d632c40aac5a)
running 74 tests
test reactor::timer::tests::test_next ... ok
test reactor::timer::tests::test_wake ... ok
test reactor::timer::tests::test_wake_exact ... ok
test control::tests::test_seed_unseed ... ok
test fingerprint::tests::matching ... ok
test control::tests::test_control_socket ... ok
test tests::e2e::missing_default_branch ... ok
test tests::e2e::test_background_foreground_fetch ... ok
test tests::e2e::test_catchup_on_refs_announcements ... ok
test tests::e2e::missing_delegate_default_branch ... ok
test tests::e2e::test_channel_reader_limit ... ok
test tests::e2e::test_clone ... ok
test tests::e2e::test_dont_fetch_owned_refs ... ok
test tests::e2e::test_connection_crossing ... ok
test tests::e2e::test_fetch_followed_remotes ... ok
test tests::e2e::test_concurrent_fetches ... ok
test tests::e2e::test_fetch_preserve_owned_refs ... ok
test tests::e2e::test_fetch_unseeded ... ok
test tests::e2e::test_inventory_sync_basic ... ok
test tests::e2e::test_fetch_up_to_date ... ok
test tests::e2e::test_fetch_emits_canonical_ref_update ... ok
test tests::e2e::test_large_fetch ... ok
test tests::e2e::test_migrated_clone ... ok
test tests::e2e::test_missing_remote ... ok
test tests::e2e::test_multiple_offline_inits ... ok
test tests::e2e::test_non_fastforward_sigrefs ... ok
test tests::e2e::test_outdated_delegate_sigrefs ... ok
test tests::e2e::test_outdated_sigrefs ... ok
test tests::e2e::test_inventory_sync_bridge ... ok
test tests::e2e::test_replication ... ok
test tests::e2e::test_inventory_sync_ring ... ok
test tests::e2e::test_replication_invalid ... ok
test tests::e2e::test_inventory_sync_star ... ok
test tests::e2e::test_replication_ref_in_sigrefs ... ok
test tests::test_announcement_rebroadcast ... ok
test tests::test_announcement_rebroadcast_duplicates ... ok
test tests::test_announcement_relay ... ok
test tests::test_announcement_rebroadcast_timestamp_filtered ... ok
test tests::test_connection_kept_alive ... ok
test tests::test_disconnecting_unresponsive_peer ... ok
test tests::test_fetch_missing_inventory_on_gossip ... ok
test tests::test_fetch_missing_inventory_on_schedule ... ok
test tests::test_inbound_connection ... ok
test tests::test_inventory_decode ... ok
test tests::test_init_and_seed ... ok
test tests::test_inventory_relay ... ok
test tests::test_inventory_relay_bad_timestamp ... ok
test tests::test_inventory_sync ... ok
test tests::test_maintain_connections ... ok
test tests::test_maintain_connections_failed_attempt ... ok
test tests::test_maintain_connections_transient ... ok
test tests::test_inventory_pruning ... ok
test tests::test_outbound_connection ... ok
test tests::test_persistent_peer_connect ... ok
test tests::test_persistent_peer_reconnect_success ... ok
test tests::test_persistent_peer_reconnect_attempt ... ok
test tests::test_ping_response ... ok
test tests::test_queued_fetch_from_ann_same_rid ... ok
test tests::test_queued_fetch_from_command_same_rid ... ok
test tests::test_queued_fetch_max_capacity ... ok
test tests::test_redundant_connect ... ok
test tests::test_refs_announcement_followed ... ok
test tests::test_refs_announcement_fetch_trusted_no_inventory ... ok
test tests::test_refs_announcement_no_subscribe ... ok
test tests::test_refs_announcement_offline ... ok
test tests::test_refs_announcement_relay_private ... ok
test tests::test_refs_announcement_relay_public ... ok
test tests::test_refs_synced_event ... ok
test tests::test_seeding ... ok
test wire::test::test_inventory_ann_with_extension ... ok
test wire::test::test_pong_message_with_extension ... ok
test tests::test_seed_repo_subscribe ... ok
test tests::prop_inventory_exchange_dense ... ok
test tests::test_announcement_message_amplification ... ok
test result: ok. 74 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 18.36s
Running unittests src/main.rs (target/debug/deps/radicle_node-d2dd78fecb537d78)
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running unittests src/lib.rs (target/debug/deps/radicle_oid-983809b603f6ef8d)
running 10 tests
test fmt::test::fixture ... ok
test fmt::test::git2 ... ok
test fmt::test::zero ... ok
test git2::test::zero ... ok
test str::test::fixture ... ok
test gix::test::zero ... ok
test str::test::git2_roundtrip ... ok
test str::test::gix_roundrip ... ok
test str::test::zero ... ok
test fmt::test::gix ... ok
test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running unittests src/lib.rs (target/debug/deps/radicle_protocol-0b066d0c5200c05d)
running 156 tests
test connections::state::test::prop_attempt_increments ... ok
test connections::state::test::prop_attempt_monotonic ... ok
test connections::state::test::prop_attempt_reset_on_stabilise ... ok
test connections::state::test::prop_attempt_preserved_on_disconnect ... ok
test connections::state::test::prop_connect_blocked_for_connecting ... ok
test connections::state::test::prop_connect_blocked_for_disconnected ... ok
test connections::state::test::prop_connect_idempotency ... ok
test connections::state::test::prop_delay_bounds ... ok
test connections::state::test::prop_connected_iterator ... ok
test connections::state::test::prop_double_disconnect ... ok
test connections::state::test::prop_empty_initial ... ok
test connections::state::test::prop_ephemeral_removes ... ok
test connections::state::test::prop_address_preservation ... ok
test connections::state::test::prop_exponential_backoff ... ok
test connections::state::test::prop_host_rate_limited ... ok
test connections::state::test::prop_has_retry_time ... ok
test connections::state::test::prop_inactivity_detection ... ok
test connections::state::test::prop_inbound_limit ... ok
test connections::state::test::prop_all_invariants ... ok
test connections::state::test::prop_inbound_creates ... ok
test connections::state::test::prop_inbound_link ... ok
test connections::state::test::prop_inbound_overwrites_attempted ... ok
test connections::state::test::prop_deterministic_transitions ... ok
test connections::state::test::prop_inbound_overwrites_disconnected ... ok
test connections::state::test::prop_last_active_on_connect ... ok
test connections::state::test::prop_inbound_overwrites_initial ... ok
test connections::state::test::prop_latency_bounded ... ok
test connections::state::test::prop_link_conflict_inbound_session ... ok
test connections::state::test::prop_last_active_on_message ... ok
test connections::state::test::prop_link_conflict_outbound_session ... ok
test connections::state::test::prop_localhost_accepted ... ok
test connections::state::test::prop_message_from_disconnected ... ok
test connections::state::test::prop_message_rate_limited ... ok
test connections::state::test::prop_missing_session_handling ... ok
test connections::state::test::prop_no_record_ip_for_dns ... ok
test connections::state::test::prop_no_record_ip_for_localhost ... ok
test connections::state::test::prop_iterator_complete ... ok
test connections::state::test::prop_number_of_outbound_connections ... ok
test connections::state::test::prop_outbound_link ... ok
test connections::state::test::prop_local_node_exclusion ... ok
test connections::state::test::prop_persistent_preserves ... ok
test connections::state::test::prop_outbound_requires_session ... ok
test connections::state::test::prop_ping_state_transition ... ok
test connections::state::test::prop_link_counts ... ok
test connections::state::test::prop_pong_only_connected ... ok
test connections::state::test::prop_reconnect_reverses_disconnect ... ok
test connections::state::test::prop_record_ip_for_routable ... ok
test connections::state::test::prop_stabilise_returns_newly_stable ... ok
test connections::state::test::prop_stability_threshold ... ok
test connections::state::test::prop_no_state_loss ... ok
test connections::state::test::prop_subscribe_requires_connected_session ... ok
test connections::state::test::prop_subscription_persistence_through_disconnect ... ok
test connections::state::test::prop_unresponsive_filter ... ok
test connections::state::test::prop_single_session_per_node ... ok
test deserializer::test::prop_decode_next ... ok
test deserializer::test::test_decode_next ... ok
test deserializer::test::test_unparsed ... ok
test connections::state::test::prop_session_existence_consistency ... ok
test fetcher::test::queue::prop_capacity_reached_returns_same_item ... ok
test connections::state::test::prop_subscription_persistence ... ok
test connections::state::test::prop_valid_transitions ... ok
test fetcher::test::queue::prop_dequeue_enables_reenqueue ... ok
test fetcher::test::queue::prop_different_rid_accepted ... ok
test fetcher::test::queue::prop_drained_queue_returns_none ... ok
test fetcher::test::queue::prop_empty_dequeue_returns_none ... ok
test fetcher::test::queue::prop_equality_reflexive ... ok
test fetcher::test::queue::prop_equality_symmetric ... ok
test fetcher::test::queue::prop_equality_transitive ... ok
test fetcher::test::queue::prop_bounded_capacity ... ok
test fetcher::test::queue::prop_capacity_rejection ... ok
test fetcher::test::queue::prop_merge_at_capacity_succeeds ... ok
test fetcher::test::queue::prop_fifo_ordering ... ok
test fetcher::test::queue::prop_merge_combines_refs ... ok
test fetcher::test::queue::prop_merge_does_not_increase_queue_length ... ok
test fetcher::test::queue::prop_merge_takes_longer_timeout ... ok
test fetcher::test::queue::prop_merge_empty_refs_fetches_all ... ok
test fetcher::test::queue::unit_capacity_takes_precedence_over_merge_for_new_items ... ok
test fetcher::test::queue::unit_empty_refs_at_items_can_be_equal ... ok
test fetcher::test::queue::unit_max_timeout_accepted ... ok
test fetcher::test::queue::unit_merge_preserves_position_in_queue ... ok
test fetcher::test::queue::unit_zero_timeout_accepted ... ok
test fetcher::test::state::cancel_non_existent_returns_unexpected ... ok
test fetcher::test::state::cancel_one_node_others_unaffected ... ok
test fetcher::test::state::cancel_ongoing_and_queued ... ok
test fetcher::test::state::cancel_single_ongoing ... ok
test fetcher::test::state::cannot_dequeue_while_node_at_capacity ... ok
test fetcher::test::state::concurrent_fetched_then_cancel ... ok
test fetcher::test::state::concurrent_interleaved_operations ... ok
test fetcher::test::state::config_high_concurrency ... ok
test fetcher::test::state::config_min_queue_size ... ok
test fetcher::test::state::dequeue_empty_returns_none ... ok
test fetcher::test::state::dequeue_maintains_fifo_order ... ok
test fetcher::test::state::fetch_after_previous_completed ... ok
test fetcher::test::state::fetch_at_capacity_enqueues ... ok
test fetcher::test::state::fetch_different_repo_same_node_within_capacity ... ok
test fetcher::test::state::fetch_duplicate_returns_already_fetching ... ok
test fetcher::test::state::fetch_queue_merge_empty_refs_fetches_all ... ok
test fetcher::test::state::fetch_queue_merge_takes_longer_timeout ... ok
test fetcher::test::state::fetch_queue_merges_already_queued ... ok
test fetcher::test::state::fetch_queue_rejected_capacity_reached ... ok
test fetcher::test::state::fetch_same_repo_different_nodes_queues_second ... ok
test fetcher::test::state::fetch_same_repo_different_refs_enqueues ... ok
test fetcher::test::state::fetch_start_first_fetch_for_node ... ok
test fetcher::test::state::fetched_complete_one_of_multiple ... ok
test fetcher::test::state::fetched_complete_single_ongoing ... ok
test fetcher::test::state::fetched_complete_then_dequeue_fifo ... ok
test fetcher::test::state::fetched_non_existent_returns_not_found ... ok
test fetcher::test::state::invariant_queue_integrity_after_merge ... ok
test fetcher::test::state::multinode_high_count ... ok
test fetcher::test::state::multinode_independent_queues ... ok
test service::filter::test::compatible ... ok
test service::filter::test::test_parameters ... ok
test service::filter::test::test_sizes ... ok
test service::gossip::store::test::test_announced ... ok
test service::limiter::test::test_limitter_different_rates ... ok
test service::limiter::test::test_limitter_multi ... ok
test service::limiter::test::test_limitter_refill ... ok
test fetcher::test::queue::prop_fifo_with_interleaved_operations ... ok
test service::message::tests::test_inventory_limit ... ok
test service::message::tests::prop_refs_announcement_signing ... ok
test service::message::tests::test_ref_remote_limit ... ok
test wire::frame::test::test_encode_git_large ... ok
test wire::frame::test::test_stream_id ... ok
test wire::message::tests::prop_message_decoder ... ok
test wire::message::tests::prop_roundtrip_address ... ok
test fetcher::test::queue::prop_capacity_restored_after_dequeue ... ok
test wire::message::tests::prop_zero_bytes_encode_decode ... ok
test wire::message::tests::test_inv_ann_max_size ... ok
test wire::message::tests::test_node_ann_max_size ... ok
test wire::message::tests::test_ping_encode_size_overflow - should panic ... ok
test wire::message::tests::test_pingpong_encode_max_size ... ok
test wire::message::tests::test_pong_encode_size_overflow - should panic ... ok
test wire::message::tests::prop_roundtrip_message ... ok
test wire::tests::prop_oid ... ok
test wire::tests::prop_roundtrip_filter ... ok
test wire::tests::prop_roundtrip_publickey ... ok
test wire::tests::prop_roundtrip_refs ... ok
test wire::tests::prop_roundtrip_repoid ... ok
test wire::tests::prop_roundtrip_signed_refs ... ok
test wire::tests::prop_roundtrip_tuple ... ok
test wire::tests::prop_roundtrip_u16 ... ok
test wire::tests::prop_roundtrip_u32 ... ok
test wire::tests::prop_roundtrip_u64 ... ok
test wire::tests::prop_roundtrip_vec ... ok
test wire::tests::prop_signature ... ok
test wire::tests::prop_string ... ok
test wire::tests::test_alias ... ok
test wire::tests::test_bounded_vec_limit ... ok
test wire::tests::test_filter_invalid ... ok
test wire::tests::test_string ... ok
test wire::varint::test::prop_roundtrip_varint ... ok
test wire::varint::test::test_encode_overflow - should panic ... ok
test wire::varint::test::test_encoding ... ok
test wire::message::tests::test_refs_ann_max_size ... ok
test service::message::tests::test_node_announcement_validate ... ok
test fetcher::test::queue::prop_same_rid_merges_anywhere_in_queue ... ok
test result: ok. 156 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 16.68s
Running unittests src/main.rs (target/debug/deps/git_remote_rad-9611d3b638b6db03)
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running unittests src/main.rs (target/debug/deps/radicle_schemars-ef4c721aa4eddad0)
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running unittests src/lib.rs (target/debug/deps/radicle_signals-bb66f1d798396f61)
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running unittests src/lib.rs (target/debug/deps/radicle_ssh-4a779b564e98a497)
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running unittests src/lib.rs (target/debug/deps/radicle_systemd-36e3b0b1253d2879)
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running unittests src/lib.rs (target/debug/deps/radicle_term-c5564f4668a67e22)
running 21 tests
test cell::test::test_width ... ok
test ansi::tests::colors_disabled ... ok
test ansi::tests::wrapping ... ok
test element::test::test_spaced ... ok
test element::test::test_truncate ... ok
test ansi::tests::colors_enabled ... ok
test element::test::test_width ... ok
test table::test::test_table ... ok
test table::test::test_table_border_maximized ... ok
test table::test::test_table_border ... ok
test table::test::test_table_unicode_truncate ... ok
test table::test::test_table_truncate ... ok
test table::test::test_table_border_truncated ... ok
test table::test::test_truncate ... ok
test table::test::test_table_unicode ... ok
test textarea::test::test_wrapping ... ok
test vstack::test::test_vstack ... ok
test textarea::test::test_wrapping_code_block ... ok
test vstack::test::test_vstack_maximize ... ok
test textarea::test::test_wrapping_fenced_block ... ok
test textarea::test::test_wrapping_paragraphs ... ok
test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle
running 1 test
test crates/radicle/src/cob/patch/encoding/review.rs - cob::patch::encoding::review::Review (line 23) ... ignored
test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_cli
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_cli_test
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_cob
running 1 test
test crates/radicle-cob/src/backend/stable.rs - backend::stable::with_advanced_timestamp (line 56) ... ignored
test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_crypto
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_dag
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_fetch
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_git_metadata
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_git_ref_format
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_node
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_oid
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_protocol
running 6 tests
test crates/radicle-protocol/src/bounded.rs - bounded::BoundedVec<T,N>::max (line 96) ... ok
test crates/radicle-protocol/src/bounded.rs - bounded::BoundedVec<T,N>::truncate (line 50) ... ok
test crates/radicle-protocol/src/bounded.rs - bounded::BoundedVec<T,N>::collect_from (line 30) ... ok
test crates/radicle-protocol/src/bounded.rs - bounded::BoundedVec<T,N>::push (line 122) ... ok
test crates/radicle-protocol/src/bounded.rs - bounded::BoundedVec<T,N>::unbound (line 149) ... ok
test crates/radicle-protocol/src/bounded.rs - bounded::BoundedVec<T,N>::with_capacity (line 66) ... ok
test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.44s
Doc-tests radicle_signals
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_ssh
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_systemd
running 0 tests
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Doc-tests radicle_term
running 1 test
test crates/radicle-term/src/table.rs - table (line 4) ... ok
test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.19s
error: 1 target failed:
`-p radicle-cli --test commands`
Exit code: 101
{
"response": "finished",
"result": "failure"
}