Finance workflow

Finance workflow verification

Signed checks for covenant packs, board-deck numbers, workbook audit rows, and report-version diffs. The service verifies arithmetic and structure, then returns provenance and a public signature verifier.

Live sample

Sample covenant pack

Edit any figure and run a signed covenant check against the public credit_covenants_basic pack — PASS/FAIL with cell provenance and a verifiable signature.

RowValue
Revenue
Gross Profit
EBITDA
Debt Service
Debt
Cash
covenant_rules · credit_covenants_basic
Ready.
Rules

What gets checked

RuleExpected
DSCREBITDA / Debt Service >= 1.25
Debt / EBITDA<= 3.0

Use rule packs as editable templates, or send explicit numerator / denominator / threshold rules.

Arithmetic & structure only. NumProof confirms the math ties out and the signature checks — it does not judge whether the source figures or business assumptions are correct. That boundary is what makes every verdict deterministic and re-checkable offline.