Sales Commission Calculator

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-5

Evidence ID

t5-223

Ledger rows

1

No ledger note is attached.

Review findings

The honest label 'Educational estimate from user-entered plan terms' is appropriate. Finalize and document marginal versus retroactive tiers, accelerator behavior, rate-entry units, effective-rate and quota-attainment formulas, and zero-denominator handling before release.

Formula and scope findings

• The flat formula comm=sales*rate is correct only when rate is a decimal fraction, such as 0.04 for 4%; the specification does not define whether user-entered rates are decimals or percentages.
• The tiered formula is correct for marginal brackets only when tier_amount means the amount falling within each bracket. It is ambiguous whether tiers are marginal, retroactive, capped, or applied to the entire sales total after reaching a threshold.
• Accelerator plans are claimed but no accelerator formula or input semantics are provided.
• No formulas are specified for the required effective rate or quota attainment outputs. Standard formulas would be effective_rate=commission/sales and quota_attainment_percent=100*sales/quota.

Unit assumptions

• Sales, quota, and tier amounts use the same currency and currency unit.
• Commission rates are decimal fractions: 0.04 means 4%, not 4.
• Tier tables in these test vectors use marginal brackets with non-overlapping, contiguous ranges.
• Effective rate is returned as a decimal fraction; quota attainment is returned as a percentage.
• All sales and quota values are nonnegative.

Boundary hardening

BREAK_CLAIMED · SELF_FLAGGED

The specified calculations expose undefined results at sales = 0 for effective rate and quota = 0 for quota attainment. Negative sales also produce materially different results depending on the unstated sign convention.

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": {
    "plan_type": "flat",
    "sales": 125000,
    "rate_decimal": 0.04,
    "quota": 100000,
    "currency": "USD"
  },
  "expected_outputs": {
    "total_commission": 5000,
    "effective_rate_decimal": 0.04,
    "quota_attainment_percent": 125
  },
  "working": "Commission = sales × rate = 125000 × 0.04 = 5000 USD. Effective rate = commission ÷ sales = 5000 ÷ 125000 = 0.04 = 4%. Quota attainment = 100 × sales ÷ quota = 100 × 125000 ÷ 100000 = 125%."
}

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