Back to Home

Terms of Business

Last updated: January 2026

Important: Computation vs. Advice

Formal Bridge provides mathematical computation services, not legal, financial, or insolvency advice. Our platform applies the statutory formulae set out in the Insolvency Act 1986 and related legislation to the input data you provide. We do not verify the accuracy of your inputs—you attest to that. We verify only that the computation is mathematically correct.

1. Service Description

Formal Bridge operates a formally verified computational engine built on the Lean 4 theorem prover. Our services include:

  • Prescribed Part calculations under Section 176A of the Insolvency Act 1986
  • Creditor classification analysis against statutory tiers
  • Generation of Audit Certificates documenting computational correctness
  • Verification of calculations against formally proven algorithms

2. Your Responsibilities

As a user of Formal Bridge, you (the Insolvency Practitioner or authorised representative) are solely responsible for:

  • Input Accuracy: All data entered into our platform, including creditor amounts, classifications, dates, and asset figures
  • Professional Judgement: All decisions regarding creditor priority, disputed claims, and case management
  • Regulatory Compliance: Ensuring your use of our calculations complies with SIP requirements and regulatory standards
  • Attestation: The accuracy statement you provide when generating an Audit Certificate

3. Limitation of Liability

Formal Bridge's liability is limited to the mathematical correctness of the computation performed. We warrant that:

  • Our calculations correctly implement the statutory formulae
  • Our Lean 4 proofs mathematically verify algorithmic correctness
  • The Audit Certificate accurately reflects the computation performed

We are not liable for:

  • Errors in the input data you provide
  • Misclassification of creditors based on your professional judgement
  • Losses arising from reliance on calculations based on incorrect inputs
  • Any indirect, consequential, or punitive damages

4. Pricing & Payment

Audit Certificates are priced at £50 per certificate. This fee is classified as a Category 1 Expense under SIP 9, being a disbursement directly referable to the case and properly billable to the insolvent estate.

Payment is processed via Stripe. You will receive a VAT invoice for each transaction.

5. Data & Privacy

Formal Bridge operates on a Zero-Retention Architecture:

  • Creditor data is processed in your browser and is never transmitted to or stored on our servers
  • We store only certificate metadata (hashes, dates, calculation results) for verification purposes
  • Your email address is stored for authentication only
  • See our Privacy Policy for full details

6. Intellectual Property

The Formal Bridge platform, including the Lean 4 InsolvencyLib kernel, algorithms, user interface, and documentation, is protected by copyright and other intellectual property rights. You may not reverse engineer, decompile, or extract our algorithms.

7. Governing Law

These terms are governed by the laws of England and Wales. Any disputes shall be subject to the exclusive jurisdiction of the English courts.

Contact

For questions about these terms, contact us at legal@formalbridge.com