{
  "schema": 1,
  "repository": "brunnojob/trazormodel",
  "source_commit": "7a921f4c9c41ce1a61d9da80767a76a76013d63d",
  "generated_at": "2026-10-10T05:28:07.400087+00:00",
  "run_url": "https://github.com/brunnojob/trazormodel/actions/runs/38027594051",
  "inputs_sha256": {
    ".proof/scenarios.json": "6f83101e11ac0be2bb38aaecb233a19196c268d6835a954c32f2e6d26bfe990a",
    "src/lib/money.ts": "7aef7e2ce7e97ba8b563260b8a862868194adeb34d3e813041bdf796d9d80210",
    ".proof/money.ts": "f6e50c6030215abd2ce66726dbc381570dd040575da6400949e6550e0d115f46"
  },
  "cases": [
    {
      "display": false,
      "name": "npm ci",
      "argv": [
        "bash",
        "-e",
        "-o",
        "pipefail",
        "-c",
        "npm ci"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 85.633,
      "output": "\nadded 321 packages, and audited 322 packages in 1m\n\n66 packages are looking for funding\n  run `npm fund` for details\n\n33 vulnerabilities (2 low, 6 moderate, 25 high)\n\nTo address issues that do not require attention, run:\n  npm audit fix\n\nTo address all issues (including breaking changes), run:\n  npm audit fix --force\n\nRun `npm audit` for details.\nnpm warn install-scripts 1 package has install scripts not yet covered by allowScripts:\nnpm warn install-scripts   esbuild@0.21.5 (postinstall: node install.js)\nnpm warn install-scripts\nnpm warn install-scripts Run `npm install-scripts ls` to review, or `npm install-scripts approve <pkg>` to allow.\n",
      "output_sha256": "161f47623c76cf0db0edd4e43a5238c9a00eece7dd9ea59767b75df0ce2cdae9"
    },
    {
      "display": true,
      "name": "npm run typecheck",
      "argv": [
        "bash",
        "-e",
        "-o",
        "pipefail",
        "-c",
        "npm run typecheck"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 1.71,
      "output": "\n> trazor-ledger@2.0.0 typecheck\n> tsc --noEmit -p tsconfig.app.json\n\n",
      "output_sha256": "d01260a3bd729457050bc252931046dab6088e966a4cfa2ca5601d6aae4f9239"
    },
    {
      "display": true,
      "name": "npm run build",
      "argv": [
        "bash",
        "-e",
        "-o",
        "pipefail",
        "-c",
        "npm run build"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 1.907,
      "output": "\n> trazor-ledger@2.0.0 build\n> vite build\n\n\u001b[36mvite v5.4.8 \u001b[32mbuilding for production...\u001b[36m\u001b[39m\ntransforming...\n\u001b[32m✓\u001b[39m 104 modules transformed.\nrendering chunks...\ncomputing gzip size...\n\u001b[2mdist/\u001b[22m\u001b[32mindex.html                 \u001b[39m\u001b[1m\u001b[2m  0.69 kB\u001b[22m\u001b[1m\u001b[22m\u001b[2m │ gzip:  0.37 kB\u001b[22m\n\u001b[2mdist/\u001b[22m\u001b[2massets/\u001b[22m\u001b[35mindex-DJ3ntlws.css  \u001b[39m\u001b[1m\u001b[2m  6.22 kB\u001b[22m\u001b[1m\u001b[22m\u001b[2m │ gzip:  1.94 kB\u001b[22m\n\u001b[2mdist/\u001b[22m\u001b[2massets/\u001b[22m\u001b[36mindex-C3sX7nfW.js   \u001b[39m\u001b[1m\u001b[2m275.66 kB\u001b[22m\u001b[1m\u001b[22m\u001b[2m │ gzip: 82.36 kB\u001b[22m\n\u001b[32m✓ built in 1.53s\u001b[39m\n",
      "output_sha256": "7df543b51d104cd3cddfa958afa2f5879db32f399e0f8f0d8134a4edab76aef1"
    },
    {
      "display": true,
      "name": "Convert decimal money exactly and reject unsafe monetary inputs",
      "argv": [
        "node",
        ".proof/money.ts"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 0.101,
      "output": "{\"converted\":[{\"input\":\"0.01\",\"minor\":1},{\"input\":\"1.23\",\"minor\":123},{\"input\":\"125,25\",\"minor\":12525},{\"input\":\"9999999999.99\",\"minor\":999999999999}],\"invalid_values_rejected\":8,\"formatted\":\"R$ 125,25\"}\n",
      "output_sha256": "aa5caa097cc1da705f6c24fa547f70ab95a4140d8357f682fce28e642bf9da8f"
    }
  ],
  "passed": true
}