{
  "schema": "certiv_public_ai_discovery_dossier_v1",
  "corpus_id": "certiv-ai-discovery-2026-07-16",
  "reviewed_at": "2026-07-16",
  "evidence_boundary": "These are Certiv-authored test dossiers, not author-issued Certiv receipts. A pinned PDF proves file identity only. A passing selected replay records one bounded observation; it does not independently reproduce a paper's central claim or establish truth, novelty, priority, safety, or correct interpretation.",
  "case": {
    "slug": "alphaevolve",
    "case_type": "reported-discovery",
    "domain": "Algorithms and mathematics",
    "title": "AlphaEvolve: A coding agent for scientific and algorithmic discovery",
    "authors": {
      "display": "Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.",
      "count": 18
    },
    "paper": {
      "arxiv_id": "2506.13131",
      "version": "v1",
      "submitted": "2025-06-16",
      "version_date": "2025-06-16",
      "abs_url": "https://arxiv.org/abs/2506.13131v1",
      "pdf_url": "https://arxiv.org/pdf/2506.13131v1",
      "pdf_sha256": "f092c8cbd65da89951ee6496374da9a54963f9035758c25ac6e4625f506df9ad",
      "pdf_bytes": 3525764,
      "pages": 44,
      "extracted_text_bytes": 137186,
      "parser_observations": [
        "Recognized as a PDF and not encrypted.",
        "pdfinfo reported JavaScript: no.",
        "pdfdetach reported no embedded files.",
        "pdftotext completed successfully."
      ]
    },
    "selection_rationale": "A broad, high-consequence claim set with public result verifiers, including matrix multiplication and mathematical constructions.",
    "claim": {
      "reported": "The authors report that AlphaEvolve improved algorithms and mathematical constructions, including a 48-scalar-multiplication construction for 4 × 4 complex matrix multiplication.",
      "certiv_observed": "The exact PDF was pinned. Three selected cells from the public results notebook ran in a no-network, read-only sandbox and accepted the 48-rank construction, an Erdős step-function bound, and a dimension-11 kissing construction.",
      "not_established": "The AlphaEvolve agent, its search process, Google infrastructure results, the full paper, and the novelty or priority of any result were not independently reproduced."
    },
    "verification_level": "selected-check-replayed",
    "central_claim_independently_reproduced": false,
    "checks": [
      {
        "id": "pdf-identity",
        "status": "observed",
        "label": "Exact PDF identity",
        "observation": "The downloaded v1 PDF matched the recorded SHA-256, byte count, and page count.",
        "boundary": "This establishes file identity, not correctness."
      },
      {
        "id": "matrix-rank-48",
        "status": "passed",
        "label": "Selected matrix verifier",
        "observation": "Reviewed notebook cells 4, 36, and 37 accepted a rank-48 decomposition for the 4 × 4 × 4 matrix multiplication tensor.",
        "boundary": "This checks the supplied construction; it does not reproduce how AlphaEvolve found it or establish novelty."
      },
      {
        "id": "math-constructions",
        "status": "passed",
        "label": "Two selected mathematical verifiers",
        "observation": "Reviewed cells 77–79 produced C5 ≤ 0.38092303510845016, and cells 113–114 accepted a dimension-11 kissing construction of at least 593.",
        "boundary": "These are selected executable checks from the authors' result notebook, not a review of every result."
      },
      {
        "id": "full-notebook",
        "status": "blocked",
        "label": "Full notebook portability",
        "observation": "A sequential replay stopped at cell 72 because Python 3.9 lacks sys.set_int_max_str_digits.",
        "boundary": "Environment drift made this run inconclusive; it is not evidence that the mathematical result failed."
      }
    ],
    "artifacts": [
      {
        "label": "AlphaEvolve results repository",
        "url": "https://github.com/google-deepmind/alphaevolve_results",
        "observed_revision": "4226acbf237ff9ad10ba7673a2af127a2d8a5971",
        "sha256": "2cce2543e48c89aa3e91614272a698a0147dd2548ea11cf92f1292b7435d38ff",
        "note": "SHA-256 is for mathematical_results.ipynb at the observed revision. The Certiv cell-selection runner SHA-256 is 82a2424c064ff5a6e2a75d8291c8d9b65577b9d2243580e4e467934fe5f9f73c. The repository publishes results and verifiers, not the AlphaEvolve engine."
      }
    ],
    "red_team_findings": [
      "The public repository does not expose the discovery engine, so generation claims cannot be replayed from this artifact.",
      "A verifier accepting an author-supplied construction is stronger than prose but narrower than reproducing the search or establishing priority.",
      "The notebook has a Python-version portability dependency that was not declared as a locked environment."
    ],
    "certiv_mapping": {
      "inputs": "Exact PDF plus a commit-pinned public notebook.",
      "checks": "Three reviewed, isolated notebook slices with exact observed output.",
      "receipt_boundary": "selected-check-replayed; central claim not independently reproduced",
      "missing_for_deeper_verification": "The discovery engine, locked full environment, infrastructure workloads, and an independent novelty review."
    },
    "sources": [
      {
        "label": "Exact arXiv record",
        "url": "https://arxiv.org/abs/2506.13131v1"
      },
      {
        "label": "Public results repository",
        "url": "https://github.com/google-deepmind/alphaevolve_results"
      }
    ]
  }
}