{
  "project_id": "7b09c1734f84013f78512cd7e3536b97",
  "public_project": "https://app.labwired.com/p/andrii/7b09c1734f84013f78512cd7e3536b97",
  "board": "stm32f411ceu6-blackpill",
  "project_diagram_sha": "948695e1aef90ce0139bfe251c69ac28dc248376259e770bf3a57abdebf28f60",
  "hosted_firmware_ref": "sha256:a8262fa71af29d0f00ac70bd6f3328f9686b19f5ce5d579ed7f0ebc08bd2534e",
  "pcb_board_id": "pcb_ee61bc2fc81b1d20",
  "pcb_revision": 5,
  "design_reference": "R16",
  "part_id": "rd7",
  "footprint": "Resistor_SMD:R_0603_1608Metric",
  "changes": [
    "rd7.attrs.value: 20k → 200k"
  ],
  "scope": "Firmware running against source circuit. Copper comparison and audio captured separately with native instrumented ELF.",
  "tests": {
    "intact_20k": {
      "status": "model_verified",
      "proven": true,
      "verification": "serial contains \"CLOCK_100MHZ_OK\"; serial contains \"DAC_ADC_GAIN_OK\"; serial contains \"OLED_INIT_OK\". Model-verified deterministically.",
      "run_status": "pass",
      "stop_reason": "assertions_passed",
      "oracle_results": [
        {
          "kind": "serial",
          "passed": true,
          "detail": "serial contains \"CLOCK_100MHZ_OK\""
        },
        {
          "kind": "serial",
          "passed": true,
          "detail": "serial contains \"DAC_ADC_GAIN_OK\""
        },
        {
          "kind": "serial",
          "passed": true,
          "detail": "serial contains \"OLED_INIT_OK\""
        }
      ],
      "serial": "ACID303 BOOT R2R8 REAL_ADC\r\nCLOCK_100MHZ_OK\r\nDAC_TEST code=32 adc6=508 expected=512 tolerance=64\r\nDAC_TEST code=128 adc6=2044 expected=2048 tolerance=64\r\nDAC_TEST code=224 adc6=3580 expected=3583 tolerance=64\r\nDAC_ADC_MONOTONIC_OK\r\nDAC_ADC_GAIN_OK\r\nOLED_INIT_OK\r\n",
      "gaps": [
        {
          "code": "approximation",
          "scope": "model",
          "detail": "device time derived from cpu_hz (100000000 Hz); PLL reconfiguration is not tracked",
          "address": "0x0",
          "pc": "0x0"
        },
        {
          "code": "approximation",
          "scope": "model",
          "detail": "no power net drives the MCU (board.power.vdd_volts is not routed); VDD assumed an ideal 3.3 V rail, so power-on and brown-out reset are not simulated",
          "address": "0x0",
          "pc": "0x0"
        }
      ]
    },
    "wrong_200k": {
      "status": "failed",
      "proven": false,
      "verification": "",
      "run_status": "fail",
      "stop_reason": "max_steps",
      "oracle_results": [
        {
          "kind": "serial",
          "passed": true,
          "detail": "serial contains \"CLOCK_100MHZ_OK\""
        },
        {
          "kind": "serial",
          "passed": false,
          "detail": "serial does NOT contain \"DAC_ADC_GAIN_OK\""
        },
        {
          "kind": "serial",
          "passed": true,
          "detail": "serial contains \"OLED_INIT_OK\""
        }
      ],
      "serial": "ACID303 BOOT R2R8 REAL_ADC\r\nCLOCK_100MHZ_OK\r\nDAC_TEST code=32 adc6=928 expected=512 tolerance=64\r\nDAC_TEST code=128 adc6=372 expected=2048 tolerance=64\r\nDAC_TEST code=224 adc6=3160 expected=3583 tolerance=64\r\nDAC_ADC_MONOTONIC_FAIL\r\nDAC_ADC_GAIN_FAIL\r\nOLED_INIT_OK\r\nSTEP index=0 note=40 accent=1 slide=0 dac=137 adc6=1024 samples=65 bpm=119 adc_ok=1 cutoff=979 resonance=1499 env=899 decay=300 accent_amt=4498\r\n",
      "gaps": [
        {
          "code": "approximation",
          "scope": "model",
          "detail": "device time derived from cpu_hz (100000000 Hz); PLL reconfiguration is not tracked",
          "address": "0x0",
          "pc": "0x0"
        },
        {
          "code": "approximation",
          "scope": "model",
          "detail": "no power net drives the MCU (board.power.vdd_volts is not routed); VDD assumed an ideal 3.3 V rail, so power-on and brown-out reset are not simulated",
          "address": "0x0",
          "pc": "0x0"
        }
      ]
    }
  }
}