{
  "$schema": "https://assetshopenterprise.com/proof-object-v1.schema.json",
  "id": "PO-EOS-BATTERY-001",
  "issued": "2026-08-13",
  "claim": {
    "value": 14914,
    "unit": "assertions",
    "label": "battery assertions, passing"
  },
  "category": "DERIVED",
  "inputs": [
    {
      "kind": "run-log",
      "name": "battery-run.log",
      "sha256": "ba55fcf0de8febe9f8612014a2032610b4e7903f675aea865f3dbcf025e45d0b",
      "bytes": 6140,
      "lines": 160,
      "note": "Produced by tools/battery.sh on an independent cold run, offline, no network."
    }
  ],
  "method": {
    "name": "battery-count",
    "version": "1.0",
    "determinism": "DETERMINISTIC",
    "rule": "Sum the passed count of every line matching ^([a-z0-9 -]+): (\\d+) passed / (\\d+) failed$",
    "source": "tools/battery-count.sh"
  },
  "derivation": [
    {
      "step": 1,
      "from": "source-evidence",
      "detail": "146 suites self-reported a passed count"
    },
    {
      "step": 2,
      "from": "deterministic-calculation",
      "detail": "summed by the published rule, never typed"
    }
  ],
  "assertions": {
    "suites": 146,
    "passed": 14914,
    "failed": 0
  },
  "largestContributors": [
    {
      "suite": "ip-shield",
      "passed": 2936
    },
    {
      "suite": "audit-r46",
      "passed": 1315
    },
    {
      "suite": "themes",
      "passed": 1100
    },
    {
      "suite": "conformance battery",
      "passed": 797
    },
    {
      "suite": "site-parity",
      "passed": 477
    }
  ],
  "contradictedBy": [
    {
      "source": "RELEASE_NOTE_EOS_R145.md, before correction",
      "statedValue": 15099,
      "statedSuites": 168,
      "delta": 185,
      "resolution": "The stated figure was typed rather than computed and drifted from the instrument. The vendor claim guard failed at 183 passed / 2 failed until the statement was corrected. The guard now reports 185 passed / 0 failed. The correction is recorded rather than overwritten, because a proof that hides its own correction proves less than one that shows it."
    }
  ],
  "unresolved": {
    "count": 4,
    "detail": "Four cases in tests/transport/transport-live.test.mjs require a live socket service and did not run. They are excluded from this total, not counted as passing. seal.sh refuses to cut a receipt while they fail, which is why no R147 receipt is claimed."
  },
  "confidence": {
    "basis": "provenance",
    "modelDependency": "none",
    "humanAttested": false
  },
  "notClaimed": [
    "That the software has run in production.",
    "That any customer has used or paid for it.",
    "That the ERP adapters have run against a real system.",
    "That this total includes the four transport cases above."
  ],
  "reproduce": {
    "command": "node proof.mjs verify proof-battery.json battery-run.log",
    "requiresNetwork": false,
    "requiresAccount": false,
    "requiresVendor": false,
    "harness": "https://assetshopenterprise.com/verify/"
  },
  "status": "VERIFIED",
  "integritySha256": "7773d1e0d0272112e22028e5333269df61ee5f4a1f94b03dbb46fed45c226b4a"
}