Enum ScaleProofObligation 

#[non_exhaustive]
pub enum ScaleProofObligation {
    ExactTopology,
    ExactPayloadIdentity,
    ExactUnchangedWorldRest,
    RestWorld,
    RestWorldAndUnitScale,
    TransformOnlyAffine,
    TrackValues,
    MeshPositions,
    KeyTranslations,
    CubicInteriors,
    Trajectories,
    SkinAndBounds,
    AffectedInverseBinds,
    UnaffectedInverseBinds,
    ExactConnectorProjection,
}

One typed proof claim kind derived from the plan’s validated inventory.

Exact members are not duplicated here: inspect ScalePlan::affected_nodes, ScalePlan::transform_only_attachments, and the field, payload, and topology rows exposed by ScalePlan::ledger.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

ExactTopology

Preserve normalized parents and complete source projection topology.

ExactPayloadIdentity

Preserve clip, track, instance, skin, mesh, and primitive identities.

ExactUnchangedWorldRest

Preserve exact world rest for the nodes outside a rest/bind closure.

RestWorld

Prove affected rest-world translation and orientation.

RestWorldAndUnitScale

Prove affected rest-world facts and the nested unit-scale postcondition.

TransformOnlyAffine

Probe complete expected affines of transform-only attachments.

TrackValues

Compare all rewritten and preserved animation values.

MeshPositions

Compare all rewritten and preserved base positions.

KeyTranslations

Compare affected translation tracks at their key times.

CubicInteriors

Compare affected translation tracks at bounded cubic interior times.

Trajectories

Compare sampled world-space trajectories.

SkinAndBounds

Run the one shared affected-skin walk producing skin and bounds results.

AffectedInverseBinds

Check rewritten inverse-bind slots.

UnaffectedInverseBinds

Check preserved inverse-bind slots outside the closure.

ExactConnectorProjection

Preserve connector locals and check bridged projected successors.

Trait Implementations

impl Clone for ScaleProofObligation

fn clone(&self) -> ScaleProofObligation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ScaleProofObligation

impl Debug for ScaleProofObligation

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

Formats the value using the given formatter.

impl Eq for ScaleProofObligation

impl PartialEq for ScaleProofObligation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ScaleProofObligation