Guth
NewsDocs
Page actions
View as Markdown ↗
Explore MCP tools ↗

instrument mechanism / verified-clean

Dilution / Cocktail Proof Calculator mechanism

The inspectable method record for Dilution / Cocktail Proof Calculator, kept separate from implementation and qualification.

Status: VERIFIED_CLEANLifecycle: verified-clean

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.json
  • evidence-tranche5/tranche5-results.json
  • BOUNDARY_HAZARD_CATALOG.json