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

instrument / verified-clean

Kelly Criterion Calculator

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

Status: VERIFIED_CLEANLifecycle: verified-clean

Inspectable records

Ledger state

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

Area
Finance, Economics & Business (educational only — never individualized investment, tax, or legal advice)
Tranche
tranche-4
Evidence ID
t4-236
Ledger rows
1

No ledger note is attached.

Review findings

NEEDS_REVIEW because the exact ambiguity is that “odds” is not specified as net payoff odds versus gross decimal odds, and the half-Kelly calculation is named as an output but not defined. The educational-only disclaimer is appropriate, but the interface should explicitly label negative Kelly values and state whether practical recommendations are clamped to zero and/or capped.

Formula and scope findings

  • The formula f*=(bp-q)/b is standard only when b is net odds, meaning net profit per unit staked; it is incorrect if b is supplied as gross decimal odds without subtracting 1.
  • The claimed half-Kelly output has no explicit formula; it should be defined as f_half=f*/2, with the treatment of negative values specified.
  • The formula assumes a binary win/loss outcome, mutually exclusive outcomes, no fees or limits, and a constant bankroll basis; these constraints are not stated.

Unit assumptions

  • win probability p must be a decimal from 0 to 1, not a percentage such as 55 unless converted to 0.55.
  • q is the loss probability and must equal 1-p.
  • b must be positive net payoff odds, dimensionless: a $1 stake that wins $1.50 has b=1.50.
  • If gross decimal odds D are supplied, convert using b=D-1 before applying the formula.
  • The Kelly fraction is a fraction of current bankroll; multiply by 100 for the percentage output.
  • Half-Kelly is assumed to mean f*/2, subject to confirmation.

Boundary hardening

Recorded hazards

  • Division by zero occurs when b=0; require b>0.
  • Require 0≤p≤1; probabilities outside this range are invalid.
  • A negative Kelly fraction indicates a negative edge, but the spec does not say whether to display it, clamp the recommended stake to 0%, or interpret it as taking the opposing side.
  • The formula can recommend more than 100% of bankroll when the modeled edge is large; leverage, maximum allocation, and shorting constraints are unspecified.
  • Estimation error in p and b can materially change the result, so the output should not be presented as a reliable individualized investment or betting recommendation.
  • Fees, commissions, spreads, taxes, slippage, ties, partial losses, and correlated positions are not represented.

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": {
    "win_probability": 0.55,
    "net_odds_b": 1.5
  },
  "expected_outputs": {
    "kelly_fraction_percent": 25,
    "half_kelly_percent": 12.5
  },
  "working": "q=1-p=1-0.55=0.45\nbp=1.5×0.55=0.825\nbp-q=0.825-0.45=0.375\nf*=0.375/1.5=0.25\nKelly percentage=0.25×100=25%\nHalf-Kelly=0.25/2=0.125=12.5%"
}

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-tranche4/tranche4-results.json