FAILURE MAP
← Case archive

FA-74356 / Experiment statistics / Open access

Sample ratio mismatch check: Units in a zero-weight arm are ignored · case 01

Users leaking into a disabled arm never trigger the mismatch alarm.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Zero-weight arms are skipped without checking whether they received units.

VERIFIED REPAIR

Report an immediate mismatch when a zero-weight arm has any units.

Unsuccessful approach: Tolerating leakage up to half the traffic still hides small but real assignment bugs.

Case contract

counts and weights are per-arm lists. Expected count = total * w / sum(weights). chi2 sums (observed - expected)^2 / expected over positive-weight arms; any unit in a zero-weight arm is an immediate mismatch [None, True]. df = number of positive-weight arms - 1; mismatch iff chi2 exceeds the alpha = 0.001 critical value (10.828, 13.816, 16.266, 18.467, 20.515 for df 1..5). No units or df < 1 -> [0.0, False]. Return [round(chi2, 6), mismatch].

Why this case matters

SRM checks are the first gate on any experiment readout; a broken check hides assignment bugs.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(counts, weights):
    CRIT = {1: 10.828, 2: 13.816, 3: 16.266, 4: 18.467, 5: 20.515}
    total = sum(counts)
    wsum = sum(weights)
    if total == 0:
        return [0.0, False]
    chi2 = 0.0
    for o, w in zip(counts, weights):
        if w == 0:
            continue
        e = total * w / wsum
        chi2 += (o - e) ** 2 / e
    df = sum(1 for w in weights if w > 0) - 1
    if df < 1:
        return [0.0, False]
    return [round(chi2, 6), chi2 > CRIT[df]]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('balanced split within noise', [[5040, 4960], [50, 50]], [0.64, False]),
  ('unequal design weights are respected', [[2000, 1000], [2, 1]], [0.0, False]),
  ('ratio weights not in percent', [[510, 490], [1, 1]], [0.4, False]),
  ('clear mismatch at alpha 0.001', [[5200, 4800], [1, 1]], [16.0, True]),
  ('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('arm count sample 1', [[493, 477], [3, 3]], [0.263918, False]),
  ('arm count sample 2', [[45, 53, 73, 18], [1, 50, 2, 50]], [2400.801481, True])],
 [('unequal design weights are respected', [[2000, 1000], [2, 1]], [0.0, False]),
  ('ratio weights not in percent', [[510, 490], [1, 1]], [0.4, False]),
  ('clear mismatch at alpha 0.001', [[5200, 4800], [1, 1]], [16.0, True]),
  ('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('arm count sample 6', [[32, 944, 99], [1, 50, 2]], [95.793172, True]),
  ('arm count sample 7', [[221, 4418, 96, 187], [2, 50, 1, 3]], [34.799989, True]),
  ('arm count sample 47', [[4973, 62], [1, 0]], [None, True])],
 [('ratio weights not in percent', [[510, 490], [1, 1]], [0.4, False]),
  ('clear mismatch at alpha 0.001', [[5200, 4800], [1, 1]], [16.0, True]),
  ('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('drained arm does not loosen the threshold', [[5170, 4830, 0], [1, 1, 0]], [11.56, True]),
  ('arm count sample 11', [[92, 0], [2, 1]], [46.0, True]),
  ('arm count sample 12', [[45, 0, 60], [3, 1, 3]], [20.0, True]),
  ('arm count sample 56', [[956, 26], [1, 0]], [None, True])],
 [('clear mismatch at alpha 0.001', [[5200, 4800], [1, 1]], [16.0, True]),
  ('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('drained arm does not loosen the threshold', [[5170, 4830, 0], [1, 1, 0]], [11.56, True]),
  ('empty zero-weight arm is ignored', [[520, 480, 0], [1, 1, 0]], [1.6, False]),
  ('arm count sample 16', [[0, 0, 44, 31], [2, 0, 3, 50]], [412.339111, True]),
  ('arm count sample 17', [[2, 967], [1, 50]], [15.514737, True]),
  ('arm count sample 18', [[95, 997, 0, 9], [1, 50, 1, 1]], [294.338365, True])],
 [('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('drained arm does not loosen the threshold', [[5170, 4830, 0], [1, 1, 0]], [11.56, True]),
  ('empty zero-weight arm is ignored', [[520, 480, 0], [1, 1, 0]], [1.6, False]),
  ('no units yet', [[0, 0], [1, 1]], [0.0, False]),
  ('arm count sample 21', [[67, 446, 551], [1, 50, 50]], [316.144117, True]),
  ('arm count sample 22', [[18, 19, 157], [3, 2, 50]], [27.553608, True]),
  ('arm count sample 47', [[4973, 62], [1, 0]], [None, True])]]
for label, args, expected in fixtures[N - 1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
balanced split within noise[0.64, False][0.64, False]Passed
unequal design weights are respected[0.0, False][0.0, False]Passed
ratio weights not in percent[0.4, False][0.4, False]Passed
clear mismatch at alpha 0.001[16.0, True][16.0, True]Passed
moderate imbalance below the strict threshold[4.0, False][4.0, False]Passed
traffic in a zero-weight arm is a mismatch[0.008973, False][None, True]Failed
arm count sample 1[0.263918, False][0.263918, False]Passed
arm count sample 2[2400.801481, True][2400.801481, True]Passed

SHA-256 / 718488e74f0474973d7c088b303f137d9d7586c71b9a974e2140f2b729e2e3ad

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(counts, weights):
    CRIT = {1: 10.828, 2: 13.816, 3: 16.266, 4: 18.467, 5: 20.515}
    total = sum(counts)
    wsum = sum(weights)
    if total == 0:
        return [0.0, False]
    chi2 = 0.0
    for o, w in zip(counts, weights):
        if w == 0:
            if o > total // 2:
                return [None, True]
            continue
        e = total * w / wsum
        chi2 += (o - e) ** 2 / e
    df = sum(1 for w in weights if w > 0) - 1
    if df < 1:
        return [0.0, False]
    return [round(chi2, 6), chi2 > CRIT[df]]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('balanced split within noise', [[5040, 4960], [50, 50]], [0.64, False]),
  ('unequal design weights are respected', [[2000, 1000], [2, 1]], [0.0, False]),
  ('ratio weights not in percent', [[510, 490], [1, 1]], [0.4, False]),
  ('clear mismatch at alpha 0.001', [[5200, 4800], [1, 1]], [16.0, True]),
  ('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('arm count sample 1', [[493, 477], [3, 3]], [0.263918, False]),
  ('arm count sample 2', [[45, 53, 73, 18], [1, 50, 2, 50]], [2400.801481, True])],
 [('unequal design weights are respected', [[2000, 1000], [2, 1]], [0.0, False]),
  ('ratio weights not in percent', [[510, 490], [1, 1]], [0.4, False]),
  ('clear mismatch at alpha 0.001', [[5200, 4800], [1, 1]], [16.0, True]),
  ('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('arm count sample 6', [[32, 944, 99], [1, 50, 2]], [95.793172, True]),
  ('arm count sample 7', [[221, 4418, 96, 187], [2, 50, 1, 3]], [34.799989, True]),
  ('arm count sample 47', [[4973, 62], [1, 0]], [None, True])],
 [('ratio weights not in percent', [[510, 490], [1, 1]], [0.4, False]),
  ('clear mismatch at alpha 0.001', [[5200, 4800], [1, 1]], [16.0, True]),
  ('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('drained arm does not loosen the threshold', [[5170, 4830, 0], [1, 1, 0]], [11.56, True]),
  ('arm count sample 11', [[92, 0], [2, 1]], [46.0, True]),
  ('arm count sample 12', [[45, 0, 60], [3, 1, 3]], [20.0, True]),
  ('arm count sample 56', [[956, 26], [1, 0]], [None, True])],
 [('clear mismatch at alpha 0.001', [[5200, 4800], [1, 1]], [16.0, True]),
  ('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('drained arm does not loosen the threshold', [[5170, 4830, 0], [1, 1, 0]], [11.56, True]),
  ('empty zero-weight arm is ignored', [[520, 480, 0], [1, 1, 0]], [1.6, False]),
  ('arm count sample 16', [[0, 0, 44, 31], [2, 0, 3, 50]], [412.339111, True]),
  ('arm count sample 17', [[2, 967], [1, 50]], [15.514737, True]),
  ('arm count sample 18', [[95, 997, 0, 9], [1, 50, 1, 1]], [294.338365, True])],
 [('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('drained arm does not loosen the threshold', [[5170, 4830, 0], [1, 1, 0]], [11.56, True]),
  ('empty zero-weight arm is ignored', [[520, 480, 0], [1, 1, 0]], [1.6, False]),
  ('no units yet', [[0, 0], [1, 1]], [0.0, False]),
  ('arm count sample 21', [[67, 446, 551], [1, 50, 50]], [316.144117, True]),
  ('arm count sample 22', [[18, 19, 157], [3, 2, 50]], [27.553608, True]),
  ('arm count sample 47', [[4973, 62], [1, 0]], [None, True])]]
for label, args, expected in fixtures[N - 1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
balanced split within noise[0.64, False][0.64, False]Passed
unequal design weights are respected[0.0, False][0.0, False]Passed
ratio weights not in percent[0.4, False][0.4, False]Passed
clear mismatch at alpha 0.001[16.0, True][16.0, True]Passed
moderate imbalance below the strict threshold[4.0, False][4.0, False]Passed
traffic in a zero-weight arm is a mismatch[0.008973, False][None, True]Failed
arm count sample 1[0.263918, False][0.263918, False]Passed
arm count sample 2[2400.801481, True][2400.801481, True]Passed

SHA-256 / 876d16ebb27b8b47c887570ce54944d0bc4a7f76b6ef79e7e5cc728698ac8a30

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(counts, weights):
    CRIT = {1: 10.828, 2: 13.816, 3: 16.266, 4: 18.467, 5: 20.515}
    total = sum(counts)
    wsum = sum(weights)
    if total == 0:
        return [0.0, False]
    chi2 = 0.0
    for o, w in zip(counts, weights):
        if w == 0:
            if o > 0:
                return [None, True]
            continue
        e = total * w / wsum
        chi2 += (o - e) ** 2 / e
    df = sum(1 for w in weights if w > 0) - 1
    if df < 1:
        return [0.0, False]
    return [round(chi2, 6), chi2 > CRIT[df]]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('balanced split within noise', [[5040, 4960], [50, 50]], [0.64, False]),
  ('unequal design weights are respected', [[2000, 1000], [2, 1]], [0.0, False]),
  ('ratio weights not in percent', [[510, 490], [1, 1]], [0.4, False]),
  ('clear mismatch at alpha 0.001', [[5200, 4800], [1, 1]], [16.0, True]),
  ('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('arm count sample 1', [[493, 477], [3, 3]], [0.263918, False]),
  ('arm count sample 2', [[45, 53, 73, 18], [1, 50, 2, 50]], [2400.801481, True])],
 [('unequal design weights are respected', [[2000, 1000], [2, 1]], [0.0, False]),
  ('ratio weights not in percent', [[510, 490], [1, 1]], [0.4, False]),
  ('clear mismatch at alpha 0.001', [[5200, 4800], [1, 1]], [16.0, True]),
  ('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('arm count sample 6', [[32, 944, 99], [1, 50, 2]], [95.793172, True]),
  ('arm count sample 7', [[221, 4418, 96, 187], [2, 50, 1, 3]], [34.799989, True]),
  ('arm count sample 47', [[4973, 62], [1, 0]], [None, True])],
 [('ratio weights not in percent', [[510, 490], [1, 1]], [0.4, False]),
  ('clear mismatch at alpha 0.001', [[5200, 4800], [1, 1]], [16.0, True]),
  ('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('drained arm does not loosen the threshold', [[5170, 4830, 0], [1, 1, 0]], [11.56, True]),
  ('arm count sample 11', [[92, 0], [2, 1]], [46.0, True]),
  ('arm count sample 12', [[45, 0, 60], [3, 1, 3]], [20.0, True]),
  ('arm count sample 56', [[956, 26], [1, 0]], [None, True])],
 [('clear mismatch at alpha 0.001', [[5200, 4800], [1, 1]], [16.0, True]),
  ('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('drained arm does not loosen the threshold', [[5170, 4830, 0], [1, 1, 0]], [11.56, True]),
  ('empty zero-weight arm is ignored', [[520, 480, 0], [1, 1, 0]], [1.6, False]),
  ('arm count sample 16', [[0, 0, 44, 31], [2, 0, 3, 50]], [412.339111, True]),
  ('arm count sample 17', [[2, 967], [1, 50]], [15.514737, True]),
  ('arm count sample 18', [[95, 997, 0, 9], [1, 50, 1, 1]], [294.338365, True])],
 [('moderate imbalance below the strict threshold', [[5100, 4900], [1, 1]], [4.0, False]),
  ('traffic in a zero-weight arm is a mismatch', [[500, 500, 3], [1, 1, 0]], [None, True]),
  ('drained arm does not loosen the threshold', [[5170, 4830, 0], [1, 1, 0]], [11.56, True]),
  ('empty zero-weight arm is ignored', [[520, 480, 0], [1, 1, 0]], [1.6, False]),
  ('no units yet', [[0, 0], [1, 1]], [0.0, False]),
  ('arm count sample 21', [[67, 446, 551], [1, 50, 50]], [316.144117, True]),
  ('arm count sample 22', [[18, 19, 157], [3, 2, 50]], [27.553608, True]),
  ('arm count sample 47', [[4973, 62], [1, 0]], [None, True])]]
for label, args, expected in fixtures[N - 1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
balanced split within noise[0.64, False][0.64, False]Passed
unequal design weights are respected[0.0, False][0.0, False]Passed
ratio weights not in percent[0.4, False][0.4, False]Passed
clear mismatch at alpha 0.001[16.0, True][16.0, True]Passed
moderate imbalance below the strict threshold[4.0, False][4.0, False]Passed
traffic in a zero-weight arm is a mismatch[None, True][None, True]Passed
arm count sample 1[0.263918, False][0.263918, False]Passed
arm count sample 2[2400.801481, True][2400.801481, True]Passed

SHA-256 / 696f5d377fec8a9e213d63b5975b0e019b66d275fcfbf2495796b2078f08861b

Verification & scope

A deterministic toy experiment-analysis model with a stipulated contract; results are rounded and are not a substitute for a validated statistics package. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:48:55.934978+00:00.

Case digest / ca5b079198a5feee77fb59fcb799c39c3d526712022a8188a73042f9178dcc4a