diff --git a/Cargo.lock b/Cargo.lock
index 12113a7334..3a30263999 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -3477,6 +3477,8 @@ dependencies = [
  "spk-cli-common",
  "spk-schema",
  "spk-solve",
+ "spk-solve-macros",
+ "spk-solve-solution",
  "spk-storage",
  "strip-ansi-escapes",
  "tokio",
@@ -3911,6 +3913,7 @@ dependencies = [
  "spk-config",
  "spk-schema",
  "spk-solve-graph",
+ "spk-solve-macros",
  "spk-solve-package-iterator",
  "spk-solve-solution",
  "spk-solve-validation",
@@ -3949,6 +3952,15 @@ dependencies = [
  "tracing",
 ]
 
+[[package]]
+name = "spk-solve-macros"
+version = "0.36.0"
+dependencies = [
+ "serde_json",
+ "spfs",
+ "spk-schema",
+]
+
 [[package]]
 name = "spk-solve-package-iterator"
 version = "0.36.0"
@@ -3960,7 +3972,7 @@ dependencies = [
  "once_cell",
  "rstest",
  "spk-schema",
- "spk-solve",
+ "spk-solve-macros",
  "spk-solve-solution",
  "spk-storage",
  "thiserror",
@@ -3994,8 +4006,8 @@ dependencies = [
  "serde_yaml",
  "spfs",
  "spk-schema",
- "spk-solve",
  "spk-solve-graph",
+ "spk-solve-macros",
  "spk-solve-solution",
  "spk-storage",
  "thiserror",
diff --git a/crates/spk-cli/group1/Cargo.toml b/crates/spk-cli/group1/Cargo.toml
index 070b202a9d..ec97f98e52 100644
--- a/crates/spk-cli/group1/Cargo.toml
+++ b/crates/spk-cli/group1/Cargo.toml
@@ -28,3 +28,5 @@ tracing = { workspace = true }
 
 [dev-dependencies]
 rstest = { workspace = true }
+spk-solve-macros = { path = '../../spk-solve/crates/macros' }
+spk-solve-solution = { path = '../../spk-solve/crates/solution' }
diff --git a/crates/spk-cli/group1/src/cmd_deprecate_test.rs b/crates/spk-cli/group1/src/cmd_deprecate_test.rs
index 31994eb281..4de9f90750 100644
--- a/crates/spk-cli/group1/src/cmd_deprecate_test.rs
+++ b/crates/spk-cli/group1/src/cmd_deprecate_test.rs
@@ -5,7 +5,7 @@
 use rstest::rstest;
 use spk_schema::ident::parse_version_ident;
 use spk_schema::Deprecate;
-use spk_solve::make_repo;
+use spk_solve_macros::make_repo;
 
 use super::{change_deprecation_state, ChangeAction};
 
diff --git a/crates/spk-cli/group1/src/cmd_undeprecate_test.rs b/crates/spk-cli/group1/src/cmd_undeprecate_test.rs
index 2c48a2ffd6..f299a4ad80 100644
--- a/crates/spk-cli/group1/src/cmd_undeprecate_test.rs
+++ b/crates/spk-cli/group1/src/cmd_undeprecate_test.rs
@@ -5,7 +5,7 @@
 use rstest::rstest;
 use spk_schema::ident::parse_version_ident;
 use spk_schema::Deprecate;
-use spk_solve::make_repo;
+use spk_solve_macros::make_repo;
 
 use super::{change_deprecation_state, ChangeAction};
 
diff --git a/crates/spk-solve/Cargo.toml b/crates/spk-solve/Cargo.toml
index a90ce5aa3d..ad9ea66e4f 100644
--- a/crates/spk-solve/Cargo.toml
+++ b/crates/spk-solve/Cargo.toml
@@ -49,4 +49,5 @@ tracing = { workspace = true }
 
 [dev-dependencies]
 rstest = { workspace = true }
+spk-solve-macros = { path = "./crates/macros" }
 strip-ansi-escapes = { workspace = true }
diff --git a/crates/spk-solve/crates/macros/Cargo.toml b/crates/spk-solve/crates/macros/Cargo.toml
new file mode 100644
index 0000000000..9c0124ae25
--- /dev/null
+++ b/crates/spk-solve/crates/macros/Cargo.toml
@@ -0,0 +1,13 @@
+[package]
+authors = { workspace = true }
+edition = { workspace = true }
+name = "spk-solve-macros"
+version = { workspace = true }
+
+[features]
+migration-to-components = []
+
+[dependencies]
+serde_json = { workspace = true }
+spfs = { path = "../../../spfs" }
+spk-schema = { path = "../../../spk-schema" }
diff --git a/crates/spk-solve/src/macros.rs b/crates/spk-solve/crates/macros/src/lib.rs
similarity index 72%
rename from crates/spk-solve/src/macros.rs
rename to crates/spk-solve/crates/macros/src/lib.rs
index 3df751b215..e707bc51b4 100644
--- a/crates/spk-solve/src/macros.rs
+++ b/crates/spk-solve/crates/macros/src/lib.rs
@@ -2,6 +2,12 @@
 // SPDX-License-Identifier: Apache-2.0
 // https://github.com/imageworks/spk
 
+#![deny(unsafe_op_in_unsafe_fn)]
+#![warn(clippy::fn_params_excessive_bools)]
+
+pub use spk_schema::recipe;
+pub use {serde_json, spfs};
+
 /// Creates a repository containing a set of provided package specs.
 /// It will take care of publishing the spec, and creating a build for
 /// each provided package so that it can be resolved.
@@ -14,16 +20,16 @@ macro_rules! make_repo {
         make_repo!([ $( $spec ),* ], options={})
     }};
     ( [ $( $spec:tt ),+ $(,)? ], options={ $($k:expr => $v:expr),* } ) => {{
-        let options = $crate::option_map!{$($k => $v),*};
+        let options = spk_schema::foundation::option_map!{$($k => $v),*};
         make_repo!([ $( $spec ),* ], options=options)
     }};
     ( [ $( $spec:tt ),+ $(,)? ], options=$options:expr ) => {{
         tracing::debug!("creating in-memory repository");
-        let repo = $crate::RepositoryHandle::new_mem();
+        let repo = spk_storage::RepositoryHandle::new_mem();
         let _opts = $options;
         $(
             let (s, cmpts) = $crate::make_package!(repo, $spec, &_opts);
-            tracing::trace!(pkg=%$crate::Package::ident(&s), cmpts=?cmpts.keys(), "adding package to repo");
+            tracing::trace!(pkg=%spk_schema::Package::ident(&s), cmpts=?cmpts.keys(), "adding package to repo");
             repo.publish_package(&s, &cmpts).await.unwrap();
         )*
         repo
@@ -36,7 +42,7 @@ macro_rules! make_package {
         ($build_spec, $components)
     }};
     ($repo:ident, $build_spec:ident, $opts:expr) => {{
-        use $crate::Package;
+        use spk_schema::Package;
         let s = $build_spec.clone();
         let cmpts: std::collections::HashMap<_, $crate::spfs::encoding::Digest> = s
             .components()
@@ -47,7 +53,7 @@ macro_rules! make_package {
     }};
     ($repo:ident, $spec:tt, $opts:expr) => {{
         let json = $crate::serde_json::json!($spec);
-        let spec: $crate::v0::Spec<$crate::AnyIdent> =
+        let spec: spk_schema::v0::Spec<spk_schema::ident::AnyIdent> =
             $crate::serde_json::from_value(json).expect("Invalid spec json");
         match spec.pkg.build().map(|b| b.clone()) {
             None => {
@@ -55,10 +61,13 @@ macro_rules! make_package {
                 $repo.force_publish_recipe(&recipe).await.unwrap();
                 make_build_and_components!(recipe, [], $opts, [])
             }
-            Some($crate::Build::Source) => {
+            Some(spk_schema::foundation::ident_build::Build::Source) => {
                 let recipe = spec.clone().map_ident(|i| i.into_base());
                 $repo.force_publish_recipe(&recipe.into()).await.unwrap();
-                let build = spec.map_ident(|i| i.into_base().into_build($crate::Build::Source));
+                let build = spec.map_ident(|i| {
+                    i.into_base()
+                        .into_build(spk_schema::foundation::ident_build::Build::Source)
+                });
                 make_build_and_components!(build, [], $opts, [])
             }
             Some(b) => {
@@ -108,31 +117,31 @@ macro_rules! make_build_and_components {
         make_build_and_components!($spec, [$($dep),*], $opts, [])
     };
     ($spec:tt, [$($dep:expr),*], { $($k:expr => $v:expr),* }, [$($component:expr),*]) => {{
-        let opts = $crate::option_map!{$($k => $v),*};
+        let opts = spk_schema::foundation::option_map!{$($k => $v),*};
         make_build_and_components!($spec, [$($dep),*], opts, [$($component),*])
     }};
     ($spec:tt, [$($dep:expr),*], $opts:expr, [$($component:expr),*]) => {{
         #[allow(unused_imports)]
-        use $crate::{Package, Recipe};
+        use spk_schema::{Package, Recipe};
         let json = $crate::serde_json::json!($spec);
-        let spec: $crate::v0::Spec<$crate::AnyIdent> =
+        let spec: spk_schema::v0::Spec<spk_schema::ident::AnyIdent> =
             $crate::serde_json::from_value(json).expect("Invalid spec json");
-        let mut components = std::collections::HashMap::<$crate::Component, $crate::spfs::encoding::Digest>::new();
+        let mut components = std::collections::HashMap::<spk_schema::foundation::ident_component::Component, $crate::spfs::encoding::Digest>::new();
         match spec.pkg.build().map(|b| b.clone()) {
             None => {
                 let recipe = spec.clone().map_ident(|i| i.into_base());
                 let mut build_opts = $opts.clone();
                 #[allow(unused_mut)]
-                let mut solution = $crate::Solution::new(build_opts.clone());
+                let mut solution = spk_solve_solution::Solution::new(build_opts.clone());
                 $(
                 let dep = Arc::new($dep.clone());
                 solution.add(
-                    $crate::PkgRequest::from_ident(
+                    spk_schema::ident::PkgRequest::from_ident(
                         $dep.ident().to_any(),
-                        $crate::RequestedBy::SpkInternalTest,
+                        spk_schema::ident::RequestedBy::SpkInternalTest,
                     ),
                     Arc::clone(&dep),
-                    $crate::PackageSource::SpkInternalTest,
+                    spk_solve_solution::PackageSource::SpkInternalTest,
                 );
                 )*
                 let mut resolved_opts = recipe.resolve_options(&build_opts).unwrap().into_iter();
@@ -145,15 +154,15 @@ macro_rules! make_build_and_components {
                     names = build.components().iter().map(|c| c.name.to_string()).collect();
                 }
                 for name in names {
-                    let name = $crate::Component::parse(name).expect("invalid component name");
+                    let name = spk_schema::foundation::ident_component::Component::parse(name).expect("invalid component name");
                     components.insert(name, $crate::spfs::encoding::EMPTY_DIGEST.into());
                 }
-                ($crate::Spec::V0Package(build), components)
+                (spk_schema::Spec::V0Package(build), components)
             }
-            Some(b @ $crate::Build::Source) => {
+            Some(b @ spk_schema::foundation::ident_build::Build::Source) => {
                 let build = spec.map_ident(|i| i.into_base().into_build(b));
-                components.insert($crate::Component::Source, $crate::spfs::encoding::EMPTY_DIGEST.into());
-                ($crate::Spec::V0Package(build), components)
+                components.insert(spk_schema::foundation::ident_component::Component::Source, $crate::spfs::encoding::EMPTY_DIGEST.into());
+                (spk_schema::Spec::V0Package(build), components)
             }
             Some(b) => {
                 let build = spec.map_ident(|i| i.into_base().into_build(b));
@@ -162,10 +171,10 @@ macro_rules! make_build_and_components {
                     names = build.components().iter().map(|c| c.name.to_string()).collect();
                 }
                 for name in names {
-                    let name = $crate::Component::parse(name).expect("invalid component name");
+                    let name = spk_schema::foundation::ident_component::Component::parse(name).expect("invalid component name");
                     components.insert(name, $crate::spfs::encoding::EMPTY_DIGEST.into());
                 }
-                ($crate::Spec::V0Package(build), components)
+                (spk_schema::Spec::V0Package(build), components)
             }
         }
     }}
@@ -187,20 +196,20 @@ macro_rules! make_spec {
 #[macro_export(local_inner_macros)]
 macro_rules! request {
     ($req:literal) => {
-        $crate::Request::Pkg($crate::PkgRequest::new(
-            $crate::parse_ident_range($req).unwrap(),
-            RequestedBy::SpkInternalTest,
+        spk_schema::ident::Request::Pkg(spk_schema::ident::PkgRequest::new(
+            spk_schema::ident::parse_ident_range($req).unwrap(),
+            spk_schema::ident::RequestedBy::SpkInternalTest,
         ))
     };
     ($req:ident) => {
-        $crate::Request::Pkg($crate::PkgRequest::new(
-            $crate::parse_ident_range($req).unwrap(),
-            RequestedBy::SpkInternalTest,
+        spk_schema::ident::Request::Pkg(spk_schema::ident::PkgRequest::new(
+            spk_schema::ident::parse_ident_range($req).unwrap(),
+            spk_schema::ident::RequestedBy::SpkInternalTest,
         ))
     };
     ($req:tt) => {{
         let value = serde_json::json!($req);
-        let req: $crate::Request = serde_json::from_value(value).unwrap();
+        let req: spk_schema::ident::Request = serde_json::from_value(value).unwrap();
         req
     }};
 }
diff --git a/crates/spk-solve/crates/package-iterator/Cargo.toml b/crates/spk-solve/crates/package-iterator/Cargo.toml
index dae52fd310..ecf6762139 100644
--- a/crates/spk-solve/crates/package-iterator/Cargo.toml
+++ b/crates/spk-solve/crates/package-iterator/Cargo.toml
@@ -26,4 +26,4 @@ tracing = { workspace = true }
 [dev-dependencies]
 itertools = "0.10"
 rstest = { workspace = true }
-spk-solve = { path = "../.." }
+spk-solve-macros = { path = "../macros" }
diff --git a/crates/spk-solve/crates/package-iterator/src/package_iterator_test.rs b/crates/spk-solve/crates/package-iterator/src/package_iterator_test.rs
index 3e6b310aad..863a472950 100644
--- a/crates/spk-solve/crates/package-iterator/src/package_iterator_test.rs
+++ b/crates/spk-solve/crates/package-iterator/src/package_iterator_test.rs
@@ -11,7 +11,7 @@ use spk_schema::foundation::option_map;
 use spk_schema::foundation::option_map::OptionMap;
 use spk_schema::foundation::version::Compatibility;
 use spk_schema::{recipe, spec, BuildIdent, Package, Spec};
-use spk_solve::{make_build, make_repo};
+use spk_solve_macros::{make_build, make_repo};
 
 use super::{BuildIterator, PackageIterator, RepositoryPackageIterator, SortedBuildIterator};
 
diff --git a/crates/spk-solve/crates/validation/Cargo.toml b/crates/spk-solve/crates/validation/Cargo.toml
index c80213fe42..966b40b78b 100644
--- a/crates/spk-solve/crates/validation/Cargo.toml
+++ b/crates/spk-solve/crates/validation/Cargo.toml
@@ -31,4 +31,4 @@ tracing = "0.1.35"
 [dev-dependencies]
 rstest = { workspace = true }
 serde_yaml = "0.8.17"
-spk-solve = { path = "../.." }
+spk-solve-macros = { path = "../macros" }
diff --git a/crates/spk-solve/crates/validation/src/impossible_checks_test.rs b/crates/spk-solve/crates/validation/src/impossible_checks_test.rs
index aa67609c72..31ecd61914 100644
--- a/crates/spk-solve/crates/validation/src/impossible_checks_test.rs
+++ b/crates/spk-solve/crates/validation/src/impossible_checks_test.rs
@@ -10,7 +10,7 @@ use spk_schema::foundation::fixtures::*;
 use spk_schema::ident::{version_ident, PkgRequest, RequestedBy};
 use spk_schema::name::PkgNameBuf;
 use spk_schema::spec;
-use spk_solve::{make_build, make_repo};
+use spk_solve_macros::{make_build, make_repo};
 
 use super::ImpossibleRequestsChecker;
 
diff --git a/crates/spk-solve/crates/validation/src/validation_test.rs b/crates/spk-solve/crates/validation/src/validation_test.rs
index df05729b16..9b358a2906 100644
--- a/crates/spk-solve/crates/validation/src/validation_test.rs
+++ b/crates/spk-solve/crates/validation/src/validation_test.rs
@@ -8,8 +8,8 @@ use spk_schema::foundation::fixtures::*;
 use spk_schema::foundation::opt_name;
 use spk_schema::ident::{build_ident, version_ident, PkgRequest, Request, RequestedBy};
 use spk_schema::{spec, FromYaml};
-use spk_solve::recipe;
 use spk_solve_graph::State;
+use spk_solve_macros::recipe;
 use spk_solve_solution::PackageSource;
 
 use super::{default_validators, OptionsValidator, ValidatorT, VarRequirementsValidator};
diff --git a/crates/spk-solve/src/lib.rs b/crates/spk-solve/src/lib.rs
index efe3ef7ac9..b3afbe0a3e 100644
--- a/crates/spk-solve/src/lib.rs
+++ b/crates/spk-solve/src/lib.rs
@@ -7,7 +7,6 @@
 
 mod error;
 mod io;
-mod macros;
 #[cfg(feature = "statsd")]
 mod metrics;
 mod search_space;
diff --git a/crates/spk-solve/src/solver_test.rs b/crates/spk-solve/src/solver_test.rs
index 89d747853c..63883be3e2 100644
--- a/crates/spk-solve/src/solver_test.rs
+++ b/crates/spk-solve/src/solver_test.rs
@@ -22,21 +22,13 @@ use spk_schema::ident::{
 use spk_schema::ident_build::EmbeddedSource;
 use spk_schema::prelude::*;
 use spk_schema::{recipe, v0};
+use spk_solve_macros::{make_build, make_build_and_components, make_repo, request};
 use spk_solve_solution::PackageSource;
 use spk_storage::RepositoryHandle;
 
 use super::{ErrorDetails, Solver};
 use crate::io::DecisionFormatterBuilder;
-use crate::{
-    make_build,
-    make_build_and_components,
-    make_repo,
-    option_map,
-    request,
-    spec,
-    Error,
-    Result,
-};
+use crate::{option_map, spec, Error, Result};
 
 #[fixture]
 fn solver() -> Solver {