Skip to main content

SourceVariantArgs

Struct SourceVariantArgs 

Source
pub struct SourceVariantArgs {
    pub backward_claim: Option<bool>,
    pub backward_source: Option<PathBuf>,
    pub backzone_claim: Option<bool>,
    pub packratlist_claim: Option<String>,
    pub packratlist_source: Option<PathBuf>,
    pub dataform_claim: Option<String>,
}
Expand description

Caller-supplied inputs for the source-variant evidence axes (T12.4d backward; T12.5b backzone; T12.5c/d to come). Provenance-only — these never influence compilation, link materialisation, or the alias map; they only feed the manifest’s source_profile. The bare claims come from --backward/--backzone; --backward-source admits a file whose bytes are hash-checked.

Fields§

§backward_claim: Option<bool>

backward claim: Some(true) = claimed included, Some(false) = excluded, None = no claim.

§backward_source: Option<PathBuf>

A file the caller asserts is the backward source; detection verifies whether its bytes participated in this build (it does not assert semantic identity as the IANA backward).

§backzone_claim: Option<bool>

backzone (PACKRATDATA) claim: Some(true) = claimed included, Some(false) = excluded, None = no claim. Detection is hash-anchored to the pinned reference release (T12.5b); this is the claim side only. (PACKRATLIST subset selection → T12.5c; DATAFORM → T12.5d.)

§packratlist_claim: Option<String>

backzone scope (PACKRATLIST) claim (T12.5c): "full" / "subset" / "none" (else no claim). The bare --packratlist assertion; never promoted to detection.

§packratlist_source: Option<PathBuf>

A file the caller explicitly admits as the PACKRATLIST subset source (T12.5c); detection confirms its bytes participated alongside backzone (→ Subset). Mere zone.tab presence among inputs is not admission and never triggers Subset.

§dataform_claim: Option<String>

DATAFORM encoding claim (T12.5d): "main" / "vanguard" / "rearguard" (else no claim). The bare --dataform assertion; never promoted to detection. Detection is hash-backed against the pinned 2026b .zi artifacts via source_inputs membership — there is intentionally no --dataform-source: the .zi artifacts are compile inputs, so admitting one you did not compile would assert provenance for bytes the build never used.

Trait Implementations§

Source§

impl Clone for SourceVariantArgs

Source§

fn clone(&self) -> SourceVariantArgs

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for SourceVariantArgs

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Default for SourceVariantArgs

Source§

fn default() -> SourceVariantArgs

Returns the “default value” for a type. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.