{
  "spec": "coderifts.proof-run.v1",
  "date": "2026-11-01",
  "started_at": "2026-11-01T13:41:11.378Z",
  "claims_source": "https://coderifts.com/.well-known/proof-claims.json",
  "claims_digest": "sha256:1ec3d8dd362fdbc572cd656ef752e727211c6c292d0a3e6ab6ed03e781bd43f2",
  "page": "https://coderifts.com/verify/",
  "website_commit": "030cf422b26d92a94ab5b74ddb19f6dc3ae6f970",
  "website_commit_reason": null,
  "app_server_info": {
    "name": "CodeRifts",
    "version": "1.0.3",
    "websiteUrl": "https://coderifts.com"
  },
  "app_health_version": "1.0",
  "app_decision_spec_version": "2.0",
  "app_test_count": 8360,
  "app_commit": null,
  "app_commit_reason": "the app exposes no commit on any public surface — /health and MCP initialize both return a version string and no SHA. surface_source_ref_commit is the coderifts/api-governance commit that pins the published tools[], not the server build.",
  "surface_source_ref_commit": "267f735e180b3dfea067c45e3ef9fa6c94e946ba",
  "environment": {
    "runner": "GitHub Actions 1000008302",
    "runner_os": "Linux",
    "github_run_id": "41312407845",
    "node": "v20.20.2",
    "python": "Python 3.12.3",
    "python_reason": null,
    "curl": "curl 8.5.0 (x86_64-pc-linux-gnu) libcurl/8.5.0 OpenSSL/3.0.13 zlib/1.3 brotli/1.1.0 zstd/1.5.5 libidn2/2.3.7 libpsl/0.21.2 (+libidn2/2.3.7) libssh/0.10.6/openssl/zlib nghttp2/1.59.0 librtmp/2.3 OpenLDAP/2.6.10"
  },
  "summary": {
    "total": 11,
    "verified": 11,
    "stale": 0,
    "drift": 0,
    "undecided": 0,
    "skipped": 0,
    "error": 0
  },
  "proofs": [
    {
      "id": "signed-decision",
      "verdict": "verified",
      "detail": "4/4 field(s) as documented",
      "ms": 190,
      "exit_code": 0,
      "output_digest": "sha256:2d078345dfe73f4d105638c62f6d60b55f7195db45fa9b6669d2e2fbd8cb5692",
      "output_bytes": 1414
    },
    {
      "id": "valid-not-authz",
      "verdict": "verified",
      "detail": "3/3 field(s) as documented",
      "ms": 134,
      "exit_code": 0,
      "output_digest": "sha256:6f5b177cc6f7ec4a4fbcbb0207d6a8f77b7eb3f158e76165e216ed1e045737b8",
      "output_bytes": 582
    },
    {
      "id": "limits-as-data",
      "verdict": "verified",
      "detail": "3/3 expected string(s) present",
      "ms": 17,
      "exit_code": 0,
      "output_digest": "sha256:3d0b8eccc5f15498d613fe1110577528483074f41ddf8f9f5296257310f1f0f0",
      "output_bytes": 6460
    },
    {
      "id": "surface-selfcheck",
      "verdict": "verified",
      "detail": "two sources agree: sha256:cb989871bb8376655bff573cb074ecac1e367a2393a88aff067055c07722ecb6",
      "ms": 164,
      "exit_code": 0,
      "output_digest": "sha256:3ca2508fcbf243a61088658a060930b9cf7effbbb0b137eeb81fc7524d68f18f",
      "output_bytes": 143
    },
    {
      "id": "mcp-surface-lock",
      "verdict": "verified",
      "detail": "exit 0: NO_BREAK_DETECTED",
      "ms": 7817,
      "exit_code": 0,
      "output_digest": "sha256:e7523790ef59582c95211a95908a6d923579ee25155850c3abd2144ad6df88e6",
      "output_bytes": 395
    },
    {
      "id": "unknown-method",
      "verdict": "verified",
      "detail": "2/2 field(s) as documented",
      "ms": 144,
      "exit_code": 0,
      "output_digest": "sha256:fbfa23c146f063b943e34bd80d04e4442882a30c90e4555afded2ac8db308ddd",
      "output_bytes": 94
    },
    {
      "id": "guarded-table",
      "verdict": "verified",
      "detail": "1/1 expected string(s) present",
      "ms": 1743,
      "exit_code": 0,
      "output_digest": "sha256:7d3d3a0aef146e08c1b655c3f28c0b20c339f41a127b75f318ad9c2469d48e83",
      "output_bytes": 49
    },
    {
      "id": "one-grant",
      "verdict": "verified",
      "detail": "1/1 expected string(s) present",
      "ms": 688,
      "exit_code": 0,
      "output_digest": "sha256:864bb928a5a0c2286c05362b0ac1abc6eb39ffa230957710a85ba2339a67a114",
      "output_bytes": 48
    },
    {
      "id": "decision-branches",
      "verdict": "verified",
      "detail": "2/2 expected string(s) present",
      "ms": 658,
      "exit_code": 0,
      "output_digest": "sha256:d39c630138daf7606477d86a55e3abbf098ebbbcd1a7a1e640f75a513482148f",
      "output_bytes": 614
    },
    {
      "id": "reproduce-evidence",
      "verdict": "verified",
      "detail": "1/1 expected string(s) present",
      "ms": 689,
      "exit_code": 0,
      "output_digest": "sha256:9699e53b16c76da1ef825430adf2f1b329fac6775a006af7f4473998cb145b64",
      "output_bytes": 224
    },
    {
      "id": "analysis-is-not-permission",
      "verdict": "verified",
      "detail": "5/5 field(s) as documented",
      "ms": 244,
      "exit_code": 0,
      "output_digest": "sha256:d9dbf337492427f68127f7ac3f190a6ad59febe392253ad8d24a1b6af7034a02",
      "output_bytes": 9763
    }
  ],
  "does_not_prove": [
    "That a reader ran these commands, or that they would get this on their machine. It records that THIS runner did, from THIS environment, on this date.",
    "That a verified proof is a correct claim. It is agreement between a live surface and a published expectation — both of which we wrote.",
    "Anything about a proof marked skipped. A rate limit or a DNS failure is not evidence in either direction, which is why skipped never moves a badge."
  ]
}