Enum ContractsCommand 

pub enum ContractsCommand {
    List {
        profile: Option<String>,
    },
    Show {
        table: String,
        profile: Option<String>,
    },
    Queue {
        profile: Option<String>,
        limit: Option<usize>,
    },
    Remember {
        table: String,
        kind: ClaimKindArg,
        value: String,
        column: Option<String>,
        reason: Option<String>,
        profile: Option<String>,
    },
    Review {
        claim_id: String,
        confirm: bool,
        reject: bool,
    },
    Decide {
        prefix: String,
        decision: ReviewDecisionArg,
        profile: Option<String>,
    },
    Forget {
        claim_id: String,
        reason: ForgetReasonArg,
    },
}

Variants

List

Fields

profile: Option<String>

Show

Fields

table: String

profile: Option<String>

Queue

Fields

profile: Option<String>

limit: Option<usize>

Maximum candidates to list. Clamped to 200; a queue is a worklist, not an archive.

Remember

Fields

table: String

kind: ClaimKindArg

value: String

column: Option<String>

reason: Option<String>

Why the directive claim holds — a sentence the model reads alongside the value so a claim that contradicts a plausible schema reading (use return_date, not rental_date) loses less often. Forwarded to the directive kinds only (grain, time-column, column-role); ignored for description/alias. Optional: a claim with no reason is the default.

profile: Option<String>

Review

Fields

claim_id: String

confirm: bool

reject: bool

Decide

Act on a claim from the turn that just showed it, by a short stored claim-id prefix (the ki-xxxx contracts list abbreviates to), not a 64-character id. Spec D. The prefix is resolved against the resolved profile’s claims to exactly one claim, or refused; the decision then reaches the existing confirm/reject/use_candidate_once operations — it is not a second implementation of them.

Fields

prefix: String

A leading prefix of a stored claim id. Unambiguous-or-refused: zero matches or more than one is a typed error that changes nothing.

decision: ReviewDecisionArg

profile: Option<String>

Forget

Fields

claim_id: String

reason: ForgetReasonArg

Trait Implementations

impl Clone for ContractsCommand

fn clone(&self) -> ContractsCommand

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractsCommand

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

Formats the value using the given formatter.

impl Eq for ContractsCommand

impl FromArgMatches for ContractsCommand

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<'b>( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

impl PartialEq for ContractsCommand

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ContractsCommand

impl Subcommand for ContractsCommand

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

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

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

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

fn has_subcommand(__clap_name: &str) -> bool

Test whether Self can parse a specific subcommand