pub struct Binding {
pub version: u32,
pub intent: Option<String>,
pub sources: Vec<Source>,
pub reference_mems: Vec<String>,
pub destination_mem: String,
pub deny_paths: Vec<String>,
pub coverage_semantics: Option<CoverageSemantics>,
pub rules: Option<Value>,
pub prune: Option<PruneConfig>,
pub operations: Operations,
}Expand description
A binding, format version 2 — one record per pipeline. The single
versioned file at projections/<mem>/<name>.json that alone fully defines
the obligation: intent, inline Source entries (each carrying the
medium and facet halves the retired standalone records held),
reference_mems, destination_mem, deny_paths, coverage_semantics,
rules, prune, and the operations { build, sync, verify } block.
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. v2 is BINDING_VERSION. A projection file
without it (or with a prior version) is refused by the loader with a
typed error naming memstead projection migrate.
intent: Option<String>What the binding is trying to accomplish — prose for the agent.
sources: Vec<Source>The inline sources the binding consumes, in declaration order.
Each name is unique within the record and keys per-source state.
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).
coverage_semantics: Option<CoverageSemantics>Whether the binding claims exhaustive or curated coverage.
Optional: None means not stated — a different fact from
“stated as exhaustive”. Consumers never read this raw; they read
effective_coverage_semantics, which resolves None per
medium (all sources enumerable → exhaustive; any non-enumerable
source → curated). An explicit exhaustive over a
non-enumerable source is refused by validate_binding.
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 Binding
impl<'de> Deserialize<'de> for Binding
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 Binding
impl StructuralPartialEq for Binding
Auto Trait Implementations§
impl Freeze for Binding
impl RefUnwindSafe for Binding
impl Send for Binding
impl Sync for Binding
impl Unpin for Binding
impl UnsafeUnpin for Binding
impl UnwindSafe for Binding
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