{
  "version": 1,
  "fixture": "fixed runtime bypass counterexample",
  "source": "def validate():\n    print(\"validated\")\n\ndef main(should_validate):\n    if should_validate:\n        validate()\n    return \"published\"\n",
  "source_sha256": "6aec3f384b08ab30077d8d387c3d4818754168ebba92e984bce2703cc89d571b",
  "analysis": {
    "version": 2,
    "checker_version": "0.2.0",
    "parser_version": "Python 3.14.8 ast/symtable",
    "source_hash": "466e85220769868a021ae57a754ab527873a4ae44c05e402acda41af12fc03f6",
    "config_hash": "36c35a9e27448cfbcdd8cd9f5a292158481520a4579b6c5b1cbe2ddf5ddbcc4c",
    "status": "PASS",
    "scope": [
      "fixed_counterexample.py"
    ],
    "contracts": [
      {
        "id": "fixed-runtime-boundary",
        "kind": "connection",
        "status": "PASS",
        "findings": [
          {
            "code": "required-connection",
            "message": "supported structural path reaches fixed_counterexample:validate",
            "location": {
              "path": "fixed_counterexample.py",
              "line": 6,
              "column": 8
            }
          }
        ],
        "witness": [
          {
            "source": "fixed_counterexample:main",
            "target": "fixed_counterexample:validate",
            "kind": "call",
            "location": {
              "path": "fixed_counterexample.py",
              "line": 6,
              "column": 8
            },
            "detail": ""
          }
        ],
        "unresolved": [],
        "coverage": null
      }
    ],
    "edges": [
      {
        "source": "<entry>",
        "target": "fixed_counterexample:main",
        "kind": "entry",
        "location": {
          "path": "fixed_counterexample.py",
          "line": 4,
          "column": 0
        },
        "detail": ""
      },
      {
        "source": "fixed_counterexample:main",
        "target": "fixed_counterexample:validate",
        "kind": "call",
        "location": {
          "path": "fixed_counterexample.py",
          "line": 6,
          "column": 8
        },
        "detail": ""
      }
    ],
    "assumptions": [
      "Source-only structural and dependency evidence; application code is never imported or executed.",
      "Connection means a supported potential path, not all-branch invocation or successful execution.",
      "Handoff follows identified producer values on analyzed paths; unknown dispatch remains unresolved.",
      "Prefect scheduling and future delivery are modeled structurally, without observing execution or map cardinality.",
      "Typer registration follows application ownership; selected runtime command and callback options are not observed.",
      "Pydantic declarations describe field shape; successful runtime validation is not established.",
      "Coverage inventories source declarations in explicit production roots; accounting is not proof of runtime behavior or universal data-flow discovery."
    ],
    "errors": []
  },
  "checker_wheel_sha256": "32c601e4efded91cf1d36dddc5a9734e4bc8dc5704df073fbb9f87a38f7ba7c3",
  "input": {
    "should_validate": false
  },
  "execution": {
    "return": "published",
    "stdout": "",
    "python": "3.14.8",
    "kind": "observed fixed native fixture"
  },
  "boundary": "This record is separate from analysis of edited source. Browser project source is never executed."
}