Deterministic economic oversight and zero-knowledge formal verification.
AEOS applies reproducible computational methods to defined financial populations, accounting controls, and software invariants. Each engagement specifies its population boundary, verification objectives, and evidentiary limitations—supporting financial audit, control testing, and fiduciary decision-making through traceable, independently verifiable evidence.
Forensic Ledger Audits & DORA Compliance
71.07M ledger rows and 15.41 Trillion SEK under deterministic scrutiny. Liquidity recovery (No Cure, No Pay) and DORA Art 30 third-party audits for boards and CFOs.
SP1 zkVM Solvency & DeFi Invariant Engine
Mathematical invariant proofs for smart contracts (Uniswap v4 Singleton) and zero-knowledge solvency attestations with 99.92% state compression. Proven no counterexample.
Core Practice Areas & Engagement Models
Each engagement produces a documented evidence package tailored to its verification objectives. Cryptographic commitments and zero-knowledge proofs are provided where implemented, applicable, and independently verifiable.
Forensic Liquidity Recovery
Comprehensive reconciliation of accounts payable ledgers for corporate groups, industrial enterprises, and public entities. Identifies duplicate disbursements, unapplied credit notes, and erroneous debits under strict civil restitution doctrines (condictio indebiti).
- ✔ 20% contingency fee on cash actually recovered
- ✔ 0 SEK fixed fees or upfront retainer
- ✔ Complete legal claim dossier provided for recovery
Statutory Audit Support & Procurement Oversight
Independent expert working papers for elected municipal and regional audit committees. 100% census mapping threshold clustering below direct procurement ceilings, contract adherence, and authorization deviations under the Local Government Act.
- ✔ 100% census across total ledger population
- ✔ Uncovers procurement threshold clustering and split purchasing
- ✔ Fixed institutional audit fee within committee budget
Industrial Energy & Excise Tax Recovery
Independent forensic review of historical energy and excise taxation for manufacturing and energy-intensive industries. Identifies dormant refund entitlements and processes retroactive statutory claims directly to corporate tax accounts.
- ✔ Review of historical consumption, process loads & excise billing
- ✔ End-to-end statutory reassessment dossier filing
- ✔ 100% success-based fee on credited liquid refunds
Public Procurement Market Intelligence
Empirical decision dossiers for enterprises bidding in public sector tenders. Synthesizes verified multi-year purchasing volumes, call-off patterns, and actual disbursements across Sweden's 290 municipalities and 21 regions based on statutory public records.
- ✔ Verified historical spend and call-off volumes across authorities
- ✔ Empirical pricing and vendor dynamics for competitive bids
- ✔ Fixed fee per analyzed market sector or vendor category
Internal Control & DORA/NIS2 Contract Review
Independent technical review working papers for corporate boards, audit committees, and engagement teams. Assesses key ICT third-party contractual provisions under DORA (Art 30), contract compliance, maverick spending, and approval deviations.
- ✔ 100% comprehensive transaction coverage replacing manual sampling
- ✔ DORA Art 30 & NIS2 supply chain & ICT contractual review
- ✔ Quantifies contract leakage, off-contract spend, and regulatory risks
Protocol Security & zkVM Solvency Proofs
Formal verification of smart contracts (EVM, DeFi) and zero-knowledge proof of solvency via Succinct SP1 zkVM. Prove full reserve backing and ledger integrity without disclosing sensitive underlying transaction records.
- ✔ Formal invariant proofs and economic canary monitoring
- ✔ SP1 zkVM STARK/SNARK proofs for reserve balances
- ✔ Post-quantum key encapsulation mechanism (CRYSTALS-Kyber ML-KEM-768)
Full-Population Testing and Sampling Risk: Complementary Audit Evidence
Statistical sampling and full-population testing provide complementary forms of audit evidence. When a complete and reconciled population is available, a correctly specified deterministic control can be evaluated across every record—eliminating sampling risk for that specific test within the defined population boundary.
Coverage Profile: Statistical Sample vs Full-Population Testing
The grid below models an annual ledger flow of 100,000 transactions across 500 audit blocks. Toggle the models below to evaluate audit coverage and sampling risk.
Audit Methodology: Statistical Sampling vs Deterministic Full-Population Testing
| Evaluation Parameter | Statistical Sampling (Traditional Practice) | Deterministic Full-Population Testing (AEOS) | Fiduciary & Methodological Impact |
|---|---|---|---|
| Transaction Scope | Statistical sample of transaction population | 100.00% exhaustive census (71.07M rows in Cat A) | Eliminates sampling risk for automated deterministic test rules across full dataset. |
| Fee Alignment Model | Standard billable hours model regardless of recovery outcome | Contingency fee arrangement (No Cure, No Pay for recovery) | Fees billed exclusively as an agreed share of verified, actually recovered funds. |
| Data Sovereignty & Privacy | External data hosting or cloud-based spreadsheet exchange | Isolated local runtime (0 Bytes network egress perimeter) | Raw data processed in air-gapped cleanroom with zero cloud AI API dependencies. |
| Processing Throughput | Multi-week manual voucher retrieval and inspection cycles | Vectorized columnar execution across complete transaction corpus | Rapid deterministic collision detection across millions of records. |
| Evidentiary Provenance | Traditional audit memoranda and sample test summaries | Execution manifests sealed with SHA-256 and Merkle anchors | Cryptographically anchored evidence ledger supporting professional and legal review. |
The 5-Level Assurance Hierarchy: Separating Evidence from Professional Judgment
AEOS establishes an explicit boundary between computational proof and professional audit evaluation. Algorithmic determinism provides rigorous Level 1–4 technical evidence, serving as an unassailable foundation for human Level 5 fiduciary decision-making.
Processing Coverage
100% of records in the acquired dataset are evaluated against the formal invariant (N=100%).
Population Reconciliation
Acquired data (D_a) is formally reconciled against published financial statements and source control totals (D_s).
Computational Determinism
Identical inputs, code, and environment reproduce identical canonical results (X_1 = X_2 ⇒ F(X_1) = F(X_2)).
Independent Verification
Independent parties verify Merkle root anchors, execution traces, and optional zero-knowledge proofs.
Professional Evaluation
Qualified auditors, CFOs, or legal counsel assess primary evidence, counterparty defences, and legal merits.
Independent Fiduciary Oversight Grounded in Mathematical Determinism
AEOS (Fiduciary Systems & Economic Oversight) was established by Emil Jansson to provide independent computational assurance, formal verification, and forensic ledger analytics. We deliver transparent, reproducible evidence models that support professional auditors, municipal committees, and executive boards.
By uniting statutory administrative and civil restitution law (condictio indebiti, LOU 2016:1145, EU DORA Art 30) with deterministic computational science, AEOS has audited over 71 million ledger transactions and 15.41 Trillion SEK in executed public and corporate cash flows across our benchmark corpus. Every transaction is evaluated against a formal rules engine in a hermetically sealed runtime—with zero external cloud dependencies.
Emil Jansson
AEOS operates as an independent factual auditing and analytical body for boards, audit committees, funds, and executive leadership. All engagements are executed under formal fiduciary charters and clear contractual liability caps.
Independent Cryptographic Proof Verification
Validate audit working papers and ledger integrity directly in your browser. Every SHA-256 digest and proof structure is computed client-side with zero server dependency.
Cryptographic Certificate OFFICIAL ATTESTATION VERIFIED (PASS)
Hermetic Isolation & Regulatory Integrity
Our analytical execution runtime is hermetically isolated, satisfying the strictest requirements for trade secrecy, DORA resilience, and independent mathematical verifiability. Zero client data or business records ever leave the local runtime.
Cryptographic Integrity
All audit working papers and evidence chains are cryptographically sealed with immutable Merkle anchors and SHA-256 digests.
0 Bytes Egress & Zero Cloud AI
Air-Gapped Cleanroom: Zero client ledger data or confidential records are ever uploaded to cloud relays or external AI models.
Deterministic Population Census
Audit findings are derived mathematically across 100.00% of the population against legal statutes, civil restitution rules, and authorization bylaws with zero statistical guesswork.
Hermetic Sandbox & RAM Zeroization
Isolated cleanroom runtime with hardware-level memory zeroization (memset) upon report sealing, serving as technical controls for ICT operational risk reduction.
Request a ledger review or discuss your audit requirements.
All inquiries are handled under strict fiduciary confidentiality. For accounts payable and recovery audits, we offer zero-risk No Cure, No Pay pilot engagements across both private enterprise groups and public sector entities.