{ "tool_id": "art-571-lease-schedule-recompute-asc842-ifrs16", "tool_version": "1.0.0", "display_name": "Lease Schedule Recompute — ASC 842 / IFRS 16", "mcp_name": "recompute_lease_schedule_asc842_ifrs16", "mandate_type": "compliance_control", "wave": 93, "gpu": false, "url": "https://ainumbers.co/chaingraph/art-571-lease-schedule-recompute-asc842-ifrs16.html", "description": "Recomputes the present value of a declared lease payment schedule and the full effective-interest amortization -- liability and right-of-use asset -- under ASC 842 and IFRS 16 side by side, from a caller-declared discount rate and payment schedule. Runs the ASC 842 five-criterion finance-vs-operating classification test: ownership transfer, a purchase option reasonably certain of exercise, and specialized-asset status are always caller-declared; the major-part-of-economic-life and substantially-all-of-fair-value criteria are computed against the common 75%/90% bright lines only when the caller elects them, and otherwise are caller-declared judgment inputs -- an election is always labeled as such, never silently defaulted. IFRS 16 applies a single on-balance-sheet lessee model with no operating/finance distinction. Optionally diffs the ASC 842 or IFRS 16 closing liability at each payment date against a counterparty-supplied preparer schedule within a declared tolerance, returning MATCHES, DIVERGES, or INDETERMINATE when no preparer schedule is supplied or preparer dates do not appear in the computed schedule. The discount rate is always a declared input, never inferred or derived. Performs arithmetic only over caller-declared terms; does not source a discount rate, does not determine what qualifies as a specialized asset, and reproduces no FASB or IASB standard text -- citations are to paragraph numbers only. Clause: ASC 842 (FASB ASC Topic 842), classification criteria at ASC 842-10-25-2 through 25-3; IFRS 16, effective 2019-01-01.", "input_schema_ref": "chaingraph/art-571-lease-schedule-recompute-asc842-ifrs16.html#manifest", "consumes": [], "feeds": [], "status": "live", "conformance_fixtures": true, "compute_capability": "server", "compute_images": [ { "system": "sha256-source", "image_id": "sha256:1a566e2d4a8d4a189f06af50533cfa35d5b37c69090587830c7dbffe07c1d9ed", "valid_from": "2026-07-10" }, { "system": "risc0", "image_id": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6", "valid_from": "2026-08-07" } ], "export_capability": [ "json" ], "compute_proof_ready": "ready", "deferred_reason": "New shard; awaiting the async GPU proving queue (S18 steady-state).", "compute_proof": { "type": "ZkVmReceipt", "system": "risc0", "receiptFormat": "groth16-bn254", "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6", "seal": "AqSBSIVB9INbzTig3P667Z9MvQOA1D8MUSNsMrI1o5sZhUtqoOo+56clmL4kq935D+zbFaT5WhF/8esbryIqMwAtRCGrQHc8Z9v12VGj9tK8lLPnDUkRQwMEJ7CSWqaFJnAEGQL+0bqERzlg2aly0sZvvG9RAgj1luc4+XDNms4M9hNH3FdneihfnMxMmMY8AZMlGquSba5s4kYwXUfplg34iEQa7lELag0RfJmhVCmGmOjS4ZDleW1Q5HAZQDchA82Jzc3Tl4kQWHCbvN5A9VrAWXEZOnmrgO4AVOqontIDADxiVF+3EP/hEGsWN0Wq4MKoM9NJcZnTs5IvbrAqlQ==", "journal": { "chaingraph_version": "0.4.0", "kernel_digest": "sha256:1a566e2d4a8d4a189f06af50533cfa35d5b37c69090587830c7dbffe07c1d9ed", "output": { "asc842": { "classification": "FINANCE", "classification_criteria": { "major_part_of_economic_life": { "economic_life_years": 4, "met": true, "source": "computed_75pct_bright_line", "term_years": 3.0027397260273974 }, "ownership_transfers": { "met": false, "source": "declared_judgment" }, "purchase_option_reasonably_certain": { "met": false, "source": "declared_judgment" }, "specialized_asset": { "met": false, "source": "declared_judgment" }, "substantially_all_of_fair_value": { "fair_value_minor": 2813556, "met": true, "pv_of_payments_minor": 2672878, "source": "computed_90pct_bright_line" } }, "initial_lease_liability_minor": 2672878, "initial_rou_asset_minor": 2677878, "pv_of_payments_minor": 2672878, "schedule": [ { "closing_liability_minor": 1833251, "date": "2027-01-01", "interest_minor": 160373, "opening_liability_minor": 2672878, "payment_minor": 1000000, "period_days": 365, "principal_minor": 839627, "rou_amortization_minor": 891812, "rou_closing_balance_minor": 1786066, "rou_opening_minor": 2677878 }, { "closing_liability_minor": 943246, "date": "2028-01-01", "interest_minor": 109995, "opening_liability_minor": 1833251, "payment_minor": 1000000, "period_days": 365, "principal_minor": 890005, "rou_amortization_minor": 891812, "rou_closing_balance_minor": 894254, "rou_opening_minor": 1786066 }, { "closing_liability_minor": 0, "date": "2029-01-01", "interest_minor": 56754, "opening_liability_minor": 943246, "payment_minor": 1000000, "period_days": 366, "principal_minor": 943246, "rou_amortization_minor": 894254, "rou_closing_balance_minor": 0, "rou_opening_minor": 894254 } ] }, "clause_note": "ASC 842 (Leases), FASB ASC Topic 842 -- classification criteria at ASC 842-10-25-2 through 25-3. IFRS 16 (Leases), effective 2019-01-01, applies a single on-balance-sheet lessee model and does not classify leases as finance or operating. Confirm the current standard text for the applicable reporting framework.", "decision": { "execution_state": "ran", "gate_policy": "auto_pass", "reason": null }, "diff": { "compare_regime": "asc842", "compared_count": 3, "mismatches": [], "requested": true, "tolerance_minor": 0 }, "elections": [ "major_part_75pct_bright_line", "substantially_all_90pct_bright_line" ], "findings": [], "ifrs16": { "ifrs16_note": "IFRS 16 applies a single on-balance-sheet lessee model; no operating/finance classification is made.", "initial_lease_liability_minor": 2672878, "initial_rou_asset_minor": 2677878, "pv_of_payments_minor": 2672878, "schedule": [ { "closing_liability_minor": 1833251, "date": "2027-01-01", "interest_minor": 160373, "opening_liability_minor": 2672878, "payment_minor": 1000000, "period_days": 365, "principal_minor": 839627, "rou_amortization_minor": 891812, "rou_closing_balance_minor": 1786066, "rou_opening_minor": 2677878 }, { "closing_liability_minor": 943246, "date": "2028-01-01", "interest_minor": 109995, "opening_liability_minor": 1833251, "payment_minor": 1000000, "period_days": 365, "principal_minor": 890005, "rou_amortization_minor": 891812, "rou_closing_balance_minor": 894254, "rou_opening_minor": 1786066 }, { "closing_liability_minor": 0, "date": "2029-01-01", "interest_minor": 56754, "opening_liability_minor": 943246, "payment_minor": 1000000, "period_days": 366, "principal_minor": 943246, "rou_amortization_minor": 894254, "rou_closing_balance_minor": 0, "rou_opening_minor": 894254 } ] }, "rejected_inputs": [], "scope_note": "Performs arithmetic and a documented classification test over caller-declared lease terms, payment schedule, and discount rate only. Does not source a discount rate, does not determine what qualifies as a specialized asset, and does not reproduce ASC 842 or IFRS 16 standard text.", "verdict": "MATCHES" } } } }