Skip to main content

StandardsCommand

Enum StandardsCommand 

Source
pub enum StandardsCommand {
    Metrics {
        json: bool,
    },
    Lint {
        dir: PathBuf,
        against: Option<String>,
    },
    Waive {
        rule: String,
        revision: Option<u64>,
        finding: Option<String>,
        reason: String,
        expires: String,
    },
    Attest {
        rule: String,
        reason: String,
    },
}
Expand description

Subcommands under kranz standards — the Flight Rules surface (ticket .kranz/tickets/flight-rules-pack-contract.md, KRZ-341).

Variants§

§

Metrics

Fold Flight Rules effectiveness across mission event logs and traced defect tickets. Raw denominators are always shown; interpretive smells remain suppressed below the documented minimum sample count.

Fields

§json: bool

Emit the deterministic machine-readable report

§

Lint

Load a pack’s [standards] corpus and print the normalized manifest: every RFC and rule with its effective lifecycle status, checker binding, and scopes, plus the sha256 content digest and the trust posture (an external/untracked pack is advisory-only — enforced rules are refused at load naming the remedy).

With --against <ref>, the base pack is read from TRACKED BLOBS at that git ref (never the worktree) and lifecycle transition violations are refused: absent/draft → enforced, a semantic rule change without a revision increment, a disappeared known rule ID, tombstone reactivation. Exit 0 clean, 1 on load errors or refused transitions.

Fields

§dir: PathBuf

The pack directory containing pack.toml

§against: Option<String>

Base git ref (branch or sha) whose tracked pack bytes define the approved lifecycle state for the transition check

§

Waive

Record an authorized human waiver for ONE standards failure (ticket flight-rules-waiver-decisions, KRZ-344; design D-I) — the only approval surface. Displays the finding, the pinned rule, the affected paths, and the diff digest the waiver binds, then appends standards.waiver.approved to the mission log. Refuses: a rule with waivable: false, a rule absent from the approved pin (an expired/ retired rule or RFC is never pinned), a mismatched revision, an absent finding, an already-waived finding, or a past expiry. The approver is recorded honestly as local-operator plus this surface — a model may request a waiver but can never approve one.

Fields

§rule: String

The pinned rule id to except (e.g. ENG-RUST-014)

§revision: Option<u64>

The revision you believe you are waiving (defaults to the pinned revision; a mismatch refuses rather than silently rebinding)

§finding: Option<String>

Waive only the latest finding with this subject (disambiguates when several findings cite the rule)

§reason: String

Why the exception is granted (recorded verbatim)

§expires: String

Expiry instant, RFC 3339 (e.g. 2026-09-01T00:00:00Z) — must be in the future; waivers are never permanent

§

Attest

Record the authorized human verdict for one approval-pinned manual-attestation rule. The attestation binds to the current affected paths and diff digest, so any relevant change invalidates it. The approver is always the local operator using this CLI surface.

Fields

§rule: String

The pinned manual-attestation rule id

§reason: String

Why the operator judges the current change compliant

Trait Implementations§

Source§

impl Debug for StandardsCommand

Source§

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

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

impl FromArgMatches for StandardsCommand

Source§

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

Instantiate Self from ArgMatches, parsing the arguments as needed. Read more
Source§

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

Instantiate Self from ArgMatches, parsing the arguments as needed. Read more
Source§

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

Assign values from ArgMatches to self.
Source§

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

Assign values from ArgMatches to self.
Source§

impl Subcommand for StandardsCommand

Source§

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

Append to Command so it can instantiate Self via FromArgMatches::from_arg_matches_mut Read more
Source§

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

fn has_subcommand(__clap_name: &str) -> bool

Test whether Self can parse a specific subcommand

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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> FutureExt for T

Source§

fn with_context(self, otel_cx: Context) -> WithContext<Self>

Attaches the provided Context to this type, returning a WithContext wrapper. Read more
Source§

fn with_current_context(self) -> WithContext<Self>

Attaches the current Context to this type, returning a WithContext wrapper. Read more
Source§

impl<A, B, T> HttpServerConnExec<A, B> for T
where B: Body,

Source§

impl<T> Instrument for T

Source§

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

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

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

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

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.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

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

fn with_current_subscriber(self) -> WithDispatch<Self>

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