./target/debug/cfdl compile examples/cre_development_with_financing --out /tmp/cre_fin.ir.json --packs packs

./target/debug/cfdl run /tmp/cre_fin.ir.json --out /tmp/cre_fin.results.json --config examples/cre_development_with_financing/run.json --packs packs

version 0.1
model "cre-development-with-financing"
use pack "cre" version "0.1.0"
time calendar monthly from 2026-01 for 72

entity asset property : CRE.Asset.RealProperty
entity asset construction : Asset.Financial
entity asset permanent : Asset.Financial

// CRE pack: property-level lifecycle (construction stub, lease, ops, exit)
contract cre.construction_stub {
  term 2026-01..2026-06
  terms {
    amount = 45000
  }
}

contract cre.lease {
  term 2026-07..2031-12
  terms {
    rent = 25000
  }
}

// Ops income and expense as pack contracts, so the pack classifies them and
// the operating statement can claim them. Hand-written streams carry no
// category, and a statement folds categories rather than stream names.
contract cre.revenue_line {
  term 2028-01..2031-12
  terms {
    amount = 30000
  }
}

contract cre.opex_line {
  term 2028-01..2031-12
  terms {
    amount = 12000
  }
}

contract cre.exit_cap {
  term 2031-12..2031-12
  terms {
    cap_rate = 0.06
    income = 180000
  }
}

// Construction-phase financing: interest-only stream (fixed dates, no events).
// The CRE pack has no construction-facility contract, so this stays a stream
// and states its own category — without one, no statement row can claim it.
stream loan.construction_interest on entity asset.construction outflow currency USD {
  schedule every month from 2026-01 to 2027-06
  category financing.debt.service
  amount = 40000
}

// Permanent financing: a flat placeholder service, so it stays a stream —
// cre.permanent_debt would strike the payment from principal, rate and
// amortization and change this example's numbers.
stream loan.permanent_debt_service on entity asset.permanent outflow currency USD {
  schedule every month from 2027-07 to 2031-12
  category financing.debt.service
  amount = 55000
}