lib

commit 8d872e0fdffd0d0cbc3941e09481288e8d7accd6
parent f4d91b1e28043064d6e8db5dfb5a27bfe67e9131
Author: triesap <tyson@radroots.org>
Date:   Mon,  3 Aug 2026 11:06:25 +0000

transport: expose satisfaction profile validation

- promote the canonical target-set policy validator
- keep quorum and required-target law in its owner
- let composition layers reject impossible profiles early
- verify the complete transport package and boundary gates

Diffstat:
M
crates/transport/src/policy.rs
 | 
7
++++++-

1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/crates/transport/src/policy.rs b/crates/transport/src/policy.rs
@@ -165,7 +165,12 @@ impl SatisfactionPolicy {
         &self.targets
     }
 
-    pub(crate) fn validate_for(&self, targets: &TargetSet) -> Result<(), Error> {
+    /// Validates this policy against an exact bounded target set.
+    ///
+    /// This permits higher-level composition layers to reject impossible
+    /// quorum and required-target profiles before constructing a delivery
+    /// request, without reproducing transport policy law.
+    pub fn validate_for(&self, targets: &TargetSet) -> Result<(), Error> {
         self.targets.validate_for(targets)
     }
 }