pub struct BindingV1 {
pub version: u32,
pub intent: Option<String>,
pub source_facets: Vec<String>,
pub reference_mems: Vec<String>,
pub destination_mem: String,
pub deny_paths: Vec<String>,
pub coverage_semantics: CoverageSemantics,
pub rules: Option<Value>,
pub prune: Option<PruneConfig>,
pub operations: Operations,
}Expand description
A binding, format version 1 (D1). One versioned record per source→mem
obligation: the projection declaration (intent, source_facets,
reference_mems, destination_mem, deny_paths, coverage_semantics,
rules) plus an operations { build, sync, verify } block. Collapses the
legacy projection + flat-ingest split into one record.
This is the live store record — crate::pipeline_store::load_pipeline_configs
reads it version-gated and the projection CLI tree writes it.
Fields§
§version: u32Format version — required. v1 is BINDING_VERSION. A projection file
without it is refused by the loader (integration deferred).
intent: Option<String>What the binding is trying to accomplish — prose for the agent.
source_facets: Vec<String>Source facets (by name) the binding consumes.
reference_mems: Vec<String>Read-only reference mems that supply cross-mem context.
destination_mem: StringThe mem this binding writes into.
deny_paths: Vec<String>Paths excluded from the binding’s scope (workspace-relative globs). Moved up from the per-ingest record — strategy-invariant.
coverage_semantics: CoverageSemanticsWhether the binding claims exhaustive or curated coverage.
rules: Option<Value>Free-form binding rules (e.g. a one-shot lens routing string).
Opaque to the engine — consumed only by the one-shot brief renderer.
prune: Option<PruneConfig>The prune policy (bundle plan 05-verify-sync-engine, F1) — additive,
optional. Absent = prune disabled (no deletion proposals). Present = prune
produces deletion proposals in the sync brief under the requested
PruneGuarantee, validated against the medium’s base-leg
retrievability at binding-validation time. Excluded from hash_binding
(a maintenance policy, not content-defining).
operations: OperationsThe operations this binding declares (build required; sync/verify optional).
Trait Implementations§
Source§impl<'de> Deserialize<'de> for BindingV1
impl<'de> Deserialize<'de> for BindingV1
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
impl Eq for BindingV1
impl StructuralPartialEq for BindingV1
Auto Trait Implementations§
impl Freeze for BindingV1
impl RefUnwindSafe for BindingV1
impl Send for BindingV1
impl Sync for BindingV1
impl Unpin for BindingV1
impl UnsafeUnpin for BindingV1
impl UnwindSafe for BindingV1
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be
downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further
downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSend for T
impl<T> DowncastSend for T
Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.impl<T> Fruit for T
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more