The package contains SQLite tables and graph files for proof nodes, dependency edges, morphism gates, blockers and status ledger.
ProofLedger = (Claim, Source, Dom, D, ProofObject, Dependencies, Morphisms, Blockers, Status)