{
  "schemaVersion": "proofatlas.public-release-credit.v1",
  "id": "credit.release.natural-density-log-time-collatz.v001",
  "slug": "natural-density-log-time-collatz",
  "canonicalRoute": "/formalizations/natural-density-log-time-collatz/",
  "canonicalUrl": "https://proofatlas.ai/formalizations/natural-density-log-time-collatz/",
  "title": "Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time",
  "releasedAt": "2026-07-21T00:00:00Z",
  "releaseKind": "accepted_result",
  "limitations": [
    "AI development credit remains aggregate because stable historical model and run identities were not retained.",
    "Lech Mazur is credited here as paper author; the inspected pre-authorization evidence did not support exclusive or fine-grained authorship of every proof, Lean, computation, or visual component.",
    "No independent external priority anchor is recorded."
  ],
  "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": "ProofAtlas AI-agent collaboration",
      "displayLabel": "ProofAtlas AI-agent collaboration",
      "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"
    },
    {
      "actorId": "actor.organization.advameg.v001",
      "actorRecord": {
        "id": "actor.organization.advameg.v001",
        "sha256": "sha256:d559ca99114f89a89d24cb0913bf817f9136ae19ef31b9e8670d70ea286f89f7"
      },
      "citationLabel": "Advameg, Inc.",
      "displayLabel": "Advameg, Inc.",
      "identityMode": "real_name",
      "profileUrl": "https://www.advameg.com/"
    }
  ],
  "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.nd-collatz.lech-paper.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": "ProofAtlas AI-agent collaboration",
          "displayLabel": "ProofAtlas AI-agent collaboration",
          "identityMode": "pseudonym"
        }
      ],
      "contributionId": "contribution.nd-collatz.ai-development.v001",
      "relationship": "direct",
      "roles": [
        "computation",
        "gap_or_error_discovery",
        "proof_strategy",
        "research_direction"
      ],
      "summary": "Unnamed ProofAtlas AI agents contributed route proposals, proof-route narrowing, finite probes, stress tests, and read-only audits."
    },
    {
      "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.nd-collatz.lech-paper.v001",
      "relationship": "direct",
      "roles": [
        "exposition"
      ],
      "summary": "Lech Mazur is the named author of the version-2 paper."
    }
  ],
  "reviews": [
    {
      "independenceStatus": "not_asserted",
      "review": {
        "id": "review.accepted.formal_evidence.hc0dfbb66728d.v001",
        "sha256": "sha256:a0ec782a066ec44baacbe62c5edea9125b2a66b03e86d545cfc7180c323689b3"
      },
      "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.known-nd-rhin-log-time.paper-package.v002",
            "sha256": "sha256:f6198c652cfd4aaffdb41a6e2a7bbd26e7601e11f2b58c554d5931f07b7185ca"
          }
        ]
      }
    },
    {
      "independenceStatus": "not_asserted",
      "review": {
        "id": "review.accepted.public_wording.h2ca773a544e1.v001",
        "sha256": "sha256:9f81d48382bfe3a8be3ac46fbc71aa47f1b72bc02430141a47e9c4e68a46a353"
      },
      "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.known-nd-rhin-log-time.paper-package.v002",
            "sha256": "sha256:f6198c652cfd4aaffdb41a6e2a7bbd26e7601e11f2b58c554d5931f07b7185ca"
          }
        ]
      }
    },
    {
      "independenceStatus": "not_asserted",
      "review": {
        "id": "review.accepted.result_boundary.h11e5bf3c5283.v001",
        "sha256": "sha256:286ad784e5a6fa728d06d4c2fc0d2312e62f0415fb129e38923a9ed96d7db554"
      },
      "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.known-nd-rhin-log-time.paper-package.v002",
            "sha256": "sha256:f6198c652cfd4aaffdb41a6e2a7bbd26e7601e11f2b58c554d5931f07b7185ca"
          },
          {
            "id": "artifact.known-nd-rhin-log-time.raw-sqrt-bracket.v002",
            "sha256": "sha256:e9050aeba7f9cc1e3d42ec4868c977b03c0ce39d5dcd2936ee1deabcd6a2fb9c"
          }
        ]
      }
    },
    {
      "independenceStatus": "not_asserted",
      "review": {
        "id": "review.accepted.statement_alignment.hd017b7fb239d.v001",
        "sha256": "sha256:a8900f684cc7e4a336708542ba26293a1be81ad90e269786fd5a35a748a39d33"
      },
      "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.known-nd-rhin-log-time.paper-package.v002",
            "sha256": "sha256:f6198c652cfd4aaffdb41a6e2a7bbd26e7601e11f2b58c554d5931f07b7185ca"
          }
        ]
      }
    }
  ],
  "evidence": {
    "assets": [
      {
        "byteLength": 9536,
        "id": "asset.nd-collatz.formal-source",
        "mediaType": "text/plain",
        "sha256": "sha256:040eae84c87d52a042c53574a44533091e453b3d0f409d81dd5e951ba294012a"
      },
      {
        "byteLength": 253981,
        "id": "asset.nd-collatz.paper-pdf",
        "mediaType": "application/pdf",
        "sha256": "sha256:08a46dd1cdd9183beb2e09af517361f24d3b7945a6ee00db563a944a4a2373cf"
      }
    ],
    "ledgerBinding": {
      "id": "event.credit.nd-collatz.retained.v001",
      "sha256": "sha256:567d9da3cf7905b84b8ef89730ecdb845cb1ea1f53d044a01743f1f017dcecee"
    },
    "sourceCommits": [
      "ca3dd0d63920411213403092aecc6946619eb082",
      "f386357d453ac4dcf91242b76252d88a5a729906"
    ],
    "subjectBindings": [
      {
        "id": "accepted.known-nd-rhin-log-time.paper-package.v002",
        "sha256": "sha256:13ad38c38c90dab87f24c2e0858f5cdc37de46bace7d88e3acd87fde095aa28b"
      },
      {
        "id": "accepted.known-nd-rhin-log-time.raw-sqrt-bracket.v002",
        "sha256": "sha256:0bddbff7bc309b6c52de424cb21038c8f499678285643f5c16491db1115681a3"
      },
      {
        "id": "artifact.known-nd-rhin-log-time.paper-package.v002",
        "sha256": "sha256:f6198c652cfd4aaffdb41a6e2a7bbd26e7601e11f2b58c554d5931f07b7185ca"
      },
      {
        "id": "artifact.known-nd-rhin-log-time.raw-sqrt-bracket.v002",
        "sha256": "sha256:e9050aeba7f9cc1e3d42ec4868c977b03c0ce39d5dcd2936ee1deabcd6a2fb9c"
      },
      {
        "id": "paper.natural-density-log-time-collatz.public-2026-07-21.v002",
        "sha256": "sha256:131bc7b69948cc1d5c1231818392b23b478e02e8296bfbd20f7c8efbdf693d3b"
      }
    ]
  },
  "rights": [
    {
      "assetId": "asset.nd-collatz.formal-source",
      "basisStatus": "rights_confirmed",
      "licenseIdentifier": "Apache-2.0",
      "licenseUrl": "https://www.apache.org/licenses/LICENSE-2.0",
      "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.organization.advameg.v001",
          "actorRecord": {
            "id": "actor.organization.advameg.v001",
            "sha256": "sha256:d559ca99114f89a89d24cb0913bf817f9136ae19ef31b9e8670d70ea286f89f7"
          },
          "citationLabel": "Advameg, Inc.",
          "displayLabel": "Advameg, Inc.",
          "identityMode": "real_name",
          "profileUrl": "https://www.advameg.com/"
        }
      ]
    },
    {
      "assetId": "asset.nd-collatz.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-natural-density-collatz,\n  author = {Mazur, Lech},\n  title = {Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time},\n  publisher = {ProofAtlas},\n  year = {2026},\n  date = {2026-07-21},\n  version = {version 2},\n  url = {https://proofatlas.ai/formalizations/natural-density-log-time-collatz/}\n}\n",
    "jsonLd": {
      "@context": "https://schema.org",
      "@id": "https://proofatlas.ai/formalizations/natural-density-log-time-collatz/",
      "@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": "ProofAtlas AI-agent collaboration",
          "roleName": [
            "computation",
            "gap_or_error_discovery",
            "proof_strategy",
            "research_direction"
          ]
        },
        {
          "@type": "Thing",
          "identifier": "actor.human.lech-mazur.v001",
          "name": "Lech Mazur",
          "roleName": [
            "exposition"
          ]
        }
      ],
      "datePublished": "2026-07-21",
      "headline": "Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time",
      "identifier": [
        {
          "propertyID": "url",
          "url": "https://proofatlas.ai/formalizations/natural-density-log-time-collatz/",
          "value": "https://proofatlas.ai/formalizations/natural-density-log-time-collatz/"
        }
      ],
      "publisher": {
        "@type": "Organization",
        "name": "ProofAtlas"
      },
      "url": "https://proofatlas.ai/formalizations/natural-density-log-time-collatz/",
      "version": "version 2"
    },
    "plain": "Mazur, Lech. Natural-Density Almost-Bounded Collatz Orbits in Logarithmic Time. version 2. ProofAtlas, 2026-07-21. https://proofatlas.ai/formalizations/natural-density-log-time-collatz/"
  }
}