{
  "scope": "Executed synthetic calculation example — local computation.",
  "command": "pnpm proof:finance",
  "executedAt": "2026-10-07T01:19:26.879Z",
  "runtime": {
    "node": "v22.16.0",
    "platform": "win32"
  },
  "exitStatus": 0,
  "assertionCount": 35,
  "assertionsPassed": 35,
  "hashes": {
    "algorithm": "sha256",
    "budget.csv": "5f76d2e125f3a75ff810e56ea8ce8555b6175555550e9143e2b76b380ca02d11",
    "actuals.csv": "a65f8ebe64fae8d291b0ce332c7bab41f26345f53c07c5b74fd4e396b4ab3cea",
    "driver-evidence.csv": "e95008d49b0b6c5a48f2822e3b3c0b9ad721048f923881ae1e7bac8b33ad1531",
    "narrative-claims.json": "12537e6eab2446fd50ef67f43ece89f7c47484274cc1c7a3d6cdf7990c89f57d",
    "finance-variance-contract-v1.json": "c0fbd793b0b9c585399970046ea5b00725f326e3757b1b4e2497b10ce0917e1b",
    "calculate-variance.ts.txt": "ef1f21d0ceabedf811dcc01860a7fcb636abdbc920b7882944f0b9ec1fbcb490",
    "results.json": "e8db2d5abb2bcb01c8b6b6234d867a301cd343becbfa8e97b75c1bc36db98280",
    "results.csv": "06ed0f03ac22565c068a06a47ed8abe400f938a699888672be6460b9b2242096"
  },
  "assertions": [
    {
      "id": "A0",
      "description": "No input rows were rejected",
      "expected": "0",
      "actual": "0",
      "passed": true
    },
    {
      "id": "A1",
      "description": "Result count equals golden count",
      "expected": "3",
      "actual": "3",
      "passed": true
    },
    {
      "id": "EX-FIELD-OPS.present",
      "description": "EX-FIELD-OPS has a result",
      "expected": "true",
      "actual": "true",
      "passed": true
    },
    {
      "id": "EX-FIELD-OPS.budget",
      "description": "EX-FIELD-OPS approved budget",
      "expected": "100000.00",
      "actual": "100000.00",
      "passed": true
    },
    {
      "id": "EX-FIELD-OPS.actual",
      "description": "EX-FIELD-OPS actual expense",
      "expected": "115000.00",
      "actual": "115000.00",
      "passed": true
    },
    {
      "id": "EX-FIELD-OPS.variance",
      "description": "EX-FIELD-OPS variance amount",
      "expected": "15000.00",
      "actual": "15000.00",
      "passed": true
    },
    {
      "id": "EX-FIELD-OPS.percent",
      "description": "EX-FIELD-OPS variance percentage",
      "expected": "15.0000",
      "actual": "15.0000",
      "passed": true
    },
    {
      "id": "EX-FIELD-OPS.direction",
      "description": "EX-FIELD-OPS direction",
      "expected": "over budget",
      "actual": "over budget",
      "passed": true
    },
    {
      "id": "EX-FIELD-OPS.category",
      "description": "EX-FIELD-OPS category",
      "expected": "Material",
      "actual": "Material",
      "passed": true
    },
    {
      "id": "EX-CORP-GA.present",
      "description": "EX-CORP-GA has a result",
      "expected": "true",
      "actual": "true",
      "passed": true
    },
    {
      "id": "EX-CORP-GA.budget",
      "description": "EX-CORP-GA approved budget",
      "expected": "60000.00",
      "actual": "60000.00",
      "passed": true
    },
    {
      "id": "EX-CORP-GA.actual",
      "description": "EX-CORP-GA actual expense",
      "expected": "62000.00",
      "actual": "62000.00",
      "passed": true
    },
    {
      "id": "EX-CORP-GA.variance",
      "description": "EX-CORP-GA variance amount",
      "expected": "2000.00",
      "actual": "2000.00",
      "passed": true
    },
    {
      "id": "EX-CORP-GA.percent",
      "description": "EX-CORP-GA variance percentage",
      "expected": "3.3333",
      "actual": "3.3333",
      "passed": true
    },
    {
      "id": "EX-CORP-GA.direction",
      "description": "EX-CORP-GA direction",
      "expected": "over budget",
      "actual": "over budget",
      "passed": true
    },
    {
      "id": "EX-CORP-GA.category",
      "description": "EX-CORP-GA category",
      "expected": "Management attention",
      "actual": "Management attention",
      "passed": true
    },
    {
      "id": "EX-MARKETING.present",
      "description": "EX-MARKETING has a result",
      "expected": "true",
      "actual": "true",
      "passed": true
    },
    {
      "id": "EX-MARKETING.budget",
      "description": "EX-MARKETING approved budget",
      "expected": "40000.00",
      "actual": "40000.00",
      "passed": true
    },
    {
      "id": "EX-MARKETING.actual",
      "description": "EX-MARKETING actual expense",
      "expected": "40500.00",
      "actual": "40500.00",
      "passed": true
    },
    {
      "id": "EX-MARKETING.variance",
      "description": "EX-MARKETING variance amount",
      "expected": "500.00",
      "actual": "500.00",
      "passed": true
    },
    {
      "id": "EX-MARKETING.percent",
      "description": "EX-MARKETING variance percentage",
      "expected": "1.2500",
      "actual": "1.2500",
      "passed": true
    },
    {
      "id": "EX-MARKETING.direction",
      "description": "EX-MARKETING direction",
      "expected": "over budget",
      "actual": "over budget",
      "passed": true
    },
    {
      "id": "EX-MARKETING.category",
      "description": "EX-MARKETING category",
      "expected": "Within tolerance",
      "actual": "Within tolerance",
      "passed": true
    },
    {
      "id": "INV1",
      "description": "Sum of variances equals sum of actuals minus sum of budgets (cents)",
      "expected": "1750000",
      "actual": "1750000",
      "passed": true
    },
    {
      "id": "EX-FIELD-OPS.narrative",
      "description": "EX-FIELD-OPS narrative cites the computed amounts",
      "expected": "true",
      "actual": "true",
      "passed": true
    },
    {
      "id": "EX-CORP-GA.narrative",
      "description": "EX-CORP-GA narrative cites the computed amounts",
      "expected": "true",
      "actual": "true",
      "passed": true
    },
    {
      "id": "EX-MARKETING.narrative",
      "description": "EX-MARKETING narrative cites the computed amounts",
      "expected": "true",
      "actual": "true",
      "passed": true
    },
    {
      "id": "claim.C1",
      "description": "Claim C1 status",
      "expected": "supported by computed field",
      "actual": "supported by computed field",
      "passed": true
    },
    {
      "id": "claim.C2",
      "description": "Claim C2 status",
      "expected": "supported by computed field",
      "actual": "supported by computed field",
      "passed": true
    },
    {
      "id": "claim.C3",
      "description": "Claim C3 status",
      "expected": "evidence linked — human verification required",
      "actual": "evidence linked — human verification required",
      "passed": true
    },
    {
      "id": "claim.C4",
      "description": "Claim C4 status",
      "expected": "supported by computed field",
      "actual": "supported by computed field",
      "passed": true
    },
    {
      "id": "claim.C5",
      "description": "Claim C5 status",
      "expected": "unsupported: no claim-linked evidence",
      "actual": "unsupported: no claim-linked evidence",
      "passed": true
    },
    {
      "id": "claim.C3.linked",
      "description": "Claim C3 keeps the identifier of the evidence it names",
      "expected": "E1",
      "actual": "E1",
      "passed": true
    },
    {
      "id": "claim.C3.confirmation",
      "description": "No human confirmation is recorded for any causal claim",
      "expected": "true",
      "actual": "true",
      "passed": true
    },
    {
      "id": "claim.noCausalSupported",
      "description": "No causal claim receives a supported status",
      "expected": "0",
      "actual": "0",
      "passed": true
    }
  ],
  "establishes": "That this calculation, on these synthetic inputs and this contract, produced the listed results and matched the hand-specified expected values.",
  "doesNotEstablish": [
    "An Alteryx execution",
    "A physical BigQuery output",
    "A Gemini agent transcript",
    "A released authoring product",
    "A complete reference implementation",
    "A customer deployment"
  ]
}