{
  "schemaVersion": "proofatlas.public-release-credit.v1",
  "id": "credit.release.collatz-predecessor-090.v001",
  "slug": "collatz-predecessor-090",
  "canonicalRoute": "/collatz-predecessor-090/",
  "canonicalUrl": "https://proofatlas.ai/collatz-predecessor-090/",
  "title": "Certified x^0.90 Lower Bounds for Collatz Predecessor Sets",
  "releasedAt": "2026-07-19T00:00:00Z",
  "releaseKind": "accepted_result",
  "limitations": [
    "Development credit for generative AI remains collective because the source does not identify model or run provenance.",
    "Neither Fable nor Codex review work is treated as theorem-development or authorship evidence.",
    "No independent external priority anchor is recorded.",
    "The PDF has rightsholder authorization but no general open-content license."
  ],
  "identities": [
    {
      "actorId": "actor.ai.claude-fable-5.v001",
      "actorRecord": {
        "id": "actor.ai.claude-fable-5.v001",
        "sha256": "sha256:7e08e7153eccb8e00ef279f1adce52d7a00be82a3fdec6e64e65199bc3da0c5e"
      },
      "citationLabel": "Claude Fable 5",
      "displayLabel": "Claude Fable 5",
      "identityMode": "pseudonym"
    },
    {
      "actorId": "actor.collaboration.proofatlas-ai-agents.v001",
      "actorRecord": {
        "id": "actor.collaboration.proofatlas-ai-agents.v001",
        "sha256": "sha256:4bd6b371ea6b8b3026bbdfb540c8f390241d06db4655ddca43c390762540842a"
      },
      "citationLabel": "Generative AI systems",
      "displayLabel": "Generative AI systems",
      "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.collatz-090.lech-authorship.v001"
      ],
      "order": 1,
      "role": "formalization"
    },
    {
      "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.collatz-090.lech-authorship.v001"
      ],
      "order": 1,
      "role": "paper"
    }
  ],
  "credits": [
    {
      "actors": [
        {
          "actorId": "actor.collaboration.proofatlas-ai-agents.v001",
          "actorRecord": {
            "id": "actor.collaboration.proofatlas-ai-agents.v001",
            "sha256": "sha256:4bd6b371ea6b8b3026bbdfb540c8f390241d06db4655ddca43c390762540842a"
          },
          "citationLabel": "Generative AI systems",
          "displayLabel": "Generative AI systems",
          "identityMode": "pseudonym"
        }
      ],
      "contributionId": "contribution.collatz-090.ai-development.v001",
      "relationship": "direct",
      "roles": [
        "computation",
        "exposition",
        "formalization",
        "proof_strategy"
      ],
      "summary": "Unnamed generative AI systems substantially assisted exploration, formal proof development, verification code, and drafting."
    },
    {
      "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.collatz-090.lech-authorship.v001",
      "relationship": "direct",
      "roles": [
        "exposition",
        "formalization",
        "research_direction",
        "source_maintenance"
      ],
      "summary": "Lech Mazur is the named paper author, citable formal-artifact creator, project director and curator, and responsible party for the release."
    }
  ],
  "reviews": [
    {
      "independenceStatus": "not_asserted",
      "review": {
        "id": "review.accepted.formal_evidence.h3abcde94716d.v001",
        "sha256": "sha256:5ad98f7faabddc7b394e4eaae6ff780ed94b1fd6a46afc4623caf1a13b69ce74"
      },
      "reviewKind": "formal_evidence",
      "reviewer": {
        "actorId": "actor.ai.claude-fable-5.v001",
        "actorRecord": {
          "id": "actor.ai.claude-fable-5.v001",
          "sha256": "sha256:7e08e7153eccb8e00ef279f1adce52d7a00be82a3fdec6e64e65199bc3da0c5e"
        },
        "citationLabel": "Claude Fable 5",
        "displayLabel": "Claude Fable 5",
        "identityMode": "pseudonym"
      },
      "reviewerActorId": "actor.ai.claude-fable-5.v001",
      "scope": {
        "limitations": [],
        "statement": "Formal-evidence review",
        "subjectBindings": [
          {
            "id": "artifact.collatz.predecessor-lower-bound-090.real.v001",
            "sha256": "sha256:595972208727296a09549e8fad39d35ab61f0f332dbb4ea5c468e06b064a94ba"
          }
        ]
      }
    },
    {
      "independenceStatus": "not_asserted",
      "review": {
        "id": "review.accepted.public_wording.hc0515b0ccf1f.v001",
        "sha256": "sha256:fd92b1fd6ab9fc2d1df421f9f7f27e5c94ffd426ffecbfaf741f8aa149b86aa8"
      },
      "reviewKind": "public_wording",
      "reviewer": {
        "actorId": "actor.ai.claude-fable-5.v001",
        "actorRecord": {
          "id": "actor.ai.claude-fable-5.v001",
          "sha256": "sha256:7e08e7153eccb8e00ef279f1adce52d7a00be82a3fdec6e64e65199bc3da0c5e"
        },
        "citationLabel": "Claude Fable 5",
        "displayLabel": "Claude Fable 5",
        "identityMode": "pseudonym"
      },
      "reviewerActorId": "actor.ai.claude-fable-5.v001",
      "scope": {
        "limitations": [],
        "statement": "Public-wording review",
        "subjectBindings": [
          {
            "id": "artifact.collatz.predecessor-lower-bound-090.real.v001",
            "sha256": "sha256:595972208727296a09549e8fad39d35ab61f0f332dbb4ea5c468e06b064a94ba"
          }
        ]
      }
    },
    {
      "independenceStatus": "not_asserted",
      "review": {
        "id": "review.accepted.result_boundary.h83283e71beb9.v001",
        "sha256": "sha256:4b92af606809e3a5612ed88bf411f507c5d492a4852a85d691b80285a5a13d3a"
      },
      "reviewKind": "result_boundary",
      "reviewer": {
        "actorId": "actor.ai.claude-fable-5.v001",
        "actorRecord": {
          "id": "actor.ai.claude-fable-5.v001",
          "sha256": "sha256:7e08e7153eccb8e00ef279f1adce52d7a00be82a3fdec6e64e65199bc3da0c5e"
        },
        "citationLabel": "Claude Fable 5",
        "displayLabel": "Claude Fable 5",
        "identityMode": "pseudonym"
      },
      "reviewerActorId": "actor.ai.claude-fable-5.v001",
      "scope": {
        "limitations": [],
        "statement": "Result-boundary review",
        "subjectBindings": [
          {
            "id": "artifact.collatz.predecessor-lower-bound-090.nat.v001",
            "sha256": "sha256:73d9936aa59a14b84269da9cf9a637418b16639f71a48e6c4ace51045b4dbfeb"
          },
          {
            "id": "artifact.collatz.predecessor-lower-bound-090.real.v001",
            "sha256": "sha256:595972208727296a09549e8fad39d35ab61f0f332dbb4ea5c468e06b064a94ba"
          },
          {
            "id": "artifact.collatz.predecessor-lower-bound-0901.constant.v001",
            "sha256": "sha256:64ce59c77547f2845eede63d5ffef9dd1e56912712e86f5b652a773f85cde499"
          }
        ]
      }
    },
    {
      "independenceStatus": "not_asserted",
      "review": {
        "id": "review.accepted.statement_alignment.h433bd9465440.v001",
        "sha256": "sha256:bb9ebb8b995d8ae8b8e95e48c39ec806f89c8b2c0eabb61dda283d20cb2ce7cd"
      },
      "reviewKind": "formal_statement_alignment",
      "reviewer": {
        "actorId": "actor.ai.claude-fable-5.v001",
        "actorRecord": {
          "id": "actor.ai.claude-fable-5.v001",
          "sha256": "sha256:7e08e7153eccb8e00ef279f1adce52d7a00be82a3fdec6e64e65199bc3da0c5e"
        },
        "citationLabel": "Claude Fable 5",
        "displayLabel": "Claude Fable 5",
        "identityMode": "pseudonym"
      },
      "reviewerActorId": "actor.ai.claude-fable-5.v001",
      "scope": {
        "limitations": [],
        "statement": "Statement-alignment review",
        "subjectBindings": [
          {
            "id": "artifact.collatz.predecessor-lower-bound-090.real.v001",
            "sha256": "sha256:595972208727296a09549e8fad39d35ab61f0f332dbb4ea5c468e06b064a94ba"
          }
        ]
      }
    }
  ],
  "evidence": {
    "assets": [
      {
        "byteLength": 1947,
        "id": "asset.collatz-090.formal-source",
        "mediaType": "text/plain",
        "sha256": "sha256:26167a4c873b05bd2ad86580d72519c3d5fdc73194625034145041de51cb12eb"
      },
      {
        "byteLength": 170031,
        "id": "asset.collatz-090.paper-pdf",
        "mediaType": "application/pdf",
        "sha256": "sha256:cbae5d71ead733b380c3325503e46a7094fb4641244853a37dc220207d133a61"
      }
    ],
    "ledgerBinding": {
      "id": "event.credit.collatz-090.retained.v001",
      "sha256": "sha256:7aa2d916ad1263f9545ab671237120ed9e461a73189616d09b402668abedc1da"
    },
    "sourceCommits": [
      "5f76a170e74ea5b0c37c56683bd4c1e9d72e5e3f"
    ],
    "subjectBindings": [
      {
        "id": "accepted.collatz.predecessor-lower-bound-090.nat.v001",
        "sha256": "sha256:555219552453c772de6ad5183afe55fd2e7cbf6e53b089910532d38d0057270d"
      },
      {
        "id": "accepted.collatz.predecessor-lower-bound-090.real.v001",
        "sha256": "sha256:46677265b99f1cca9883feb9af47452263ab375646920d643fbff77a1eaed053"
      },
      {
        "id": "accepted.collatz.predecessor-lower-bound-0901.constant.v001",
        "sha256": "sha256:87e6ba72f8dd1c804e0859b8ab03f5bca27cfcb2f18eab6078fd159c23b25ec5"
      },
      {
        "id": "artifact.collatz.predecessor-lower-bound-090.nat.v001",
        "sha256": "sha256:73d9936aa59a14b84269da9cf9a637418b16639f71a48e6c4ace51045b4dbfeb"
      },
      {
        "id": "artifact.collatz.predecessor-lower-bound-090.real.v001",
        "sha256": "sha256:595972208727296a09549e8fad39d35ab61f0f332dbb4ea5c468e06b064a94ba"
      },
      {
        "id": "artifact.collatz.predecessor-lower-bound-0901.constant.v001",
        "sha256": "sha256:64ce59c77547f2845eede63d5ffef9dd1e56912712e86f5b652a773f85cde499"
      },
      {
        "id": "paper.collatz-predecessor-090.public-2026-07-17.v002",
        "sha256": "sha256:6fa0570ef7c19ee9c0da1a457c4330ec451b6db771460696ec8c3fefe1fc8c57"
      }
    ]
  },
  "rights": [
    {
      "assetId": "asset.collatz-090.formal-source",
      "basisStatus": "rights_confirmed",
      "licenseIdentifier": "MIT",
      "licenseUrl": "https://opensource.org/license/mit",
      "publicPermissions": [
        {
          "basis": "license_review",
          "status": "allowed",
          "use": "inclusion_in_paper"
        },
        {
          "basis": "license_review",
          "status": "allowed",
          "use": "incorporation_into_public_result"
        },
        {
          "basis": "license_review",
          "status": "allowed",
          "use": "public_derived_summary"
        },
        {
          "basis": "license_review",
          "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.collatz-090.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": {
    "priority": {
      "status": "release_chronology"
    }
  },
  "citation": {
    "bibtex": "@misc{mazur-2026-collatz-predecessor-090,\n  author = {Mazur, Lech},\n  title = {Certified x^0.90 Lower Bounds for Collatz Predecessor Sets},\n  publisher = {ProofAtlas},\n  year = {2026},\n  date = {2026-07-17},\n  version = {version 2 / source 1.0.0},\n  url = {https://proofatlas.ai/collatz-predecessor-090/}\n}\n",
    "jsonLd": {
      "@context": "https://schema.org",
      "@id": "https://proofatlas.ai/collatz-predecessor-090/",
      "@type": "CreativeWork",
      "additionalType": "accepted_result",
      "author": [
        {
          "@type": "Thing",
          "identifier": "actor.human.lech-mazur.v001",
          "name": "Mazur, Lech"
        }
      ],
      "contributor": [
        {
          "@type": "Thing",
          "identifier": "actor.collaboration.proofatlas-ai-agents.v001",
          "name": "Generative AI systems",
          "roleName": [
            "computation",
            "exposition",
            "formalization",
            "proof_strategy"
          ]
        },
        {
          "@type": "Thing",
          "identifier": "actor.human.lech-mazur.v001",
          "name": "Lech Mazur",
          "roleName": [
            "exposition",
            "formalization",
            "research_direction",
            "source_maintenance"
          ]
        }
      ],
      "datePublished": "2026-07-17",
      "headline": "Certified x^0.90 Lower Bounds for Collatz Predecessor Sets",
      "identifier": [
        {
          "propertyID": "url",
          "url": "https://proofatlas.ai/collatz-predecessor-090/",
          "value": "https://proofatlas.ai/collatz-predecessor-090/"
        }
      ],
      "publisher": {
        "@type": "Organization",
        "name": "ProofAtlas"
      },
      "url": "https://proofatlas.ai/collatz-predecessor-090/",
      "version": "version 2 / source 1.0.0"
    },
    "plain": "Mazur, Lech. Certified x^0.90 Lower Bounds for Collatz Predecessor Sets. version 2 / source 1.0.0. ProofAtlas, 2026-07-17. https://proofatlas.ai/collatz-predecessor-090/"
  }
}