{
  "title": "Four-arm polyominoes in Golomb's hierarchy: A complete classification with Lean verification",
  "author": "Angel Ivanov Raychev",
  "date": "2026-09-11",
  "version": "2026-09-11",
  "status": "Available on arXiv as arXiv:2609.13641",
  "pages": 26,
  "figures": 8,
  "figure_files": 9,
  "bibliography_entries": 12,
  "source_entries": 22,
  "paper_url": "https://angelraychev.com/polyominoes/paper/",
  "artifacts": {
    "four-arm-polyominoes.pdf": {
      "bytes": 415473,
      "sha256": "a815ad10388b2b9997694d46c71509a40aef9012a782fce15a8c04553663d75d"
    },
    "arxiv-source.zip": {
      "bytes": 74967,
      "sha256": "648725733f3d30e6f84068c29e9d16ccde2dee8740be91e979ca0d31fc73f8ea"
    },
    "formal-artifact.md": {
      "bytes": 10290,
      "sha256": "dc9f725ecece5019797cf7d3333912a7ec846748b5e183005bc2194ea93e9b45"
    },
    "references.bib": {
      "bytes": 4538,
      "sha256": "52ff7c06a405cac974f32a5fbccb51a91a69900dcb5555812973f12d567e8c9a"
    },
    "citation.bib": {
      "bytes": 340,
      "sha256": "d863bcc8c30deb59ba74099ad09ccffc395f856cec65ae978ec089a2a6d64880"
    }
  },
  "formal_artifact": {
    "url": "https://raw.githubusercontent.com/RaychevAngel/angelraychev.com/ec308bfcb092fa71a78cecd991be6e85e5b369b9/public/polyominoes/lean-proofs.zip",
    "bytes": 14670185,
    "sha256": "c2aec8f60dd5e2f4054eda26a947a1a7398f214ba248dee48358fc592b4043a3",
    "matches_accepted_release": true
  },
  "verification": {
    "existing_Lean_build_modules": 538,
    "Lean_toolchain": "4.33.1",
    "full_Lean_rebuild_this_preparation": false,
    "independent_manuscript_audits": [
      "research/arxiv_manuscript_audit.md",
      "research/arxiv_construction_audit.md"
    ],
    "formal_audit": "research/arxiv_formal_artifact_audit.json",
    "source_bundle_clean_compile": "passed: corrected ZIP extracted and compiled twice; no undefined references or overflowing boxes",
    "pdf_visual_review": "passed: unchanged 26-page layout; changed pages 3 and 25 rendered and visually reviewed after earlier full-paper review",
    "website_build": "passed",
    "website_local_links_checked": 67
  },
  "revision": "credit-correction-1",
  "arxiv": {
    "primary_category": "math.CO",
    "cross_lists": [],
    "license": "CC BY 4.0",
    "identifier": "2609.13641",
    "public_url": "https://arxiv.org/abs/2609.13641",
    "submission_evidence": "Public arXiv abstract record confirms the title, author, math.CO category, and v1 submission timestamp.",
    "version": "v1",
    "submitted_at": "2026-09-12T01:31:02Z",
    "public_record_verified_at": "2026-09-15T03:07:55.207878+00:00"
  }
}