Installing and Configuring

Cargo.toml

[dependencies]
schubert = "0.1"

Feature Flags

Enable additional features as needed:

[dependencies]
schubert = { version = "0.1", features = ["serde", "policy", "crypto"] }
FeatureEnables
std (default)HashMap, SystemTime, thread-safe audit
serdeSerialization on all types, JSON I/O
karpalType-level proofs (Proven, Rewrite)
parallelBatch operations via rayon
policyTOML policy language
wasmWebAssembly JS bindings
cryptoEd25519 capability tokens
karpal-verifyFormal verification (SMT/Lean)
surrealExact surreal trust arithmetic
holographicMinuet holographic memory

All features compose — enable any combination.

no_std Support

[dependencies]
schubert = { version = "0.1", default-features = false }

When std is disabled: HashMap → BTreeMap, InMemoryAudit is single-threaded, AuditSink trait is unavailable.

Production Configuration

[dependencies]
schubert = { version = "0.1", features = [
    "serde",    # Serialization for policy persistence
    "policy",   # TOML policy files
    "crypto",   # Signed capability tokens
    "parallel", # Batch operations
] }

For high-assurance systems, add karpal, karpal-verify, and surreal.