{
  "kind": "shelf-directory",
  "note": "Directory pages list; this machine representation carries. It is live and unversioned and seals nothing of its own — each Practice below seals independently, at its own canonical URL and under its own content hash.",
  "handle": "rado",
  "shelf": "proof",
  "practices": [
    {
      "title": "Re-verify delivered work before you accept it",
      "slug": "re-verify-it-yourself",
      "summary": "How to rule on work someone else reports as done: re-run the gates in your own environment, go to the source for load-bearing figures, look at the running thing rather than the builder's screenshots, and write a verdict that says what you personally checked.",
      "canonicalUrl": "https://ctrlai.com/rado/proof/re-verify-it-yourself",
      "version": 1,
      "contentHash": "sha256:4192b1da53434ba718e5ffd842394587a50e3cb4eb390aca3d9911eee3a712cf"
    },
    {
      "title": "Never move bytes a stranger has already pinned",
      "slug": "never-move-bytes-a-stranger-pinned",
      "summary": "Some of what you publish has been hashed and copied into other people's systems. Name that byte surface before you touch anything, prove it unchanged with an empty diff, and stop and ask when a correction reaches it.",
      "canonicalUrl": "https://ctrlai.com/rado/proof/never-move-bytes-a-stranger-pinned",
      "version": 1,
      "contentHash": "sha256:ca08319f1cced06a47dd9ed35b08a93a72ea3984ba7cceb524bc444a4f17b0b9"
    },
    {
      "title": "Turn an architectural refusal into a guard",
      "slug": "turn-a-refusal-into-a-guard",
      "summary": "Convert a refusal into a test that goes red when the property is violated: write the reasons down, set the guard before the machinery exists, assert over structure rather than one behaviour, prove it actually goes red, and write in that it may only ever narrow.",
      "canonicalUrl": "https://ctrlai.com/rado/proof/turn-a-refusal-into-a-guard",
      "version": 1,
      "contentHash": "sha256:f2d3a5aa2f245c9fc91020ae1de30445d59e9f8ea7a164b6240070a16dcccb05"
    }
  ]
}