{
  "engine": "go",
  "package": "example.com/proof-mcdc-cache/cache",
  "coverage": {
    "percent": 100
  },
  "timings": [
    {
      "stage": "resolve",
      "duration_millis": 13
    },
    {
      "stage": "workspace_prepare",
      "duration_millis": 5
    },
    {
      "stage": "workspace_materialize",
      "duration_millis": 1
    },
    {
      "stage": "workspace_map",
      "duration_millis": 0
    },
    {
      "stage": "instrument",
      "duration_millis": 1
    },
    {
      "stage": "test",
      "duration_millis": 1163
    },
    {
      "stage": "coverage",
      "duration_millis": 27
    },
    {
      "stage": "trace",
      "duration_millis": 0
    },
    {
      "stage": "report",
      "duration_millis": 0
    }
  ],
  "layers": {
    "eligible_decisions": 1,
    "instrumented_decisions": 1,
    "unsupported_decisions": 0,
    "statement_percent": 100,
    "decision_count": 1,
    "covered_decisions": 1,
    "decision_percent": 100,
    "condition_count": 3,
    "covered_conditions": 3,
    "condition_percent": 100,
    "incomplete_decisions": 0,
    "missing_condition_count": 0,
    "adjusted_condition_count": 3,
    "adjusted_covered_conditions": 3,
    "adjusted_condition_percent": 100,
    "adjusted_covered_decisions": 1,
    "adjusted_decision_percent": 100
  },
  "decision_count": 1,
  "fully_covered": 1,
  "partially_covered": 0,
  "next_steps": [
    "proof help mcdc",
    "proof trace impact <REQ-ID> --format table"
  ],
  "decisions": [
    {
      "id": 0,
      "package": "example.com/proof-mcdc-cache/cache",
      "file": "cache.go",
      "function": "ServeCached",
      "line": 10,
      "kind": "if",
      "expression": "e.Fresh && (e.Hit || !e.Stale)",
      "samples": 4,
      "fully_covered": true,
      "conditions": [
        {
          "id": 0,
          "expression": "e.Fresh",
          "covered": true,
          "evaluated_count": 4,
          "skipped_count": 0,
          "pair": {
            "left_sample": 0,
            "right_sample": 3
          },
          "has_pair": true,
          "feasibility": "covered"
        },
        {
          "id": 1,
          "expression": "e.Hit",
          "covered": true,
          "evaluated_count": 3,
          "skipped_count": 1,
          "pair": {
            "left_sample": 0,
            "right_sample": 1
          },
          "has_pair": true,
          "feasibility": "covered"
        },
        {
          "id": 2,
          "expression": "!e.Stale",
          "covered": true,
          "evaluated_count": 2,
          "skipped_count": 2,
          "pair": {
            "left_sample": 1,
            "right_sample": 2
          },
          "has_pair": true,
          "feasibility": "covered"
        }
      ],
      "sample_executions": [
        {
          "index": 0,
          "occurrences": 1,
          "result": true,
          "conditions": [
            {
              "cond_id": 0,
              "value": true,
              "evaluated": true
            },
            {
              "cond_id": 1,
              "value": true,
              "evaluated": true
            },
            {
              "cond_id": 2,
              "value": false,
              "evaluated": false
            }
          ]
        },
        {
          "index": 1,
          "occurrences": 1,
          "result": false,
          "conditions": [
            {
              "cond_id": 0,
              "value": true,
              "evaluated": true
            },
            {
              "cond_id": 1,
              "value": false,
              "evaluated": true
            },
            {
              "cond_id": 2,
              "value": false,
              "evaluated": true
            }
          ]
        },
        {
          "index": 2,
          "occurrences": 1,
          "result": true,
          "conditions": [
            {
              "cond_id": 0,
              "value": true,
              "evaluated": true
            },
            {
              "cond_id": 1,
              "value": false,
              "evaluated": true
            },
            {
              "cond_id": 2,
              "value": true,
              "evaluated": true
            }
          ]
        },
        {
          "index": 3,
          "occurrences": 1,
          "result": false,
          "conditions": [
            {
              "cond_id": 0,
              "value": false,
              "evaluated": true
            },
            {
              "cond_id": 1,
              "value": false,
              "evaluated": false
            },
            {
              "cond_id": 2,
              "value": false,
              "evaluated": false
            }
          ]
        }
      ]
    }
  ]
}