Skip to main content

NegativeCapability

Enum NegativeCapability 

Source
pub enum NegativeCapability {
Show 16 variants DoesNotClaimAllIanaReleasesWithoutAdmission, DoesNotClaimArbitraryTzifRoundtrip, DoesNotClaimFullToctouResistance, DoesNotClaimFutureCivilTimeAuthority, DoesNotClaimLeapSmearSemantics, DoesNotClaimRangeTruncationLeapExpiryInteractionParityWithoutWitness, DoesNotClaimReportAuthenticityWithoutSignatureOrReproducibleContext, DoesNotClaimTzifValidatorAsSecuritySandbox, DoesNotClaimUnadmittedVendorParity, DoesNotCurateTimeOrDefineDisplayNames, DoesNotDependOnHostEndianness, DoesNotInferDataformFromContent, DoesNotInferSourceVariantFromOutputShape, DoesNotRequireManifestToReadTzif, DoesNotShipOrOperateVendorQemuLabsInCoreRepo, DoesNotTreatManifestAsTzifSemantics,
}
Expand description

A non-claim, made a first-class machine-visible contract (T15.2). Advertised restraint is engineering, not decoration: each variant renders a stable snake_case string and names the guard/test/receipt that enforces the boundary (enforced_by). “We don’t claim X” is exactly where infrastructure tools get sloppy — this makes each non-claim auditable.

Variants§

§

DoesNotClaimAllIanaReleasesWithoutAdmission

§

DoesNotClaimArbitraryTzifRoundtrip

§

DoesNotClaimFullToctouResistance

§

DoesNotClaimFutureCivilTimeAuthority

§

DoesNotClaimLeapSmearSemantics

zic-rs emits discrete TZif leap-second records; it never implements leap smearing.

§

DoesNotClaimRangeTruncationLeapExpiryInteractionParityWithoutWitness

The interaction of range truncation (-r) with leap-expiry has no semantic witness and is not claimed (the Rolling-leap-under--r case is a hard error, not a parity claim).

§

DoesNotClaimReportAuthenticityWithoutSignatureOrReproducibleContext

§

DoesNotClaimTzifValidatorAsSecuritySandbox

§

DoesNotClaimUnadmittedVendorParity

§

DoesNotCurateTimeOrDefineDisplayNames

§

DoesNotDependOnHostEndianness

TZif is big-endian on disk; zic-rs writes it big-endian regardless of host endianness.

§

DoesNotInferDataformFromContent

§

DoesNotInferSourceVariantFromOutputShape

§

DoesNotRequireManifestToReadTzif

§

DoesNotShipOrOperateVendorQemuLabsInCoreRepo

The core repo admits vendor-oracle receipts; it does not run/ship QEMU/VM labs (T16.5).

§

DoesNotTreatManifestAsTzifSemantics

Implementations§

Source§

impl NegativeCapability

Source

pub fn as_str(self) -> &'static str

The stable snake_case identifier (the report’s capability field).

Source

pub fn enforced_by(self) -> &'static str

The guard/test/receipt that enforces this non-claim (never empty — a non-claim without an enforcing reference would be decorative, which T15.2 forbids).

Trait Implementations§

Source§

impl Clone for NegativeCapability

Source§

fn clone(&self) -> NegativeCapability

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 Copy for NegativeCapability

Source§

impl Debug for NegativeCapability

Source§

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

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

impl Eq for NegativeCapability

Source§

impl PartialEq for NegativeCapability

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl StructuralPartialEq for NegativeCapability

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> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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