Page actions
instrument mechanism / verified-clean
Dilution / Cocktail Proof Calculator mechanism
The inspectable method record for Dilution / Cocktail Proof Calculator, kept separate from implementation and qualification.
Model scope
The dilution formula itself is standard under the stated assumptions. Verdict remains NEEDS_REVIEW because the exact proof convention is unspecified and batch scaling is claimed without a defined formula or inputs. The responsible-use informational framing is appropriate and should remain prominent; the tool should not be presented as a health, safety, or legal-compliance calculator.
- The weighted-average formula is correct for resulting ABV when all volumes use the same units, ABV values are expressed consistently as percentages or consistently as fractions, and liquid volumes are treated as additive: final_ABV = Σ(volume_i × ABV_i) / Σ(volume_i).
- The specification claims batch scaling, but no batch-scaling formula, target batch size, serving count, or scaling inputs are defined.
- The output 'proof' is ambiguous because proof conventions vary by jurisdiction; U.S. proof is generally 2 × ABV expressed as a percentage, but that convention is not specified.
Units and conventions
- All volume_i values must be converted to one common unit before calculation; liters and milliliters must not be combined numerically without conversion.
- ABV_i is assumed to be entered as a percentage, such as 40 for 40%, not as a fraction such as 0.40. If fractions are accepted, the formula and output formatting must be adjusted consistently.
- Water and fully melted ice are assumed to have 0% ABV.
- U.S. proof is assumed in the test vectors: proof = 2 × final ABV percentage.
- The formula assumes component volumes are additive; real mixtures can have small volume contraction or expansion.
Inspectable vector
One of 4 source-bound review vectors:
{
"inputs": {
"liquids": [
{
"volume_ml": 50,
"abv_percent": 40
},
{
"volume_ml": 25,
"abv_percent": 20
}
],
"water_volume_ml": 25
},
"expected_outputs": {
"final_abv_percent": 25,
"proof_us": 50,
"total_volume_ml": 100
},
"working": "Alcohol volume = (50 × 40/100) + (25 × 20/100) + (25 × 0/100) = 20 + 5 + 0 = 25 mL. Total volume = 50 + 25 + 25 = 100 mL. Final ABV = 25/100 × 100 = 25%. U.S. proof = 2 × 25 = 50."
}Failure boundary
BREAK_CLAIMED · SELF_FLAGGED
The all-zero-volume input produces an undefined 0 ÷ 0 result and must be rejected. The convention probe also shows that failing to distinguish percentage-point ABV from fractional ABV can produce an invalid 1000% result.
Other records
Sources and evidence
These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.
VERIFIED_LEDGER.jsonevidence-tranche5/tranche5-results.jsonBOUNDARY_HAZARD_CATALOG.json