{
  "schema": 1,
  "repository": "brunnojob/bank-crypto-ledger",
  "source_commit": "f0dc700e76a697ef36ed7f3c4604b89c2e16b290",
  "generated_at": "2026-10-10T05:28:05.171452+00:00",
  "run_url": "https://github.com/brunnojob/bank-crypto-ledger/actions/runs/38027592179",
  "inputs_sha256": {
    ".proof/scenarios.json": "dfc1f3ec95ac41d64f67b3affb7df40a2595373c2d01f5bb772eee53a4ef9a8d",
    ".proof/demo.py": "0be94712865709e13b6b231d5a08f1a2672f9b97b37627a5885df39529567757"
  },
  "cases": [
    {
      "display": true,
      "name": "mvn --batch-mode test",
      "argv": [
        "bash",
        "-e",
        "-o",
        "pipefail",
        "-c",
        "mvn --batch-mode test"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 8.643,
      "output": "[INFO] Scanning for projects...\n[INFO] \n[INFO] ------------------< io.brunnodev:bank-crypto-ledger >-------------------\n[INFO] Building bank-crypto-ledger 1.0.0\n[INFO]   from pom.xml\n[INFO] --------------------------------[ jar ]---------------------------------\n[INFO] Loaded 24046 auto-discovered prefixes for remote repository central (prefixes-central.txt)\n[INFO] Downloading from central: https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-resources-plugin/3.5.0/maven-resources-plugin-3.5.0.pom\n[INFO] Downloaded from central: https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-resources-plugin/3.5.0/maven-resources-plugin-3.5.0.pom (7.7 kB at 196 kB/s)\n[INFO] Downloading from central: https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-plugins/47/maven-plugins-47.pom\n[INFO] Downloaded from central: https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-plugins/47/maven-plugins-47.pom (7.2 kB at 225 kB/s)\n[INFO] Downloading from central: https://repo.maven.apache.org/maven2/org/apache/maven/maven-parent/47/maven-parent-47.pom\n[INFO] Downloaded from central: https://repo.maven.apache.org/maven2/org/apache/maven/maven-parent/47/maven-parent-47.pom (54 kB at 1.6 MB/s)\n[INFO] Downloading from central: https://repo.maven.apache.org/maven2/org/apache/apache/37/apache-37.pom\n[INFO] Downloaded from central: https://repo.maven.apache.org/maven2/org/apache/apache/37/apache-37.pom (26 kB at 854 kB/s)\n[INFO] Downloading from central: https://repo.maven.apache.org/maven2/org/junit/junit-bom/5.14.2/junit-bom-5.14.2.pom\n[INFO] Downloaded from central: https://repo.maven.apache.org/maven2/org/junit/junit-bom/5.14.2/junit-bom-5.14.2.pom (5.7 kB at 202 kB/s)\n[INFO] Downloading from central: https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-resources-plugin/3.5.0/maven-resources-plugin-3.5.0.jar\n[INFO] Downloaded from central: https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-resources-plugin/3.5.0/maven-resources-plugin-3.5.0.jar (32 kB at 1.3 MB/s)\n[INFO] Downloading from central: https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-compiler-plugin/3.16.0/maven-compiler-plugin-3.16.0.pom\n[INFO] Downloaded from central: https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-compiler-plugin/3.16.0/maven-compiler-plugin-3.16.0.pom (9.7 kB at 345 kB/s)\n[INFO] Downloading from central: https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-plugins/49/maven-plugins-49.pom\n[INFO] Downloaded from central: https://repo.maven.apache.org/maven2/org/apache/maven/plugins/maven-plugins/49/maven-plugins-49.pom (7.2 kB at 240 kB/s)\n[INFO] Downloading from central: https://repo.maven.apache.org/maven2/org/apache/maven/maven-parent/49/maven-parent-49.pom\n[INFO] Downloaded from central: https://repo.maven.apache.org/maven2/org/apache/maven/maven-parent/49/maven-parent-49.pom (51 kB at 1.5 MB/s)\n[INFO] Downloading from central: https://repo.maven.apache.org/maven2/org/apache/apache/39/apache-39.pom\n[INFO] Downloaded from central: https://repo.maven.apache.org/maven2/org/apache/apache/39/apache-39.pom (27 kB at 1.0 MB/s)\n[INFO] Downloading from central: https://repo.maven.apache.org/maven2/org/junit/junit-bom/5.14.4/junit-bom-5.14.4.pom\n[INFO] Downloaded from central: https://repo.maven.apache.org/maven2/org/junit/junit-bom/5.14.4/junit-bom-5.14.4.pom (5.7 kB at 218 kB/s)\n[INFO] Downloading from central: https://repo.maven.apache.org/mav\nFull transcript in the execution-proof artifact.",
      "output_sha256": "c689decb5e48e5dda39dc1628c9b3f44c7efb8709bfd1487103433cb750032e8"
    },
    {
      "display": true,
      "name": "Persist double-entry journal and replay idempotently",
      "argv": [
        "python",
        ".proof/demo.py"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 0.403,
      "output": "{\"idempotent_replay\": true, \"recovered\": {\"balanced\": true, \"balancesMinor\": {\"cash:BRL\": -1250, \"revenue:BRL\": 1250}}}\n",
      "output_sha256": "f7e714511e047fd12246b984c94741b8ea0d95837662941e36dcf0692278898d"
    }
  ],
  "passed": true
}