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

instrument / verified-clean

WACC 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-176
Ledger rows
1

No ledger note is attached.

Review findings

The arithmetic formula is correct under the stated assumptions, but the catalog specification needs to define V explicitly as E+D and document whether values are market or book values. The honest label is directionally appropriate; it should also state that the result is a simplified educational estimate and not individualized investment, tax, or legal advice.

Formula and scope findings

  • The formula is standard only when V is explicitly defined as total capital value, normally V=E+D using consistent market values. V is absent from the listed inputs, so this definition must be added.
  • The formula assumes the debt-interest tax shield is fully usable and that Tc is the applicable marginal corporate tax rate; this limitation should be stated explicitly.

Unit assumptions

  • Equity value and debt value must use the same currency and valuation basis, preferably current market values rather than book values.
  • Cost of equity, cost of debt, and tax rate are entered as decimal fractions: 10% = 0.10, 25% = 0.25.
  • The displayed WACC percentage is the decimal result multiplied by 100.
  • V is assumed to equal E+D; therefore E+D must be greater than zero.

Boundary hardening

BREAK_CLAIMED · SELF_FLAGGED

The denominator V=E+D can be zero, producing an undefined WACC, and the specification does not define unit handling for percentage inputs, allowing radically different results.

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": {
    "equity_value": 600000000,
    "debt_value": 400000000,
    "cost_of_equity": 0.1,
    "cost_of_debt": 0.06,
    "tax_rate": 0.25
  },
  "expected_outputs": {
    "WACC_percent": 7.8
  },
  "working": "V=600,000,000+400,000,000=1,000,000,000. E/V=600,000,000/1,000,000,000=0.60. D/V=400,000,000/1,000,000,000=0.40. Equity contribution=0.60×0.10=0.060. After-tax debt contribution=0.40×0.06×(1−0.25)=0.40×0.06×0.75=0.018. WACC=0.060+0.018=0.078. As a percentage, 0.078×100=7.8%."
}

Related workflows

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