{
  "format": 1,
  "generator": "e2e/proofcarry.spec.js: the proof corpus's digital_in+not (codegen::board::corpus), which flowRS's proof table holds",
  "nodes": [
    { "id": 0, "type_id": "embedded.gpio.digital_in", "properties": { "pin": "3" }, "position": [0.0, 0.0] },
    { "id": 1, "type_id": "logic.not", "properties": {}, "position": [260.0, 0.0] },
    { "id": 2, "type_id": "embedded.gpio.digital_out", "properties": { "pin": "6" }, "position": [520.0, 0.0] }
  ],
  "wires": [
    { "id": 0, "from_node": 0, "from_port": "state", "to_node": 1, "to_port": "value", "mode": "Copy" },
    { "id": 1, "from_node": 1, "from_port": "result", "to_node": 2, "to_port": "state", "mode": "Copy" }
  ]
}