FA-97331 / Recipe scaling and nutrition / Open access

Equilibrium brine calculator: equilibrium sodium basis · case 01

Wet-brined meat shows twice its equilibrium sodium.

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

ROOT CAUSE

Sodium per 100 g divides by meat weight although salt equilibrates across meat and water.

VERIFIED REPAIR

Divide by the same total used for the salt calculation.

Unsuccessful approach: Always including water breaks dry brines where water is not part of the system.

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 / meat_g
    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: equilibrium sodium basis', [2000, 500, '1', 'diamond kosher', 'wet'],
   {'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}],
  ['repair check: equilibrium sodium basis', [1500, 2000, '3', 'diamond kosher', 'dry'],
   {'salt_g': 45.0, 'sodium_mg_per_100g': 1179, 'tsp': 16.0}],
  ['generated control 1', [2000, 2000, '1', 'diamond kosher', 'wet'],
   {'salt_g': 40.0, 'sodium_mg_per_100g': 393, 'tsp': 14.25}],
  ['generated control 2', [2000, 1000, '2', 'diamond kosher', 'wet'],
   {'salt_g': 60.0, 'sodium_mg_per_100g': 786, 'tsp': 21.5}],
  ['generated control 3', [2500, 2000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 67.5, 'sodium_mg_per_100g': 590, 'tsp': 24.0}]],
 [['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: equilibrium sodium basis', [1500, 500, '3', 'morton kosher', 'wet'],
   {'salt_g': 60.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}],
  ['repair check: equilibrium sodium basis', [1500, 1000, '5', 'diamond kosher', 'dry'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1965, 'tsp': 26.75}],
  ['generated control 1', [1500, 0, '5', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1965, 'tsp': 12.5}],
  ['generated control 2', [1500, 2000, '2', 'morton kosher', 'dry'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 786, 'tsp': 6.25}],
  ['generated control 3', [2000, 2000, '5', 'table', 'dry'],
   {'salt_g': 100.0, 'sodium_mg_per_100g': 1965, 'tsp': 16.75}]],
 [['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: equilibrium sodium basis', [500, 2000, '3', 'morton kosher', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 15.75}],
  ['repair check: equilibrium sodium basis', [500, 1000, '1', 'morton kosher', 'dry'],
   {'salt_g': 5.0, 'sodium_mg_per_100g': 393, 'tsp': 1.0}],
  ['generated control 1', [2500, 0, '5', 'diamond kosher', 'wet'],
   {'salt_g': 125.0, 'sodium_mg_per_100g': 1965, 'tsp': 44.75}],
  ['generated control 2', [1000, 0, '1.5', 'table', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 590, 'tsp': 2.5}],
  ['generated control 3', [2500, 1000, '2', 'morton kosher', 'wet'],
   {'salt_g': 70.0, 'sodium_mg_per_100g': 786, 'tsp': 14.5}]],
 [['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: equilibrium sodium basis', [2500, 500, '3', 'diamond kosher', 'wet'],
   {'salt_g': 90.0, 'sodium_mg_per_100g': 1179, 'tsp': 32.25}],
  ['repair check: equilibrium sodium basis', [2500, 1000, '5', 'table', 'dry'],
   {'salt_g': 125.0, 'sodium_mg_per_100g': 1965, 'tsp': 20.75}],
  ['generated control 1', [2500, 0, '5', 'morton kosher', 'wet'],
   {'salt_g': 125.0, 'sodium_mg_per_100g': 1965, 'tsp': 26.0}],
  ['generated control 2', [2500, 1000, '5', 'diamond kosher', 'wet'],
   {'salt_g': 175.0, 'sodium_mg_per_100g': 1965, 'tsp': 62.5}],
  ['generated control 3', [1000, 1000, '1', 'morton kosher', 'dry'],
   {'salt_g': 10.0, 'sodium_mg_per_100g': 393, 'tsp': 2.0}]],
 [['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: equilibrium sodium basis', [500, 500, '0.5', 'table', 'wet'],
   {'salt_g': 5.0, 'sodium_mg_per_100g': 197, 'tsp': 0.75}],
  ['repair check: equilibrium sodium basis', [1000, 2000, '3', 'diamond kosher', 'dry'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 1179, 'tsp': 10.75}],
  ['generated control 1', [1500, 500, '1.5', 'table', 'dry'],
   {'salt_g': 22.5, 'sodium_mg_per_100g': 590, 'tsp': 3.75}],
  ['generated control 2', [1500, 2000, '2', 'morton kosher', 'dry'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 786, 'tsp': 6.25}],
  ['generated control 3', [1500, 1000, '3', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}]]]
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
wet brine	`{'salt_g': 20.0, 'sodium_mg_per_100g': 786, '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': 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': 3930, 'tsp': 41.75}`	`{'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}`	Failed
regression: equilibrium sodium basis	`{'salt_g': 25.0, 'sodium_mg_per_100g': 491, 'tsp': 9.0}`	`{'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}`	Failed
repair check: equilibrium sodium basis	`{'salt_g': 45.0, 'sodium_mg_per_100g': 1179, 'tsp': 16.0}`	`{'salt_g': 45.0, 'sodium_mg_per_100g': 1179, 'tsp': 16.0}`	Passed
generated control 1	`{'salt_g': 40.0, 'sodium_mg_per_100g': 786, 'tsp': 14.25}`	`{'salt_g': 40.0, 'sodium_mg_per_100g': 393, 'tsp': 14.25}`	Failed
generated control 2	`{'salt_g': 60.0, 'sodium_mg_per_100g': 1179, 'tsp': 21.5}`	`{'salt_g': 60.0, 'sodium_mg_per_100g': 786, 'tsp': 21.5}`	Failed
generated control 3	`{'salt_g': 67.5, 'sodium_mg_per_100g': 1061, 'tsp': 24.0}`	`{'salt_g': 67.5, 'sodium_mg_per_100g': 590, 'tsp': 24.0}`	Failed

