FA-97186 / Recipe scaling and nutrition / Open access
Roast timing and carryover planner: poultry pull temperature · case 01
Chicken is pulled below the 74C safety minimum.
ROOT CAUSE
Poultry receives the carryover credit meant for red meat.
VERIFIED REPAIR
Pull poultry at 74C with no carryover credit.
Unsuccessful approach: Clamping to the doneness target still pulls below 74C.
Case contract
Doneness (trimmed, lower) rare 52C/30 min per kg, medium rare 57/35, medium 63/40, well 71/50; unknown -> error; weight <= 0 -> error. Carryover 2C below 1.5 kg, 4C below 3 kg, else 6C. Beef and lamb pull at target - carryover. Poultry ignores doneness: pull at 74 (no carryover credit) and uses the well-done rate. cook_min = ceiling to a multiple of 5 of weight*rate. rest_min = half-up weight*5 clamped to [10, 30].
Why this case matters
Roast planners must account for carryover cooking and food-safety minimums for poultry.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(weight_kg, doneness, cut):
T = {'rare': 52, 'medium rare': 57, 'medium': 63, 'well': 71}
PER = {'rare': 30, 'medium rare': 35, 'medium': 40, 'well': 50}
d = doneness.strip().lower()
if d not in T:
return 'error: doneness'
if weight_kg <= 0:
return 'error: weight'
w = Fraction(str(weight_kg))
carry = 2 if w < Fraction(3, 2) else 4 if w < 3 else 6
if cut == 'poultry':
pull = 74 - carry
else:
pull = T[d] - carry
per = PER['well'] if cut == 'poultry' else PER[d]
cook = 5 * math.ceil(w * per / 5)
rest = min(30, max(10, math.floor(w * 5 + Fraction(1, 2))))
return {'pull_c': pull, 'cook_min': cook, 'rest_min': rest}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],
['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],
['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],
['regression: poultry pull temperature', [0.5, 'rare', 'poultry'],
{'cook_min': 25, 'pull_c': 74, 'rest_min': 10}],
['repair check: poultry pull temperature', [2.4, 'rare', 'poultry'],
{'cook_min': 120, 'pull_c': 74, 'rest_min': 12}],
['generated control 1', [1, 'medium rare', 'beef'], {'cook_min': 35, 'pull_c': 55, 'rest_min': 10}],
['generated control 2', [1.2, 'rare', 'beef'], {'cook_min': 40, 'pull_c': 50, 'rest_min': 10}],
['generated control 3', [2, 'medium rare', 'beef'], {'cook_min': 70, 'pull_c': 53, 'rest_min': 10}]],
[['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],
['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],
['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],
['regression: poultry pull temperature', [1, 'medium rare', 'poultry'],
{'cook_min': 50, 'pull_c': 74, 'rest_min': 10}],
['repair check: poultry pull temperature', [3.5, 'medium rare', 'poultry'],
{'cook_min': 175, 'pull_c': 74, 'rest_min': 18}],
['generated control 1', [3, 'Medium', 'poultry'], {'cook_min': 150, 'pull_c': 74, 'rest_min': 15}],
['generated control 2', [1.5, 'Medium', 'poultry'], {'cook_min': 75, 'pull_c': 74, 'rest_min': 10}],
['generated control 3', [3, 'rare', 'beef'], {'cook_min': 90, 'pull_c': 46, 'rest_min': 15}]],
[['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],
['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],
['zero weight', [0, 'rare', 'beef'], 'error: weight'],
['regression: poultry pull temperature', [1.2, 'rare', 'poultry'],
{'cook_min': 60, 'pull_c': 74, 'rest_min': 10}],
['repair check: poultry pull temperature', [4.2, 'well', 'poultry'],
{'cook_min': 210, 'pull_c': 74, 'rest_min': 21}],
['generated control 1', [2.4, 'blue', 'beef'], 'error: doneness'],
['generated control 2', [0.5, 'blue', 'beef'], 'error: doneness'],
['generated control 3', [2.4, 'well', 'beef'], {'cook_min': 120, 'pull_c': 67, 'rest_min': 12}]],
[['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],
['zero weight', [0, 'rare', 'beef'], 'error: weight'],
['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],
['regression: poultry pull temperature', [0.5, 'medium rare', 'poultry'],
{'cook_min': 25, 'pull_c': 74, 'rest_min': 10}],
['repair check: poultry pull temperature', [7, 'Medium', 'poultry'],
{'cook_min': 350, 'pull_c': 74, 'rest_min': 30}],
['generated control 1', [1.2, 'rare', 'lamb'], {'cook_min': 40, 'pull_c': 50, 'rest_min': 10}],
['generated control 2', [2.4, 'blue', 'lamb'], 'error: doneness'],
['generated control 3', [2.4, 'Medium', 'lamb'], {'cook_min': 100, 'pull_c': 59, 'rest_min': 12}]],
[['zero weight', [0, 'rare', 'beef'], 'error: weight'],
['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],
['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],
['regression: poultry pull temperature', [6, 'well', 'poultry'],
{'cook_min': 300, 'pull_c': 74, 'rest_min': 30}],
['repair check: poultry pull temperature', [2.4, 'well', 'poultry'],
{'cook_min': 120, 'pull_c': 74, 'rest_min': 12}],
['generated control 1', [3, 'medium rare', 'lamb'], {'cook_min': 105, 'pull_c': 51, 'rest_min': 15}],
['generated control 2', [0, 'Medium', 'beef'], 'error: weight'],
['generated control 3', [2, 'blue', 'lamb'], 'error: doneness']]]
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 |
|---|---|---|---|
| small rare roast | {'cook_min': 30, 'pull_c': 50, 'rest_min': 10} | {'cook_min': 30, 'pull_c': 50, 'rest_min': 10} | Passed |
| large medium roast | {'cook_min': 170, 'pull_c': 57, 'rest_min': 21} | {'cook_min': 170, 'pull_c': 57, 'rest_min': 21} | Passed |
| chicken | {'cook_min': 100, 'pull_c': 70, 'rest_min': 10} | {'cook_min': 100, 'pull_c': 74, 'rest_min': 10} | Failed |
| regression: poultry pull temperature | {'cook_min': 25, 'pull_c': 72, 'rest_min': 10} | {'cook_min': 25, 'pull_c': 74, 'rest_min': 10} | Failed |
| repair check: poultry pull temperature | {'cook_min': 120, 'pull_c': 70, 'rest_min': 12} | {'cook_min': 120, 'pull_c': 74, 'rest_min': 12} | Failed |
| generated control 1 | {'cook_min': 35, 'pull_c': 55, 'rest_min': 10} | {'cook_min': 35, 'pull_c': 55, 'rest_min': 10} | Passed |
| generated control 2 | {'cook_min': 40, 'pull_c': 50, 'rest_min': 10} | {'cook_min': 40, 'pull_c': 50, 'rest_min': 10} | Passed |
| generated control 3 | {'cook_min': 70, 'pull_c': 53, 'rest_min': 10} | {'cook_min': 70, 'pull_c': 53, 'rest_min': 10} | Passed |
SHA-256 / 6f85fc5868de31dcc75ef41611b48c1886058417c1205a11faf276bcbf29256d
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(weight_kg, doneness, cut):
T = {'rare': 52, 'medium rare': 57, 'medium': 63, 'well': 71}
PER = {'rare': 30, 'medium rare': 35, 'medium': 40, 'well': 50}
d = doneness.strip().lower()
if d not in T:
return 'error: doneness'
if weight_kg <= 0:
return 'error: weight'
w = Fraction(str(weight_kg))
carry = 2 if w < Fraction(3, 2) else 4 if w < 3 else 6
if cut == 'poultry':
pull = max(74 - carry, T[d])
else:
pull = T[d] - carry
per = PER['well'] if cut == 'poultry' else PER[d]
cook = 5 * math.ceil(w * per / 5)
rest = min(30, max(10, math.floor(w * 5 + Fraction(1, 2))))
return {'pull_c': pull, 'cook_min': cook, 'rest_min': rest}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],
['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],
['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],
['regression: poultry pull temperature', [0.5, 'rare', 'poultry'],
{'cook_min': 25, 'pull_c': 74, 'rest_min': 10}],
['repair check: poultry pull temperature', [2.4, 'rare', 'poultry'],
{'cook_min': 120, 'pull_c': 74, 'rest_min': 12}],
['generated control 1', [1, 'medium rare', 'beef'], {'cook_min': 35, 'pull_c': 55, 'rest_min': 10}],
['generated control 2', [1.2, 'rare', 'beef'], {'cook_min': 40, 'pull_c': 50, 'rest_min': 10}],
['generated control 3', [2, 'medium rare', 'beef'], {'cook_min': 70, 'pull_c': 53, 'rest_min': 10}]],
[['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],
['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],
['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],
['regression: poultry pull temperature', [1, 'medium rare', 'poultry'],
{'cook_min': 50, 'pull_c': 74, 'rest_min': 10}],
['repair check: poultry pull temperature', [3.5, 'medium rare', 'poultry'],
{'cook_min': 175, 'pull_c': 74, 'rest_min': 18}],
['generated control 1', [3, 'Medium', 'poultry'], {'cook_min': 150, 'pull_c': 74, 'rest_min': 15}],
['generated control 2', [1.5, 'Medium', 'poultry'], {'cook_min': 75, 'pull_c': 74, 'rest_min': 10}],
['generated control 3', [3, 'rare', 'beef'], {'cook_min': 90, 'pull_c': 46, 'rest_min': 15}]],
[['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],
['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],
['zero weight', [0, 'rare', 'beef'], 'error: weight'],
['regression: poultry pull temperature', [1.2, 'rare', 'poultry'],
{'cook_min': 60, 'pull_c': 74, 'rest_min': 10}],
['repair check: poultry pull temperature', [4.2, 'well', 'poultry'],
{'cook_min': 210, 'pull_c': 74, 'rest_min': 21}],
['generated control 1', [2.4, 'blue', 'beef'], 'error: doneness'],
['generated control 2', [0.5, 'blue', 'beef'], 'error: doneness'],
['generated control 3', [2.4, 'well', 'beef'], {'cook_min': 120, 'pull_c': 67, 'rest_min': 12}]],
[['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],
['zero weight', [0, 'rare', 'beef'], 'error: weight'],
['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],
['regression: poultry pull temperature', [0.5, 'medium rare', 'poultry'],
{'cook_min': 25, 'pull_c': 74, 'rest_min': 10}],
['repair check: poultry pull temperature', [7, 'Medium', 'poultry'],
{'cook_min': 350, 'pull_c': 74, 'rest_min': 30}],
['generated control 1', [1.2, 'rare', 'lamb'], {'cook_min': 40, 'pull_c': 50, 'rest_min': 10}],
['generated control 2', [2.4, 'blue', 'lamb'], 'error: doneness'],
['generated control 3', [2.4, 'Medium', 'lamb'], {'cook_min': 100, 'pull_c': 59, 'rest_min': 12}]],
[['zero weight', [0, 'rare', 'beef'], 'error: weight'],
['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],
['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],
['regression: poultry pull temperature', [6, 'well', 'poultry'],
{'cook_min': 300, 'pull_c': 74, 'rest_min': 30}],
['repair check: poultry pull temperature', [2.4, 'well', 'poultry'],
{'cook_min': 120, 'pull_c': 74, 'rest_min': 12}],
['generated control 1', [3, 'medium rare', 'lamb'], {'cook_min': 105, 'pull_c': 51, 'rest_min': 15}],
['generated control 2', [0, 'Medium', 'beef'], 'error: weight'],
['generated control 3', [2, 'blue', 'lamb'], 'error: doneness']]]
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 |
|---|---|---|---|
| small rare roast | {'cook_min': 30, 'pull_c': 50, 'rest_min': 10} | {'cook_min': 30, 'pull_c': 50, 'rest_min': 10} | Passed |
| large medium roast | {'cook_min': 170, 'pull_c': 57, 'rest_min': 21} | {'cook_min': 170, 'pull_c': 57, 'rest_min': 21} | Passed |
| chicken | {'cook_min': 100, 'pull_c': 70, 'rest_min': 10} | {'cook_min': 100, 'pull_c': 74, 'rest_min': 10} | Failed |
| regression: poultry pull temperature | {'cook_min': 25, 'pull_c': 72, 'rest_min': 10} | {'cook_min': 25, 'pull_c': 74, 'rest_min': 10} | Failed |
| repair check: poultry pull temperature | {'cook_min': 120, 'pull_c': 70, 'rest_min': 12} | {'cook_min': 120, 'pull_c': 74, 'rest_min': 12} | Failed |
| generated control 1 | {'cook_min': 35, 'pull_c': 55, 'rest_min': 10} | {'cook_min': 35, 'pull_c': 55, 'rest_min': 10} | Passed |
| generated control 2 | {'cook_min': 40, 'pull_c': 50, 'rest_min': 10} | {'cook_min': 40, 'pull_c': 50, 'rest_min': 10} | Passed |
| generated control 3 | {'cook_min': 70, 'pull_c': 53, 'rest_min': 10} | {'cook_min': 70, 'pull_c': 53, 'rest_min': 10} | Passed |
SHA-256 / 84a9d1a20af63cb21d181814e5317fb1d6f3b99c3c07b1d4d49f697e978378de
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(weight_kg, doneness, cut):
T = {'rare': 52, 'medium rare': 57, 'medium': 63, 'well': 71}
PER = {'rare': 30, 'medium rare': 35, 'medium': 40, 'well': 50}
d = doneness.strip().lower()
if d not in T:
return 'error: doneness'
if weight_kg <= 0:
return 'error: weight'
w = Fraction(str(weight_kg))
carry = 2 if w < Fraction(3, 2) else 4 if w < 3 else 6
if cut == 'poultry':
pull = 74
else:
pull = T[d] - carry
per = PER['well'] if cut == 'poultry' else PER[d]
cook = 5 * math.ceil(w * per / 5)
rest = min(30, max(10, math.floor(w * 5 + Fraction(1, 2))))
return {'pull_c': pull, 'cook_min': cook, 'rest_min': rest}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],
['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],
['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],
['regression: poultry pull temperature', [0.5, 'rare', 'poultry'],
{'cook_min': 25, 'pull_c': 74, 'rest_min': 10}],
['repair check: poultry pull temperature', [2.4, 'rare', 'poultry'],
{'cook_min': 120, 'pull_c': 74, 'rest_min': 12}],
['generated control 1', [1, 'medium rare', 'beef'], {'cook_min': 35, 'pull_c': 55, 'rest_min': 10}],
['generated control 2', [1.2, 'rare', 'beef'], {'cook_min': 40, 'pull_c': 50, 'rest_min': 10}],
['generated control 3', [2, 'medium rare', 'beef'], {'cook_min': 70, 'pull_c': 53, 'rest_min': 10}]],
[['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],
['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],
['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],
['regression: poultry pull temperature', [1, 'medium rare', 'poultry'],
{'cook_min': 50, 'pull_c': 74, 'rest_min': 10}],
['repair check: poultry pull temperature', [3.5, 'medium rare', 'poultry'],
{'cook_min': 175, 'pull_c': 74, 'rest_min': 18}],
['generated control 1', [3, 'Medium', 'poultry'], {'cook_min': 150, 'pull_c': 74, 'rest_min': 15}],
['generated control 2', [1.5, 'Medium', 'poultry'], {'cook_min': 75, 'pull_c': 74, 'rest_min': 10}],
['generated control 3', [3, 'rare', 'beef'], {'cook_min': 90, 'pull_c': 46, 'rest_min': 15}]],
[['chicken', [2, 'medium', 'poultry'], {'cook_min': 100, 'pull_c': 74, 'rest_min': 10}],
['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],
['zero weight', [0, 'rare', 'beef'], 'error: weight'],
['regression: poultry pull temperature', [1.2, 'rare', 'poultry'],
{'cook_min': 60, 'pull_c': 74, 'rest_min': 10}],
['repair check: poultry pull temperature', [4.2, 'well', 'poultry'],
{'cook_min': 210, 'pull_c': 74, 'rest_min': 21}],
['generated control 1', [2.4, 'blue', 'beef'], 'error: doneness'],
['generated control 2', [0.5, 'blue', 'beef'], 'error: doneness'],
['generated control 3', [2.4, 'well', 'beef'], {'cook_min': 120, 'pull_c': 67, 'rest_min': 12}]],
[['bad doneness', [2, 'blue', 'beef'], 'error: doneness'],
['zero weight', [0, 'rare', 'beef'], 'error: weight'],
['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],
['regression: poultry pull temperature', [0.5, 'medium rare', 'poultry'],
{'cook_min': 25, 'pull_c': 74, 'rest_min': 10}],
['repair check: poultry pull temperature', [7, 'Medium', 'poultry'],
{'cook_min': 350, 'pull_c': 74, 'rest_min': 30}],
['generated control 1', [1.2, 'rare', 'lamb'], {'cook_min': 40, 'pull_c': 50, 'rest_min': 10}],
['generated control 2', [2.4, 'blue', 'lamb'], 'error: doneness'],
['generated control 3', [2.4, 'Medium', 'lamb'], {'cook_min': 100, 'pull_c': 59, 'rest_min': 12}]],
[['zero weight', [0, 'rare', 'beef'], 'error: weight'],
['small rare roast', [1, 'rare', 'beef'], {'cook_min': 30, 'pull_c': 50, 'rest_min': 10}],
['large medium roast', [4.2, 'medium', 'beef'], {'cook_min': 170, 'pull_c': 57, 'rest_min': 21}],
['regression: poultry pull temperature', [6, 'well', 'poultry'],
{'cook_min': 300, 'pull_c': 74, 'rest_min': 30}],
['repair check: poultry pull temperature', [2.4, 'well', 'poultry'],
{'cook_min': 120, 'pull_c': 74, 'rest_min': 12}],
['generated control 1', [3, 'medium rare', 'lamb'], {'cook_min': 105, 'pull_c': 51, 'rest_min': 15}],
['generated control 2', [0, 'Medium', 'beef'], 'error: weight'],
['generated control 3', [2, 'blue', 'lamb'], 'error: doneness']]]
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 |
|---|---|---|---|
| small rare roast | {'cook_min': 30, 'pull_c': 50, 'rest_min': 10} | {'cook_min': 30, 'pull_c': 50, 'rest_min': 10} | Passed |
| large medium roast | {'cook_min': 170, 'pull_c': 57, 'rest_min': 21} | {'cook_min': 170, 'pull_c': 57, 'rest_min': 21} | Passed |
| chicken | {'cook_min': 100, 'pull_c': 74, 'rest_min': 10} | {'cook_min': 100, 'pull_c': 74, 'rest_min': 10} | Passed |
| regression: poultry pull temperature | {'cook_min': 25, 'pull_c': 74, 'rest_min': 10} | {'cook_min': 25, 'pull_c': 74, 'rest_min': 10} | Passed |
| repair check: poultry pull temperature | {'cook_min': 120, 'pull_c': 74, 'rest_min': 12} | {'cook_min': 120, 'pull_c': 74, 'rest_min': 12} | Passed |
| generated control 1 | {'cook_min': 35, 'pull_c': 55, 'rest_min': 10} | {'cook_min': 35, 'pull_c': 55, 'rest_min': 10} | Passed |
| generated control 2 | {'cook_min': 40, 'pull_c': 50, 'rest_min': 10} | {'cook_min': 40, 'pull_c': 50, 'rest_min': 10} | Passed |
| generated control 3 | {'cook_min': 70, 'pull_c': 53, 'rest_min': 10} | {'cook_min': 70, 'pull_c': 53, 'rest_min': 10} | Passed |
SHA-256 / 6a86d587f50f322ba93cf5e9416b6cf8c4f0a46181c488508485a2408da26361
Verification & scope
A deterministic toy contract stated in full here; it is a bounded teaching model, not an authoritative reference or standards implementation. 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:52:29.620326+00:00.
Case digest / a7c80ad788358ba81f362f779a64ac21f5990ea067580ee28d8de4df4b94f9f8