{
  "id": "phi43-weak-universality",
  "type": "https://ocfl.io/1.1/spec/#inventory",
  "digestAlgorithm": "sha512",
  "head": "v1",
  "contentDirectory": "content",
  "manifest": {
    "ea5801360ec1a45e884d3573c2e726f416b64c441f58440a4f11de97ab94d9340ff68c144479b5159787af50c0872e0d66a797f848a1ca3297dee5cf3c7025fc": [
      "v1/content/biblio.bib"
    ],
    "fcbf6c6bf3f5d9c7a0c5de7d13da5f72d7ec7a1a8b3a866ac658756b754b3a6ffe731fcdecbe07fd94c8e1fbf2218fce22ca9f88ac8e38ceca60f67d3176dc23": [
      "v1/content/datacite.json"
    ],
    "89e551a398f3fdd76b5b762b6fce1c084954536da45fa8bb5b0df0063f96eea5f725d9a58f6117c531f7dbc2dc4c0788cf76ee00e9f482df957bde44e7465763": [
      "v1/content/object.json"
    ],
    "1a653616afd6027e2087d5b465ae459839ae4e79393693770bd39364a5cb8c537828c3fa5a7d55cb071f5aee7d71ca8ae2fb4ec3ac1d22092ff53001a459f66f": [
      "v1/content/paper.pdf"
    ],
    "aa9a0b16cddc09f459c4f41fd31d3e79b02eefbe17111d5647c33d5097d0589aac7b9245ce5f03f69951060083acebb29ca680697d8ac102d1feeef0ad285b01": [
      "v1/content/phi43-weak-universality.tm"
    ]
  },
  "versions": {
    "v1": {
      "created": "2026-11-13T14:48:48Z",
      "message": "Deposit: the authors' TeXmacs draft of 9 August 2017 (weak_phi4_4august.tm), the day before arXiv v1; not on arXiv, and close to but not the same as v1 (parts of the introduction and several references are not yet in it). biblio.bib is a later copy (it has all cited keys). The PDF is typeset by the archive.",
      "user": {
        "name": "Massimiliano Gubinelli",
        "address": "https://mgubi.org/docs/main.html"
      },
      "state": {
        "ea5801360ec1a45e884d3573c2e726f416b64c441f58440a4f11de97ab94d9340ff68c144479b5159787af50c0872e0d66a797f848a1ca3297dee5cf3c7025fc": [
          "biblio.bib"
        ],
        "fcbf6c6bf3f5d9c7a0c5de7d13da5f72d7ec7a1a8b3a866ac658756b754b3a6ffe731fcdecbe07fd94c8e1fbf2218fce22ca9f88ac8e38ceca60f67d3176dc23": [
          "datacite.json"
        ],
        "89e551a398f3fdd76b5b762b6fce1c084954536da45fa8bb5b0df0063f96eea5f725d9a58f6117c531f7dbc2dc4c0788cf76ee00e9f482df957bde44e7465763": [
          "object.json"
        ],
        "1a653616afd6027e2087d5b465ae459839ae4e79393693770bd39364a5cb8c537828c3fa5a7d55cb071f5aee7d71ca8ae2fb4ec3ac1d22092ff53001a459f66f": [
          "paper.pdf"
        ],
        "aa9a0b16cddc09f459c4f41fd31d3e79b02eefbe17111d5647c33d5097d0589aac7b9245ce5f03f69951060083acebb29ca680697d8ac102d1feeef0ad285b01": [
          "phi43-weak-universality.tm"
        ]
      }
    }
  },
  "fixity": {
    "md5": {
      "69329a591b61d81a90d2585098a31fcd": [
        "v1/content/biblio.bib"
      ],
      "80c9f4fbcafe7e376f8f4a0ba4fdb278": [
        "v1/content/datacite.json"
      ],
      "05d10bff1dfa96f446563c6f4d364586": [
        "v1/content/object.json"
      ],
      "fff9fbaf79963faabacac3222537be73": [
        "v1/content/paper.pdf"
      ],
      "1725d192e9271fcee9dfb270dbace20d": [
        "v1/content/phi43-weak-universality.tm"
      ]
    },
    "sha256": {
      "6821c63538093d1de89c016947042be3e1bbc49f6a764ac9c490abbbcec5a7f9": [
        "v1/content/biblio.bib"
      ],
      "e259a27d2f3970ec8030c2c5d3fdaf9b0171bc3a22fa8f1e254a5c5acde90cef": [
        "v1/content/datacite.json"
      ],
      "84ed9a24c9e382a3033772c014e4be71560f33a99f8793d85a8ebdc391f64a0d": [
        "v1/content/object.json"
      ],
      "4679f6d485633ae32e5a8abfa8793b938d80b2b190aca3a068df9d2a228319a3": [
        "v1/content/paper.pdf"
      ],
      "6e82480c98d71a8227fc272232dcf1117733a292d55b5836eda415c8748685d9": [
        "v1/content/phi43-weak-universality.tm"
      ]
    }
  }
}