Description
Return visitor badge-return gaps and invalidation bounds.
Biosecurity administration records training assertions, custody, access purposes, inventories and document handling. Local counts, time checks and permission predicates describe supplied metadata; they do not authenticate people or items, enforce access or establish actual protective conditions.
Return visitor badge-return gaps and invalidation bounds.
When to use this tool
Use Biosecurity Visitor Returned Badge Balance when checking the stated benign biosecurity record, inventory, support or authorization convention.
How to use the tool and how it works
- Enter issued, returned, reportedLost, invalidated. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read unreturned, unaccounted, minimumInvalidatedUnreturned, maximumInvalidatedUnreturned. Use the output convention below.
Return visitor badge-return gaps and invalidation bounds. Require bounded nonnegative whole issued/returned/lost/invalidated counts; unreturned = issued-returned, unaccounted subtracts lost, invalidated-unreturned intersection lies between max(0,invalidated-returned) and min(invalidated,unreturned).1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| issued | Issued | Required. Safe integer; minimum 0. |
| returned | Returned | Required. Safe integer; minimum 0. |
| reportedLost | Reported Lost | Required. Safe integer; minimum 0. |
| invalidated | Invalidated | Required. Safe integer; minimum 0. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| unreturned | Unreturned | Required. Safe integer. |
| unaccounted | Unaccounted | Required. Safe integer. |
| minimumInvalidatedUnreturned | Lower overlap bound from supplied counts, not a count of identified badge records. | Required. Safe integer. |
| maximumInvalidatedUnreturned | Maximum Invalidated Unreturned | Required. Safe integer. |
{
"input": {
"issued": 100,
"returned": 90,
"reportedLost": 3,
"invalidated": 5
},
"output": {
"unreturned": 10,
"unaccounted": 7,
"minimumInvalidatedUnreturned": 0,
"maximumInvalidatedUnreturned": 5
}
}Limitations and assumptions
- The overlap is bounded, not identified; this does not revoke actual access, establish identity or prove a secure badge process.
- 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
Verify actual records, permissions and conditions through the responsible organization's procedures; use qualified risk assessment and appropriate professional oversight for practical decisions.
References
Similar or alternative tools
- Biosecurity Protective Stock Day Cover
Return protective-stock cover under a supplied use rate.
- Biosecurity Benign Delivery Receipt Count Gap
Return delivery in-transit and usable-received counts.