SHA-256 / 6f02ab21b1e9821a5ee27e28c07f0a4825f5343f74942faa646a880343e1654e

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 * 393 * 100 / (meat_g + water_g)
    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: equilibrium sodium basis', [2000, 500, '1', 'diamond kosher', 'wet'],
   {'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}],
  ['repair check: equilibrium sodium basis', [1500, 2000, '3', 'diamond kosher', 'dry'],
   {'salt_g': 45.0, 'sodium_mg_per_100g': 1179, 'tsp': 16.0}],
  ['generated control 1', [2000, 2000, '1', 'diamond kosher', 'wet'],
   {'salt_g': 40.0, 'sodium_mg_per_100g': 393, 'tsp': 14.25}],
  ['generated control 2', [2000, 1000, '2', 'diamond kosher', 'wet'],
   {'salt_g': 60.0, 'sodium_mg_per_100g': 786, 'tsp': 21.5}],
  ['generated control 3', [2500, 2000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 67.5, 'sodium_mg_per_100g': 590, 'tsp': 24.0}]],
 [['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: equilibrium sodium basis', [1500, 500, '3', 'morton kosher', 'wet'],
   {'salt_g': 60.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}],
  ['repair check: equilibrium sodium basis', [1500, 1000, '5', 'diamond kosher', 'dry'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1965, 'tsp': 26.75}],
  ['generated control 1', [1500, 0, '5', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1965, 'tsp': 12.5}],
  ['generated control 2', [1500, 2000, '2', 'morton kosher', 'dry'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 786, 'tsp': 6.25}],
  ['generated control 3', [2000, 2000, '5', 'table', 'dry'],
   {'salt_g': 100.0, 'sodium_mg_per_100g': 1965, 'tsp': 16.75}]],
 [['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: equilibrium sodium basis', [500, 2000, '3', 'morton kosher', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 15.75}],
  ['repair check: equilibrium sodium basis', [500, 1000, '1', 'morton kosher', 'dry'],
   {'salt_g': 5.0, 'sodium_mg_per_100g': 393, 'tsp': 1.0}],
  ['generated control 1', [2500, 0, '5', 'diamond kosher', 'wet'],
   {'salt_g': 125.0, 'sodium_mg_per_100g': 1965, 'tsp': 44.75}],
  ['generated control 2', [1000, 0, '1.5', 'table', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 590, 'tsp': 2.5}],
  ['generated control 3', [2500, 1000, '2', 'morton kosher', 'wet'],
   {'salt_g': 70.0, 'sodium_mg_per_100g': 786, 'tsp': 14.5}]],
 [['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: equilibrium sodium basis', [2500, 500, '3', 'diamond kosher', 'wet'],
   {'salt_g': 90.0, 'sodium_mg_per_100g': 1179, 'tsp': 32.25}],
  ['repair check: equilibrium sodium basis', [2500, 1000, '5', 'table', 'dry'],
   {'salt_g': 125.0, 'sodium_mg_per_100g': 1965, 'tsp': 20.75}],
  ['generated control 1', [2500, 0, '5', 'morton kosher', 'wet'],
   {'salt_g': 125.0, 'sodium_mg_per_100g': 1965, 'tsp': 26.0}],
  ['generated control 2', [2500, 1000, '5', 'diamond kosher', 'wet'],
   {'salt_g': 175.0, 'sodium_mg_per_100g': 1965, 'tsp': 62.5}],
  ['generated control 3', [1000, 1000, '1', 'morton kosher', 'dry'],
   {'salt_g': 10.0, 'sodium_mg_per_100g': 393, 'tsp': 2.0}]],
 [['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: equilibrium sodium basis', [500, 500, '0.5', 'table', 'wet'],
   {'salt_g': 5.0, 'sodium_mg_per_100g': 197, 'tsp': 0.75}],
  ['repair check: equilibrium sodium basis', [1000, 2000, '3', 'diamond kosher', 'dry'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 1179, 'tsp': 10.75}],
  ['generated control 1', [1500, 500, '1.5', 'table', 'dry'],
   {'salt_g': 22.5, 'sodium_mg_per_100g': 590, 'tsp': 3.75}],
  ['generated control 2', [1500, 2000, '2', 'morton kosher', 'dry'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 786, 'tsp': 6.25}],
  ['generated control 3', [1500, 1000, '3', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}]]]
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
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': 236, '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': 1965, 'tsp': 41.75}`	`{'salt_g': 200.0, 'sodium_mg_per_100g': 1965, 'tsp': 41.75}`	Passed
regression: equilibrium sodium basis	`{'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}`	`{'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}`	Passed
repair check: equilibrium sodium basis	`{'salt_g': 45.0, 'sodium_mg_per_100g': 505, 'tsp': 16.0}`	`{'salt_g': 45.0, 'sodium_mg_per_100g': 1179, 'tsp': 16.0}`	Failed
generated control 1	`{'salt_g': 40.0, 'sodium_mg_per_100g': 393, 'tsp': 14.25}`	`{'salt_g': 40.0, 'sodium_mg_per_100g': 393, 'tsp': 14.25}`	Passed
generated control 2	`{'salt_g': 60.0, 'sodium_mg_per_100g': 786, 'tsp': 21.5}`	`{'salt_g': 60.0, 'sodium_mg_per_100g': 786, 'tsp': 21.5}`	Passed
generated control 3	`{'salt_g': 67.5, 'sodium_mg_per_100g': 590, 'tsp': 24.0}`	`{'salt_g': 67.5, 'sodium_mg_per_100g': 590, 'tsp': 24.0}`	Passed

