docs(adr): renumber the settlement ADR to 0013

`main` took ADR-0010 for the beta upgrade channel decision while this
branch was open, and has since reached ADR-0012. The repository's ADR
governance check rejects a pull request that introduces a duplicate ADR
number, so this branch could not merge as it stood.

Renumbers the settlement-version ADR to the next free number and updates
the two references to it in the end-to-end gate driver. The ADR content
is otherwise unchanged.

Also corrects two stale references to ant-protocol#23, which was reverted
in ant-protocol#24; the live protocol pull request is ant-protocol#25.

Author: grumbach

Cargo.toml

@@ -40,7 +40,7 @@ mimalloc = "0.1"
 # (the rc-2026.4.2 branch) so Cargo can unify the wire types here
 # with ant-protocol's re-exports.
 # Branch pin while the settlement-version wire types are in review
-# (WithAutonomi/ant-protocol#23). Swap back to a published `ant-protocol`
+# (WithAutonomi/ant-protocol#25). Swap back to a published `ant-protocol`
 # version pin once that PR merges and the release train publishes it.
 ant-protocol = { git = "https://github.com/grumbach/ant-protocol", branch = "settlement-version-quote-gate" }
 

…version-and-pre-payment-compatibility.md …version-and-pre-payment-compatibility.mddocs/adr/ADR-0010-settlement-version-and-pre-payment-compatibility.md renamed to docs/adr/ADR-0013-settlement-version-and-pre-payment-compatibility.md docs/adr/ADR-0010-settlement-version-and-pre-payment-compatibility.md renamed to docs/adr/ADR-0013-settlement-version-and-pre-payment-compatibility.md

@@ -1,12 +1,12 @@
-# ADR-0010: Settlement version and pre-payment compatibility
+# ADR-0013: Settlement version and pre-payment compatibility
 
 - **Status:** Proposed
 - **Date:** 2026-08-13
 - **Decision owners:** Anselme Grumbach
 - **Reviewers:** David Irvine
 - **Supersedes:** none
 - **Superseded by:** none
-- **Related:** ADR-0008 (storage economics and payment protocol); ant-protocol#23; ant-node#204; ant-client#171
+- **Related:** ADR-0008 (storage economics and payment protocol); ant-protocol#25; ant-node#204; ant-client#171
 
 ## Context
 

tests/e2e/settlement_version_gate.rs

@@ -1,8 +1,8 @@
-//! Live driver for the settlement-version quote gate (ADR-0010).
+//! Live driver for the settlement-version quote gate (ADR-0013).
 //!
 //! Every other test of this gate calls the handler in-process. This one puts
 //! the four cases on a real QUIC connection between two nodes built from this
-//! branch, which is the one thing ADR-0010 records as never having been done:
+//! branch, which is the one thing ADR-0013 records as never having been done:
 //! "the gate itself has never run over a real connection, because the devnet
 //! speaks the pre-versioned dialect".
 //!