diff --git a/crates/bin/pcli/src/command/query/dex.rs b/crates/bin/pcli/src/command/query/dex.rs
index 7c7f07ca0f..f963980179 100644
--- a/crates/bin/pcli/src/command/query/dex.rs
+++ b/crates/bin/pcli/src/command/query/dex.rs
@@ -278,7 +278,7 @@ impl DexCmd {
             for i in 0..(trace.len() - 1) {
                 row[1 + i] = format!("{} =>", trace[i].format(&cache));
             }
-            // Right-align the last elemnent of the trace, in case subtraces have different lengths
+            // Right-align the last element of the trace, in case subtraces have different lengths
             row[column_count - 2] = trace
                 .last()
                 .context("trace should have elements")?
diff --git a/crates/bin/pcli/src/command/tx/proposal.rs b/crates/bin/pcli/src/command/tx/proposal.rs
index 826f19b0e8..5cde7cf200 100644
--- a/crates/bin/pcli/src/command/tx/proposal.rs
+++ b/crates/bin/pcli/src/command/tx/proposal.rs
@@ -82,7 +82,7 @@ pub enum ProposalKindCmd {
         #[clap(long)]
         transaction_plan: Option<camino::Utf8PathBuf>,
     },
-    /// Generate a template for an upgrade propopsal,
+    /// Generate a template for an upgrade proposal,
     UpgradePlan,
 }
 
