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

instrument mechanism / verified-clean

Sales Commission Calculator mechanism

The inspectable method record for Sales Commission Calculator, kept separate from implementation and qualification.

Status: VERIFIED_CLEANLifecycle: verified-clean

Model scope

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.

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

Units and conventions

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

Inspectable vector

One of 4 source-bound review vectors:

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

Failure boundary

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.

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