FAILURE MAP
← Case archive

FA-97321 / Recipe scaling and nutrition / Open access

Equilibrium brine calculator: volume from weight · case 01

20 g of salt reads as 120 teaspoons.

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

ROOT CAUSE

Grams are multiplied by grams-per-teaspoon instead of divided.

VERIFIED REPAIR

Divide grams by the brand density.

Unsuccessful approach: Using table-salt density for all brands under-measures flaky kosher salt.

Case contract

Salt grams = total*pct/100 where total = meat+water for "wet" and meat only for "dry". Salt densities per tsp: table 6 g, morton kosher 4.8 g, diamond kosher 2.8 g. Return salt_g half-up to 0.1 (float), tsp half-up to 0.25 (float), and sodium_mg_per_100g = half-up of salt_g*393 per 100 g of total at equilibrium.

Why this case matters

Equilibrium brining sets salt as a percentage of meat plus water and converts between salt brands.

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(meat_g, water_g, pct, salt_type, method):
    DENS = {'table': Fraction(6), 'morton kosher': Fraction(24, 5), 'diamond kosher': Fraction(14, 5)}
    total = meat_g + (0 if method == 'dry' else water_g)
    salt = Fraction(total) * Fraction(pct) / 100
    tsp = salt * DENS[salt_type]
    sodium = salt * 393 * 100 / total
    return {'salt_g': math.floor(salt * 10 + Fraction(1, 2)) / 10, 'tsp': math.floor(tsp * 4 + Fraction(1, 2)) / 4,
            'sodium_mg_per_100g': math.floor(sodium + Fraction(1, 2))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['regression: volume from weight', [1000, 1000, '1.5', 'morton kosher', 'wet'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 590, 'tsp': 6.25}],
  ['repair check: volume from weight', [2000, 0, '1', 'morton kosher', 'wet'],
   {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 4.25}],
  ['generated control 1', [500, 500, '1.5', 'morton kosher', 'dry'],
   {'salt_g': 7.5, 'sodium_mg_per_100g': 590, 'tsp': 1.5}],
  ['generated control 2', [500, 1000, '3', 'table', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 2.5}],
  ['generated control 3', [2500, 0, '2', 'morton kosher', 'wet'],
   {'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 10.5}]],
 [['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['regression: volume from weight', [2500, 500, '0.5', 'morton kosher', 'dry'],
   {'salt_g': 12.5, 'sodium_mg_per_100g': 197, 'tsp': 2.5}],
  ['repair check: volume from weight', [500, 0, '3', 'diamond kosher', 'wet'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 5.25}],
  ['generated control 1', [2500, 1000, '3', 'table', 'wet'],
   {'salt_g': 105.0, 'sodium_mg_per_100g': 1179, 'tsp': 17.5}],
  ['generated control 2', [1500, 0, '5', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1965, 'tsp': 12.5}],
  ['generated control 3', [1000, 2000, '2', 'morton kosher', 'dry'],
   {'salt_g': 20.0, 'sodium_mg_per_100g': 786, 'tsp': 4.25}]],
 [['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['regression: volume from weight', [1500, 2000, '0.5', 'table', 'dry'],
   {'salt_g': 7.5, 'sodium_mg_per_100g': 197, 'tsp': 1.25}],
  ['repair check: volume from weight', [2000, 0, '0.5', 'diamond kosher', 'wet'],
   {'salt_g': 10.0, 'sodium_mg_per_100g': 197, 'tsp': 3.5}],
  ['generated control 1', [2000, 1000, '2', 'table', 'dry'],
   {'salt_g': 40.0, 'sodium_mg_per_100g': 786, 'tsp': 6.75}],
  ['generated control 2', [1500, 1000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 37.5, 'sodium_mg_per_100g': 590, 'tsp': 13.5}],
  ['generated control 3', [1500, 1000, '2', 'table', 'wet'],
   {'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 8.25}]],
 [['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['regression: volume from weight', [500, 2000, '3', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 5.25}],
  ['repair check: volume from weight', [500, 2000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 37.5, 'sodium_mg_per_100g': 590, 'tsp': 13.5}],
  ['generated control 1', [500, 500, '0.5', 'morton kosher', 'dry'],
   {'salt_g': 2.5, 'sodium_mg_per_100g': 197, 'tsp': 0.5}],
  ['generated control 2', [1000, 2000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 45.0, 'sodium_mg_per_100g': 590, 'tsp': 16.0}],
  ['generated control 3', [2000, 2000, '1', 'morton kosher', 'dry'],
   {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 4.25}]],
 [['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['regression: volume from weight', [1000, 500, '1', 'morton kosher', 'wet'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['repair check: volume from weight', [1000, 1000, '3', 'diamond kosher', 'wet'],
   {'salt_g': 60.0, 'sodium_mg_per_100g': 1179, 'tsp': 21.5}],
  ['generated control 1', [2000, 500, '3', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}],
  ['generated control 2', [2500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}],
  ['generated control 3', [500, 1000, '1.5', 'table', 'wet'],
   {'salt_g': 22.5, 'sodium_mg_per_100g': 590, 'tsp': 3.75}]]]
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
wet brine{'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 120.0}{'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}Failed
dry brine ignores water{'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 42.0}{'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}Failed
strong morton brine{'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 960.0}{'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}Failed
regression: volume from weight{'salt_g': 30.0, 'sodium_mg_per_100g': 590, 'tsp': 144.0}{'salt_g': 30.0, 'sodium_mg_per_100g': 590, 'tsp': 6.25}Failed
repair check: volume from weight{'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 96.0}{'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 4.25}Failed
generated control 1{'salt_g': 7.5, 'sodium_mg_per_100g': 590, 'tsp': 36.0}{'salt_g': 7.5, 'sodium_mg_per_100g': 590, 'tsp': 1.5}Failed
generated control 2{'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 90.0}{'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 2.5}Failed
generated control 3{'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 240.0}{'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 10.5}Failed

SHA-256 / 49211d1b553398d4b43c9c490fb6d0d02734eb5287b951f70de7d3fe649f6543

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(meat_g, water_g, pct, salt_type, method):
    DENS = {'table': Fraction(6), 'morton kosher': Fraction(24, 5), 'diamond kosher': Fraction(14, 5)}
    total = meat_g + (0 if method == 'dry' else water_g)
    salt = Fraction(total) * Fraction(pct) / 100
    tsp = salt / DENS['table']
    sodium = salt * 393 * 100 / total
    return {'salt_g': math.floor(salt * 10 + Fraction(1, 2)) / 10, 'tsp': math.floor(tsp * 4 + Fraction(1, 2)) / 4,
            'sodium_mg_per_100g': math.floor(sodium + Fraction(1, 2))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['regression: volume from weight', [1000, 1000, '1.5', 'morton kosher', 'wet'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 590, 'tsp': 6.25}],
  ['repair check: volume from weight', [2000, 0, '1', 'morton kosher', 'wet'],
   {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 4.25}],
  ['generated control 1', [500, 500, '1.5', 'morton kosher', 'dry'],
   {'salt_g': 7.5, 'sodium_mg_per_100g': 590, 'tsp': 1.5}],
  ['generated control 2', [500, 1000, '3', 'table', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 2.5}],
  ['generated control 3', [2500, 0, '2', 'morton kosher', 'wet'],
   {'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 10.5}]],
 [['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['regression: volume from weight', [2500, 500, '0.5', 'morton kosher', 'dry'],
   {'salt_g': 12.5, 'sodium_mg_per_100g': 197, 'tsp': 2.5}],
  ['repair check: volume from weight', [500, 0, '3', 'diamond kosher', 'wet'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 5.25}],
  ['generated control 1', [2500, 1000, '3', 'table', 'wet'],
   {'salt_g': 105.0, 'sodium_mg_per_100g': 1179, 'tsp': 17.5}],
  ['generated control 2', [1500, 0, '5', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1965, 'tsp': 12.5}],
  ['generated control 3', [1000, 2000, '2', 'morton kosher', 'dry'],
   {'salt_g': 20.0, 'sodium_mg_per_100g': 786, 'tsp': 4.25}]],
 [['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['regression: volume from weight', [1500, 2000, '0.5', 'table', 'dry'],
   {'salt_g': 7.5, 'sodium_mg_per_100g': 197, 'tsp': 1.25}],
  ['repair check: volume from weight', [2000, 0, '0.5', 'diamond kosher', 'wet'],
   {'salt_g': 10.0, 'sodium_mg_per_100g': 197, 'tsp': 3.5}],
  ['generated control 1', [2000, 1000, '2', 'table', 'dry'],
   {'salt_g': 40.0, 'sodium_mg_per_100g': 786, 'tsp': 6.75}],
  ['generated control 2', [1500, 1000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 37.5, 'sodium_mg_per_100g': 590, 'tsp': 13.5}],
  ['generated control 3', [1500, 1000, '2', 'table', 'wet'],
   {'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 8.25}]],
 [['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['regression: volume from weight', [500, 2000, '3', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 5.25}],
  ['repair check: volume from weight', [500, 2000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 37.5, 'sodium_mg_per_100g': 590, 'tsp': 13.5}],
  ['generated control 1', [500, 500, '0.5', 'morton kosher', 'dry'],
   {'salt_g': 2.5, 'sodium_mg_per_100g': 197, 'tsp': 0.5}],
  ['generated control 2', [1000, 2000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 45.0, 'sodium_mg_per_100g': 590, 'tsp': 16.0}],
  ['generated control 3', [2000, 2000, '1', 'morton kosher', 'dry'],
   {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 4.25}]],
 [['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['regression: volume from weight', [1000, 500, '1', 'morton kosher', 'wet'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['repair check: volume from weight', [1000, 1000, '3', 'diamond kosher', 'wet'],
   {'salt_g': 60.0, 'sodium_mg_per_100g': 1179, 'tsp': 21.5}],
  ['generated control 1', [2000, 500, '3', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}],
  ['generated control 2', [2500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}],
  ['generated control 3', [500, 1000, '1.5', 'table', 'wet'],
   {'salt_g': 22.5, 'sodium_mg_per_100g': 590, 'tsp': 3.75}]]]
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
wet brine{'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}{'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}Passed
dry brine ignores water{'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 2.5}{'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}Failed
strong morton brine{'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 33.25}{'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}Failed
regression: volume from weight{'salt_g': 30.0, 'sodium_mg_per_100g': 590, 'tsp': 5.0}{'salt_g': 30.0, 'sodium_mg_per_100g': 590, 'tsp': 6.25}Failed
repair check: volume from weight{'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}{'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 4.25}Failed
generated control 1{'salt_g': 7.5, 'sodium_mg_per_100g': 590, 'tsp': 1.25}{'salt_g': 7.5, 'sodium_mg_per_100g': 590, 'tsp': 1.5}Failed
generated control 2{'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 2.5}{'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 2.5}Passed
generated control 3{'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 8.25}{'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 10.5}Failed

SHA-256 / 0f2318783bf1558c85f7e94952eec512cc150d2fdc02fc50f1c62c57f2eeaad0

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(meat_g, water_g, pct, salt_type, method):
    DENS = {'table': Fraction(6), 'morton kosher': Fraction(24, 5), 'diamond kosher': Fraction(14, 5)}
    total = meat_g + (0 if method == 'dry' else water_g)
    salt = Fraction(total) * Fraction(pct) / 100
    tsp = salt / DENS[salt_type]
    sodium = salt * 393 * 100 / total
    return {'salt_g': math.floor(salt * 10 + Fraction(1, 2)) / 10, 'tsp': math.floor(tsp * 4 + Fraction(1, 2)) / 4,
            'sodium_mg_per_100g': math.floor(sodium + Fraction(1, 2))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['regression: volume from weight', [1000, 1000, '1.5', 'morton kosher', 'wet'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 590, 'tsp': 6.25}],
  ['repair check: volume from weight', [2000, 0, '1', 'morton kosher', 'wet'],
   {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 4.25}],
  ['generated control 1', [500, 500, '1.5', 'morton kosher', 'dry'],
   {'salt_g': 7.5, 'sodium_mg_per_100g': 590, 'tsp': 1.5}],
  ['generated control 2', [500, 1000, '3', 'table', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 2.5}],
  ['generated control 3', [2500, 0, '2', 'morton kosher', 'wet'],
   {'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 10.5}]],
 [['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['regression: volume from weight', [2500, 500, '0.5', 'morton kosher', 'dry'],
   {'salt_g': 12.5, 'sodium_mg_per_100g': 197, 'tsp': 2.5}],
  ['repair check: volume from weight', [500, 0, '3', 'diamond kosher', 'wet'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 5.25}],
  ['generated control 1', [2500, 1000, '3', 'table', 'wet'],
   {'salt_g': 105.0, 'sodium_mg_per_100g': 1179, 'tsp': 17.5}],
  ['generated control 2', [1500, 0, '5', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1965, 'tsp': 12.5}],
  ['generated control 3', [1000, 2000, '2', 'morton kosher', 'dry'],
   {'salt_g': 20.0, 'sodium_mg_per_100g': 786, 'tsp': 4.25}]],
 [['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['regression: volume from weight', [1500, 2000, '0.5', 'table', 'dry'],
   {'salt_g': 7.5, 'sodium_mg_per_100g': 197, 'tsp': 1.25}],
  ['repair check: volume from weight', [2000, 0, '0.5', 'diamond kosher', 'wet'],
   {'salt_g': 10.0, 'sodium_mg_per_100g': 197, 'tsp': 3.5}],
  ['generated control 1', [2000, 1000, '2', 'table', 'dry'],
   {'salt_g': 40.0, 'sodium_mg_per_100g': 786, 'tsp': 6.75}],
  ['generated control 2', [1500, 1000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 37.5, 'sodium_mg_per_100g': 590, 'tsp': 13.5}],
  ['generated control 3', [1500, 1000, '2', 'table', 'wet'],
   {'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 8.25}]],
 [['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['regression: volume from weight', [500, 2000, '3', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 5.25}],
  ['repair check: volume from weight', [500, 2000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 37.5, 'sodium_mg_per_100g': 590, 'tsp': 13.5}],
  ['generated control 1', [500, 500, '0.5', 'morton kosher', 'dry'],
   {'salt_g': 2.5, 'sodium_mg_per_100g': 197, 'tsp': 0.5}],
  ['generated control 2', [1000, 2000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 45.0, 'sodium_mg_per_100g': 590, 'tsp': 16.0}],
  ['generated control 3', [2000, 2000, '1', 'morton kosher', 'dry'],
   {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 4.25}]],
 [['dry brine ignores water', [1500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['strong morton brine', [2000, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}],
  ['wet brine', [1000, 1000, '1', 'table', 'wet'], {'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['regression: volume from weight', [1000, 500, '1', 'morton kosher', 'wet'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}],
  ['repair check: volume from weight', [1000, 1000, '3', 'diamond kosher', 'wet'],
   {'salt_g': 60.0, 'sodium_mg_per_100g': 1179, 'tsp': 21.5}],
  ['generated control 1', [2000, 500, '3', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}],
  ['generated control 2', [2500, 1000, '1', 'diamond kosher', 'dry'],
   {'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}],
  ['generated control 3', [500, 1000, '1.5', 'table', 'wet'],
   {'salt_g': 22.5, 'sodium_mg_per_100g': 590, 'tsp': 3.75}]]]
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
wet brine{'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}{'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 3.25}Passed
dry brine ignores water{'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}{'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}Passed
strong morton brine{'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}{'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}Passed
regression: volume from weight{'salt_g': 30.0, 'sodium_mg_per_100g': 590, 'tsp': 6.25}{'salt_g': 30.0, 'sodium_mg_per_100g': 590, 'tsp': 6.25}Passed
repair check: volume from weight{'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 4.25}{'salt_g': 20.0, 'sodium_mg_per_100g': 393, 'tsp': 4.25}Passed
generated control 1{'salt_g': 7.5, 'sodium_mg_per_100g': 590, 'tsp': 1.5}{'salt_g': 7.5, 'sodium_mg_per_100g': 590, 'tsp': 1.5}Passed
generated control 2{'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 2.5}{'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 2.5}Passed
generated control 3{'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 10.5}{'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 10.5}Passed

SHA-256 / bc49bf8bd4b870023cbe4a056bd41dd0e206b0d53cbd25e6676dd8e17ce2edd3

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

Case digest / df1d327c8e195705dfb4417e96d034ae2b8f473f7771b5e3923967ed10d2a4e8