Revenue Recognition Demo
Recognize revenue by period and certify every schedule control with a reproducible receipt
Recognize revenue by period and certify every schedule control with a reproducible receipt
Recognize revenue by period and certify every schedule control with a reproducible receipt
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
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)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
—
Run certification to generate a receipt.
Run stats
Kernel version
—
Execution time
—
Checks
—
Checks performed
Run certification to populate checks.
Source Data
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 moSummary
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
—
Run certification to generate a receipt
Verified outputs
Contract value
$120,000.00
Total recognized
$120,000.00
Kernel version
—
Execution time
—
Checks performed
