{
  "status": "PASS",
  "scope": "Exact finite mathematical diagnostics, not general proof or real-auditor validation.",
  "no_resets": {
    "initial_mean": [
      "1/2",
      "1/2"
    ],
    "returned_mean": [
      "3/5",
      "2/5"
    ]
  },
  "reset_timing": {
    "before": [
      "-1/20",
      "1/20"
    ],
    "after": [
      "3/20",
      "-3/20"
    ],
    "before_l1": "1/10",
    "after_l1": "3/10",
    "formula": "post minus pre = (w_i - (PW)_i)/n; no universal magnitude ordering"
  },
  "deference": {
    "T_survivors": [
      [
        "1",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "1"
      ]
    ],
    "theta_newcomer": "1/2",
    "returned_mean": [
      "17/20",
      "3/20"
    ],
    "q": [
      "4/5",
      "1/5"
    ],
    "conclusion": "beta tending to 1 need not yield theta_newcomer tending to 1 without influence in every survivor row"
  },
  "two_successive_cycles": {
    "order_ab": [
      "7/15",
      "8/15"
    ],
    "order_ba": [
      "8/15",
      "7/15"
    ],
    "limit": "One exact sequential example, not simultaneous multi-newcomer characterization or indefinite-churn convergence"
  }
}