higher-graphen-core 0.4.0

Shared primitive types and contracts for HigherGraphen.
Documentation
mod common;
mod derivation;
mod identity;
mod scenario_policy;
mod validation;
mod valuation_schema;
mod witness;

pub use common::{Description, LifecycleStatus, ObjectRef, ReviewRequirement};
pub use derivation::{
    Derivation, DerivationFailureMode, InferenceRule, VerificationStatus, Verifier, VerifierKind,
};
pub use identity::{
    EquivalenceClaim, EquivalenceCriterion, EquivalenceKind, EquivalenceScope, QuotientEffect,
};
pub use scenario_policy::{
    Capability, CapabilityOperation, CapabilityStatus, Policy, PolicyApplicability, PolicyKind,
    PolicyRule, PolicyStatus, Reachability, RequiredReview, Scenario, ScenarioChanges,
    ScenarioKind, ScenarioStatus, ValidityInterval,
};
pub use valuation_schema::{
    CriterionDirection, CriterionValue, OrderType, SchemaCompatibility, SchemaMapping,
    SchemaMappingKind, SchemaMorphism, SchemaVerification, Tradeoff, Valuation, ValuationCriterion,
    ValuationValue,
};
pub use witness::{PayloadRef, Witness, WitnessStatus, WitnessType};