Chore/merge develop to aac client breaking

CHANGELOG.md

@@ -13,6 +13,7 @@ and this project adheres to the versioning scheme outlined in the [README.md](RE
 - Add `stackerdb_timeout_secs` to miner config for limiting duration of StackerDB HTTP requests.
 - When determining a global transaction replay set, the state evaluator now uses a longest-common-prefix algorithm to find a replay set in the case where a single replay set has less than 70% of signer weight.
 - New endpoints /v3/tenures/blocks/, /v3/tenures/blocks/hash, /v3/tenures/blocks/height allowing retrieving the list of stacks blocks from a burn block
+- New authenticated endpoint /v3/block/replay to replay the execution of any Nakamoto block in the chain (useful for validation, simulation, getting events...)
 - Creates epoch 3.3 and costs-4 in preparation for a hardfork to activate Clarity 4
 - Adds support for new Clarity 4 builtins (not activated until epoch 3.3):
   - `contract-hash?`

Cargo.toml

@@ -11,6 +11,8 @@ members = [
     "libsigner",
     "stacks-signer",
     "stacks-node",
+    "contrib/stacks-inspect",
+    "contrib/stacks-cli"
 ]
 
 exclude = ["contrib/tools/config-docs-generator"]

clarity-types/src/errors/ast.rs

@@ -203,7 +203,12 @@ impl ParseError {
     }
 
     pub fn rejectable(&self) -> bool {
-        matches!(*self.err, ParseErrorKind::InterpreterFailure)
+        matches!(
+            *self.err,
+            ParseErrorKind::InterpreterFailure
+                | ParseErrorKind::ExpressionStackDepthTooDeep
+                | ParseErrorKind::VaryExpressionStackDepthTooDeep
+        )
     }
 
     pub fn has_pre_expression(&self) -> bool {

clarity/src/vm/analysis/mod.rs

@@ -35,7 +35,7 @@ use self::type_checker::v2_05::TypeChecker as TypeChecker2_05;
 use self::type_checker::v2_1::TypeChecker as TypeChecker2_1;
 pub use self::types::{AnalysisPass, ContractAnalysis};
 #[cfg(feature = "rusqlite")]
-use crate::vm::ast::{build_ast_with_rules, ASTRules};
+use crate::vm::ast::build_ast;
 use crate::vm::costs::LimitedCostTracker;
 #[cfg(feature = "rusqlite")]
 use crate::vm::database::MemoryBackingStore;
@@ -54,16 +54,9 @@ pub fn mem_type_check(
     epoch: StacksEpochId,
 ) -> Result<(Option<TypeSignature>, ContractAnalysis), StaticCheckError> {
     let contract_identifier = QualifiedContractIdentifier::transient();
-    let contract = build_ast_with_rules(
-        &contract_identifier,
-        snippet,
-        &mut (),
-        version,
-        epoch,
-        ASTRules::PrecheckSize,
-    )
-    .map_err(|_| CheckErrorKind::Expects("Failed to build AST".into()))?
-    .expressions;
+    let contract = build_ast(&contract_identifier, snippet, &mut (), version, epoch)
+        .map_err(|_| CheckErrorKind::Expects("Failed to build AST".into()))?
+        .expressions;
 
     let mut marf = MemoryBackingStore::new();
     let mut analysis_db = marf.as_analysis_db();