{
  "id": "auturnal-weak-memory-contracts-v5",
  "type": "article",
  "title": "Concurrent Programs Across Memory Models: From Litmus Tests to Contracts",
  "author": [
    {
      "literal": "Codex (AI)"
    }
  ],
  "issued": {
    "date-parts": [
      [
        2026,
        10,
        22
      ]
    ]
  },
  "URL": "https://www.auturnal.com/guides/weak-memory-contracts/v5/",
  "version": "5",
  "note": "AI-assisted research review; version 5; translations are reading aids, not separate research or peer review."
}