{
  "contract_version": "v1",
  "document_kind": "request",
  "request_id": "post-q3-actuals-repaired",
  "verb": "transact",
  "inputs": [
    {
      "path": "q3-close.xlsx",
      "format": "xlsx",
      "sha256": "f4a778a56b0edb331e85d3193b2938ab5030e441c960fa453cecbae23839e240"
    }
  ],
  "output_dir": "out",
  "options": {
    "ops": [
      {
        "op": "set",
        "target": "table:Regions/row:Europe/col:Q3",
        "value": {
          "number": 6240
        }
      },
      {
        "op": "set",
        "target": "table:Regions/row:APAC/col:Q3",
        "value": {
          "number": 4410
        }
      },
      {
        "op": "set",
        "target": "sheet:Summary/cell:B7",
        "value": {
          "formula": "=SUM(Regions[Q3])-Regions!C10"
        }
      }
    ],
    "invariants": [
      {
        "id": "scope",
        "kind": "only-changes",
        "addresses": [
          "table:Regions/row:Europe/col:Q3",
          "table:Regions/row:APAC/col:Q3",
          "sheet:Regions/cell:C8",
          "sheet:Summary/cell:B3",
          "sheet:Summary/cell:B5",
          "sheet:Summary/cell:B7"
        ]
      },
      {
        "id": "no-errors",
        "kind": "no-new-errors"
      },
      {
        "id": "ledger",
        "kind": "reconcile",
        "left": "sheet:Regions/cell:C10",
        "right": "table:Regions/col:Q3",
        "aggregate": "sum",
        "tolerance": 0.005
      }
    ]
  },
  "determinism": {
    "clock": {
      "instant": "2026-10-01T00:00:00Z",
      "timezone": "UTC"
    },
    "random_seed": 0
  }
}
