Description
Add signed integer delta to nonnegative count.
A finite set records membership, while a multiset also records multiplicity. An ordered set adds an ordering rule, and an interval adds endpoint-closure choices. A witness for one element, a count budget, and equality of complete sets establish different facts.
Add signed integer delta to nonnegative count.
When to use this tool
Use Multiset Count Signed Update Underflow when you need the stated finite-set, interval, multiplicity, membership, or ordering operation under the given equality convention.
How to use the tool and how it works
- Enter count, delta, clamp. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read count, underflow. Inspect underflow before interpreting the associated values.
Add signed integer delta to nonnegative count. Reject a negative raw result unless clamp is true; otherwise floor it at zero and report underflow.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| count | Count under the stated input or output convention. | Required. Safe integer; minimum 0. |
| delta | Signed integer count change. | Required. Safe integer. |
| clamp | Clamp | Required. Boolean. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| count | Count under the stated input or output convention. | Required. Safe integer. |
| underflow | Whether the raw updated count was negative, even when clamped. | Required. Boolean. |
{
"input": {
"count": 3,
"delta": -5,
"clamp": true
},
"output": {
"count": 0,
"underflow": true
}
}Limitations and assumptions
- Underflow records the raw sign even when clamped. This is a supplied count transition without an actual map update, event provenance, or capacity check.
- The field tables state structural bounds; the mechanics also specify cross-field constraints. Malformed inputs and unsupported domains cause errors. A successful false flag, empty branch value, or zero placeholder has the meaning stated above and is distinct from an input error.
- 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. Signed zero is exported as zero.
Alternative or Complementary methods
Use a full set operation when one element or count cannot establish the required relation. Preserve the distinction between strings, typed scalar atoms, nested sets, ordered lists, and multisets.
References
Similar or alternative tools
- Multiset Count Map Negative Entry Flag
For distinct keys aligned with signed integer counts, list negativeKeys and return valid when that list is empty.
- Multiset Count Zero Removal Policy
Return an empty JSON object spelling when count is zero and retainZero false; otherwise serialize one key/count entry.