{
  "joulecontract": "0.8.0",
  "subject": "fn settle_batch(orders) -> Settlement",
  "rigor_target": "JR-3",
  "pre": [
    "all orders signed",
    "sum(debits) == sum(credits)"
  ],
  "post": [
    "ledger balanced",
    "each order has a settlement id"
  ],
  "inv": [
    "no order in two settlements",
    "no negative balance at any step"
  ],
  "frame": [
    "ledger table",
    "settlement index"
  ],
  "ceiling": {
    "enpi_joules": 3.0,
    "unit": "EOC-J",
    "enb_ref": "sha2-256:812e1165c85ae3ff795ec46b4b9cdf59ad41409cb4fbad6feebe8a7c438f0d37",
    "derivation": {
      "attestation": "sha2-256:412d368ceaee877da4f646199d8055bb8a375379812b97f76ad26f2201982d80",
      "basis": "metered median of 200 comparable batches",
      "signer": "did:web:energy-office.example"
    }
  }
}