pub struct Args {
pub include: Vec<String>,
pub target_schema: Option<String>,
pub limit: usize,
pub strict: bool,
}Expand description
Graph health summary.
Default: counts only. Pass --include to drill into details.
Fields§
§include: Vec<String>Opt heavy content into the response: orphans, stubs,
most_connected, missing_fields, stale, dangling_links, tags,
missing_required_outgoing, constraints (standing violations of
declared schema constraints), conformance, integrity, config,
anchors (per-mem counts of the four standalone
anchor-verification states), friction (the workspace-local
refusal ledger’s summary — counts per typed refusal code and
per verb, with per-code reason breakdowns where the code
carries a closed engine-owned discriminator, whole-ledger plus
a recent 24h window; local-only, values drawn from closed
engine-defined vocabularies only), open_questions (per-mem
composed worklist of
what the holding does not know: stubs, recheck/unresolvable
anchors, unsatisfied constraints, dangling links, and a paired
process mem’s open entries — negative findings separated as
already-searched; capped per kind with an explicit more
count), stale_derivations (per-mem derivation edges whose
target changed since the recorded baseline, plus unbaselined
edges — re-assert via memstead relate to refresh), checks
(per-mem counts of the four derived check states plus the
author≠checker independence gate: self_checked /
confirmed_independent / unconfirmable — transport is not
identity, so until a caller-declared identity exists every
ok-checked entity reports unconfirmable; the other two
categories are explicit empties).
conformance lints every entity against the effective schema
into a findings array (write-time typed codes); integrity
adds the consistency axis (dangling links, stubs) to the same
list. config renders the workspace-config projection (per-mem
origin/storage/vcs detail, mutations, plugin) — the same
block MCP’s include_config: true serves.
Repeatable (--include K --include K)
AND comma-string (--include K1,K2) forms both parse — uniform
with memstead overview --include.
target_schema: Option<String>Schema ref (name@x.y.z) the conformance/integrity includes
lint against instead of each mem’s current pin.
limit: usizeMax rows for most_connected and tag_distribution (default: 10).
strict: boolExit non-zero (1) when any included Tier-2 warning kind has
present violations, or when the always-on authoring-drift axis
reports findings (SCHEMA_AUTHORING_SOURCE_MISSING /
SCHEMA_AUTHORING_SOURCE_DIVERGED — no --include opt-in).
The output is rendered first, then the non-zero exit fires.
Include-gated participation today: missing_required_outgoing, constraints;
new Tier-2 codes opt in additively without breaking the flag’s
semantics.
Trait Implementations§
Source§impl Args for Args
impl Args for Args
Source§fn augment_args<'b>(__clap_app: Command) -> Command
fn augment_args<'b>(__clap_app: Command) -> Command
Source§fn augment_args_for_update<'b>(__clap_app: Command) -> Command
fn augment_args_for_update<'b>(__clap_app: Command) -> Command
Command so it can instantiate self via
FromArgMatches::update_from_arg_matches_mut Read moreSource§impl CommandFactory for Args
impl CommandFactory for Args
Source§impl FromArgMatches for Args
impl FromArgMatches for Args
Source§fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>
fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>
Source§fn from_arg_matches_mut(
__clap_arg_matches: &mut ArgMatches,
) -> Result<Self, Error>
fn from_arg_matches_mut( __clap_arg_matches: &mut ArgMatches, ) -> Result<Self, Error>
Source§fn update_from_arg_matches(
&mut self,
__clap_arg_matches: &ArgMatches,
) -> Result<(), Error>
fn update_from_arg_matches( &mut self, __clap_arg_matches: &ArgMatches, ) -> Result<(), Error>
ArgMatches to self.Source§fn update_from_arg_matches_mut(
&mut self,
__clap_arg_matches: &mut ArgMatches,
) -> Result<(), Error>
fn update_from_arg_matches_mut( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>
ArgMatches to self.Source§impl Parser for Args
impl Parser for Args
Source§fn parse_from<I, T>(itr: I) -> Self
fn parse_from<I, T>(itr: I) -> Self
Source§fn try_parse_from<I, T>(itr: I) -> Result<Self, Error>
fn try_parse_from<I, T>(itr: I) -> Result<Self, Error>
Source§fn update_from<I, T>(&mut self, itr: I)
fn update_from<I, T>(&mut self, itr: I)
Auto Trait Implementations§
impl Freeze for Args
impl RefUnwindSafe for Args
impl Send for Args
impl Sync for Args
impl Unpin for Args
impl UnsafeUnpin for Args
impl UnwindSafe for Args
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> 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
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