Skip to main content

GraphIdentityAdmission

Struct GraphIdentityAdmission 

Source
pub(super) struct GraphIdentityAdmission {
Show 14 fields source_admitted: bool, rejections: Vec<GraphIdentityRejection>, rejection_keys: BTreeSet<IdentityRejectionKey>, rejected_facts_by_path: BTreeMap<String, u64>, observed_facts: BTreeMap<String, BTreeSet<IdentityFactKey>>, observed_fact_bytes: u64, reused_rejection_facts: BTreeMap<String, BTreeSet<IdentityFactKey>>, relation_fact_indices: BTreeMap<String, Vec<usize>>, resolution_projections: BTreeMap<String, ResolutionKeyProjection>, reused_rejection_counts: BTreeMap<String, u64>, reused_parser_rejection_counts: BTreeMap<String, u64>, reused_rejection_detail_counts: BTreeMap<String, u64>, reused_rejection_details_incomplete: BTreeSet<String>, rejection_details_dropped_by_path: BTreeSet<String>,
}
Expand description

Bounded admission report shared by entity, relation, and key projection.

Fields§

§source_admitted: bool

Whether the parser-output graphs have passed the shared source boundary.

§rejections: Vec<GraphIdentityRejection>

Retained typed details, capped independently from the count.

§rejection_keys: BTreeSet<IdentityRejectionKey>

Exact membership for the retained typed detail vector.

§rejected_facts_by_path: BTreeMap<String, u64>

Number of parser facts rejected per source path.

§observed_facts: BTreeMap<String, BTreeSet<IdentityFactKey>>

Every observed rejected parser fact, retained independently of detail rows so the global detail ceiling cannot make replays overcount.

§observed_fact_bytes: u64

Exact bytes retained by every identity map, detail key, and reconciliation entry, charged to the graph-work budget incrementally.

§reused_rejection_facts: BTreeMap<String, BTreeSet<IdentityFactKey>>

Persisted typed fact identities retained separately from current observations so removed outcomes can be subtracted exactly.

§relation_fact_indices: BTreeMap<String, Vec<usize>>

Original parser relation ordinal for each admitted relation after source-identity filtering. This remains private because it is only needed to keep derived rejection facts tied to parser observations.

§resolution_projections: BTreeMap<String, ResolutionKeyProjection>

Resolution keys derived once at admission and carried into projection.

§reused_rejection_counts: BTreeMap<String, u64>

Omission counts retained from the current generation for safely reused graphs and reconciled with the current pass after it regenerates any key, Markdown, or derived details it owns.

§reused_parser_rejection_counts: BTreeMap<String, u64>

Parser-baseline omission retained for reused structural/fallback graphs. This stays separate from identity omissions because parser coverage counts only relations when no identity fact was rejected.

§reused_rejection_detail_counts: BTreeMap<String, u64>

Number of persisted typed facts retained for each reused path. This is the baseline for exact post-rederivation count reconciliation.

§reused_rejection_details_incomplete: BTreeSet<String>

Reused paths whose persisted detail ceiling leaves old identities unknowable. These paths require a complete source reparse before a replacement publication can be exact.

§rejection_details_dropped_by_path: BTreeSet<String>

Paths where a distinct typed rejection detail was evicted by the publication-wide detail ceiling.

Implementations§

Source§

impl GraphIdentityAdmission

Source

fn record( &mut self, path: &str, span: IdentitySpan, parser: ParserKind, fact_index: u64, fields: &[(GraphIdentityField, GraphIdentityRejectionReason)], control: &IndexWorkControl, ) -> Result<(), CliError>

Record one parser fact and every failed identity field without retaining raw input.

Source

fn reserve_identity_bytes( &mut self, additional_bytes: u64, control: &IndexWorkControl, limit: u64, ) -> Result<(), CliError>

Reserve one newly owned identity-state entry before retaining it.

Source

fn adjust_identity_bytes( &mut self, before: u64, after: u64, ) -> Result<(), CliError>

Adjust the cached identity-state total when a merge replaces entries.

Source

fn merge_observed_identity_path( &mut self, path: &str, incoming_facts: Option<&BTreeSet<IdentityFactKey>>, incoming_total: u64, control: &IndexWorkControl, ) -> Result<(), CliError>

Merge one incoming observed-fact/count path without recounting the existing report.

Source

fn reserve_reused_path_bytes( &mut self, path: &str, already_retained: bool, control: &IndexWorkControl, limit: u64, ) -> Result<(), CliError>

Reserve a per-path reconciliation entry before retaining its path key.

Source

fn record_rejected_fact_count( &mut self, path: &str, count: usize, control: &IndexWorkControl, ) -> Result<(), CliError>

Add rejected-fact count that exceeded the bounded typed-detail rows.

Source

fn merge( &mut self, other: Self, control: &IndexWorkControl, ) -> Result<(), CliError>

Merge one report while retaining the global detail bound.

Source

fn rejected_facts_for(&self, path: &str) -> u64

Return the number of rejected parser facts for one path.

Source

fn for_paths(&self, paths: &BTreeSet<String>) -> Result<Self, CliError>

Return the source-admission details owned by one publication path set.

Source

fn has_rejections(&self) -> bool

Return whether this report contains any rejected source facts.

Source

fn incomplete_reused_rejection_paths(&self) -> &BTreeSet<String>

Return reused paths that cannot be reconciled without reparsing source.

Source

fn rejection_details_dropped_for(&self, path: &str) -> bool

Return whether a path lost a distinct typed rejection detail at the publication-wide ceiling.

Source

fn rejected_facts_for_graph( &self, path: &str, derived: &Self, ) -> Result<u64, CliError>

Reconcile a reused path’s persisted total with current re-derived facts.

Source

fn parser_rejection_for_graph(&self, path: &str) -> u64

Return the parser-baseline omission retained for one reused path.

Source

pub(super) fn source_admitted(&self) -> bool

Return whether parser-output graphs have passed the shared source boundary.

Source

fn paths(&self) -> impl Iterator<Item = &str>

Return paths that need a graph publication because admission changed them.

Source

fn resolution_projection(&self, path: &str) -> Option<&ResolutionKeyProjection>

Return the already-admitted resolution projection for one graph path.

Source

fn relation_parser_index(&self, path: &str, admitted_index: usize) -> usize

Translate an admitted relation index back to its parser ordinal.

Trait Implementations§

Source§

impl Clone for GraphIdentityAdmission

Source§

fn clone(&self) -> GraphIdentityAdmission

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 GraphIdentityAdmission

Source§

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

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

impl Default for GraphIdentityAdmission

Source§

fn default() -> GraphIdentityAdmission

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> DynClone for T
where T: Clone,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts 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 more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts 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
§

impl<T> Pointable for T

§

const ALIGN: usize

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
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.
§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more