{
  "schemaVersion": "proofatlas.public-release-credit.v1",
  "id": "credit.release.moser-worm-mixed-area-lower-bound.v002",
  "slug": "moser-worm-mixed-area-lower-bound",
  "canonicalRoute": "/formalizations/moser-worm-mixed-area-lower-bound/",
  "canonicalUrl": "https://proofatlas.ai/formalizations/moser-worm-mixed-area-lower-bound/",
  "title": "A Mixed-Area Lower Bound for Moser's Convex Worm Problem",
  "releasedAt": "2026-09-05T23:42:44Z",
  "releaseKind": "paper",
  "limitations": [
    "No accepted-result record exists for the Moser worm artifacts in this snapshot.",
    "No independent external priority anchor, specialist review, or independent statement-alignment review is recorded.",
    "The paper's infimum notation is not a Lean declaration in this release; the checked endpoints are stronger pointwise cover inequalities.",
    "The paper, bundle, supplied infographic, and ProofAtlas covers are authorized for ProofAtlas distribution but have no general open-content license.",
    "The result improves a lower bound and does not determine the optimal cover or solve Moser's convex worm problem."
  ],
  "identities": [
    {
      "actorId": "actor.ai.openai-codex.v001",
      "actorRecord": {
        "id": "actor.ai.openai-codex.v001",
        "sha256": "sha256:d022a1afbaa619096cff658949045eb9cdafd20761a54bf4c4cf651c3371f9fd"
      },
      "citationLabel": "OpenAI Codex",
      "displayLabel": "OpenAI Codex",
      "identityMode": "pseudonym"
    },
    {
      "actorId": "actor.ai.openai-gpt-5-6-pro.v001",
      "actorRecord": {
        "id": "actor.ai.openai-gpt-5-6-pro.v001",
        "sha256": "sha256:223bc15cba0da58d1914fa4a036a27a5df6281316fb44207a9281748e1ee66b1"
      },
      "citationLabel": "OpenAI GPT-5.6 Pro",
      "displayLabel": "OpenAI GPT-5.6 Pro",
      "identityMode": "pseudonym"
    },
    {
      "actorId": "actor.human.lech-mazur.v001",
      "actorRecord": {
        "id": "actor.human.lech-mazur.v001",
        "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
      },
      "citationLabel": "Mazur, Lech",
      "displayLabel": "Lech Mazur",
      "identityMode": "real_name"
    }
  ],
  "authorship": [
    {
      "actor": {
        "actorId": "actor.human.lech-mazur.v001",
        "actorRecord": {
          "id": "actor.human.lech-mazur.v001",
          "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
        },
        "citationLabel": "Mazur, Lech",
        "displayLabel": "Lech Mazur",
        "identityMode": "real_name"
      },
      "contributionIds": [
        "contribution.moser-worm.lech-paper.v001"
      ],
      "order": 1,
      "role": "paper"
    }
  ],
  "credits": [
    {
      "actors": [
        {
          "actorId": "actor.ai.openai-codex.v001",
          "actorRecord": {
            "id": "actor.ai.openai-codex.v001",
            "sha256": "sha256:d022a1afbaa619096cff658949045eb9cdafd20761a54bf4c4cf651c3371f9fd"
          },
          "citationLabel": "OpenAI Codex",
          "displayLabel": "OpenAI Codex",
          "identityMode": "pseudonym"
        },
        {
          "actorId": "actor.ai.openai-gpt-5-6-pro.v001",
          "actorRecord": {
            "id": "actor.ai.openai-gpt-5-6-pro.v001",
            "sha256": "sha256:223bc15cba0da58d1914fa4a036a27a5df6281316fb44207a9281748e1ee66b1"
          },
          "citationLabel": "OpenAI GPT-5.6 Pro",
          "displayLabel": "OpenAI GPT-5.6 Pro",
          "identityMode": "pseudonym"
        }
      ],
      "contributionId": "contribution.moser-worm.ai-development.v001",
      "relationship": "direct",
      "roles": [
        "computation",
        "exposition",
        "formalization",
        "gap_or_error_discovery",
        "proof_strategy"
      ],
      "summary": "OpenAI GPT-5.6 Pro and OpenAI Codex have source-reported roles in mathematical exploration, proof development, computational testing, adversarial auditing, formalization, and exposition."
    },
    {
      "actors": [
        {
          "actorId": "actor.human.lech-mazur.v001",
          "actorRecord": {
            "id": "actor.human.lech-mazur.v001",
            "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
          },
          "citationLabel": "Mazur, Lech",
          "displayLabel": "Lech Mazur",
          "identityMode": "real_name"
        }
      ],
      "contributionId": "contribution.moser-worm.lech-paper.v001",
      "relationship": "direct",
      "roles": [
        "exposition",
        "proof_strategy",
        "research_direction"
      ],
      "summary": "Lech Mazur is the paper author and accountable editor and directed the AI-assisted research, verification process, output selection, and reconciliation."
    }
  ],
  "reviews": [],
  "evidence": {
    "assets": [
      {
        "byteLength": 2074916,
        "id": "asset.moser-worm.advances-cover",
        "mediaType": "image/png",
        "sha256": "sha256:d63a97ebb4b6ead7e44e8b7fb54fa275cb56c20d2ac0791e1f379476a7432830"
      },
      {
        "byteLength": 919747,
        "id": "asset.moser-worm.infographic",
        "mediaType": "image/png",
        "sha256": "sha256:a04ad255c19f74df3b9fedeebf13549cdbb0a124b6f3e86cc15e5f5d06e3faa3"
      },
      {
        "byteLength": 6356,
        "id": "asset.moser-worm.metadata-cover",
        "mediaType": "image/svg+xml",
        "sha256": "sha256:f77b6a2cd0de965a4fdc877501970035a5afe50fddd0989c76b0b63d08286dcf"
      },
      {
        "byteLength": 247733,
        "id": "asset.moser-worm.paper-bundle",
        "mediaType": "application/zip",
        "sha256": "sha256:f6818db120f40637dd8dab9ccc43b2a2cc52d541f2a5f898a4bc217a76db365a"
      },
      {
        "byteLength": 215194,
        "id": "asset.moser-worm.paper-pdf",
        "mediaType": "application/pdf",
        "sha256": "sha256:b56b24bee074d3275ecd083ca854e80f2dc9c793fe57ccd13dd63f6d81323d64"
      }
    ],
    "ledgerBinding": {
      "id": "event.credit.moser-worm.retained.v001",
      "sha256": "sha256:16e27ade8696a97ce94722c6b102b96a55517af3bc0323762e1a87e025aeb094"
    },
    "sourceCommits": [
      "c9254797b42c2a89acb00281c0822c7d6fc21923"
    ],
    "subjectBindings": [
      {
        "id": "artifact.moser-worm.direct-universal-area.lean-package.v001",
        "sha256": "sha256:8bcd027a2bd0edd741e13b26136e87e3e5af5ca75aa8b64e4489f8b64d10f354"
      },
      {
        "id": "artifact.moser-worm.polygonal-direct-area.lean-package.v001",
        "sha256": "sha256:b4cb6a18509a02e42cda3dd89635272da3f46e965a18ba033f176d47a1281f4f"
      },
      {
        "id": "artifact.moser-worm.polygonal-reflection-area.lean-package.v001",
        "sha256": "sha256:e267cd449564c0e5f3f61dbc5de59e0589ec66fdeb6a435b6564a7f75e0e029e"
      },
      {
        "id": "artifact.moser-worm.reflection-universal-area.lean-package.v001",
        "sha256": "sha256:62d81176400beb638d8ec9bec786f4c048c7029c9cfb935c55af74b5e90f67bb"
      },
      {
        "id": "paper.moser-worm-mixed-area-lower-bound.public-2026-09-02.v001",
        "sha256": "sha256:47cdf8766cc1d676da00db9bc295532e3fb1be1625ddb8d2974567f7563c1b7a"
      },
      {
        "id": "problem.moser-worm.mixed-area-lower-bound.v001",
        "sha256": "sha256:d267391524fc7ba381772b747e5bdeaadde9095a2c0aaf4169942525fca840c3"
      },
      {
        "id": "statement.moser-worm.direct-universal-area.v001",
        "sha256": "sha256:9a4a45fdf5dd72896eb41c0064ca7adbbe07fc513100a5e23ff927078b76c71f"
      },
      {
        "id": "statement.moser-worm.polygonal-direct-area.v001",
        "sha256": "sha256:52ede9bf924bd19252fc6558ad4e53efd21e5f6178d4c110e16e53c914ce271e"
      },
      {
        "id": "statement.moser-worm.polygonal-reflection-area.v001",
        "sha256": "sha256:116bad464f9bfb30e9492761427bbc6bf102f5a5bc6d9118a1ef3b3d95bccd95"
      },
      {
        "id": "statement.moser-worm.reflection-universal-area.v001",
        "sha256": "sha256:b17080906f2b06ceff1729d817feea486abbf81e6532d273ebd9a5bfffd69546"
      },
      {
        "id": "target.moser-worm.mixed-area-lower-bound.v001",
        "sha256": "sha256:b36a4388d69ae7873b0b700bb30bffcdefad110141f3f447a4b2ed71ae6f66dd"
      }
    ]
  },
  "rights": [
    {
      "assetId": "asset.moser-worm.advances-cover",
      "basisStatus": "rights_confirmed",
      "publicPermissions": [
        {
          "basis": "unresolved",
          "status": "unresolved",
          "use": "inclusion_in_paper"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "incorporation_into_public_result"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_derived_summary"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_raw_redistribution"
        }
      ],
      "rightsholders": [
        {
          "actorId": "actor.human.lech-mazur.v001",
          "actorRecord": {
            "id": "actor.human.lech-mazur.v001",
            "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
          },
          "citationLabel": "Mazur, Lech",
          "displayLabel": "Lech Mazur",
          "identityMode": "real_name"
        }
      ]
    },
    {
      "assetId": "asset.moser-worm.infographic",
      "basisStatus": "rights_confirmed",
      "publicPermissions": [
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "inclusion_in_paper"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "incorporation_into_public_result"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_derived_summary"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_raw_redistribution"
        }
      ],
      "rightsholders": [
        {
          "actorId": "actor.human.lech-mazur.v001",
          "actorRecord": {
            "id": "actor.human.lech-mazur.v001",
            "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
          },
          "citationLabel": "Mazur, Lech",
          "displayLabel": "Lech Mazur",
          "identityMode": "real_name"
        }
      ]
    },
    {
      "assetId": "asset.moser-worm.metadata-cover",
      "basisStatus": "rights_confirmed",
      "publicPermissions": [
        {
          "basis": "unresolved",
          "status": "unresolved",
          "use": "inclusion_in_paper"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "incorporation_into_public_result"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_derived_summary"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_raw_redistribution"
        }
      ],
      "rightsholders": [
        {
          "actorId": "actor.human.lech-mazur.v001",
          "actorRecord": {
            "id": "actor.human.lech-mazur.v001",
            "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
          },
          "citationLabel": "Mazur, Lech",
          "displayLabel": "Lech Mazur",
          "identityMode": "real_name"
        }
      ]
    },
    {
      "assetId": "asset.moser-worm.paper-bundle",
      "basisStatus": "rights_confirmed",
      "publicPermissions": [
        {
          "basis": "unresolved",
          "status": "unresolved",
          "use": "inclusion_in_paper"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "incorporation_into_public_result"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_derived_summary"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_raw_redistribution"
        }
      ],
      "rightsholders": [
        {
          "actorId": "actor.human.lech-mazur.v001",
          "actorRecord": {
            "id": "actor.human.lech-mazur.v001",
            "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
          },
          "citationLabel": "Mazur, Lech",
          "displayLabel": "Lech Mazur",
          "identityMode": "real_name"
        }
      ]
    },
    {
      "assetId": "asset.moser-worm.paper-pdf",
      "basisStatus": "rights_confirmed",
      "publicPermissions": [
        {
          "basis": "unresolved",
          "status": "unresolved",
          "use": "inclusion_in_paper"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "incorporation_into_public_result"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_derived_summary"
        },
        {
          "basis": "rightsholder_authorization",
          "status": "allowed",
          "use": "public_raw_redistribution"
        }
      ],
      "rightsholders": [
        {
          "actorId": "actor.human.lech-mazur.v001",
          "actorRecord": {
            "id": "actor.human.lech-mazur.v001",
            "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
          },
          "citationLabel": "Mazur, Lech",
          "displayLabel": "Lech Mazur",
          "identityMode": "real_name"
        }
      ]
    }
  ],
  "publicRecord": {
    "correction": {
      "accountableEditor": {
        "actorId": "actor.human.lech-mazur.v001",
        "actorRecord": {
          "id": "actor.human.lech-mazur.v001",
          "sha256": "sha256:209175a11d71298f013b2258fa44fcc0a345550a5a14844a51f5cd11c531aef8"
        },
        "citationLabel": "Mazur, Lech",
        "displayLabel": "Lech Mazur",
        "identityMode": "real_name"
      },
      "correctsSnapshotId": "credit.release.moser-worm-mixed-area-lower-bound.v001",
      "kind": "other",
      "reason": "Correct the paper-manifest digest left stale by the earlier Moser metadata-cover update. All mathematical statements, author and contributor roles, asset digests, rights, and review/acceptance boundaries remain unchanged. The predecessor snapshot is retained byte for byte."
    },
    "predecessorSnapshot": {
      "id": "credit.release.moser-worm-mixed-area-lower-bound.v001",
      "sha256": "sha256:f4e462da5c5c47f2cf2fc3ac4761822f3ae9d89b3ffcbf44c0fed90bbde246ec"
    },
    "priority": {
      "status": "release_chronology"
    }
  },
  "citation": {
    "bibtex": "@misc{mazur-2026-moser-worm-mixed-area-lower-bound,\n  author = {Mazur, Lech},\n  title = {A Mixed-Area Lower Bound for Moser's Convex Worm Problem},\n  publisher = {ProofAtlas},\n  year = {2026},\n  date = {2026-09-02},\n  version = {public version of September 2, 2026},\n  url = {https://proofatlas.ai/formalizations/moser-worm-mixed-area-lower-bound/}\n}\n",
    "jsonLd": {
      "@context": "https://schema.org",
      "@id": "https://proofatlas.ai/formalizations/moser-worm-mixed-area-lower-bound/",
      "@type": "ScholarlyArticle",
      "additionalType": "paper",
      "author": [
        {
          "@type": "Thing",
          "identifier": "actor.human.lech-mazur.v001",
          "name": "Mazur, Lech"
        }
      ],
      "contributor": [
        {
          "@type": "Thing",
          "identifier": "actor.ai.openai-codex.v001",
          "name": "OpenAI Codex",
          "roleName": [
            "computation",
            "exposition",
            "formalization",
            "gap_or_error_discovery",
            "proof_strategy"
          ]
        },
        {
          "@type": "Thing",
          "identifier": "actor.ai.openai-gpt-5-6-pro.v001",
          "name": "OpenAI GPT-5.6 Pro",
          "roleName": [
            "computation",
            "exposition",
            "formalization",
            "gap_or_error_discovery",
            "proof_strategy"
          ]
        },
        {
          "@type": "Thing",
          "identifier": "actor.human.lech-mazur.v001",
          "name": "Lech Mazur",
          "roleName": [
            "exposition",
            "proof_strategy",
            "research_direction"
          ]
        }
      ],
      "datePublished": "2026-09-02",
      "headline": "A Mixed-Area Lower Bound for Moser's Convex Worm Problem",
      "identifier": [
        {
          "propertyID": "url",
          "url": "https://proofatlas.ai/formalizations/moser-worm-mixed-area-lower-bound/",
          "value": "https://proofatlas.ai/formalizations/moser-worm-mixed-area-lower-bound/"
        }
      ],
      "publisher": {
        "@type": "Organization",
        "name": "ProofAtlas"
      },
      "url": "https://proofatlas.ai/formalizations/moser-worm-mixed-area-lower-bound/",
      "version": "public version of September 2, 2026"
    },
    "plain": "Mazur, Lech. A Mixed-Area Lower Bound for Moser's Convex Worm Problem. public version of September 2, 2026. ProofAtlas, 2026-09-02. https://proofatlas.ai/formalizations/moser-worm-mixed-area-lower-bound/"
  }
}