{
  "schema": "agent-receipt/v0",
  "id": "omsocll-proofslip-pr-4-06875dc",
  "created_at": "2026-10-19T10:41:17Z",
  "repo": "omsocll/proofslip",
  "pr": {
    "number": 4,
    "url": "https://github.com/omsocll/proofslip/pull/4",
    "head_sha": "06875dc41918e4a6b1592ca1d7842a582a644837",
    "author": "omsocll"
  },
  "agent": {
    "name": "omsocll",
    "detected_by": "label"
  },
  "task": {
    "source": "pr",
    "text": "Demo: dishonest receipt (claims tests passed)"
  },
  "changes": {
    "files_changed": 2,
    "additions": 1,
    "deletions": 19,
    "files": [
      "package.json",
      "tests/readme.test.ts"
    ]
  },
  "claims": [
    {
      "id": "c1",
      "text": "All tests pass",
      "type": "tests_pass",
      "verdict": "contradicted",
      "evidence": [
        {
          "kind": "note",
          "file": "package.json",
          "detail": "A green run does not count. The test command was weakened in `package.json`, so the check can pass even when the tests fail."
        },
        {
          "kind": "check_run",
          "name": "test",
          "conclusion": "success",
          "sha": "06875dc41918e4a6b1592ca1d7842a582a644837",
          "url": "https://github.com/omsocll/proofslip/actions/runs/39238391071/job/118012964348"
        }
      ]
    },
    {
      "id": "c2",
      "text": "Added tests",
      "type": "added_tests",
      "verdict": "contradicted",
      "evidence": [
        {
          "kind": "diff",
          "file": "tests/readme.test.ts",
          "detail": "deleted"
        }
      ]
    }
  ],
  "red_flags": [
    {
      "kind": "tests_deleted",
      "summary": "Deleted the test file `tests/readme.test.ts`.",
      "files": [
        "tests/readme.test.ts"
      ]
    },
    {
      "kind": "test_command_weakened",
      "summary": "A test command was weakened in `package.json` (for example `|| true` or continue-on-error).",
      "files": [
        "package.json"
      ]
    }
  ],
  "overall": "doesnt_match",
  "summary_plain": "omsocll was asked to demo: dishonest receipt (claims tests passed). 2 files changed (1 lines added, 19 removed). 2 claims are contradicted. There are 2 warning signs. This receipt does not match the agent's account.",
  "unverified": [],
  "generator": {
    "name": "proofslip",
    "version": "0.1.0"
  }
}