Crate archimedes_kernel 

Archimedes minimal kernel v0 Proves one minimal Archimedean movement without production concerns.

Re-exports

pub use movement::Event;

pub use movement::LawCheck;

pub use movement::MovementMemory;

pub use movement::Transition;

pub use persistence::load_reality;

pub use persistence::load_signed_reality;

pub use persistence::load_signed_snapshot;

pub use persistence::load_snapshot;

pub use persistence::save_reality;

pub use persistence::save_signed_reality;

pub use persistence::save_signed_snapshot;

pub use persistence::save_snapshot;

pub use persistence::sign_reality;

pub use persistence::sign_snapshot;

pub use persistence::PersistenceError;

pub use persistence::SignedReality;

pub use persistence::SignedSnapshot;

pub use persistence::PERSISTENCE_VERSION;

pub use primitives::Boundary;

pub use primitives::Identity;

pub use primitives::Law;

pub use primitives::Reality;

pub use primitives::State;

pub use verification::detect_drift;

pub use verification::plan_sequence;

pub use verification::simulate_sequence;

pub use verification::Continuity;

pub use verification::DriftCheck;

pub use verification::Inspection;

pub use verification::IntegrityReport;

pub use verification::MovementError;

pub use verification::PlannedSequence;

pub use verification::PreflightReport;

pub use verification::ProofResult;

pub use verification::RealityDiff;

pub use verification::RealityFingerprint;

pub use verification::RealitySnapshot;

pub use verification::Replay;

pub use verification::SimulationReport;

pub use verification::VerificationReport;

Modules

movement

persistence

primitives

verification

Functions

perform_movement

Perform one minimal Archimedean movement. Returns Ok(ProofResult) only if all checks pass. Returns Err(MovementError) on the first failure encountered.

perform_movement_sequence

Perform multiple sequential lawful movements. Stops at first error and returns the error.