{
  "case": "hiredis-v074",
  "generated": "2026-09-08T12:10:15.670Z",
  "generator": "apps/marketing/scripts/sync-proof-hiredis-v074.mjs",
  "sourceRoot": "releaseproof-v074 (gitignored artifact tree; not reachable from a plain checkout)",
  "files": [
    {
      "path": "release/release-verified.json",
      "bytes": 1473,
      "sha256": "9691286c05684d8584582a311e601a210520839b871cf17fae56235031842af4",
      "claim": "Release tag, commit, and archive sha256 kin reported for this build.",
      "source": "receipts/release-verified.json"
    },
    {
      "path": "release/checksums-sha256.txt",
      "bytes": 543,
      "sha256": "463187d5ce0eb46d504422750faadd2002d89bc25943de2a8edb6989f6d08e73",
      "claim": "GitHub release asset checksums.sha256, all platforms, as published.",
      "source": "downloads/checksums-sha256.txt"
    },
    {
      "path": "release/kin-macos-aarch64.tar.gz.sha256",
      "bytes": 91,
      "sha256": "5f75b30ece34bf74296c54e7ffd13fd5063807885c374f9edd3f988e0ccab455",
      "claim": "Sidecar checksum for the exact archive downloaded and installed.",
      "source": "downloads/kin-macos-aarch64.tar.gz.sha256"
    },
    {
      "path": "release/release-provenance.json",
      "bytes": 13084,
      "sha256": "2b865dea1fa9dff54fadcf79b7649a9f6f5864ae07c7cf85c05cb9bc8e8dd766",
      "claim": "Release workflow provenance record for v0.7.4.",
      "source": "downloads/release-provenance.json"
    },
    {
      "path": "release/release-provenance.json.sha256",
      "bytes": 90,
      "sha256": "e2472ab5ca2cbc1f14f7c4480dd26ce7d431d5461c0684d91aacdec97c65daef",
      "claim": "Sidecar checksum for release-provenance.json.",
      "source": "downloads/release-provenance.json.sha256"
    },
    {
      "path": "release/release-promotion.json",
      "bytes": 496,
      "sha256": "0048a91e8729c46d475e92d25dab6a7d321a18e9405af4c3b82f5011c58840ae",
      "claim": "Release promotion record naming the completed capstones and workflow run.",
      "source": "downloads/release-promotion.json"
    },
    {
      "path": "release/release-promotion.json.sha256",
      "bytes": 89,
      "sha256": "c66e729f2677778b974906ada9a246cd40ce2ef128fb55873a5a69403cb8dab5",
      "claim": "Sidecar checksum for release-promotion.json.",
      "source": "downloads/release-promotion.json.sha256"
    },
    {
      "path": "receipts/fixture.json",
      "bytes": 2537,
      "sha256": "c7550b7ccf95be7d9cc2d8973bb5b6acdecf646a3aef449109bf124ed9406be1",
      "claim": "hiredis fixture identity: head commit, reachable commit count, tag list.",
      "source": "receipts/fixture.json"
    },
    {
      "path": "receipts/lifecycle-20260908T035506Z/01-migrate.receipt.json",
      "bytes": 411,
      "sha256": "6edfebc1dac9626ab6be75e7222d8df05ea160dd5cec57b25a213f89a02a8794",
      "claim": "kin migrate exit code and wall time.",
      "source": "receipts/lifecycle-20260908T035506Z/01-migrate.receipt.json"
    },
    {
      "path": "receipts/lifecycle-20260908T035506Z/01-migrate.stdout",
      "bytes": 738,
      "sha256": "247ae3f2b96e03156d86b8d6a8360f83053c3daa2033183716090ecad0c76255",
      "claim": "kin migrate full stdout: the 17-stage admission plan and its counts.",
      "source": "receipts/lifecycle-20260908T035506Z/01-migrate.stdout"
    },
    {
      "path": "receipts/source-body-digests.json",
      "bytes": 945,
      "sha256": "239f5b810b0d3675195081f95fd362a124bf71fa6262895fa062d3b30e489b75",
      "claim": "Per-entity sha256 of the CLI and MCP source bodies, and the cli_mcp_equal verdict.",
      "source": "receipts/source-body-digests.json"
    },
    {
      "path": "receipts/gate-outcomes.json",
      "bytes": 985,
      "sha256": "354459820ef36f691b36e7a978db3f02e8fb23b9d70d7d2f76555e7d51be82dc",
      "claim": "One-line verdict per gate this run checked, including the call-chain and entity-refusal lines quoted on this page.",
      "source": "receipts/gate-outcomes.json"
    },
    {
      "path": "receipts/edit-applied.json",
      "bytes": 195,
      "sha256": "8ad313603cc775ae00b45863c2565a9b9cffd2ef79e55f80f8beb0ba722e50ef",
      "claim": "Rename occurrence count and before/after sha256 of sds.c.",
      "source": "receipts/edit-applied.json"
    },
    {
      "path": "receipts/lifecycle-20260908T040455Z/16-edit-diff.stdout",
      "bytes": 1115,
      "sha256": "22fde62e546bf4eb7258af8a45dcaac1f452a1f909551aae487656875c207673",
      "claim": "The exact three-line diff.",
      "source": "receipts/lifecycle-20260908T040455Z/16-edit-diff.stdout"
    },
    {
      "path": "receipts/assembly-equivalence.json",
      "bytes": 340,
      "sha256": "fc00e75c8876f77b07b4fb2fea4d5dd1e760ec5b7d3bb42515157e934b9ce098",
      "claim": "clang -O2 -S before/after, and the cmp verdict on the two .s files.",
      "source": "receipts/assembly-equivalence.json"
    },
    {
      "path": "receipts/sds-before.s",
      "bytes": 107297,
      "sha256": "1981a97c373012c5a97341453f8e8df68dfab52f460fe0964b7ec8a17519179d",
      "claim": "Optimized assembly compiled before the rename.",
      "source": "receipts/sds-before.s"
    },
    {
      "path": "receipts/sds-after.s",
      "bytes": 107297,
      "sha256": "1981a97c373012c5a97341453f8e8df68dfab52f460fe0964b7ec8a17519179d",
      "claim": "Optimized assembly compiled after the rename; byte-identical to sds-before.s.",
      "source": "receipts/sds-after.s"
    },
    {
      "path": "receipts/lifecycle-20260908T040455Z/19-kin-commit.receipt.json",
      "bytes": 423,
      "sha256": "df2c74941890cede192a37fa15662f89bb407a5fc0c40724a1fe318130525431",
      "claim": "kin commit exit code and wall time.",
      "source": "receipts/lifecycle-20260908T040455Z/19-kin-commit.receipt.json"
    },
    {
      "path": "receipts/lifecycle-20260908T040455Z/19-kin-commit.stdout",
      "bytes": 1129,
      "sha256": "b838a59ff0b99e9a828ceb1312c3841cf05aa2aab7d21118f9667b35125fa33a",
      "claim": "kin commit full stdout: the change id and the 25-parse-error disclosure.",
      "source": "receipts/lifecycle-20260908T040455Z/19-kin-commit.stdout"
    },
    {
      "path": "receipts/lifecycle-20260908T040455Z/21-committed-source.stderr",
      "bytes": 1442,
      "sha256": "e94b10914e7d510adaeef87e9dd1ece59f01e4c586fd66ef4a90ced5b5722262",
      "claim": "The graph-authority-gap refusal, read immediately after the commit.",
      "source": "receipts/lifecycle-20260908T040455Z/21-committed-source.stderr"
    },
    {
      "path": "receipts/lifecycle-20260908T040455Z/28-reopened-state-source.stderr",
      "bytes": 336,
      "sha256": "38bf852bbf021e6a9392bb2ff0624c66617e0a72e59ce04611936201d68716ab",
      "claim": "The same refusal, reproduced after the stop/reopen cycle.",
      "source": "receipts/lifecycle-20260908T040455Z/28-reopened-state-source.stderr"
    },
    {
      "path": "receipts/committed-artifact-before.json",
      "bytes": 98138,
      "sha256": "ed2a2dce7931474ad4eb86637994cbd1324b68c79141c71b5989955fc4f04e49",
      "claim": "Committed artifact bytes and sha256, read after committed edit, before reopen.",
      "source": "receipts/committed-artifact-before.json"
    },
    {
      "path": "receipts/committed-artifact-reopened.json",
      "bytes": 98137,
      "sha256": "b30d0d8f50e1bbec52e6caa37c7d5e56531f9b036fcc66837a5e9b810a2f1cb2",
      "claim": "The same artifact, read again after a fresh daemon reopened the store.",
      "source": "receipts/committed-artifact-reopened.json"
    },
    {
      "path": "receipts/lifecycle-20260908T040455Z/20-kin-log.stdout",
      "bytes": 8144,
      "sha256": "a0f194f0274508a8a82d72d346eac312a1fee390cd14f84946363cde7ed02720",
      "claim": "Native change log before the stop.",
      "source": "receipts/lifecycle-20260908T040455Z/20-kin-log.stdout"
    },
    {
      "path": "receipts/lifecycle-20260908T040455Z/26-reopened-log.stdout",
      "bytes": 8144,
      "sha256": "a0f194f0274508a8a82d72d346eac312a1fee390cd14f84946363cde7ed02720",
      "claim": "Native change log after reopen; byte-identical to 20-kin-log.stdout.",
      "source": "receipts/lifecycle-20260908T040455Z/26-reopened-log.stdout"
    },
    {
      "path": "receipts/reopen-verification.json",
      "bytes": 478,
      "sha256": "0cab55b6f92c753a60adfa866bf96101cf6aae0e98363fa194a49b3e575b8298",
      "claim": "Formal summary: bytes_match_before_reopen, native_log_exact_match, reimported.",
      "source": "receipts/reopen-verification.json"
    }
  ]
}