{
  "schema": 1,
  "capturedCommands": 16,
  "orders": 9,
  "hostStateUpdates": 7,
  "successfulDecisionPublications": 8,
  "dependencyExceptions": 1,
  "sameBuildHostObservationsMatched": 16,
  "sameBuildOrderAuditRecordsMatched": 9,
  "resolvedOrdersMatched": 9,
  "changedBuildDifferences": [
    {
      "sequence": "11",
      "id": "at_limit",
      "original": "ACCEPTED",
      "changed": "REJECTED_LIMIT"
    },
    {
      "sequence": "14",
      "id": "second_boundary",
      "original": "ACCEPTED",
      "changed": "REJECTED_LIMIT"
    }
  ],
  "controls": {
    "differentStartingStateChangesBaseline": true,
    "differentEventOrderChangesBaseline": true,
    "invalidSequenceRejectedBeforeRun": true,
    "malformedStateRejectedBeforeRun": true,
    "overflowingLaterOrderRejectedBeforeRun": true,
    "initialClockMismatchRejectedBeforeRun": true
  },
  "sourceOfInputs": "Synthetic producer; journal written before each actual host dispatch; producer removed before replay",
  "stateScope": "Fresh processor instance plus host-owned limit/stock/risk snapshot; no arbitrary heap snapshot",
  "dependencyScope": "Risk availability and reference values supplied from captured host commands; no external services invoked",
  "auditScope": "All9 OrderRequest records, node observations and injected event clocks compared. Startup/lifecycle/clock-install records excluded; no full-log byte identity claim.",
  "changedBuild": "LimitCheck changes inclusive <= to strict <; an intentional alternative rule, not a claimed bug fix",
  "runtimeSha256": "2bd45eb62409403422d5a676a7ad177f1984aa80dc399c20ceb6b467eab4b775",
  "journalSha256": "828b9d23291130b076985aea801c050d118c074332a8ffc4cba35cceccef4239",
  "startingStateSha256": "e260dc0d67456ae706834754feead7ffeca14c7cd9f45ea928505896cac08c66",
  "originalClassSha256": {
    "ReplayDemo$Command.class": "4a15e495324726be69e66ac12e7f770f1ee3c7202a7c1a0bce942f474bec7002",
    "ReplayDemo$Host.class": "caab2d2ba1db5572a6110cd98026f4f323ea0147855dd3c734595458954fe5b7",
    "ReplayDemo.class": "59c265ec809cda725183e94fb7596c4e12bff6a914e3d7d86dceaad19a59f328",
    "com/example/reuse/application/OutcomeRecorder.class": "5021c2b55cda97efbcf0d366fbf0d55d177d241a14c46ab3174115196138472b",
    "com/example/reuse/contract/OrderRequest.class": "bd6aeb84310466ae536a8b6aefa27dbbc792bdc1db52ac96218538c25a8ebc95",
    "com/example/reuse/generated/OrderReleaseProcessor.class": "b95063eb2c61fc99ecb2bc5f38278c8d4b6628830d4a86582da759b74136a323",
    "com/example/reuse/policy/LimitCheck.class": "7a51690c002a82ea80d1a98ed18266971040a63fb91a9997a9dcb4fbd744dba1",
    "com/example/reuse/policy/ReleaseDecision.class": "62e9545880c0da009095737b588d055d656140f42bd3530b50fc34396a9cbc9c",
    "com/example/reuse/policy/RiskCheck.class": "2b52c41171fdc45bce0ca24c31dc91c5389d7eadc559ff8e95b4991375ed2397",
    "com/example/reuse/values/OrderInput.class": "80cfb23ea7b980e0eb1d405ebe1eef1fee9f429069ea0f657c8225d0cd73391b",
    "com/example/reuse/values/OrderValue.class": "863ad63778696a4414a4235efaff9eac14e590a3213722153d47cd3599fe406a",
    "com/example/reuse/values/StockCheck.class": "fd084dd8d7b4ab46dbf78540f5b06aa3719f9744d5b33c3cb41aa49cf950ffcf"
  },
  "changedClassSha256": {
    "ReplayDemo$Command.class": "4a15e495324726be69e66ac12e7f770f1ee3c7202a7c1a0bce942f474bec7002",
    "ReplayDemo$Host.class": "caab2d2ba1db5572a6110cd98026f4f323ea0147855dd3c734595458954fe5b7",
    "ReplayDemo.class": "59c265ec809cda725183e94fb7596c4e12bff6a914e3d7d86dceaad19a59f328",
    "com/example/reuse/application/OutcomeRecorder.class": "5021c2b55cda97efbcf0d366fbf0d55d177d241a14c46ab3174115196138472b",
    "com/example/reuse/contract/OrderRequest.class": "bd6aeb84310466ae536a8b6aefa27dbbc792bdc1db52ac96218538c25a8ebc95",
    "com/example/reuse/generated/OrderReleaseProcessor.class": "b95063eb2c61fc99ecb2bc5f38278c8d4b6628830d4a86582da759b74136a323",
    "com/example/reuse/policy/LimitCheck.class": "fc7d7121398ca35ed2992fae8a25bfc55da43dcd1161c18351a639b95eaead03",
    "com/example/reuse/policy/ReleaseDecision.class": "62e9545880c0da009095737b588d055d656140f42bd3530b50fc34396a9cbc9c",
    "com/example/reuse/policy/RiskCheck.class": "2b52c41171fdc45bce0ca24c31dc91c5389d7eadc559ff8e95b4991375ed2397",
    "com/example/reuse/values/OrderInput.class": "80cfb23ea7b980e0eb1d405ebe1eef1fee9f429069ea0f657c8225d0cd73391b",
    "com/example/reuse/values/OrderValue.class": "863ad63778696a4414a4235efaff9eac14e590a3213722153d47cd3599fe406a",
    "com/example/reuse/values/StockCheck.class": "fd084dd8d7b4ab46dbf78540f5b06aa3719f9744d5b33c3cb41aa49cf950ffcf"
  },
  "sourceSha256": {
    "generated/OrderReleaseProcessor.graphml": "54ec036942c13f7f48cb0c99ca2e3b5603da32d623e236ea82a9dac711c0e341",
    "generated/OrderReleaseProcessor.java": "2105ba1541ba2a005be464fda732b7e348a98bb93e43d6876ed46c871a8b011d",
    "harness/ReplayDemo.java": "5ded1ca922598d7e6e15a0429fa1c46df2f6cb826f31b6ebeac7806660a2877e",
    "run.py": "1b86583482b45cb530bd6c49de12e1eaef85506f217bd3ac3511664420ce7a31",
    "source/com/example/reuse/application/OutcomeRecorder.java": "038a6bea6cc08e8620db2b7883eaeca2560d9b49036248278e04d584a0404dc4",
    "source/com/example/reuse/contract/OrderRequest.java": "0479d22acfaa68f5ce6e45402f8c892c4f7e8111448b47c15e391866e8fc62e0",
    "source/com/example/reuse/policy/LimitCheck.java": "26ba2af3ce3ff1f3a2b122711532d89cdfd1359d55b258d7ccaec376a22d1541",
    "source/com/example/reuse/policy/ReleaseDecision.java": "27e06e8bcf19bbf0cff26c09e630b1688d650d50cdeccc3bbbc418c7715b1305",
    "source/com/example/reuse/policy/RiskCheck.java": "2db16c79f54b0bcfe750573c84dd42b954efa0345d1e2ac3ddf547a87aa593ff",
    "source/com/example/reuse/values/OrderInput.java": "b41b6a366c1b848f04f477f24b0ac657ddfd3d5b3a792041fa1a62936798299a",
    "source/com/example/reuse/values/OrderValue.java": "66effc2e55bb4031482698ff688e0e6ec909e64859e4f6ed047fc243c3b6fbed",
    "source/com/example/reuse/values/StockCheck.java": "a95bb109374fceb7d72d73203ec52c80835aad05308c21afdf9c40a263bef6a2"
  }
}