Revenue Recognition Demo
Recognize revenue by period and certify schedule controls before release, reducing timing errors and reporting risk.
Recognize revenue by period and certify schedule controls before release, reducing timing errors and reporting risk.
Recognize revenue by period and certify schedule controls before release, reducing timing errors and reporting risk.
Consistent
Same input → same output
Consistent
Same input → same output
Fast
Get an answer instantly
Fast
Get an answer instantly
Results
Proof + results + constraints
Results
Proof + trace + constraints
Results
Proof + trace + constraints
Certified
Certified before release
Certified
Certified before release
Certified
Certified before release
Scenario + Inputs
Overview
Select an input dataset, modify scenario values, and verify key loan metrics like loan-to-value ratio, debt-to-income ratio, and reserve months to assess borrower risk.
What this demo shows
CERTIFIED
We can prove the math behind the checks (even if a check is TRUE or FALSE).
NOT CERTIFIED
We cannot prove at least one check, so we fail closed.
TRUE / FALSE
Whether a rule passed. Loan approval is a separate decision.
Loaded scenario
Sample A (CERTIFIED, all TRUE)
Workflow: Income ratios (DTI/PTI)
Property + loan
Property value
Down payment
Annual rate
6.25%
Term (years)
Loan amount
$487,500.00
Monthly P&I (demo)
$3,001.62
Escrows + reserves
Monthly taxes
Monthly insurance
Monthly HOA
Liquid reserves
Monthly PITI
$3,816.62
Reserves coverage
22.27 months
Borrower / cashflow
Monthly gross income
Monthly debts
Annual NOI
This demo certifies math control checks. It does not approve or deny loans.
Policy Controls
Mode: Income ratios (DTI/PTI)Overview
Modify tolerance levels for ratio checks. Certification failure indicates debt ratios may signal a risk of default.
LTV max
Reserves minimum
DTI max
PTI max
Derived metrics (informational)
LTV
Loan-to-value
75.00%
DTI
Debt-to-income
31.55%
PTI
Payment-to-income
27.26%
Reserves
Months of PITI
22.27
Policy controls define thresholds. Certification determines whether each check is provable.
Result Summary
Overview
Once certification is complete, receive a receipt showing the derived ratio results and traceable inputs.
—
Run certification to generate a receipt.
Run stats
Kernel version
—
Execution time
—
Checks
—
Checks performed
Run certification to populate checks.
Source Data
Overview
Load a contract, set recognition inputs, and test whether period-level revenue can be certified before release.
Contract value
$120,000.00
Recognition inputs
Customer
Acme Health
Start date
Contract value
Method
Periods (months)
Exception threshold
(allowed rounding / tolerance)
Demo input is contract terms + policy controls. In production, ERP outputs are gated by certifiable checks with a receipt.
Revenue Recognition Schedule
Straight-line • 12 moOverview
Review the period-by-period schedule, cumulative recognition, and remaining balance under the selected method.
Summary
Total recognized
$120,000.00
Ending remaining
$0.00
Exception count
0
| Period | Date | Recognized | Cumulative | Remaining | Note |
|---|---|---|---|---|---|
| M01 | 2026-01 | $10,000.00 | $10,000.00 | $110,000.00 | — |
| M02 | 2026-02 | $10,000.00 | $20,000.00 | $100,000.00 | — |
| M03 | 2026-03 | $10,000.00 | $30,000.00 | $90,000.00 | — |
| M04 | 2026-04 | $10,000.00 | $40,000.00 | $80,000.00 | — |
| M05 | 2026-05 | $10,000.00 | $50,000.00 | $70,000.00 | — |
| M06 | 2026-06 | $10,000.00 | $60,000.00 | $60,000.00 | — |
| M07 | 2026-07 | $10,000.00 | $70,000.00 | $50,000.00 | — |
| M08 | 2026-08 | $10,000.00 | $80,000.00 | $40,000.00 | — |
| M09 | 2026-09 | $10,000.00 | $90,000.00 | $30,000.00 | — |
| M10 | 2026-10 | $10,000.00 | $100,000.00 | $20,000.00 | — |
| M11 | 2026-11 | $10,000.00 | $110,000.00 | $10,000.00 | — |
| M12 | 2026-12 | $10,000.00 | $120,000.00 | $0.00 | — |
Showing 12 of 12 rows
Result Summary
Overview
After certification, review verified totals, checks, and the receipt-ready schedule outcome.
—
Run certification to generate a receipt
Verified outputs
Contract value
$120,000.00
Total recognized
$120,000.00
Kernel version
—
Execution time
—
Checks performed
