Struct Args 

pub struct Args {
    pub id: String,
    pub target_type: String,
    pub section_map: Vec<String>,
    pub drop_metadata: Vec<String>,
    pub expected_hash: Option<String>,
    pub auto_hash: bool,
    pub force: bool,
    pub dry_run: bool,
    pub note: Option<String>,
}

Change an entity’s type in place. The existing sections and metadata must satisfy the target type; --section-map old=new renames section keys on the way (a section the target does not declare refuses UNKNOWN_SECTION with the target’s declared sections and a proposed map in the details). Every incoming and outgoing edge, cross-mem included, is re-checked against the target type’s relationship pins and a violation refuses INVALID_REL_SHAPE listing the offending edges; every problem is reported together in one refusal (mixed classes carry RETYPE_REFUSED). The id, file path, and incoming edges stay; one commit lands with the retype provenance kind; check records and derivation baselines on the entity become stale because its content hash moves, and the response says so. Referrers in a lazy (unloaded) mem are probed through storage; a mem that cannot be probed refuses RETYPE_REFERRER_UNPROBEABLE naming it.

Fields

id: String

Entity ID (mem--slug). A bare slug resolves when exactly one mounted mem carries it (announced as SHORT_ID_RESOLVED); otherwise refuses ENTITY_ID_MISSING_MEM naming the candidates.

target_type: String

The target type, as declared by the mem’s schema.

section_map: Vec<String>

Section key renames applied before validation: old=new, repeatable or comma-separated (statement=conclusion,notes=context).

drop_metadata: Vec<String>

Metadata keys to drop explicitly, comma-separated or repeatable: fields the current type declares and the target does not (a spec’s level on the way to a memo). Never inferred — an undeclared field that is not listed refuses UNKNOWN_METADATA_FIELD.

expected_hash: Option<String>

Hash from memstead entity <id>. Required unless --auto-hash, --force, or --dry-run.

auto_hash: bool

Refetch the current hash immediately before writing.

force: bool

Skip the hash check (explicit overwrite).

dry_run: bool

Validate everything and report the prospective hash without writing, committing, or changing the store.

note: Option<String>

Agent-authored provenance note (≤280 chars). When [mutations].require_notes = true a missing note adds a NOTE_MISSING warning.

Trait Implementations

impl Args for Args

fn group_id() -> Option<Id>

Report the ArgGroup::id for this set of arguments

fn augment_args<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate Self via FromArgMatches::from_arg_matches_mut

fn augment_args_for_update<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate self via FromArgMatches::update_from_arg_matches_mut

impl CommandFactory for Args

fn command<'b>() -> Command

Build a Command that can instantiate Self.

fn command_for_update<'b>() -> Command

Build a Command that can update self.

impl Debug for Args

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

Formats the value using the given formatter.

impl FromArgMatches for Args

fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn from_arg_matches_mut( __clap_arg_matches: &mut ArgMatches, ) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn update_from_arg_matches( &mut self, __clap_arg_matches: &ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

fn update_from_arg_matches_mut( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

impl Parser for Args

fn parse() -> Self

Parse from std::env::args_os(), exit on error.

fn try_parse() -> Result<Self, Error>

Parse from std::env::args_os(), return Err on error.

fn parse_from<I, T>(itr: I) -> Self

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Parse from iterator, exit on error.

fn try_parse_from<I, T>(itr: I) -> Result<Self, Error>

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Parse from iterator, return Err on error.

fn update_from<I, T>(&mut self, itr: I)

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Update from iterator, exit on error.

fn try_update_from<I, T>(&mut self, itr: I) -> Result<(), Error>

where I: IntoIterator<Item = T>, T: Into<OsString> + Clone,

Update from iterator, return Err on error.