Crate fcdb_concur 

Enishi Concurrency (Own+CFA)

Phase D: Own+CFA Final - Ownership types and capability functor composition

Merkle DAG: enishi_concur -> ownership_types, cap_functor, txn_safety

Modules

perms

Permission flags for capabilities

Structs

BorrowCapCid

Phase D: Borrowed Capability Content Identifier Compile-time borrow checking prevents use-after-free and data races

BorrowMutCapCid

Phase D: Mutable Borrowed Capability Content Identifier Exclusive access for mutation with capability checking

CapCid

Capability-CID pair

CapTraceEntry

CapTracer

Phase D: Capability Tracer for audit trail

LeaseInfo

LeaseManager

Phase D: Lease management for capability expiration

OwnedCapCid

Phase D: Owned Capability Content Identifier Rust ownership ensures exclusive access and prevents data races

ResourceManager

Phase D: Resource Manager with ownership tracking

SafeExecutor

Phase D: Safe wrapper for concurrent operations

Transaction

Phase D: Transaction with ownership tracking

Enums

ConcurError

Errors for concurrency operations

Traits

CapFunctor

Phase D: Capability Functor F(Cap ▷ X) = Cap ▷ F(X) - functor composition for security