{
  "id": "deseq2-normalization",
  "revision": 1,
  "software": "DESeq2",
  "kind": "existing_software",
  "area": "Normalization",
  "title": "Size-factor normalization",
  "status": "in_progress",
  "lifecycle": "active",
  "review_date": "2026-10-02",
  "review_basis": "Catalog source-identity check only. The software review is ongoing; no completed result has been accepted.",
  "version": {
    "label": "1.52.0",
    "identity_state": "pinned",
    "hash_algorithm": "sha256",
    "hash": "8c91699286336350e66eec132ce6fdf5bb4af78e2a4d015a5a61224f62a95984",
    "hash_scope": "Official source archive DESeq2_1.52.0.tar.gz; target identity only."
  },
  "official_source": {
    "kind": "official_upstream",
    "label": "Bioconductor DESeq2",
    "url": "https://bioconductor.org/packages/release/bioc/html/DESeq2.html",
    "pinned_url": "https://bioconductor.org/packages/3.23/bioc/src/contrib/DESeq2_1.52.0.tar.gz"
  },
  "property": {
    "state": "proposed",
    "summary": "A bounded normalization property is under review. The exact branch, input domain and numerical contract are still being fixed.",
    "formal_statement": "Pending review; no theorem is asserted for this package."
  },
  "assumptions": [
    "The exact function branch and accepted input domain must be fixed.",
    "Numerical behavior, missing values and dependency versions require an explicit contract."
  ],
  "exclusions": [
    "No whole-package guarantee, statistical calibration claim or biological conclusion.",
    "Other versions and function branches are outside this record."
  ],
  "proof_artifact": {
    "state": "pending",
    "summary": "No completed proof artifact has been accepted for this record.",
    "artifacts": [],
    "declarations": []
  },
  "runtime_evidence": {
    "state": "not_established",
    "summary": "No runtime result is claimed in this catalog snapshot.",
    "artifacts": []
  },
  "execution_bridge": {
    "state": "not_established",
    "summary": "Correspondence between a formal specification and this software remains an open obligation.",
    "artifacts": []
  },
  "trusted_base": [
    "To be fixed: proof checker and its axioms, parser, numerical libraries, compiler or interpreter, runtime and operating system."
  ],
  "next_step": "Accept a bounded contract, artifact hashes and review record before changing the status.",
  "history": [
    {
      "date": "2026-10-02",
      "revision": 1,
      "action": "created",
      "reason": "Review target recorded; results remain in progress."
    }
  ],
  "withdrawal": null,
  "execution_environment": null
}