{
  "tool_id": "art-571-lease-schedule-recompute-asc842-ifrs16",
  "note": "3-year annual-pay lease, commencement 2026-01-01, discount rate 6%, $10,000,000 minor-unit total payments. Vector 1 elects both bright lines (75% economic-life, 90% fair-value) with inputs sized to satisfy each, so classification is FINANCE under ASC 842; ROU amortization is straight-line by elapsed days under both regimes, the liability schedule amortizes to exactly zero by the final payment, and a preparer schedule built from the computed ASC 842 closing balances diffs to MATCHES at zero tolerance. Vector 2 declines both bright lines and declares both judgment criteria false alongside the other three, so classification is OPERATING: the ASC 842 ROU amortization becomes the plug (period lease cost minus interest) and diverges from the IFRS 16 finance-style schedule, and a preparer schedule with the final balance overstated by 50000 minor units against a 100-minor-unit tolerance diffs to DIVERGES. Vector 3 omits discount_rate_annual entirely and exercises the did_not_run/INDETERMINATE required-inputs path. golden_hash computed at fixture generation time via the canonical executionHash over {policy_parameters, output_payload}.",
  "vectors": [
    {
      "name": "finance-lease-bright-lines-matches",
      "policy_parameters": {
        "discount_rate_annual": 0.06,
        "lease_term": {
          "commencement_date": "2026-01-01",
          "end_date": "2029-01-01"
        },
        "payment_schedule": [
          { "date": "2027-01-01", "amount_minor": 1000000 },
          { "date": "2028-01-01", "amount_minor": 1000000 },
          { "date": "2029-01-01", "amount_minor": 1000000 }
        ],
        "initial_direct_costs_minor": 10000,
        "lease_incentives_minor": 5000,
        "classification_inputs": {
          "ownership_transfers": false,
          "purchase_option_reasonably_certain": false,
          "specialized_asset": false,
          "major_part_bright_line_elected": true,
          "economic_life_years": 4,
          "substantially_all_bright_line_elected": true,
          "fair_value_minor": 2813556
        },
        "preparer_schedule": [
          { "date": "2027-01-01", "liability_balance_minor": 1833251 },
          { "date": "2028-01-01", "liability_balance_minor": 943246 },
          { "date": "2029-01-01", "liability_balance_minor": 0 }
        ],
        "compare_regime": "asc842",
        "diff_tolerance_minor": 0
      },
      "output_payload": {
        "decision": { "gate_policy": "auto_pass", "execution_state": "ran", "reason": null },
        "verdict": "MATCHES",
        "asc842": {
          "pv_of_payments_minor": 2672878,
          "initial_lease_liability_minor": 2672878,
          "initial_rou_asset_minor": 2677878,
          "classification": "FINANCE",
          "classification_criteria": {
            "ownership_transfers": { "met": false, "source": "declared_judgment" },
            "purchase_option_reasonably_certain": { "met": false, "source": "declared_judgment" },
            "major_part_of_economic_life": { "met": true, "source": "computed_75pct_bright_line", "economic_life_years": 4, "term_years": 3.0027397260273974 },
            "substantially_all_of_fair_value": { "met": true, "source": "computed_90pct_bright_line", "fair_value_minor": 2813556, "pv_of_payments_minor": 2672878 },
            "specialized_asset": { "met": false, "source": "declared_judgment" }
          },
          "schedule": [
            { "date": "2027-01-01", "period_days": 365, "opening_liability_minor": 2672878, "payment_minor": 1000000, "interest_minor": 160373, "principal_minor": 839627, "closing_liability_minor": 1833251, "rou_opening_minor": 2677878, "rou_amortization_minor": 891812, "rou_closing_balance_minor": 1786066 },
            { "date": "2028-01-01", "period_days": 365, "opening_liability_minor": 1833251, "payment_minor": 1000000, "interest_minor": 109995, "principal_minor": 890005, "closing_liability_minor": 943246, "rou_opening_minor": 1786066, "rou_amortization_minor": 891812, "rou_closing_balance_minor": 894254 },
            { "date": "2029-01-01", "period_days": 366, "opening_liability_minor": 943246, "payment_minor": 1000000, "interest_minor": 56754, "principal_minor": 943246, "closing_liability_minor": 0, "rou_opening_minor": 894254, "rou_amortization_minor": 894254, "rou_closing_balance_minor": 0 }
          ]
        },
        "ifrs16": {
          "pv_of_payments_minor": 2672878,
          "initial_lease_liability_minor": 2672878,
          "initial_rou_asset_minor": 2677878,
          "ifrs16_note": "IFRS 16 applies a single on-balance-sheet lessee model; no operating/finance classification is made.",
          "schedule": [
            { "date": "2027-01-01", "period_days": 365, "opening_liability_minor": 2672878, "payment_minor": 1000000, "interest_minor": 160373, "principal_minor": 839627, "closing_liability_minor": 1833251, "rou_opening_minor": 2677878, "rou_amortization_minor": 891812, "rou_closing_balance_minor": 1786066 },
            { "date": "2028-01-01", "period_days": 365, "opening_liability_minor": 1833251, "payment_minor": 1000000, "interest_minor": 109995, "principal_minor": 890005, "closing_liability_minor": 943246, "rou_opening_minor": 1786066, "rou_amortization_minor": 891812, "rou_closing_balance_minor": 894254 },
            { "date": "2029-01-01", "period_days": 366, "opening_liability_minor": 943246, "payment_minor": 1000000, "interest_minor": 56754, "principal_minor": 943246, "closing_liability_minor": 0, "rou_opening_minor": 894254, "rou_amortization_minor": 894254, "rou_closing_balance_minor": 0 }
          ]
        },
        "elections": ["major_part_75pct_bright_line", "substantially_all_90pct_bright_line"],
        "diff": { "requested": true, "compare_regime": "asc842", "tolerance_minor": 0, "mismatches": [], "compared_count": 3 },
        "findings": [],
        "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.",
        "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."
      },
      "golden_hash": "a9b9cec3d1670db883274290e935a3fc85cc5ccfab4587a45efa5badb71b3124"
    },
    {
      "name": "operating-lease-preparer-diverges",
      "policy_parameters": {
        "discount_rate_annual": 0.06,
        "lease_term": {
          "commencement_date": "2026-01-01",
          "end_date": "2029-01-01"
        },
        "payment_schedule": [
          { "date": "2027-01-01", "amount_minor": 1000000 },
          { "date": "2028-01-01", "amount_minor": 1000000 },
          { "date": "2029-01-01", "amount_minor": 1000000 }
        ],
        "initial_direct_costs_minor": 10000,
        "lease_incentives_minor": 5000,
        "classification_inputs": {
          "ownership_transfers": false,
          "purchase_option_reasonably_certain": false,
          "specialized_asset": false,
          "major_part_bright_line_elected": false,
          "major_part_declared": false,
          "substantially_all_bright_line_elected": false,
          "substantially_all_declared": false
        },
        "preparer_schedule": [
          { "date": "2027-01-01", "liability_balance_minor": 1833251 },
          { "date": "2028-01-01", "liability_balance_minor": 943246 },
          { "date": "2029-01-01", "liability_balance_minor": 50000 }
        ],
        "compare_regime": "asc842",
        "diff_tolerance_minor": 100
      },
      "output_payload": {
        "decision": { "gate_policy": "review_required", "execution_state": "ran", "reason": null },
        "verdict": "DIVERGES",
        "asc842": {
          "pv_of_payments_minor": 2672878,
          "initial_lease_liability_minor": 2672878,
          "initial_rou_asset_minor": 2677878,
          "classification": "OPERATING",
          "classification_criteria": {
            "ownership_transfers": { "met": false, "source": "declared_judgment" },
            "purchase_option_reasonably_certain": { "met": false, "source": "declared_judgment" },
            "major_part_of_economic_life": { "met": false, "source": "declared_judgment", "economic_life_years": null, "term_years": null },
            "substantially_all_of_fair_value": { "met": false, "source": "declared_judgment", "fair_value_minor": null, "pv_of_payments_minor": 2672878 },
            "specialized_asset": { "met": false, "source": "declared_judgment" }
          },
          "schedule": [
            { "date": "2027-01-01", "period_days": 365, "opening_liability_minor": 2672878, "payment_minor": 1000000, "interest_minor": 160373, "principal_minor": 839627, "closing_liability_minor": 1833251, "rou_opening_minor": 2677878, "rou_amortization_minor": 838715, "rou_closing_balance_minor": 1839163 },
            { "date": "2028-01-01", "period_days": 365, "opening_liability_minor": 1833251, "payment_minor": 1000000, "interest_minor": 109995, "principal_minor": 890005, "closing_liability_minor": 943246, "rou_opening_minor": 1839163, "rou_amortization_minor": 889093, "rou_closing_balance_minor": 950070 },
            { "date": "2029-01-01", "period_days": 366, "opening_liability_minor": 943246, "payment_minor": 1000000, "interest_minor": 56754, "principal_minor": 943246, "closing_liability_minor": 0, "rou_opening_minor": 950070, "rou_amortization_minor": 945071, "rou_closing_balance_minor": 4999 }
          ]
        },
        "ifrs16": {
          "pv_of_payments_minor": 2672878,
          "initial_lease_liability_minor": 2672878,
          "initial_rou_asset_minor": 2677878,
          "ifrs16_note": "IFRS 16 applies a single on-balance-sheet lessee model; no operating/finance classification is made.",
          "schedule": [
            { "date": "2027-01-01", "period_days": 365, "opening_liability_minor": 2672878, "payment_minor": 1000000, "interest_minor": 160373, "principal_minor": 839627, "closing_liability_minor": 1833251, "rou_opening_minor": 2677878, "rou_amortization_minor": 891812, "rou_closing_balance_minor": 1786066 },
            { "date": "2028-01-01", "period_days": 365, "opening_liability_minor": 1833251, "payment_minor": 1000000, "interest_minor": 109995, "principal_minor": 890005, "closing_liability_minor": 943246, "rou_opening_minor": 1786066, "rou_amortization_minor": 891812, "rou_closing_balance_minor": 894254 },
            { "date": "2029-01-01", "period_days": 366, "opening_liability_minor": 943246, "payment_minor": 1000000, "interest_minor": 56754, "principal_minor": 943246, "closing_liability_minor": 0, "rou_opening_minor": 894254, "rou_amortization_minor": 894254, "rou_closing_balance_minor": 0 }
          ]
        },
        "elections": [],
        "diff": { "requested": true, "compare_regime": "asc842", "tolerance_minor": 100, "mismatches": [ { "date": "2029-01-01", "reason": "liability_balance_out_of_tolerance", "preparer_liability_balance_minor": 50000, "computed_liability_balance_minor": 0, "delta_minor": 50000 } ], "compared_count": 3 },
        "findings": [ { "code": "PREPARER_SCHEDULE_DIVERGES", "severity": "high", "message": "1 preparer balance(s) fall outside the declared tolerance." } ],
        "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.",
        "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."
      },
      "golden_hash": "1ac0482e1d4e5852e4cbff1dc0052739cb1fca40c5a7ad363426306f93f32fda"
    },
    {
      "name": "discount-rate-not-declared-incomplete",
      "policy_parameters": {
        "lease_term": {
          "commencement_date": "2026-01-01",
          "end_date": "2029-01-01"
        },
        "payment_schedule": [
          { "date": "2027-01-01", "amount_minor": 1000000 },
          { "date": "2028-01-01", "amount_minor": 1000000 },
          { "date": "2029-01-01", "amount_minor": 1000000 }
        ],
        "initial_direct_costs_minor": 10000,
        "lease_incentives_minor": 5000,
        "classification_inputs": {
          "ownership_transfers": false,
          "purchase_option_reasonably_certain": false,
          "specialized_asset": false,
          "major_part_bright_line_elected": false,
          "major_part_declared": false,
          "substantially_all_bright_line_elected": false,
          "substantially_all_declared": false
        }
      },
      "output_payload": {
        "decision": { "gate_policy": "review_required", "execution_state": "did_not_run", "reason": "required_inputs_incomplete" },
        "verdict": "INDETERMINATE",
        "asc842": null,
        "ifrs16": null,
        "elections": [],
        "diff": null,
        "findings": [],
        "rejected_inputs": [
          { "where": "discount_rate_annual", "reason": "absent or not a non-negative number -- the discount rate must be declared, never derived", "supplied": null }
        ],
        "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.",
        "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."
      },
      "golden_hash": "a04ef1e4968e5507618138696c5b646e8e4a05b27b0c558878c6fd69068e4e3d"
    }
  ]
}