{
  "id": "scanpy-aggregation",
  "revision": 1,
  "software": "Scanpy",
  "kind": "existing_software",
  "area": "Aggregation",
  "title": "Grouped aggregation",
  "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.12.4 · ff2133115f639fccce9633aa7f5309c36a0972e7",
    "identity_state": "pinned",
    "hash_algorithm": "sha256",
    "hash": "44462822c465c704ff1526ea7af97b39894c26879463677a6eb0da8d1732c67d",
    "hash_scope": "src/scanpy/get/_aggregated.py at the recorded commit; target identity only."
  },
  "official_source": {
    "kind": "official_upstream",
    "label": "scverse / Scanpy",
    "url": "https://github.com/scverse/scanpy",
    "pinned_url": "https://github.com/scverse/scanpy/blob/ff2133115f639fccce9633aa7f5309c36a0972e7/src/scanpy/get/_aggregated.py"
  },
  "property": {
    "state": "proposed",
    "summary": "A bounded property of grouped aggregation is under review. Supported inputs and the connection to actual output remain unsettled.",
    "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
}