{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreidjor6iulbbfd4xnsyvmnlfbhhywl57jmajsooyowlyqluheit27a",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mpro65xj7oh2"
  },
  "path": "/t/language-vision-regarding-safety-guarantees/24418?page=3#post_46",
  "publishedAt": "2026-07-03T22:38:51.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "ia0:\n\n> The question is about deciding the safety contract, not about whether to trust it or not.\n\nThere is no separate \"safety contract\", and there is no need for one.\n\nIf I write a `sort` function, what I'm trying to do and what I promise to the users is that the output numbers are the input numbers sorted. There is only one contract here.\n\nUsers may trust that promise at different levels:\n\nTrust level | Use the crate | Apply the contractual promise for `Safety` rationale in `unsafe` blocks\n---|---|---\nLow | No | No\nHigh | Yes | No\nVery high | Yes | Yes",
  "title": "Language vision regarding safety guarantees"
}