FA-74801 / Experiment statistics / Open access
Always-valid sequential p-value: The ratio uses the latest observation instead of the mean · case 01
One noisy observation swings the evidence regardless of history.
ROOT CAUSE
mean is set to the current difference.
VERIFIED REPAIR
Use the running mean of all observations so far.
Unsuccessful approach: Dividing the running sum by n + 1 biases the mean toward zero.
Case contract
diffs is a stream of paired differences with known variance sigma2; the normal-mixture likelihood ratio after n observations with running mean m is sqrt(sigma2 / (sigma2 + n tau2)) exp(n^2 tau2 m^2 / (2 sigma2 (sigma2 + n tau2))). The always-valid p-value starts at 1 and is the running minimum of 1 / ratio. Return the p-value after each observation rounded to 6.
Why this case matters
Always-valid p-values let teams monitor continuously without inflating false positives.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(diffs, sigma2, tau2):
p = 1.0
total = 0.0
out = []
for n, d in enumerate(diffs, 1):
total += d
mean = d
lam = math.sqrt(sigma2 / (sigma2 + n * tau2)) * math.exp(n * n * tau2 * mean * mean / (2 * sigma2 * (sigma2 + n * tau2)))
p = min(p, 1 / lam)
out.append(round(p, 6))
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 1',
[[0.0, 1.5, 0.0, -1.0, 0.0, 0.5, -1.0], 2.0, 0.5],
[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]),
('difference stream sample 2',
[[0.0, 2.0, -1.0, 1.0, 0.5], 1.0, 1.0],
[1.0, 0.889265, 0.889265, 0.889265, 0.889265]),
('difference stream sample 3',
[[1.0, -1.0, -1.0, 0.5, -1.0, 0.5, 1.5], 1.0, 0.25],
[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0])],
[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 6', [[0.0, -1.0, 0.0, -1.0, 0.5], 4.0, 0.25], [1.0, 1.0, 1.0, 1.0, 1.0]),
('difference stream sample 12', [[0.0, 2.0, 0.0], 2.0, 0.25], [1.0, 1.0, 1.0]),
('difference stream sample 13', [[2.0], 2.0, 0.5], [0.915369])],
[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 11', [[2.0], 4.0, 1.0], [1.0]),
('difference stream sample 23',
[[0.0, 0.5, -1.0, 2.0, -1.0, 0.0], 4.0, 1.0],
[1.0, 1.0, 1.0, 1.0, 1.0, 1.0]),
('difference stream sample 29', [[1.5], 2.0, 0.5], [0.999072])],
[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 16', [[1.0], 1.0, 0.25], [1.0]),
('difference stream sample 33', [[-1.0, 1.0, 0.0, 2.0], 1.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 56', [[2.0, 2.0, 1.0, 2.0], 4.0, 0.5], [1.0, 0.915369, 0.882617, 0.735148])],
[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 4',
[[0.0, 2.0, 1.0, 0.0, 1.0, 2.0, 1.0], 1.0, 1.0],
[1.0, 0.889265, 0.649305, 0.649305, 0.645678, 0.202205, 0.132287]),
('difference stream sample 21', [[0.0, -1.0, 1.0, 2.0, 1.5], 2.0, 0.25], [1.0, 1.0, 1.0, 1.0, 1.0]),
('difference stream sample 46', [[2.0, 1.0, 1.0], 2.0, 0.5], [0.915369, 0.841754, 0.747052])]]
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| p-value never increases after a reversal | [0.52026, 0.120349, 0.120349, 0.120349] | [0.52026, 0.120349, 0.120349, 0.120349] | Passed |
| first observation | [1.0] | [1.0] | Passed |
| null-looking stream stays at one | [1.0, 1.0, 1.0] | [1.0, 1.0, 1.0] | Passed |
| steady effect | [1.0, 1.0, 0.959234, 0.857764, 0.749028] | [1.0, 1.0, 0.959234, 0.857764, 0.749028] | Passed |
| noisy stream | [1.0, 1.0, 0.695552, 0.695552] | [1.0, 1.0, 1.0, 1.0] | Failed |
| difference stream sample 1 | [1.0, 0.841754, 0.841754, 0.841754, 0.841754, 0.841754, 0.544528] | [1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0] | Failed |
| difference stream sample 2 | [1.0, 0.120349, 0.120349, 0.120349, 0.120349] | [1.0, 0.889265, 0.889265, 0.889265, 0.889265] | Failed |
| difference stream sample 3 | [1.0, 0.877568, 0.695552, 0.695552, 0.374028, 0.374028, 0.011047] | [1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0] | Failed |
SHA-256 / 0c893615ddedf50353c77612d62e291907a90fff08cdeaa63a3bddc32f4f4ce1
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(diffs, sigma2, tau2):
p = 1.0
total = 0.0
out = []
for n, d in enumerate(diffs, 1):
total += d
mean = total / (n + 1)
lam = math.sqrt(sigma2 / (sigma2 + n * tau2)) * math.exp(n * n * tau2 * mean * mean / (2 * sigma2 * (sigma2 + n * tau2)))
p = min(p, 1 / lam)
out.append(round(p, 6))
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 1',
[[0.0, 1.5, 0.0, -1.0, 0.0, 0.5, -1.0], 2.0, 0.5],
[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]),
('difference stream sample 2',
[[0.0, 2.0, -1.0, 1.0, 0.5], 1.0, 1.0],
[1.0, 0.889265, 0.889265, 0.889265, 0.889265]),
('difference stream sample 3',
[[1.0, -1.0, -1.0, 0.5, -1.0, 0.5, 1.5], 1.0, 0.25],
[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0])],
[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 6', [[0.0, -1.0, 0.0, -1.0, 0.5], 4.0, 0.25], [1.0, 1.0, 1.0, 1.0, 1.0]),
('difference stream sample 12', [[0.0, 2.0, 0.0], 2.0, 0.25], [1.0, 1.0, 1.0]),
('difference stream sample 13', [[2.0], 2.0, 0.5], [0.915369])],
[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 11', [[2.0], 4.0, 1.0], [1.0]),
('difference stream sample 23',
[[0.0, 0.5, -1.0, 2.0, -1.0, 0.0], 4.0, 1.0],
[1.0, 1.0, 1.0, 1.0, 1.0, 1.0]),
('difference stream sample 29', [[1.5], 2.0, 0.5], [0.999072])],
[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 16', [[1.0], 1.0, 0.25], [1.0]),
('difference stream sample 33', [[-1.0, 1.0, 0.0, 2.0], 1.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 56', [[2.0, 2.0, 1.0, 2.0], 4.0, 0.5], [1.0, 0.915369, 0.882617, 0.735148])],
[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 4',
[[0.0, 2.0, 1.0, 0.0, 1.0, 2.0, 1.0], 1.0, 1.0],
[1.0, 0.889265, 0.649305, 0.649305, 0.645678, 0.202205, 0.132287]),
('difference stream sample 21', [[0.0, -1.0, 1.0, 2.0, 1.5], 2.0, 0.25], [1.0, 1.0, 1.0, 1.0, 1.0]),
('difference stream sample 46', [[2.0, 1.0, 1.0], 2.0, 0.5], [0.915369, 0.841754, 0.747052])]]
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| p-value never increases after a reversal | [1.0, 0.52947, 0.52947, 0.52947] | [0.52026, 0.120349, 0.120349, 0.120349] | Failed |
| first observation | [1.0] | [1.0] | Passed |
| null-looking stream stays at one | [1.0, 1.0, 1.0] | [1.0, 1.0, 1.0] | Passed |
| steady effect | [1.0, 1.0, 1.0, 1.0, 0.926086] | [1.0, 1.0, 0.959234, 0.857764, 0.749028] | Failed |
| noisy stream | [1.0, 1.0, 1.0, 1.0] | [1.0, 1.0, 1.0, 1.0] | Passed |
| difference stream sample 1 | [1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0] | [1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0] | Passed |
| difference stream sample 2 | [1.0, 1.0, 1.0, 1.0, 1.0] | [1.0, 0.889265, 0.889265, 0.889265, 0.889265] | Failed |
| difference stream sample 3 | [1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0] | [1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0] | Passed |
SHA-256 / bcaa0ee7da54b54fbc03891fdbb5ca889f6cc72b1af97d2e11ad1dda5bad88c6
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(diffs, sigma2, tau2):
p = 1.0
total = 0.0
out = []
for n, d in enumerate(diffs, 1):
total += d
mean = total / n
lam = math.sqrt(sigma2 / (sigma2 + n * tau2)) * math.exp(n * n * tau2 * mean * mean / (2 * sigma2 * (sigma2 + n * tau2)))
p = min(p, 1 / lam)
out.append(round(p, 6))
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 1',
[[0.0, 1.5, 0.0, -1.0, 0.0, 0.5, -1.0], 2.0, 0.5],
[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0]),
('difference stream sample 2',
[[0.0, 2.0, -1.0, 1.0, 0.5], 1.0, 1.0],
[1.0, 0.889265, 0.889265, 0.889265, 0.889265]),
('difference stream sample 3',
[[1.0, -1.0, -1.0, 0.5, -1.0, 0.5, 1.5], 1.0, 0.25],
[1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0])],
[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 6', [[0.0, -1.0, 0.0, -1.0, 0.5], 4.0, 0.25], [1.0, 1.0, 1.0, 1.0, 1.0]),
('difference stream sample 12', [[0.0, 2.0, 0.0], 2.0, 0.25], [1.0, 1.0, 1.0]),
('difference stream sample 13', [[2.0], 2.0, 0.5], [0.915369])],
[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 11', [[2.0], 4.0, 1.0], [1.0]),
('difference stream sample 23',
[[0.0, 0.5, -1.0, 2.0, -1.0, 0.0], 4.0, 1.0],
[1.0, 1.0, 1.0, 1.0, 1.0, 1.0]),
('difference stream sample 29', [[1.5], 2.0, 0.5], [0.999072])],
[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 16', [[1.0], 1.0, 0.25], [1.0]),
('difference stream sample 33', [[-1.0, 1.0, 0.0, 2.0], 1.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 56', [[2.0, 2.0, 1.0, 2.0], 4.0, 0.5], [1.0, 0.915369, 0.882617, 0.735148])],
[('p-value never increases after a reversal',
[[2.0, 2.0, -1.0, -1.0], 1.0, 1.0],
[0.52026, 0.120349, 0.120349, 0.120349]),
('first observation', [[1.0], 1.0, 1.0], [1.0]),
('null-looking stream stays at one', [[0.0, 0.0, 0.0], 1.0, 0.5], [1.0, 1.0, 1.0]),
('steady effect', [[1.0, 1.0, 1.0, 1.0, 1.0], 2.0, 0.5], [1.0, 1.0, 0.959234, 0.857764, 0.749028]),
('noisy stream', [[1.5, -1.0, 2.0, 0.5], 4.0, 1.0], [1.0, 1.0, 1.0, 1.0]),
('difference stream sample 4',
[[0.0, 2.0, 1.0, 0.0, 1.0, 2.0, 1.0], 1.0, 1.0],
[1.0, 0.889265, 0.649305, 0.649305, 0.645678, 0.202205, 0.132287]),
('difference stream sample 21', [[0.0, -1.0, 1.0, 2.0, 1.5], 2.0, 0.25], [1.0, 1.0, 1.0, 1.0, 1.0]),
('difference stream sample 46', [[2.0, 1.0, 1.0], 2.0, 0.5], [0.915369, 0.841754, 0.747052])]]
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 fixture | Actual | Expected | Outcome |
|---|---|---|---|
| p-value never increases after a reversal | [0.52026, 0.120349, 0.120349, 0.120349] | [0.52026, 0.120349, 0.120349, 0.120349] | Passed |
| first observation | [1.0] | [1.0] | Passed |
| null-looking stream stays at one | [1.0, 1.0, 1.0] | [1.0, 1.0, 1.0] | Passed |
| steady effect | [1.0, 1.0, 0.959234, 0.857764, 0.749028] | [1.0, 1.0, 0.959234, 0.857764, 0.749028] | Passed |
| noisy stream | [1.0, 1.0, 1.0, 1.0] | [1.0, 1.0, 1.0, 1.0] | Passed |
| difference stream sample 1 | [1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0] | [1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0] | Passed |
| difference stream sample 2 | [1.0, 0.889265, 0.889265, 0.889265, 0.889265] | [1.0, 0.889265, 0.889265, 0.889265, 0.889265] | Passed |
| difference stream sample 3 | [1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0] | [1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0] | Passed |
SHA-256 / 3dad1b6be94143c9c61cc6373a0d6c6c8a30ceed4c25f11607193d3636243f41
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:49:00.236740+00:00.
Case digest / 138416328b86a46529fd00206414fd963cbe50bf765f3a7f4e35bf92fe51a915