Description
With withholdBeforeExclusion true, calculate withheld = grossCredits*withheldFraction; otherwise use (grossCredits-excludedCredits)*withheldFraction.
Environmental payment and credit arithmetic depends on eligibility, allocation, withholding and sign conventions. A supplied verification flag or accounting label does not establish that a payment, permit or credit is legally valid or actually available.
With withholdBeforeExclusion true, calculate withheld = grossCredits*withheldFraction; otherwise use (grossCredits-excludedCredits)*withheldFraction.
When to use this tool
Use Carbon Buffer Withholding Base when checking a specified allocation, charge or payment balance.
How to use the tool and how it works
- Enter grossCredits, excludedCredits, withheldFraction, withholdBeforeExclusion. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read withheld, issued. Use the output convention below.
Require nonnegative grossCredits and excludedCredits <= grossCredits and withheldFraction in [0,1]. With withholdBeforeExclusion true, calculate withheld = grossCredits*withheldFraction; otherwise use (grossCredits-excludedCredits)*withheldFraction. Return issued = grossCredits-excludedCredits-withheld.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| grossCredits | Gross Credits | Required. Finite number; minimum 0. |
| excludedCredits | Excluded Credits | Required. Finite number; minimum 0. |
| withheldFraction | Withheld Fraction Unit: 1. | Required. Finite number; minimum 0; maximum 1. |
| withholdBeforeExclusion | Withhold Before Exclusion | Required. Boolean. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| withheld | Withheld | Required. Finite number. |
| issued | Gross minus excluded minus withheld credits; may be negative. | Required. Finite number. |
{
"input": {
"grossCredits": 100,
"excludedCredits": 20,
"withheldFraction": 0.1,
"withholdBeforeExclusion": true
},
"output": {
"withheld": 10,
"issued": 70
}
}Limitations and assumptions
- Withholding before exclusion can make issued negative; this is deliberately not clamped. The selected base is a supplied accounting convention, not a registry issuance or buffer policy determination.
- Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.
- Numeric calculations use binary floating point unless exact decimal-integer arithmetic is explicitly stated. No hidden measurement tolerance or decimal rounding is added; nonfinite or out-of-contract results are rejected. Numeric signed-zero results are exported as zero.
Alternative or Complementary methods
Review the applicable agreement or program rules and reconcile the full ledger before treating a calculated amount as payable or saleable.
References
Similar or alternative tools
- Carbon Credit Buffer Withheld Share
Return bufferCredits = verifiedCredits*bufferFraction, saleableCredits = verifiedCredits*(1-bufferFraction) and netRevenue = saleableCredits*pricePerCredit-fees.
- Environmental Tax Base Unit
Apply an explicitly supplied environmental tax rate to a stated quantity basis without selecting legal rates or exemptions.