Pacioli Logic and Rules Engine
Toolkit for Pacioli: a decentralized validation network for scrutinizing and auditing digital financial report models.

Pacioli Infrastructure

Pacioli is the heart of the Auditchain Protocol infrastructure for artificial intelligence (AI) based financial report creation, verification, and information extraction. Pacioli is built on SWI PROLOG, a proven standard and robust logic programming engine.
Pacioli is a logic and rules engine and toolkit that is purpose built and understands global standard XBRL-based digital financial report models and reports. Both API and GUI interfaces are available for Pacioli. One GUI implementation available is an XBRL-based financial report verification toolkit, see Pacioli Power User Tool

Real World Use Case

Pacioli is the network client software application on the Auditchain Protocol that understands the logic of financial reporting and the meaning conveyed by such financial reports which have been represented using the XBRL global standard technical syntax. Pacioli provides proof that XBRL-based financial reports are complete, consistent, and precise.
This demo page is a real output of an analysis of the most recent annual reports filed with the Securities and Exchange Commission for all of the 30 reporting entities that comprise of the Dow Jones Industrial Average.

Pacioli Agent - Web3 Enabled

Simply put, Pacioli is used to provide proof of assurance consistent with CEAOB guidance and as a Web3 audit tool to validate the articulation of financial state in machine-readable form, expressed by economic entities based on their financial reporting style within a financial reporting scheme.
The Pacioli agent is a node.js application integrated with the Pacioli logic engine. Running a Pacioli node on the Auditchain Protocol requires the Pacioli Agent which is included in a Docker image. The Pacioli Agent uses an algorithm designed to detect financial report validation requests from users on the Auditchain Protocol. Upon detection, the Pacioli Agent initiates a race to compete to fulfill validation service requests on the Auditchain Protocol.
The Pacioli Agent also governs how consensus is reached by Pacioli node operators on the validation of financial reports on the Auditchain Protocol. The Pacioli Agent also allocates the rewards to the winning validator and to Pacioli nodes that reach consensus on compliance with 7 categories of rules.

Logic Based

Pacioli is a Web3 logic and rules-based artificial intelligence software application. Pacioli uses machine-readable rules and deductive reasoning to determine if an XBRL-based financial report is a properly functioning logical system. The following is a brief overview of the logic currently understood by the Pacioli software application which gives you an idea of the current capabilities of Pacioli:
  • XBRL Syntax: First you have to be sure that the technical format used to deliver the meaning conveyed follows the prescribed technical specification, in our case the XBRL technical syntax.
  • Report Model Structure: The report model created by the accountants representing a financial report needs to follow a prescribed logical structure for such report models. XBRL does not specify these rules. But good practices and logic does specify what is and is not permitted and Pacioli enforces these good practices.
  • Report Mathematics: Financial reports need to foot and cross cast; and ‘tick and tie’ mathematically. Pacioli performs this part of XBRL technical syntax verification.
  • Relations between financial report line items: Reported financial line items need to have the proper relations with other financial report line items within the report. Sometimes referred to as “wider-narrower” relations or “general-special” relations, Pacioli performs this function.
  • Fundamental Accounting Concepts Continuity Cross Checks: Pacioli reveals contradictions and inconsistencies between reported financial line items in a financial report. Pacioli helps you make sure you don’t inadvertently miss these accounting details.
  • Disclosure Mechanics: Each disclosure provided within a financial report requires a pattern and number of required disclosures. Pacioli performs the function of validating the disclosure mechanics of a financial report.
  • Reporting Checklist: Pacioli validates a reporting checklist to verify that reports are compliant and complete. Sometimes these reporting checklists can be very extensive. While Pacioli does not automate the reporting checklist completely, it does provide a significant level of automation in this regard.
The Auditchain Protocol and "Pacioli Agent" is a decentralized application and provides the Pacioli Node Infrastructure for Pacioli Node Operators. Pacioli leverages the open source Arelle XBRL processor and validation is provided for the base specification of XBRL 2.1, Dimensions, Inline XBRL, Generic Linkbases, Unit Types Registry, U.S. SEC Edgar Filer Manual, IFRS Global Filing Manual and HMRC, CIPC and ESMA Filing Checks.

Backwards Compatible

The Auditchain Protocol is also used for private companies and issuers of digital assets. Pacioli financial report validation is backwards compatible. This means that once implemented, users are one click away from filing with regulators in any jurisdiction that mandates XBRL based financial reporting.

Pacioli Toolkit