{
  "deseq2": {
    "version": "1.52.0",
    "bioconductor_release": "3.23",
    "branch": "RELEASE_3_23",
    "repository": "https://git.bioconductor.org/packages/DESeq2",
    "project_url": "https://bioconductor.org/packages/3.23/bioc/html/DESeq2.html",
    "commit": "16aeab6d6158bd8cbb8e98764c2f33399b1a3fd3",
    "commit_date": "2026-04-28T08:37:22-04:00",
    "core_R_sha256": "1aa7f02de40d176c6930e0990697f1db59ab5b49b8a4bd730bc9de8660042aec",
    "function": "estimateSizeFactorsForMatrix",
    "source_lines": "R/core.R:536-579",
    "upstream_license_declaration": "LGPL (>= 3)",
    "execution": "Original assignment parsed from pinned R/core.R and evaluated unchanged; official MatrixGenerics namespace; no full DESeq2 package installation."
  },
  "archives": [
    {
      "path": "vendor/DESeq2_1.52.0.tar.gz",
      "url": "https://bioconductor.org/packages/3.23/bioc/src/contrib/DESeq2_1.52.0.tar.gz",
      "sha256": "8c91699286336350e66eec132ce6fdf5bb4af78e2a4d015a5a61224f62a95984",
      "license": "LGPL (>= 3)"
    },
    {
      "path": "vendor/MatrixGenerics_1.24.0.tar.gz",
      "url": "https://bioconductor.org/packages/3.23/bioc/src/contrib/MatrixGenerics_1.24.0.tar.gz",
      "sha256": "371d32bbd324ad6665465b5c54f66a9619c2958c5cad6f7aa65c6d533379005e",
      "license": "Artistic-2.0"
    },
    {
      "path": "vendor/matrixStats_1.5.0.tar.gz",
      "url": "https://cloud.r-project.org/src/contrib/matrixStats_1.5.0.tar.gz",
      "sha256": "12996c5f3e6fc202a43e1087f16a71b7fa93d7e908f512542c7ee89cf95dcc15",
      "license": "Artistic-2.0"
    }
  ],
  "proof_environment": {
    "lean": "4.32.2",
    "mathlib_commit": "905b95818eb32af7874a58b427f50c1711a5e96c",
    "mathlib_license": "Apache-2.0",
    "lean_binary_sha256": "e8baaa71855a616dc351028f3ad2200051b0671f423a1696a100e809302d5550",
    "dependencies": "lake-manifest.json"
  },
  "observed_runtime": {
    "R": "4.6.1 (2026-06-24)",
    "R_exec_sha256": "ee48aaa60a412d1cde706e5c6b488f6bba558c44dc19642154de69a28af12c17",
    "MatrixGenerics": "1.24.0",
    "matrixStats": "1.5.0",
    "platform_details": "evidence/r-session.txt"
  }
}