SHA-256 / a426c82dbb28097e7a431a0b17a2d8fe540c1557070bdbb5b87ef687420ffe94

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: equilibrium sodium basis', [2000, 500, '1', 'diamond kosher', 'wet'],
   {'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}],
  ['repair check: equilibrium sodium basis', [1500, 2000, '3', 'diamond kosher', 'dry'],
   {'salt_g': 45.0, 'sodium_mg_per_100g': 1179, 'tsp': 16.0}],
  ['generated control 1', [2000, 2000, '1', 'diamond kosher', 'wet'],
   {'salt_g': 40.0, 'sodium_mg_per_100g': 393, 'tsp': 14.25}],
  ['generated control 2', [2000, 1000, '2', 'diamond kosher', 'wet'],
   {'salt_g': 60.0, 'sodium_mg_per_100g': 786, 'tsp': 21.5}],
  ['generated control 3', [2500, 2000, '1.5', 'diamond kosher', 'wet'],
   {'salt_g': 67.5, 'sodium_mg_per_100g': 590, 'tsp': 24.0}]],
 [['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: equilibrium sodium basis', [1500, 500, '3', 'morton kosher', 'wet'],
   {'salt_g': 60.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}],
  ['repair check: equilibrium sodium basis', [1500, 1000, '5', 'diamond kosher', 'dry'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1965, 'tsp': 26.75}],
  ['generated control 1', [1500, 0, '5', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1965, 'tsp': 12.5}],
  ['generated control 2', [1500, 2000, '2', 'morton kosher', 'dry'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 786, 'tsp': 6.25}],
  ['generated control 3', [2000, 2000, '5', 'table', 'dry'],
   {'salt_g': 100.0, 'sodium_mg_per_100g': 1965, 'tsp': 16.75}]],
 [['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: equilibrium sodium basis', [500, 2000, '3', 'morton kosher', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 15.75}],
  ['repair check: equilibrium sodium basis', [500, 1000, '1', 'morton kosher', 'dry'],
   {'salt_g': 5.0, 'sodium_mg_per_100g': 393, 'tsp': 1.0}],
  ['generated control 1', [2500, 0, '5', 'diamond kosher', 'wet'],
   {'salt_g': 125.0, 'sodium_mg_per_100g': 1965, 'tsp': 44.75}],
  ['generated control 2', [1000, 0, '1.5', 'table', 'dry'],
   {'salt_g': 15.0, 'sodium_mg_per_100g': 590, 'tsp': 2.5}],
  ['generated control 3', [2500, 1000, '2', 'morton kosher', 'wet'],
   {'salt_g': 70.0, 'sodium_mg_per_100g': 786, 'tsp': 14.5}]],
 [['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: equilibrium sodium basis', [2500, 500, '3', 'diamond kosher', 'wet'],
   {'salt_g': 90.0, 'sodium_mg_per_100g': 1179, 'tsp': 32.25}],
  ['repair check: equilibrium sodium basis', [2500, 1000, '5', 'table', 'dry'],
   {'salt_g': 125.0, 'sodium_mg_per_100g': 1965, 'tsp': 20.75}],
  ['generated control 1', [2500, 0, '5', 'morton kosher', 'wet'],
   {'salt_g': 125.0, 'sodium_mg_per_100g': 1965, 'tsp': 26.0}],
  ['generated control 2', [2500, 1000, '5', 'diamond kosher', 'wet'],
   {'salt_g': 175.0, 'sodium_mg_per_100g': 1965, 'tsp': 62.5}],
  ['generated control 3', [1000, 1000, '1', 'morton kosher', 'dry'],
   {'salt_g': 10.0, 'sodium_mg_per_100g': 393, 'tsp': 2.0}]],
 [['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: equilibrium sodium basis', [500, 500, '0.5', 'table', 'wet'],
   {'salt_g': 5.0, 'sodium_mg_per_100g': 197, 'tsp': 0.75}],
  ['repair check: equilibrium sodium basis', [1000, 2000, '3', 'diamond kosher', 'dry'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 1179, 'tsp': 10.75}],
  ['generated control 1', [1500, 500, '1.5', 'table', 'dry'],
   {'salt_g': 22.5, 'sodium_mg_per_100g': 590, 'tsp': 3.75}],
  ['generated control 2', [1500, 2000, '2', 'morton kosher', 'dry'],
   {'salt_g': 30.0, 'sodium_mg_per_100g': 786, 'tsp': 6.25}],
  ['generated control 3', [1500, 1000, '3', 'table', 'wet'],
   {'salt_g': 75.0, 'sodium_mg_per_100g': 1179, 'tsp': 12.5}]]]
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
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: equilibrium sodium basis	`{'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}`	`{'salt_g': 25.0, 'sodium_mg_per_100g': 393, 'tsp': 9.0}`	Passed
repair check: equilibrium sodium basis	`{'salt_g': 45.0, 'sodium_mg_per_100g': 1179, 'tsp': 16.0}`	`{'salt_g': 45.0, 'sodium_mg_per_100g': 1179, 'tsp': 16.0}`	Passed
generated control 1	`{'salt_g': 40.0, 'sodium_mg_per_100g': 393, 'tsp': 14.25}`	`{'salt_g': 40.0, 'sodium_mg_per_100g': 393, 'tsp': 14.25}`	Passed
generated control 2	`{'salt_g': 60.0, 'sodium_mg_per_100g': 786, 'tsp': 21.5}`	`{'salt_g': 60.0, 'sodium_mg_per_100g': 786, 'tsp': 21.5}`	Passed
generated control 3	`{'salt_g': 67.5, 'sodium_mg_per_100g': 590, 'tsp': 24.0}`	`{'salt_g': 67.5, 'sodium_mg_per_100g': 590, 'tsp': 24.0}`	Passed

SHA-256 / 1046b292d1bb305e003356935276ee4900c46d665fe8458bba6fd40b2cc4213f

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

Case digest / 8769386a997cb92134b4e16d688336ed217ab06f6854fb752dbd834830d74fdc