Struct Lineage 

pub struct Lineage { /* private fields */ }

What a delivered text derives from.

Implementations

impl Lineage

pub fn of_files(authority: ArchiveAuthority) -> Self

Lineage of text derived from project files only.

pub fn of_presented(presented: Vec<PresentedBinding>) -> Self

Lineage of text derived from caller-supplied sources only. An empty set is not a lineage: it is unknown.

pub fn join(&mut self, other: Self)

Union with another lineage of the same text. A source only one side names is added, never dropped; the text then needs every source of both. Parts of different projects make the lineage unknown. Call ids are not sources: the other side’s are dropped, this side’s stay.

pub fn publish_files(&self)

Publish this lineage into the current call’s source capture, for a declared tool whose reply is derived from text with this lineage and from nothing else (ctx_expand on a resolved recovery copy). The release point then records the reply as it is delivered.

The capture carries project files only: a file-only lineage is published; a lineage that names a caller-presented source, and an incomplete one, mark the capture incomplete — that reply stays unknown rather than being recorded under its file part alone.

pub fn presented_source_ids(&self) -> Option<Vec<String>>

The ids of the sources of a lineage that names caller-supplied sources ONLY, sorted and distinct. None for every other lineage: a file source, an incomplete lineage, no source. The ids are content-free and authorize nothing — ask Lineage::still_admitted.

pub fn is_complete(&self) -> bool

Whether the lineage names every source of its text.

pub fn still_admitted(&self) -> Result<(), LineageRefusal>

Current authority of every bound source. Call inside the REQUEST_PROJECT scope of the request the text returns in.

• files: every file is re-read through the admitted rooted reader under the current policy and role and must be unchanged, complete and storable;
• presented: project, caller and role must be those of the request, and a presentation of exactly that binding must exist that was admitted under the current policy identity within the validity. This says nothing about the caller’s or a provider’s own copy.

pub fn still_permitted(&self) -> Result<(), LineageRefusal>

Current permission of every bound source, for returning a provider-sealed item (#2177). Call inside the REQUEST_PROJECT scope of the request the item returns in.

Identical to Lineage::still_admitted except for the files: every file must still be permitted for its tool under the current policy and role, complete and storable (not restricted, E3), but it may have CHANGED since it was read (ArchiveAuthority::still_permitted). A read → think → edit loop therefore keeps its sealed items; a source that is gone, withheld or restricted refuses them. Presented bindings are checked exactly as in Lineage::still_admitted.

Trait Implementations

impl Clone for Lineage

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Lineage

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Lineage

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Lineage

impl PartialEq for Lineage

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Lineage

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Lineage