FA-97076 / Recipe scaling and nutrition / Open access

Yeast type converter: whole teaspoon carry · case 01

Exactly one teaspoon prints as "4/4".

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

ROOT CAUSE

The quarter-only branch includes q == 4.

VERIFIED REPAIR

Only q below 4 prints as a bare quarter count.

Unsuccessful approach: Stopping bare quarters at 3 prints 3 quarters as "0 3/4".

Case contract

Types (trimmed, case-insensitive) instant, active dry, fresh with grams per 1 g instant: 1, 5/4, 3. Unknown -> "error: yeast type". grams = amount/ratio[from]*ratio[to], printed half-up to 0.1 (float). tsp: None for fresh; else grams/3.1 in quarter teaspoons half-up: 0 -> "less than 1/4", <4 quarters -> "q/4", whole -> "n", else "n q/4" (quarters not reduced). bloom is True only when converting to active dry.

Why this case matters

Bakers substitute yeast forms and need both weight and spoon measures.

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(amount_g, from_type, to_type):
    R = {'instant': Fraction(1), 'active dry': Fraction(5, 4), 'fresh': Fraction(3)}
    f, t = from_type.strip().lower(), to_type.strip().lower()
    if f not in R or t not in R:
        return 'error: yeast type'
    g = Fraction(str(amount_g)) / R[f] * R[t]
    grams = math.floor(g * 10 + Fraction(1, 2)) / 10
    out = {'grams': grams}
    if t == 'fresh':
        out['tsp'] = None
    else:
        q = math.floor(g / Fraction(31, 10) * 4 + Fraction(1, 2))
        if q == 0:
            out['tsp'] = 'less than 1/4'
        elif q <= 4:
            out['tsp'] = '%d/4' % q
        elif q % 4 == 0:
            out['tsp'] = '%d' % (q // 4)
        else:
            out['tsp'] = '%d %d/4' % divmod(q, 4)
    out['bloom'] = t == 'active dry'
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['instant to active dry', [7, 'instant', 'active dry'], {'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}],
  ['fresh to instant', [21, 'fresh', 'instant'], {'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}],
  ['unknown type', [7, 'rapid', 'instant'], 'error: yeast type'],
  ['regression: whole teaspoon carry', [3, 'active dry', 'active dry'],
   {'bloom': True, 'grams': 3.0, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [2.5, 'active dry', 'active dry'],
   {'bloom': True, 'grams': 2.5, 'tsp': '3/4'}],
  ['generated control 1', [6.2, 'fresh', 'instant'], {'bloom': False, 'grams': 2.1, 'tsp': '3/4'}],
  ['generated control 2', [4, ' Instant', 'FRESH'], {'bloom': False, 'grams': 12.0, 'tsp': None}],
  ['generated control 3', [12.4, 'fresh', 'rapid'], 'error: yeast type']],
 [['fresh to instant', [21, 'fresh', 'instant'], {'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}],
  ['unknown type', [7, 'rapid', 'instant'], 'error: yeast type'],
  ['same type', [3.1, 'instant', 'instant'], {'bloom': False, 'grams': 3.1, 'tsp': '1'}],
  ['regression: whole teaspoon carry', [10, 'fresh', ' Instant'], {'bloom': False, 'grams': 3.3, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [2.5, 'instant', ' Instant'],
   {'bloom': False, 'grams': 2.5, 'tsp': '3/4'}],
  ['generated control 1', [14, 'instant', 'instant'], {'bloom': False, 'grams': 14.0, 'tsp': '4 2/4'}],
  ['generated control 2', [14, ' Instant', 'instant'], {'bloom': False, 'grams': 14.0, 'tsp': '4 2/4'}],
  ['generated control 3', [5, 'rapid', 'FRESH'], 'error: yeast type']],
 [['unknown type', [7, 'rapid', 'instant'], 'error: yeast type'],
  ['same type', [3.1, 'instant', 'instant'], {'bloom': False, 'grams': 3.1, 'tsp': '1'}],
  ['tiny amount', [0.3, 'instant', 'instant'], {'bloom': False, 'grams': 0.3, 'tsp': 'less than 1/4'}],
  ['regression: whole teaspoon carry', [10, 'fresh', 'instant'], {'bloom': False, 'grams': 3.3, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [6.2, 'fresh', 'active dry'],
   {'bloom': True, 'grams': 2.6, 'tsp': '3/4'}],
  ['generated control 1', [12.4, 'FRESH', 'active dry'], {'bloom': True, 'grams': 5.2, 'tsp': '1 3/4'}],
  ['generated control 2', [4, ' Instant', 'instant'], {'bloom': False, 'grams': 4.0, 'tsp': '1 1/4'}],
  ['generated control 3', [2.5, 'rapid', 'FRESH'], 'error: yeast type']],
 [['same type', [3.1, 'instant', 'instant'], {'bloom': False, 'grams': 3.1, 'tsp': '1'}],
  ['tiny amount', [0.3, 'instant', 'instant'], {'bloom': False, 'grams': 0.3, 'tsp': 'less than 1/4'}],
  ['instant to active dry', [7, 'instant', 'active dry'], {'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}],
  ['regression: whole teaspoon carry', [10, 'FRESH', ' Instant'], {'bloom': False, 'grams': 3.3, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [2.5, 'active dry', 'active dry'],
   {'bloom': True, 'grams': 2.5, 'tsp': '3/4'}],
  ['generated control 1', [7, 'rapid', 'FRESH'], 'error: yeast type'],
  ['generated control 2', [5, 'fresh', 'FRESH'], {'bloom': False, 'grams': 5.0, 'tsp': None}],
  ['generated control 3', [1, 'rapid', 'rapid'], 'error: yeast type']],
 [['tiny amount', [0.3, 'instant', 'instant'], {'bloom': False, 'grams': 0.3, 'tsp': 'less than 1/4'}],
  ['instant to active dry', [7, 'instant', 'active dry'], {'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}],
  ['fresh to instant', [21, 'fresh', 'instant'], {'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}],
  ['regression: whole teaspoon carry', [4, 'active dry', ' Instant'],
   {'bloom': False, 'grams': 3.2, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [2.5, 'instant', ' Instant'],
   {'bloom': False, 'grams': 2.5, 'tsp': '3/4'}],
  ['generated control 1', [2.5, 'fresh', 'fresh'], {'bloom': False, 'grams': 2.5, 'tsp': None}],
  ['generated control 2', [2.5, 'rapid', 'fresh'], 'error: yeast type'],
  ['generated control 3', [21, 'rapid', 'active dry'], 'error: yeast type']]]
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
instant to active dry	`{'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}`	`{'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}`	Passed
fresh to instant	`{'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}`	`{'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}`	Passed
unknown type	`error: yeast type`	`error: yeast type`	Passed
regression: whole teaspoon carry	`{'bloom': True, 'grams': 3.0, 'tsp': '4/4'}`	`{'bloom': True, 'grams': 3.0, 'tsp': '1'}`	Failed
repair check: whole teaspoon carry	`{'bloom': True, 'grams': 2.5, 'tsp': '3/4'}`	`{'bloom': True, 'grams': 2.5, 'tsp': '3/4'}`	Passed
generated control 1	`{'bloom': False, 'grams': 2.1, 'tsp': '3/4'}`	`{'bloom': False, 'grams': 2.1, 'tsp': '3/4'}`	Passed
generated control 2	`{'bloom': False, 'grams': 12.0, 'tsp': None}`	`{'bloom': False, 'grams': 12.0, 'tsp': None}`	Passed
generated control 3	`error: yeast type`	`error: yeast type`	Passed

SHA-256 / 49543f59d0560b76bf10f79270ab493ab6cb566f85385cfc50e3908f5b934d16

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(amount_g, from_type, to_type):
    R = {'instant': Fraction(1), 'active dry': Fraction(5, 4), 'fresh': Fraction(3)}
    f, t = from_type.strip().lower(), to_type.strip().lower()
    if f not in R or t not in R:
        return 'error: yeast type'
    g = Fraction(str(amount_g)) / R[f] * R[t]
    grams = math.floor(g * 10 + Fraction(1, 2)) / 10
    out = {'grams': grams}
    if t == 'fresh':
        out['tsp'] = None
    else:
        q = math.floor(g / Fraction(31, 10) * 4 + Fraction(1, 2))
        if q == 0:
            out['tsp'] = 'less than 1/4'
        elif q < 3:
            out['tsp'] = '%d/4' % q
        elif q % 4 == 0:
            out['tsp'] = '%d' % (q // 4)
        else:
            out['tsp'] = '%d %d/4' % divmod(q, 4)
    out['bloom'] = t == 'active dry'
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['instant to active dry', [7, 'instant', 'active dry'], {'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}],
  ['fresh to instant', [21, 'fresh', 'instant'], {'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}],
  ['unknown type', [7, 'rapid', 'instant'], 'error: yeast type'],
  ['regression: whole teaspoon carry', [3, 'active dry', 'active dry'],
   {'bloom': True, 'grams': 3.0, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [2.5, 'active dry', 'active dry'],
   {'bloom': True, 'grams': 2.5, 'tsp': '3/4'}],
  ['generated control 1', [6.2, 'fresh', 'instant'], {'bloom': False, 'grams': 2.1, 'tsp': '3/4'}],
  ['generated control 2', [4, ' Instant', 'FRESH'], {'bloom': False, 'grams': 12.0, 'tsp': None}],
  ['generated control 3', [12.4, 'fresh', 'rapid'], 'error: yeast type']],
 [['fresh to instant', [21, 'fresh', 'instant'], {'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}],
  ['unknown type', [7, 'rapid', 'instant'], 'error: yeast type'],
  ['same type', [3.1, 'instant', 'instant'], {'bloom': False, 'grams': 3.1, 'tsp': '1'}],
  ['regression: whole teaspoon carry', [10, 'fresh', ' Instant'], {'bloom': False, 'grams': 3.3, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [2.5, 'instant', ' Instant'],
   {'bloom': False, 'grams': 2.5, 'tsp': '3/4'}],
  ['generated control 1', [14, 'instant', 'instant'], {'bloom': False, 'grams': 14.0, 'tsp': '4 2/4'}],
  ['generated control 2', [14, ' Instant', 'instant'], {'bloom': False, 'grams': 14.0, 'tsp': '4 2/4'}],
  ['generated control 3', [5, 'rapid', 'FRESH'], 'error: yeast type']],
 [['unknown type', [7, 'rapid', 'instant'], 'error: yeast type'],
  ['same type', [3.1, 'instant', 'instant'], {'bloom': False, 'grams': 3.1, 'tsp': '1'}],
  ['tiny amount', [0.3, 'instant', 'instant'], {'bloom': False, 'grams': 0.3, 'tsp': 'less than 1/4'}],
  ['regression: whole teaspoon carry', [10, 'fresh', 'instant'], {'bloom': False, 'grams': 3.3, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [6.2, 'fresh', 'active dry'],
   {'bloom': True, 'grams': 2.6, 'tsp': '3/4'}],
  ['generated control 1', [12.4, 'FRESH', 'active dry'], {'bloom': True, 'grams': 5.2, 'tsp': '1 3/4'}],
  ['generated control 2', [4, ' Instant', 'instant'], {'bloom': False, 'grams': 4.0, 'tsp': '1 1/4'}],
  ['generated control 3', [2.5, 'rapid', 'FRESH'], 'error: yeast type']],
 [['same type', [3.1, 'instant', 'instant'], {'bloom': False, 'grams': 3.1, 'tsp': '1'}],
  ['tiny amount', [0.3, 'instant', 'instant'], {'bloom': False, 'grams': 0.3, 'tsp': 'less than 1/4'}],
  ['instant to active dry', [7, 'instant', 'active dry'], {'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}],
  ['regression: whole teaspoon carry', [10, 'FRESH', ' Instant'], {'bloom': False, 'grams': 3.3, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [2.5, 'active dry', 'active dry'],
   {'bloom': True, 'grams': 2.5, 'tsp': '3/4'}],
  ['generated control 1', [7, 'rapid', 'FRESH'], 'error: yeast type'],
  ['generated control 2', [5, 'fresh', 'FRESH'], {'bloom': False, 'grams': 5.0, 'tsp': None}],
  ['generated control 3', [1, 'rapid', 'rapid'], 'error: yeast type']],
 [['tiny amount', [0.3, 'instant', 'instant'], {'bloom': False, 'grams': 0.3, 'tsp': 'less than 1/4'}],
  ['instant to active dry', [7, 'instant', 'active dry'], {'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}],
  ['fresh to instant', [21, 'fresh', 'instant'], {'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}],
  ['regression: whole teaspoon carry', [4, 'active dry', ' Instant'],
   {'bloom': False, 'grams': 3.2, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [2.5, 'instant', ' Instant'],
   {'bloom': False, 'grams': 2.5, 'tsp': '3/4'}],
  ['generated control 1', [2.5, 'fresh', 'fresh'], {'bloom': False, 'grams': 2.5, 'tsp': None}],
  ['generated control 2', [2.5, 'rapid', 'fresh'], 'error: yeast type'],
  ['generated control 3', [21, 'rapid', 'active dry'], 'error: yeast type']]]
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
instant to active dry	`{'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}`	`{'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}`	Passed
fresh to instant	`{'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}`	`{'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}`	Passed
unknown type	`error: yeast type`	`error: yeast type`	Passed
regression: whole teaspoon carry	`{'bloom': True, 'grams': 3.0, 'tsp': '1'}`	`{'bloom': True, 'grams': 3.0, 'tsp': '1'}`	Passed
repair check: whole teaspoon carry	`{'bloom': True, 'grams': 2.5, 'tsp': '0 3/4'}`	`{'bloom': True, 'grams': 2.5, 'tsp': '3/4'}`	Failed
generated control 1	`{'bloom': False, 'grams': 2.1, 'tsp': '0 3/4'}`	`{'bloom': False, 'grams': 2.1, 'tsp': '3/4'}`	Failed
generated control 2	`{'bloom': False, 'grams': 12.0, 'tsp': None}`	`{'bloom': False, 'grams': 12.0, 'tsp': None}`	Passed
generated control 3	`error: yeast type`	`error: yeast type`	Passed

SHA-256 / f8ecb9b5bdeb5b8fe9de83bc9947fbd609d297f0c094cda255b12a2e50eda4fd

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(amount_g, from_type, to_type):
    R = {'instant': Fraction(1), 'active dry': Fraction(5, 4), 'fresh': Fraction(3)}
    f, t = from_type.strip().lower(), to_type.strip().lower()
    if f not in R or t not in R:
        return 'error: yeast type'
    g = Fraction(str(amount_g)) / R[f] * R[t]
    grams = math.floor(g * 10 + Fraction(1, 2)) / 10
    out = {'grams': grams}
    if t == 'fresh':
        out['tsp'] = None
    else:
        q = math.floor(g / Fraction(31, 10) * 4 + Fraction(1, 2))
        if q == 0:
            out['tsp'] = 'less than 1/4'
        elif q < 4:
            out['tsp'] = '%d/4' % q
        elif q % 4 == 0:
            out['tsp'] = '%d' % (q // 4)
        else:
            out['tsp'] = '%d %d/4' % divmod(q, 4)
    out['bloom'] = t == 'active dry'
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['instant to active dry', [7, 'instant', 'active dry'], {'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}],
  ['fresh to instant', [21, 'fresh', 'instant'], {'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}],
  ['unknown type', [7, 'rapid', 'instant'], 'error: yeast type'],
  ['regression: whole teaspoon carry', [3, 'active dry', 'active dry'],
   {'bloom': True, 'grams': 3.0, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [2.5, 'active dry', 'active dry'],
   {'bloom': True, 'grams': 2.5, 'tsp': '3/4'}],
  ['generated control 1', [6.2, 'fresh', 'instant'], {'bloom': False, 'grams': 2.1, 'tsp': '3/4'}],
  ['generated control 2', [4, ' Instant', 'FRESH'], {'bloom': False, 'grams': 12.0, 'tsp': None}],
  ['generated control 3', [12.4, 'fresh', 'rapid'], 'error: yeast type']],
 [['fresh to instant', [21, 'fresh', 'instant'], {'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}],
  ['unknown type', [7, 'rapid', 'instant'], 'error: yeast type'],
  ['same type', [3.1, 'instant', 'instant'], {'bloom': False, 'grams': 3.1, 'tsp': '1'}],
  ['regression: whole teaspoon carry', [10, 'fresh', ' Instant'], {'bloom': False, 'grams': 3.3, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [2.5, 'instant', ' Instant'],
   {'bloom': False, 'grams': 2.5, 'tsp': '3/4'}],
  ['generated control 1', [14, 'instant', 'instant'], {'bloom': False, 'grams': 14.0, 'tsp': '4 2/4'}],
  ['generated control 2', [14, ' Instant', 'instant'], {'bloom': False, 'grams': 14.0, 'tsp': '4 2/4'}],
  ['generated control 3', [5, 'rapid', 'FRESH'], 'error: yeast type']],
 [['unknown type', [7, 'rapid', 'instant'], 'error: yeast type'],
  ['same type', [3.1, 'instant', 'instant'], {'bloom': False, 'grams': 3.1, 'tsp': '1'}],
  ['tiny amount', [0.3, 'instant', 'instant'], {'bloom': False, 'grams': 0.3, 'tsp': 'less than 1/4'}],
  ['regression: whole teaspoon carry', [10, 'fresh', 'instant'], {'bloom': False, 'grams': 3.3, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [6.2, 'fresh', 'active dry'],
   {'bloom': True, 'grams': 2.6, 'tsp': '3/4'}],
  ['generated control 1', [12.4, 'FRESH', 'active dry'], {'bloom': True, 'grams': 5.2, 'tsp': '1 3/4'}],
  ['generated control 2', [4, ' Instant', 'instant'], {'bloom': False, 'grams': 4.0, 'tsp': '1 1/4'}],
  ['generated control 3', [2.5, 'rapid', 'FRESH'], 'error: yeast type']],
 [['same type', [3.1, 'instant', 'instant'], {'bloom': False, 'grams': 3.1, 'tsp': '1'}],
  ['tiny amount', [0.3, 'instant', 'instant'], {'bloom': False, 'grams': 0.3, 'tsp': 'less than 1/4'}],
  ['instant to active dry', [7, 'instant', 'active dry'], {'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}],
  ['regression: whole teaspoon carry', [10, 'FRESH', ' Instant'], {'bloom': False, 'grams': 3.3, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [2.5, 'active dry', 'active dry'],
   {'bloom': True, 'grams': 2.5, 'tsp': '3/4'}],
  ['generated control 1', [7, 'rapid', 'FRESH'], 'error: yeast type'],
  ['generated control 2', [5, 'fresh', 'FRESH'], {'bloom': False, 'grams': 5.0, 'tsp': None}],
  ['generated control 3', [1, 'rapid', 'rapid'], 'error: yeast type']],
 [['tiny amount', [0.3, 'instant', 'instant'], {'bloom': False, 'grams': 0.3, 'tsp': 'less than 1/4'}],
  ['instant to active dry', [7, 'instant', 'active dry'], {'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}],
  ['fresh to instant', [21, 'fresh', 'instant'], {'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}],
  ['regression: whole teaspoon carry', [4, 'active dry', ' Instant'],
   {'bloom': False, 'grams': 3.2, 'tsp': '1'}],
  ['repair check: whole teaspoon carry', [2.5, 'instant', ' Instant'],
   {'bloom': False, 'grams': 2.5, 'tsp': '3/4'}],
  ['generated control 1', [2.5, 'fresh', 'fresh'], {'bloom': False, 'grams': 2.5, 'tsp': None}],
  ['generated control 2', [2.5, 'rapid', 'fresh'], 'error: yeast type'],
  ['generated control 3', [21, 'rapid', 'active dry'], 'error: yeast type']]]
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
instant to active dry	`{'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}`	`{'bloom': True, 'grams': 8.8, 'tsp': '2 3/4'}`	Passed
fresh to instant	`{'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}`	`{'bloom': False, 'grams': 7.0, 'tsp': '2 1/4'}`	Passed
unknown type	`error: yeast type`	`error: yeast type`	Passed
regression: whole teaspoon carry	`{'bloom': True, 'grams': 3.0, 'tsp': '1'}`	`{'bloom': True, 'grams': 3.0, 'tsp': '1'}`	Passed
repair check: whole teaspoon carry	`{'bloom': True, 'grams': 2.5, 'tsp': '3/4'}`	`{'bloom': True, 'grams': 2.5, 'tsp': '3/4'}`	Passed
generated control 1	`{'bloom': False, 'grams': 2.1, 'tsp': '3/4'}`	`{'bloom': False, 'grams': 2.1, 'tsp': '3/4'}`	Passed
generated control 2	`{'bloom': False, 'grams': 12.0, 'tsp': None}`	`{'bloom': False, 'grams': 12.0, 'tsp': None}`	Passed
generated control 3	`error: yeast type`	`error: yeast type`	Passed

SHA-256 / 950fadd27566efdc7aacb366cdcef3fbf061ef8c0f10865218ec0d9c8146505f

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:28.645526+00:00.

Case digest / d579e442f7fcbce8d021da01d5512709890ddf71c5382c5c605e87e6e1bfed24