FAILURE MAP
← Case archive

FA-97326 / Recipe scaling and nutrition / Open access

Equilibrium brine calculator: sodium mass fraction · case 01

Sodium is reported as the full salt mass in mg.

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

ROOT CAUSE

Salt grams are converted to mg without taking the 39.3% sodium fraction.

VERIFIED REPAIR

Multiply salt grams by 393 mg of sodium per gram.

Unsuccessful approach: Scaling by 0.393 forgets the gram-to-milligram factor.

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 * 1000 * 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: sodium mass fraction', [1500, 0, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['repair check: sodium mass fraction', [2500, 0, '3', 'diamond kosher', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 26.75}],
  ['generated control 1', [500, 2000, '3', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}],
  ['generated control 2', [2000, 0, '5', 'diamond kosher', 'wet'],
   {'salt_g': 100.0, 'sodium_mg_per_100g': 1965, 'tsp': 35.75}],
  ['generated control 3', [500, 1000, '3', 'table', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 2.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: sodium mass fraction', [2500, 1000, '3', 'morton kosher', 'dry'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 15.75}],
  ['repair check: sodium mass fraction', [2500, 2000, '1', 'morton kosher', 'wet'],
   {'salt_g': 45.0, 'sodium_mg_per_100g': 393, 'tsp': 9.5}],
  ['generated control 1', [2500, 0, '1', 'diamond kosher', 'dry'],
   {'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}],
  ['generated control 2', [2500, 2000, '1', 'table', 'dry'],
   {'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 4.25}],
  ['generated control 3', [500, 0, '2', 'morton kosher', 'wet'],
   {'salt_g': 10.0, 'sodium_mg_per_100g': 786, 'tsp': 2.0}]],
 [['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: sodium mass fraction', [1000, 0, '3', 'table', 'dry'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 1179, 'tsp': 5.0}],
  ['repair check: sodium mass fraction', [500, 500, '2', 'diamond kosher', 'wet'],
   {'salt_g': 20.0, 'sodium_mg_per_100g': 786, 'tsp': 7.25}],
  ['generated control 1', [1000, 500, '1.5', 'table', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 590, 'tsp': 2.5}],
  ['generated control 2', [500, 2000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 37.5, 'sodium_mg_per_100g': 590, 'tsp': 13.5}],
  ['generated control 3', [2000, 1000, '0.5', 'morton kosher', 'wet'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 197, 'tsp': 3.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: sodium mass fraction', [1500, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 175.0, 'sodium_mg_per_100g': 1965, 'tsp': 36.5}],
  ['repair check: sodium mass fraction', [2000, 1000, '3', 'diamond kosher', 'wet'],
   {'salt_g': 90.0, 'sodium_mg_per_100g': 1179, 'tsp': 32.25}],
  ['generated control 1', [1000, 500, '2', 'diamond kosher', 'wet'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 786, 'tsp': 10.75}],
  ['generated control 2', [1000, 1000, '0.5', 'table', 'wet'],
   {'salt_g': 10.0, 'sodium_mg_per_100g': 197, 'tsp': 1.75}],
  ['generated control 3', [2000, 500, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 37.5, 'sodium_mg_per_100g': 590, 'tsp': 13.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: sodium mass fraction', [1000, 0, '3', 'table', 'wet'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 1179, 'tsp': 5.0}],
  ['repair check: sodium mass fraction', [1500, 2000, '0.5', 'table', 'wet'],
   {'salt_g': 17.5, 'sodium_mg_per_100g': 197, 'tsp': 3.0}],
  ['generated control 1', [1000, 2000, '2', 'diamond kosher', 'wet'],
   {'salt_g': 60.0, 'sodium_mg_per_100g': 786, 'tsp': 21.5}],
  ['generated control 2', [2500, 1000, '2', 'diamond kosher', 'dry'],
   {'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 17.75}],
  ['generated control 3', [500, 0, '1.5', 'table', 'dry'],
   {'salt_g': 7.5, 'sodium_mg_per_100g': 590, 'tsp': 1.25}]]]
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': 1000, 'tsp': 3.25}{'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': 1000, 'tsp': 5.25}{'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}Failed
strong morton brine{'salt_g': 200.0, 'sodium_mg_per_100g': 5000, 'tsp': 41.75}{'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}Failed
regression: sodium mass fraction{'salt_g': 15.0, 'sodium_mg_per_100g': 1000, 'tsp': 5.25}{'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}Failed
repair check: sodium mass fraction{'salt_g': 75.0, 'sodium_mg_per_100g': 3000, 'tsp': 26.75}{'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 26.75}Failed
generated control 1{'salt_g': 75.0, 'sodium_mg_per_100g': 3000, 'tsp': 12.5}{'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}Failed
generated control 2{'salt_g': 100.0, 'sodium_mg_per_100g': 5000, 'tsp': 35.75}{'salt_g': 100.0, 'sodium_mg_per_100g': 1965, 'tsp': 35.75}Failed
generated control 3{'salt_g': 15.0, 'sodium_mg_per_100g': 3000, 'tsp': 2.5}{'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 2.5}Failed

SHA-256 / 08f25e28c916c6adf059256eea7a76d01faa3554248a3abbba2b193871f6dbf2

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[salt_type]
    sodium = salt * Fraction(393, 1000) * 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: sodium mass fraction', [1500, 0, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['repair check: sodium mass fraction', [2500, 0, '3', 'diamond kosher', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 26.75}],
  ['generated control 1', [500, 2000, '3', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}],
  ['generated control 2', [2000, 0, '5', 'diamond kosher', 'wet'],
   {'salt_g': 100.0, 'sodium_mg_per_100g': 1965, 'tsp': 35.75}],
  ['generated control 3', [500, 1000, '3', 'table', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 2.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: sodium mass fraction', [2500, 1000, '3', 'morton kosher', 'dry'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 15.75}],
  ['repair check: sodium mass fraction', [2500, 2000, '1', 'morton kosher', 'wet'],
   {'salt_g': 45.0, 'sodium_mg_per_100g': 393, 'tsp': 9.5}],
  ['generated control 1', [2500, 0, '1', 'diamond kosher', 'dry'],
   {'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}],
  ['generated control 2', [2500, 2000, '1', 'table', 'dry'],
   {'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 4.25}],
  ['generated control 3', [500, 0, '2', 'morton kosher', 'wet'],
   {'salt_g': 10.0, 'sodium_mg_per_100g': 786, 'tsp': 2.0}]],
 [['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: sodium mass fraction', [1000, 0, '3', 'table', 'dry'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 1179, 'tsp': 5.0}],
  ['repair check: sodium mass fraction', [500, 500, '2', 'diamond kosher', 'wet'],
   {'salt_g': 20.0, 'sodium_mg_per_100g': 786, 'tsp': 7.25}],
  ['generated control 1', [1000, 500, '1.5', 'table', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 590, 'tsp': 2.5}],
  ['generated control 2', [500, 2000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 37.5, 'sodium_mg_per_100g': 590, 'tsp': 13.5}],
  ['generated control 3', [2000, 1000, '0.5', 'morton kosher', 'wet'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 197, 'tsp': 3.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: sodium mass fraction', [1500, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 175.0, 'sodium_mg_per_100g': 1965, 'tsp': 36.5}],
  ['repair check: sodium mass fraction', [2000, 1000, '3', 'diamond kosher', 'wet'],
   {'salt_g': 90.0, 'sodium_mg_per_100g': 1179, 'tsp': 32.25}],
  ['generated control 1', [1000, 500, '2', 'diamond kosher', 'wet'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 786, 'tsp': 10.75}],
  ['generated control 2', [1000, 1000, '0.5', 'table', 'wet'],
   {'salt_g': 10.0, 'sodium_mg_per_100g': 197, 'tsp': 1.75}],
  ['generated control 3', [2000, 500, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 37.5, 'sodium_mg_per_100g': 590, 'tsp': 13.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: sodium mass fraction', [1000, 0, '3', 'table', 'wet'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 1179, 'tsp': 5.0}],
  ['repair check: sodium mass fraction', [1500, 2000, '0.5', 'table', 'wet'],
   {'salt_g': 17.5, 'sodium_mg_per_100g': 197, 'tsp': 3.0}],
  ['generated control 1', [1000, 2000, '2', 'diamond kosher', 'wet'],
   {'salt_g': 60.0, 'sodium_mg_per_100g': 786, 'tsp': 21.5}],
  ['generated control 2', [2500, 1000, '2', 'diamond kosher', 'dry'],
   {'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 17.75}],
  ['generated control 3', [500, 0, '1.5', 'table', 'dry'],
   {'salt_g': 7.5, 'sodium_mg_per_100g': 590, 'tsp': 1.25}]]]
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': 0, 'tsp': 3.25}{'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': 0, 'tsp': 5.25}{'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}Failed
strong morton brine{'salt_g': 200.0, 'sodium_mg_per_100g': 2, 'tsp': 41.75}{'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}Failed
regression: sodium mass fraction{'salt_g': 15.0, 'sodium_mg_per_100g': 0, 'tsp': 5.25}{'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}Failed
repair check: sodium mass fraction{'salt_g': 75.0, 'sodium_mg_per_100g': 1, 'tsp': 26.75}{'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 26.75}Failed
generated control 1{'salt_g': 75.0, 'sodium_mg_per_100g': 1, 'tsp': 12.5}{'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}Failed
generated control 2{'salt_g': 100.0, 'sodium_mg_per_100g': 2, 'tsp': 35.75}{'salt_g': 100.0, 'sodium_mg_per_100g': 1965, 'tsp': 35.75}Failed
generated control 3{'salt_g': 15.0, 'sodium_mg_per_100g': 1, 'tsp': 2.5}{'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 2.5}Failed

SHA-256 / febed00059abf7763bd8eb2ab223c6885ff185feb9909994e79bfba36e2293d2

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: sodium mass fraction', [1500, 0, '1', 'diamond kosher', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 393, 'tsp': 5.25}],
  ['repair check: sodium mass fraction', [2500, 0, '3', 'diamond kosher', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 26.75}],
  ['generated control 1', [500, 2000, '3', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}],
  ['generated control 2', [2000, 0, '5', 'diamond kosher', 'wet'],
   {'salt_g': 100.0, 'sodium_mg_per_100g': 1965, 'tsp': 35.75}],
  ['generated control 3', [500, 1000, '3', 'table', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 1179, 'tsp': 2.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: sodium mass fraction', [2500, 1000, '3', 'morton kosher', 'dry'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 15.75}],
  ['repair check: sodium mass fraction', [2500, 2000, '1', 'morton kosher', 'wet'],
   {'salt_g': 45.0, 'sodium_mg_per_100g': 393, 'tsp': 9.5}],
  ['generated control 1', [2500, 0, '1', 'diamond kosher', 'dry'],
   {'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}],
  ['generated control 2', [2500, 2000, '1', 'table', 'dry'],
   {'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 4.25}],
  ['generated control 3', [500, 0, '2', 'morton kosher', 'wet'],
   {'salt_g': 10.0, 'sodium_mg_per_100g': 786, 'tsp': 2.0}]],
 [['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: sodium mass fraction', [1000, 0, '3', 'table', 'dry'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 1179, 'tsp': 5.0}],
  ['repair check: sodium mass fraction', [500, 500, '2', 'diamond kosher', 'wet'],
   {'salt_g': 20.0, 'sodium_mg_per_100g': 786, 'tsp': 7.25}],
  ['generated control 1', [1000, 500, '1.5', 'table', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 590, 'tsp': 2.5}],
  ['generated control 2', [500, 2000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 37.5, 'sodium_mg_per_100g': 590, 'tsp': 13.5}],
  ['generated control 3', [2000, 1000, '0.5', 'morton kosher', 'wet'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 197, 'tsp': 3.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: sodium mass fraction', [1500, 2000, '5', 'morton kosher', 'wet'],
   {'salt_g': 175.0, 'sodium_mg_per_100g': 1965, 'tsp': 36.5}],
  ['repair check: sodium mass fraction', [2000, 1000, '3', 'diamond kosher', 'wet'],
   {'salt_g': 90.0, 'sodium_mg_per_100g': 1179, 'tsp': 32.25}],
  ['generated control 1', [1000, 500, '2', 'diamond kosher', 'wet'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 786, 'tsp': 10.75}],
  ['generated control 2', [1000, 1000, '0.5', 'table', 'wet'],
   {'salt_g': 10.0, 'sodium_mg_per_100g': 197, 'tsp': 1.75}],
  ['generated control 3', [2000, 500, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 37.5, 'sodium_mg_per_100g': 590, 'tsp': 13.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: sodium mass fraction', [1000, 0, '3', 'table', 'wet'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 1179, 'tsp': 5.0}],
  ['repair check: sodium mass fraction', [1500, 2000, '0.5', 'table', 'wet'],
   {'salt_g': 17.5, 'sodium_mg_per_100g': 197, 'tsp': 3.0}],
  ['generated control 1', [1000, 2000, '2', 'diamond kosher', 'wet'],
   {'salt_g': 60.0, 'sodium_mg_per_100g': 786, 'tsp': 21.5}],
  ['generated control 2', [2500, 1000, '2', 'diamond kosher', 'dry'],
   {'salt_g': 50.0, 'sodium_mg_per_100g': 786, 'tsp': 17.75}],
  ['generated control 3', [500, 0, '1.5', 'table', 'dry'],
   {'salt_g': 7.5, 'sodium_mg_per_100g': 590, 'tsp': 1.25}]]]
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: sodium mass fraction{'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
repair check: sodium mass fraction{'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 26.75}{'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 26.75}Passed
generated control 1{'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}{'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}Passed
generated control 2{'salt_g': 100.0, 'sodium_mg_per_100g': 1965, 'tsp': 35.75}{'salt_g': 100.0, 'sodium_mg_per_100g': 1965, 'tsp': 35.75}Passed
generated control 3{'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

SHA-256 / bf5e8385e5e08bc8aafe0486d4ca856be2043a4c81eddf6ae690611b6ab3ee04

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

Case digest / b451d3ad41768034caa8b1db41d93c5ba6ef9d3ba20dea9d2bccfe19808d771a