{
  "schema": 1,
  "repository": "brunnojob/arduino-air-quality-monitor",
  "source_commit": "7b2c9737df35bc181ac0de55e4d6d93c2d3f557c",
  "generated_at": "2026-10-10T05:29:50.565371+00:00",
  "run_url": "https://github.com/brunnojob/arduino-air-quality-monitor/actions/runs/38027612031",
  "inputs_sha256": {
    ".proof/scenarios.json": "a7c5050bf2c932d5f7580959e8f93f675b125a4b95bba0013236e7dec2e67f24",
    ".proof/demo.cpp": "320ee8ca03515cae8e6c67b97520af28a1a2fbc1fdc08ec1c28da5c53270f5ea"
  },
  "cases": [
    {
      "display": false,
      "name": "python -m pip install platformio==6.1.19",
      "argv": [
        "bash",
        "-e",
        "-o",
        "pipefail",
        "-c",
        "python -m pip install platformio==6.1.19"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 4.11,
      "output": "Collecting platformio==6.1.19\n  Downloading platformio-6.1.19-py3-none-any.whl.metadata (7.2 kB)\nCollecting bottle==0.13.* (from platformio==6.1.19)\n  Downloading bottle-0.13.4-py2.py3-none-any.whl.metadata (1.6 kB)\nCollecting click<8.4,>=8.0.4 (from platformio==6.1.19)\n  Downloading click-8.3.3-py3-none-any.whl.metadata (2.6 kB)\nCollecting colorama (from platformio==6.1.19)\n  Downloading colorama-0.4.6-py2.py3-none-any.whl.metadata (17 kB)\nCollecting marshmallow==3.* (from platformio==6.1.19)\n  Downloading marshmallow-3.26.2-py3-none-any.whl.metadata (7.3 kB)\nCollecting pyelftools<1,>=0.27 (from platformio==6.1.19)\n  Downloading pyelftools-0.33-py3-none-any.whl.metadata (1.0 kB)\nCollecting pyserial==3.5.* (from platformio==6.1.19)\n  Downloading pyserial-3.5-py2.py3-none-any.whl.metadata (1.6 kB)\nCollecting requests==2.* (from platformio==6.1.19)\n  Downloading requests-2.34.2-py3-none-any.whl.metadata (4.8 kB)\nCollecting semantic_version==2.10.* (from platformio==6.1.19)\n  Downloading semantic_version-2.10.0-py2.py3-none-any.whl.metadata (9.7 kB)\nCollecting tabulate==0.* (from platformio==6.1.19)\n  Downloading tabulate-0.10.0-py3-none-any.whl.metadata (40 kB)\nCollecting ajsonrpc==1.2.* (from platformio==6.1.19)\n  Downloading ajsonrpc-1.2.0-py3-none-any.whl.metadata (6.9 kB)\nCollecting starlette<0.53,>=0.19 (from platformio==6.1.19)\n  Downloading starlette-0.52.1-py3-none-any.whl.metadata (6.3 kB)\nCollecting uvicorn<0.41,>=0.16 (from platformio==6.1.19)\n  Downloading uvicorn-0.40.0-py3-none-any.whl.metadata (6.7 kB)\nCollecting wsproto==1.* (from platformio==6.1.19)\n  Downloading wsproto-1.3.2-py3-none-any.whl.metadata (5.2 kB)\nCollecting packaging>=17.0 (from marshmallow==3.*->platformio==6.1.19)\n  Downloading packaging-26.3-py3-none-any.whl.metadata (3.5 kB)\nCollecting charset_normalizer<4,>=2 (from requests==2.*->platformio==6.1.19)\n  Downloading charset_normalizer-3.5.2-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl.metadata (46 kB)\nCollecting idna<4,>=2.5 (from requests==2.*->platformio==6.1.19)\n  Downloading idna-3.20-py3-none-any.whl.metadata (7.2 kB)\nCollecting urllib3<3,>=1.26 (from requests==2.*->platformio==6.1.19)\n  Downloading urllib3-2.8.0-py3-none-any.whl.metadata (7.4 kB)\nCollecting certifi>=2023.5.7 (from requests==2.*->platformio==6.1.19)\n  Downloading certifi-2026.7.22-py3-none-any.whl.metadata (2.5 kB)\nCollecting anyio<5,>=3.6.2 (from starlette<0.53,>=0.19->platformio==6.1.19)\n  Downloading anyio-4.15.1-py3-none-any.whl.metadata (4.7 kB)\nCollecting typing-extensions>=4.10.0 (from starlette<0.53,>=0.19->platformio==6.1.19)\n  Downloading typing_extensions-4.16.0-py3-none-any.whl.metadata (3.3 kB)\nCollecting h11>=0.8 (from uvicorn<0.41,>=0.16->platformio==6.1.19)\n  Downloading h11-0.16.0-py3-none-any.whl.metadata (8.3 kB)\nDownloading platformio-6.1.19-py3-none-any.whl (421 kB)\nDownloading ajsonrpc-1.2.0-py3-none-any.whl (22 kB)\nDownloading bottle-0.13.4-py2.py3-none-any.whl (103 kB)\nDownloading click-8.3.3-py3-none-any.whl (110 kB)\nDownloading marshmallow-3.26.2-py3-none-any.whl (50 kB)\nDownloading pyelftools-0.33-py3-none-any.whl (201 kB)\nDownloading pyserial-3.5-py2.py3-none-any.whl (90 kB)\nDownloading requests-2.34.2-py3-none-any.whl (73 kB)\nDownloading charset_normalizer-3.5.2-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (257 kB)\nDownloading idna-3.20-py3-none-any.whl (69 kB)\nDownloading semantic_version-2.10.0-py2.py3-none-any.whl (15 kB)\nDownloadi\nFull transcript in the execution-proof artifact.",
      "output_sha256": "5669da6dbe557bb8431c8ec5d0a5b6b28c91c16ee2f6c27564034cd06c6c3cbc"
    },
    {
      "display": true,
      "name": "pio run -e esp32dev",
      "argv": [
        "bash",
        "-e",
        "-o",
        "pipefail",
        "-c",
        "pio run -e esp32dev"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 40.052,
      "output": "********************************************************************************\nIf you like PlatformIO, please:\n- star it on GitHub > https://github.com/platformio/platformio-core\n- follow us on LinkedIn to stay up-to-date on the latest project news > https://www.linkedin.com/company/platformio/\n- try PlatformIO IDE for embedded development > https://platformio.org/platformio-ide\n********************************************************************************\n\nProcessing esp32dev (platform: espressif32@6.12.0; board: esp32dev; framework: arduino)\n--------------------------------------------------------------------------------\nPlatform Manager: Installing espressif32 @ 6.12.0\nDownloading 0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%\nUnpacking 0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%\nPlatform Manager: espressif32@6.12.0 has been installed!\nTool Manager: Installing espressif/toolchain-xtensa-esp32 @ 8.4.0+2021r2-patch5\nDownloading 0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%\nUnpacking 0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%\nTool Manager: toolchain-xtensa-esp32@8.4.0+2021r2-patch5 has been installed!\nTool Manager: Installing platformio/framework-arduinoespressif32 @ ~3.20017.0\nDownloading 0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%\nUnpacking 0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%\nTool Manager: framework-arduinoespressif32@3.20017.241212+sha.dcc1105b has been installed!\nTool Manager: Installing platformio/tool-esptoolpy @ ~2.40900.0\nDownloading 0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%\nUnpacking 0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%\nCollecting cryptography~=45.0.3\n  Downloading cryptography-45.0.7-cp311-abi3-manylinux_2_34_x86_64.whl.metadata (5.7 kB)\nCollecting ecdsa~=0.19.1\n  Downloading ecdsa-0.19.2-py2.py3-none-any.whl.metadata (29 kB)\nCollecting bitstring~=4.3.1\n  Downloading bitstring-4.3.1-py3-none-any.whl.metadata (5.3 kB)\nCollecting reedsolo~=1.7.0\n  Downloading reedsolo-1.7.0-py3-none-any.whl.metadata (23 kB)\nCollecting intelhex~=2.3.0\n  Downloading intelhex-2.3.0-py2.py3-none-any.whl.metadata (2.7 kB)\nCollecting cffi>=1.14 (from cryptography~=45.0.3)\n  Downloading cffi-2.1.1-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl.metadata (2.5 kB)\nCollecting six>=1.9.0 (from ecdsa~=0.19.1)\n  Downloading six-1.17.0-py2.py3-none-any.whl.metadata (1.7 kB)\nCollecting bitarray<4.0,>=3.0.0 (from bitstring~=4.3.1)\n  Downloading bitarray-3.12.0-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl.metadata (41 kB)\nCollecting pycparser (from cffi>=1.14->cryptography~=45.0.3)\n  Downloading pycparser-3.11-py3-none-any.whl.metadata (8.2 kB)\nDownloading cryptography-45.0.7-cp311-abi3-manylinux_2_34_x86_64.whl (4.5 MB)\n   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 4.5/4.5 MB 18.4 MB/s  0:00:00\nDownloading ecdsa-0.19.2-py2.py3-none-any.whl (150 kB)\nDownloading bitstring-4.3.1-py3-none-any.whl (71 kB)\nDownloading reedsolo-1.7.0-py3-none-any.whl (32 kB)\nDownloading intelhex-2.3.0-py2.py3-none-any.whl (50 kB)\nDownloading bitarray-3.12.0-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl (398 kB)\nDownloading cffi-2.1.1-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl (221 kB)\nDownloading six-1.17.0-py2.py3-none-any.whl (11 kB)\nDownloading pycparser-3.11-py3-none-any.whl (51 kB)\nInstalling collected packages: reedsolo, intelhex, six, pycparser, bitarray, ecdsa, cffi, bitstring, cryptography\n\nSuccessfully installed bitarray-3.12.0 bitstring-4.3.1 cffi-2.1.1 cryptogra\nFull transcript in the execution-proof artifact.",
      "output_sha256": "6429f0571ee428b361a41e32aa63e462f1142a790174eda639ba16e34fd9cab1"
    },
    {
      "display": true,
      "name": "python -m unittest discover -v -s cloud",
      "argv": [
        "bash",
        "-e",
        "-o",
        "pipefail",
        "-c",
        "python -m unittest discover -v -s cloud"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 0.253,
      "output": "test_confirmed_receipt_marks_the_report_sent (test_receipts.ReceiptTests.test_confirmed_receipt_marks_the_report_sent) ... ok\ntest_events_reject_empty_values_of_the_wrong_type (test_receipts.ReceiptTests.test_events_reject_empty_values_of_the_wrong_type) ... ok\ntest_invalid_receipts_keep_the_report_pending (test_receipts.ReceiptTests.test_invalid_receipts_keep_the_report_pending) ... ok\ntest_omitted_events_and_empty_list_have_the_same_key (test_receipts.ReceiptTests.test_omitted_events_and_empty_list_have_the_same_key) ... ok\ntest_conflicting_key_cannot_overwrite_a_report (test_sync.OutboxTests.test_conflicting_key_cannot_overwrite_a_report) ... ok\ntest_retries_keep_reports_until_confirmed (test_sync.OutboxTests.test_retries_keep_reports_until_confirmed) ... ok\n\n----------------------------------------------------------------------\nRan 6 tests in 0.064s\n\nOK\n",
      "output_sha256": "600f914f6e00afb411783c37308ec41565dc02202118f8715458e419a55b8667"
    },
    {
      "display": true,
      "name": "Compile firmware-core failure demonstration",
      "argv": [
        "g++",
        "-std=c++17",
        "-Wall",
        "-Wextra",
        "-Werror",
        "-Iinclude",
        ".proof/demo.cpp",
        "-o",
        "/tmp/firmware-proof"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 2.607,
      "output": "",
      "output_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "display": true,
      "name": "Demonstrate actual firmware logic on native inputs",
      "argv": [
        "/tmp/firmware-proof"
      ],
      "exit": 0,
      "expected_exit": 0,
      "passed": true,
      "seconds": 0.051,
      "output": "stale air sensor latched; explicit reset restores warmup\n",
      "output_sha256": "745cacc2d3a187a4124e44a6507ec934e33c3746b76a0c29eb3722e9de2d8cb6"
    }
  ],
  "passed": true
}