diff --git a/crates/bin/pcli/src/dex_utils/replicate/debug.rs b/crates/bin/pcli/src/dex_utils/replicate/debug.rs
index 9b93e1a47a..ecb3d19f68 100644
--- a/crates/bin/pcli/src/dex_utils/replicate/debug.rs
+++ b/crates/bin/pcli/src/dex_utils/replicate/debug.rs
@@ -21,7 +21,7 @@ pub struct PayoffPositionEntry {
 /// to JSON so that we can pipe it into a Julia notebook. The reason why
 /// this is a separate structure from [`position::Position`] is that we
 /// might want to do extra processing, rounding, etc. and we'd rather note
-/// clutter it with serializiation methods that are useful for narrow purposes.
+/// clutter it with serialization methods that are useful for narrow purposes.
 #[derive(Serialize)]
 pub struct PayoffPosition {
     pub p: f64,
diff --git a/crates/core/component/compact-block/src/component/rpc.rs b/crates/core/component/compact-block/src/component/rpc.rs
index 93214f7a62..50554c168a 100644
--- a/crates/core/component/compact-block/src/component/rpc.rs
+++ b/crates/core/component/compact-block/src/component/rpc.rs
@@ -134,7 +134,7 @@ impl QueryService for Server {
                     // buffered streams staying full for too long. However, in at least a few
                     // "regular usage" instances we observed client streams stopping too eagerly.
                     // In #2932, it was established that the timeout had to be at least 10s to
-                    // accomodate those usecases.
+                    // accommodate those usecases.
                     //
                     // Although we cannot exclude that clients actually did not poll the stream for
                     // more than `9s`, this seems unlikely. We are removing the timeout mechanism
diff --git a/crates/core/component/dex/src/component/router/fill_route.rs b/crates/core/component/dex/src/component/router/fill_route.rs
index 7992c24ba7..999b4e21e0 100644
--- a/crates/core/component/dex/src/component/router/fill_route.rs
+++ b/crates/core/component/dex/src/component/router/fill_route.rs
@@ -32,7 +32,7 @@ pub enum FillError {
     /// of the trading pair.
     #[error("input id {0:?} does not belong on pair: {1:?}")]
     AssetIdMismatch(asset::Id, TradingPair),
-    /// Overflow occured when executing against the position corresponding
+    /// Overflow occurred when executing against the position corresponding
     /// to the wrapped asset id.
     #[error("overflow when executing against position {0:?}")]
     ExecutionOverflow(position::Id),
diff --git a/crates/core/component/governance/src/action_handler/validator_vote.rs b/crates/core/component/governance/src/action_handler/validator_vote.rs
index 49ea6a1097..66cca4e9d4 100644
--- a/crates/core/component/governance/src/action_handler/validator_vote.rs
+++ b/crates/core/component/governance/src/action_handler/validator_vote.rs
@@ -96,7 +96,7 @@ impl ActionHandler for ValidatorVote {
         tracing::debug!(validator_identity = %identity_key, proposal = %proposal, "cast validator vote");
         state.cast_validator_vote(*proposal, *identity_key, *vote, reason.clone());
 
-        // Emergency proposals are passed immediately afeter receiving +2/3 of
+        // Emergency proposals are passed immediately after receiving +2/3 of
         // validator votes. These include the eponymous `Emergency` proposal but
         // also `IbcFreeze` and `IbcUnfreeze`.
         let proposal_payload = state
diff --git a/crates/core/component/shielded-pool/src/spend/proof.rs b/crates/core/component/shielded-pool/src/spend/proof.rs
index 9ad99765f9..caec90253e 100644
--- a/crates/core/component/shielded-pool/src/spend/proof.rs
+++ b/crates/core/component/shielded-pool/src/spend/proof.rs
@@ -693,7 +693,7 @@ mod tests {
 
     proptest! {
         #[test]
-        /// Check that the `SpendCircuit` is not satisified, when using an
+        /// Check that the `SpendCircuit` is not satisfied, when using an
         /// incorrect nullifier.
         fn spend_proof_verification_nullifier_integrity_failure((public, private) in arb_invalid_spend_statement_nullifier()) {
             assert!(check_satisfaction(&public, &private).is_err());
@@ -762,7 +762,7 @@ mod tests {
 
     proptest! {
         #[test]
-        /// Check that the `SpendCircuit` is not satisifed when using balance
+        /// Check that the `SpendCircuit` is not satisfied when using balance
         /// commitments with different blinding factors.
         fn spend_proof_verification_balance_commitment_integrity_failure((public, private) in arb_invalid_spend_statement_v_blinding_factor()) {
             assert!(check_satisfaction(&public, &private).is_err());
diff --git a/crates/core/component/stake/src/component/validator_handler/validator_manager.rs b/crates/core/component/stake/src/component/validator_handler/validator_manager.rs
index fa7753d698..4c7a6a259f 100644
--- a/crates/core/component/stake/src/component/validator_handler/validator_manager.rs
+++ b/crates/core/component/stake/src/component/validator_handler/validator_manager.rs
@@ -204,7 +204,7 @@ pub trait ValidatorManager: StateWrite {
             }
             (Jailed, Defined) => {
                 // A jailed validator has been released from jail by its operator.
-                // Its delegation pool has falled below the minimum threshold, so it is
+                // Its delegation pool has fallen below the minimum threshold, so it is
                 // considered `Defined`.
                 //
                 // End-epoch handler is responsible for choosing when to deindex the validator.
@@ -357,7 +357,7 @@ pub trait ValidatorManager: StateWrite {
 
     #[instrument(skip(self))]
     /// Try to implement a state transition in/out of the `Defined` precursor state.
-    /// Returns the new state if sucessful, and `None` otherwise.
+    /// Returns the new state if successful, and `None` otherwise.
     async fn try_precursor_transition(
         &mut self,
         validator_id: &IdentityKey,
diff --git a/crates/core/component/stake/src/funding_stream.rs b/crates/core/component/stake/src/funding_stream.rs
index 51de448c14..4a114d0968 100644
--- a/crates/core/component/stake/src/funding_stream.rs
+++ b/crates/core/component/stake/src/funding_stream.rs
@@ -10,7 +10,7 @@ use serde::{Deserialize, Serialize};
 #[serde(try_from = "pb::FundingStream", into = "pb::FundingStream")]
 pub enum FundingStream {
     ToAddress {
-        /// The destinatination address for the funding stream..
+        /// The destination address for the funding stream..
         address: Address,
 
         /// The portion (in terms of [basis points](https://en.wikipedia.org/wiki/Basis_point)) of the
diff --git a/crates/core/num/src/fixpoint.rs b/crates/core/num/src/fixpoint.rs
index 763d6a4a73..d41b92d989 100644
--- a/crates/core/num/src/fixpoint.rs
+++ b/crates/core/num/src/fixpoint.rs
@@ -205,7 +205,7 @@ impl AllocVar<U128x128, Fq> for U128x128Var {
         let inner: U128x128 = *f()?.borrow();
 
         // TODO: in the case of a constant U128x128Var, this will allocate
-        // witness vars intsead of constants, but we don't have much use for
+        // witness vars instead of constants, but we don't have much use for
         // constant U128x128Vars anyways, so this efficiency loss shouldn't be a
         // problem.
 
diff --git a/crates/crypto/decaf377-fmd/src/clue_key.rs b/crates/crypto/decaf377-fmd/src/clue_key.rs
index ab6d75e800..ea33badfcc 100644
--- a/crates/crypto/decaf377-fmd/src/clue_key.rs
+++ b/crates/crypto/decaf377-fmd/src/clue_key.rs
@@ -74,7 +74,7 @@ impl ExpandedClueKey {
 
         let current_precision = self.subkeys.borrow().len();
 
-        // The cached expansion is large enough to accomodate the specified precision.
+        // The cached expansion is large enough to accommodate the specified precision.
         if precision <= current_precision {
             return Ok(());
         }
diff --git a/crates/crypto/tct/src/internal.rs b/crates/crypto/tct/src/internal.rs
index 0b32acf559..da45784fe7 100644
--- a/crates/crypto/tct/src/internal.rs
+++ b/crates/crypto/tct/src/internal.rs
@@ -96,7 +96,7 @@ pub mod frontier {
     //! then finalized into a [`complete::Node`](super::complete::Node) that it is pruned, if it
     //! contains no witnessed children.
     //!
-    //! At the tip of the frontier, however deeply nested (perhaps within muliple [`Tier`]s), there
+    //! At the tip of the frontier, however deeply nested (perhaps within multiple [`Tier`]s), there
     //! is a single [`Item`], which is either a [`Commitment`](crate::Commitment) or a hash of one.
     //! Commitments can be inserted either with the intent to remember them, or with the intent to
     //! immediately forget them; this determines whether the [`Item`] is a commitment or merely its
diff --git a/crates/crypto/tct/src/tree.rs b/crates/crypto/tct/src/tree.rs
index 12a72959ec..efa15351cd 100644
--- a/crates/crypto/tct/src/tree.rs
+++ b/crates/crypto/tct/src/tree.rs
@@ -352,7 +352,7 @@ impl Tree {
         &mut self,
         block: impl Into<block::Finalized>,
     ) -> Result<block::Root, InsertBlockError> {
-        // We split apart the inside so that we get the right instrumention when this is called as
+        // We split apart the inside so that we get the right instrumentation when this is called as
         // an inner function in `end_block`
         let block_root = self.insert_block_uninstrumented(block).map_err(|error| {
             error!(%error);
diff --git a/crates/custody/src/threshold.rs b/crates/custody/src/threshold.rs
index 28c58d70a6..8bb5a60e4d 100644
--- a/crates/custody/src/threshold.rs
+++ b/crates/custody/src/threshold.rs
@@ -35,7 +35,7 @@ where
 
 /// A trait abstracting over the kind of terminal interface we expect.
 ///
-/// This is mainly used to accomodate the kind of interaction we have with the CLI
+/// This is mainly used to accommodate the kind of interaction we have with the CLI
 /// interface, but it can also be plugged in with more general backends.
 #[async_trait]
 pub trait Terminal {
diff --git a/crates/proto/src/event.rs b/crates/proto/src/event.rs
index 05dccf3f12..0c24a6ce48 100644
--- a/crates/proto/src/event.rs
+++ b/crates/proto/src/event.rs
@@ -9,7 +9,7 @@ pub trait ProtoEvent: Message + Name + Serialize + DeserializeOwned + Sized {
         let kind = Self::full_name();
 
         let event_json = serde_json::to_value(&self)
-            .expect("ProtoEvent constrained values should be JSON serializeable.");
+            .expect("ProtoEvent constrained values should be JSON serializable.");
 
         // WARNING: Assuming that Rust value will always serialize into a valid JSON Object value. This falls apart the moment that isn't true, so we fail hard if that turns out to be the case.
         let mut attributes: Vec<EventAttribute> = event_json