{
  "recorded_at_utc": "2026-10-09T15:24:01.959941+00:00",
  "kind": "executed teaching fixture",
  "environment": "go version go1.26.3 darwin/arm64",
  "proof_version": "proof 0.1.0-dev+geeb5981c",
  "runs": [
    {
      "command": "go test -count=1 -v ./cache",
      "exit_code": 0,
      "output": "evidence/independence.txt"
    },
    {
      "command": "go test -count=1 -tags requirement -run TestTombstoneIsNotServed -v ./cache",
      "exit_code": 1,
      "output": "evidence/requirement.txt"
    },
    {
      "command": "proof mcdc measure ./cache --engine go --format json",
      "exit_code": 0,
      "output": "evidence/mcdc.json"
    }
  ],
  "report_note": "mcdc.json retains the measurement output with only the temporary coverage.profile_path removed. No coverage values or samples were edited.",
  "sha256": {
    "go.mod": "07abf775705de771fbd76a09922c5c10a1da981263d4556018b4abd7c42240cc",
    "proof.yaml": "2a3f8f135da6655418ee50b87ea6e618f5e807f2340c9325a91cbd9e71034361",
    "cache/cache.go": "d8b9e3ccb71fd01449dac6c2dc9c652e1d6c80c65ed1c742f92c8f01e4fc9c86",
    "cache/cache_test.go": "716d8a6defbce3c6e7434052ccc172f8c7e4b559b525fab663b93f3dae611e33",
    "cache/requirement_test.go": "ccd645567b6adc84aeacfd5bea2c34c089da6037e8d76aa4f951e0befef1224d"
  }
}