§
Sovereign.Software
↓ .MD

← The Sovereign Software Index

Tasks & Finance

Beancount

Plain-text double-entry accounting that checks ledger invariants locally, without bank scraping or a subscription.

1. Overview

Plain-text double-entry accounting that checks ledger invariants locally, without bank scraping or a subscription.

Category: Tasks & Finance.

2. Version and scope assessed

Version assessed: Source commit 9747213802acb733ce53acc6e963f5961f47d6cd.

3. Overall determination

Computing determination

4. Principle profile

Principle findings for Beancount
OrderPrincipleFinding
ISovereigntyNot assessed
IILongevityNot assessed
IIILocality✓ Meets
IVTransparency and ControlNot assessed

5. Fundamental requirements

Fundamental requirements for Beancount
RequirementStatus
E1 Independent access to essential information✓ Pass
E2 Practicable exit and migration? Not Verified
E3 Independent interpretation and recovery? Not Verified
E4 Continuing authority and custody over already-created work✓ Pass
E5 Governability of consequential actions? Not Verified

6. Evidence and verification

7. Migration and recovery

Native storage format: UTF-8 plain-text Beancount ledgers.

Synchronization or runtime model: Git version control or file sync.

Example export or inspection command (not verified against any particular version or data set): bean-query ledger.beancount 'SELECT account, sum(position)'

8. Architectural strengths

Established strengths and their scope are recorded in the evidence and assessment findings on this page.

9. Architectural limitations

10. Assessment findings and remaining work

Evidence update: 23 October 2026

Assessment follow-up: These bounded findings are incorporated into the evidence above. Eligibility and principle ratings are deliberately unchanged; their reconciliation and any blank-status fixes are deferred to the next pass. Reproduction details and retained inputs are in evidence/third-pass/batch-7/.

Human-readable criteria: Can an independent person read the ledger, validate it, reproduce its reports, preserve its currencies and metadata, and continue accounting without Beancount.io or another hosted service?

Verification scenario: Independently parse postings, lots, prices, currencies, and reports, and run ledger balance invariants.

What may invalidate an overconfident claim: Do not conflate with hledger; syntax, extensions, and semantics differ.

Documentation starting point: https://beancount.github.io/docs/

Rating reconciliation: 24 October 2026

E3 and E5 remain Not Verified for the existing declared scope. Longevity and Transparency and Control are Not assessed pending their required minimums. Sovereignty is also Not assessed because the required access/exit/custody minimums are not all established. The prior E2 Pass is withdrawn; its essential-record migration comparison remains incomplete. This is a targeted evidence decision, not a finding that the product fails. Existing E1, E4 and Locality findings were not re-certified.

Remaining: Independent exact balance/lot/FX reproduction, plugin effects, migration to another ledger, v2/v3 compatibility, report fidelity and actual editing/recovery. E5 needs plugin/import and generated-transaction review, visible source changes and correction/restore boundaries; balancing alone does not establish oversight.

Next without installing locally: Use a synthetic ledger with expected balances, lots/FX, plugin configuration and source hashes; compare an independent evaluator or supplied result record, and inspect pad/import/plugin diffs and recovery evidence.

The individual decision and provenance are retained in evidence/rating-reconciliation/batch-7/. Overall: Insufficient evidence.

Contribute verification evidence for Beancount

Have you tested clean-machine restoration, format migration, or failure rollback for Beancount? We welcome reproducible laboratory logs, synthetic test fixtures, and independent assessments to resolve open findings.

Read the evaluation protocol · Submit verification records on GitHub

Individually reconciled in rating batch 7 on 24 October 2026. E3/E5 remain Not Verified for explicit missing coverage; dependent unsupported findings corrected. Previously resolved questions are retained, not counted again. E1/E4/Locality were not re-certified by this targeted review. The assessment procedure is described in the methodology.