Dilution / Cocktail Proof Calculator

Inspectable records

Ledger state

The current ledger marks this instrument verified clean within the source-bound verification corpus.

Area

Everyday & Life

Tranche

tranche-5

Evidence ID

t5-137

Ledger rows

1

No ledger note is attached.

Review findings

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.

Formula and scope findings

• 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.

Unit assumptions

• 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.

Boundary hardening

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.

Errata and corrections

No applied erratum is attached to this unique-name record.

Inspectable example

4 review vectors are recorded. One source-bound sample is shown below.

{
  "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."
}

Related workflows

No source-defined multi-instrument workflow membership is recorded.

Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

• VERIFIED_LEDGER.json · VERIFIED_CLEAN
• evidence-tranche5/tranche5-results.json
• BOUNDARY_HAZARD_CATALOG.json