{
  "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": "sort3-response",
    "case_type": "adversarial-response",
    "domain": "Algorithms and systems performance",
    "title": "Shorter and faster than Sort3AlphaDev",
    "authors": {
      "display": "Cassio Neri",
      "count": 1
    },
    "paper": {
      "arxiv_id": "2307.14503",
      "version": "v1",
      "submitted": "2023-07-23",
      "version_date": "2023-07-23",
      "abs_url": "https://arxiv.org/abs/2307.14503v1",
      "pdf_url": "https://arxiv.org/pdf/2307.14503v1",
      "pdf_sha256": "7359b5844b5826bb269b3e552bd8f57b53c1c2854ba4aaea9c525fd4b6929b34",
      "pdf_bytes": 67617,
      "pages": 5,
      "extracted_text_bytes": 8185,
      "parser_observations": [
        "Recognized as a PDF and not encrypted.",
        "pdfinfo reported JavaScript: no.",
        "pdfdetach reported no embedded files.",
        "pdftotext completed successfully."
      ]
    },
    "selection_rationale": "A direct adversarial response to an AI-discovered algorithm, selected to test negative evidence, portability, test adequacy, and performance-claim scope.",
    "claim": {
      "reported": "The author presents shorter Sort3 implementations and a C/C++ implementation claimed to be faster than the published AlphaDev version.",
      "certiv_observed": "Eight supplied sorting functions passed 17,173,580 cases in an independent harness. On one i9-13900KF environment with Clang 14, a nine-trial microbenchmark measured Sort3_faster at a 0.837 ns/call median versus 1.031 ns/call for Sort3AlphaDev.",
      "not_established": "The run does not prove correctness over all machine states, universal instruction minimality, or generalized speed across CPUs, compilers, workloads, and measurement methods."
    },
    "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 only."
      },
      {
        "id": "author-test",
        "status": "passed",
        "label": "Author test under Clang",
        "observation": "The repository's supplied test program compiled with Clang and returned success.",
        "boundary": "Its 'exhaustive' label covers only 13 explicit cases, and its process exit status does not fail when an individual function reports failure."
      },
      {
        "id": "independent-functional-harness",
        "status": "passed",
        "label": "Independent functional stress test",
        "observation": "Eight functions passed 17,173,580 deterministic cases: signed domains for five functions, nonnegative domains for three documented variants, plus edge cases.",
        "boundary": "This is broad finite-domain evidence, not a proof for every possible integer triple or target architecture."
      },
      {
        "id": "gcc-portability",
        "status": "failed",
        "label": "GCC 11.4 portability probe",
        "observation": "Direct compilation failed on the inline-assembly movsb destination syntax; Clang 14 compiled it.",
        "boundary": "This is a portability finding, not a functional counterexample under the documented Clang-compatible path."
      },
      {
        "id": "local-microbenchmark",
        "status": "passed",
        "label": "Bounded one-host timing comparison",
        "observation": "Across nine 5,000,000-call trials: Sort3_faster median 0.837 ns/call (0.794–0.863); Sort3AlphaDev median 1.031 (0.983–1.131). Checksums matched.",
        "boundary": "One virtualized host, compiler, optimization mode, and deterministic input stream cannot establish universal performance."
      }
    ],
    "artifacts": [
      {
        "label": "Sort3 response repository",
        "url": "https://github.com/cassioneri/sort3",
        "observed_revision": "431ac0efcc216792f10e8f23d24a8ee387b3c348",
        "sha256": "b99439b6013fadde20b57fafe40643913a0bb0a2c48d93659865c7f81344fdee",
        "note": "SHA-256 is for sort.h. The independent harness SHA-256 is 4475c66c5030ccf3949d2bdb0aa51e2ab8115d94487d77049bfc66788a02d551; benchmark harness SHA-256 is 4b5464cc80a8f3684813b36403db97d9b9b6b3925fa56262a465eb85fa08edd3."
      }
    ],
    "red_team_findings": [
      "The repository's test is not exhaustive despite its label and has weak failure propagation.",
      "Sort3_15 is documented in the repository erratum as valid only for nonnegative inputs.",
      "The inline assembly compiled under Clang 14 but failed under GCC 11.4, exposing a portability boundary.",
      "Performance evidence must state CPU, compiler, input distribution, trial count, and measurement scope."
    ],
    "certiv_mapping": {
      "inputs": "Exact paper, commit-pinned source, source hash, and two independently hashed harnesses.",
      "checks": "Author test, 17,173,580-case functional harness, compiler portability probe, and nine-trial local microbenchmark.",
      "receipt_boundary": "selected-check-replayed; finite functional and one-host performance evidence only",
      "missing_for_deeper_verification": "Formal correctness proof, exact instruction-count audit, multi-compiler and multi-architecture matrix, controlled bare-metal benchmarking, and independent minimality analysis."
    },
    "sources": [
      {
        "label": "Exact arXiv record",
        "url": "https://arxiv.org/abs/2307.14503v1"
      },
      {
        "label": "Response repository",
        "url": "https://github.com/cassioneri/sort3"
      }
    ]
  }
}