--- title: "Undominated · Withdrawal residue: review, setup & limitations · Undominated.ai" canonical: https://undominated.ai/skills/undominated-withdrawal-residue/ description: "Check an explicitly observed withdrawn numeric field and its named dependents for leftover values. Use after a source value has been removed from a snapshot." --- # Undominated · Withdrawal residue: review, setup & limitations · Undominated.ai > Check an explicitly observed withdrawn numeric field and its named dependents for leftover values. Use after a source value has been removed from a snapshot. [← Explore all skills](/skills/) EVIDENCE AND EVALUATION / Undominated.ai # Undominated · Withdrawal residue Check an explicitly observed withdrawn numeric field and its named dependents for leftover values. Use after a source value has been removed from a snapshot. [See setup guidance ↓](#setup)[Original source ↗](https://github.com/Lenvanderhof/Undominated.ai/blob/a67bd9b86fca7455ed208403d9ea6f9fe847cd99/skills/undominated-withdrawal-residue/SKILL.md) SOURCE REVIEW Reviewed 2026-10-07 Evidence 3 linked sources Publisher Undominated.ai Licence [MIT ↗](https://github.com/Lenvanderhof/Undominated.ai/blob/a67bd9b86fca7455ed208403d9ea6f9fe847cd99/skills/undominated-withdrawal-residue/LICENSE) Revision a67bd9b86fca [Read what was—and wasn’t—checked ↓](#review) “Check an explicitly observed withdrawn numeric field and its named dependents for leftover values. Use after a source value has been removed from a snapshot.” [Undominated.ai · upstream description ↗](https://github.com/Lenvanderhof/Undominated.ai/blob/a67bd9b86fca7455ed208403d9ea6f9fe847cd99/skills/undominated-withdrawal-residue/SKILL.md) Our analysis follows below. 01 / THE REASONING ## Why this made the selection. - Pairs a bounded workflow with an offline Python checker and explicitly synthetic example inputs. - Created for recurring evidence and comparison failures: missing facts remain unknown and every conclusion keeps its scope. ### A good fit for - An observed numeric field was withdrawn and named dependent fields may still show values. ### Weigh up before choosing - Requires the explicit observed withdrawnValue and named numeric dependents. It cannot verify withdrawal or discover omitted dependencies; zero remains residue and empty coverage requires review. - Fixture checks establish the documented local behaviour, not performance on an unrestricted set of real tasks. - This resource is not included in undominated-check@0.4.0. Use the pinned source command shown or the complete source download. 02 / THE REVIEW RECORD ## What we actually inspected. Source review has boundaries. A clear record is more useful than a “safe” badge. ### Material inspected - Original definition and MIT licence - Bundled checker source, input contract and synthetic examples ### Our findings - First-party resource authored by Undominated.ai; this is our own verification record, not an independent endorsement. - The download preserves the complete source and supporting files. Its manifest hashes identify the exact bytes. ### Not established by this review - Model compliance with these instructions on arbitrary tasks - Native integration in every agent host The review applies to the material and revision named here. A newer upstream release can change its behavior. 03 / PUT IT TO WORK ## Add a skill to your workflow. [Upstream setup instructions ↗](https://github.com/Lenvanderhof/Undominated.ai/blob/a67bd9b86fca7455ed208403d9ea6f9fe847cd99/skills/undominated-withdrawal-residue/SKILL.md) DOCUMENTED COMMAND npx skills add Lenvanderhof/Undominated.ai --skill undominated-withdrawal-residue Copy command ↗ Run in your terminal to choose your AI tools, project or global scope, and installation method. This short command follows the current upstream version; the review covers the revision shown above. Optional: install the reviewed revision Keeps the original source and installer version where recorded, while leaving your AI tools and installation scope for you to choose. npx skills@1.7.1 add https://github.com/Lenvanderhof/Undominated.ai/tree/a67bd9b86fca7455ed208403d9ea6f9fe847cd99/skills --skill undominated-withdrawal-residue Copy reviewed-revision command ↗ - Run the command in your terminal. Choose your AI tools and project or global installation scope in the installer. - For manual installation instead, download the complete bundle from https://undominated.ai/resources/skills/undominated-withdrawal-residue/bundle.zip and extract it into a new directory. - For that manual installation, place the extracted directory at .agents/skills/undominated-withdrawal-residue/ or your host's documented skills directory. Preserve SKILL.md, scripts, examples and licence files together. - Run the documented synthetic example from the skill directory with Python 3.10 or later before using your own evidence. ### Before you start - An Agent Skills compatible host - Python 3.10 or later for the optional checker ### Compatibility Agent Skills compatible hosts · Python 3.10+ ### Implementation Python · Markdown ### Local, explicit inputs - read:user-selected-local-file ### Cost model MIT source at no charge. Your agent host or model provider may charge for use; the included offline checks require no paid API. THE COMPLETE REVIEWED DEFINITION ## Read it before you reuse it. Original source bytes, with attribution. Review the host-specific setup notes above. Copy definition ↗ [Download complete resource + licence ↗](/resources/skills/undominated-withdrawal-residue/bundle.zip)[Raw Markdown ↗](/resources/skills/undominated-withdrawal-residue/definition.md) --- name: undominated-withdrawal-residue description: Check an explicitly observed withdrawn numeric field and its named dependents for leftover values. Use after a source value has been removed from a snapshot. license: MIT metadata: author: Undominated.ai version: "1.0.1" --- # Withdrawal residue Obtain the post-withdrawal snapshot first. Name the field that was withdrawn and the numeric fields that depend on it. Preserve unknown values as `null`; zero is still a value and must not stand in for absence. ## Input contract - `withdrawnField`: required exact non-empty field name. - `withdrawnValue`: required observed value, represented as `null` or a non-negative decimal string. - `dependents`: required object mapping exact non-empty names to `null` or non-negative decimal strings. Do not list the withdrawn field as its own dependent. All fields must be supplied explicitly. A non-null withdrawn value requires review. Every named dependent must be null to pass; `"0"` and `"0.00"` are residue. An empty dependent object requires review because no dependency coverage has been supplied. ## Deliverable and limits Return the observed withdrawn value, the number of dependents checked and each remaining value's field name. The checker trusts the caller's supplied snapshot and dependency list; it cannot establish that withdrawal actually occurred, discover missing dependents or inspect public pages. Textual labels and non-numeric dependent values are outside this contract. `examples/zero-residue.json` requires review. The synthetic passing example contains a null withdrawn value and two named null dependents. ## Run the local check Resolve paths relative to this skill directory: ```sh python3 scripts/check.py examples/synthetic.json python3 scripts/check.py /absolute/path/to/your-input.json ``` The examples are **synthetic**, not market measurements. Python 3.10+; standard library only. The script reads one explicit UTF-8 JSON file, prints JSON and makes no network requests or file writes. Exit codes: `0` consistency check passed, `1` review required, `2` invalid input. CLI argument and malformed-input errors return structured JSON; `--help` displays usage text. Unknown or duplicate JSON fields, non-JSON constants and invalid types are rejected. Files are limited to 1 MiB; decimal strings to 1000 characters; identity/field names to 512 characters, with no surrounding whitespace or ASCII control characters. This source-only skill is **not included in undominated-check@0.4.0**. Keep `SKILL.md`, the checker, examples and MIT licence together. A pass validates the bounded supplied-input contract, not production suitability or permission to publish. The skill does not authorize external actions. The download contains SKILL.md . Extract the whole bundle; the supporting files are required. Inspect the included MANIFEST.json for file hashes. By **Undominated.ai**. [Exact upstream source ↗](https://github.com/Lenvanderhof/Undominated.ai/blob/a67bd9b86fca7455ed208403d9ea6f9fe847cd99/skills/undominated-withdrawal-residue/SKILL.md) · [Licence](/resources/skills/undominated-withdrawal-residue/LICENSE.txt) · [Attribution](/resources/skills/undominated-withdrawal-residue/ATTRIBUTION.txt) SHA-256 fb18b32c2557f92a98e949ca0562a9b29d42857c9c6ade18a766e70b4809a0d4 Read the applicable licence MIT License Copyright (c) 2026 Undominated.ai Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. 04 / FOLLOW THE EVIDENCE ## The source trail. Our notes are separate from the original resource. Check upstream before adopting a new version. - [Original Undominated definition ↗](https://github.com/Lenvanderhof/Undominated.ai/blob/a67bd9b86fca7455ed208403d9ea6f9fe847cd99/skills/undominated-withdrawal-residue/SKILL.md) Checked 2026-10-07 https://github.com/Lenvanderhof/Undominated.ai/blob/a67bd9b86fca7455ed208403d9ea6f9fe847cd99/skills/undominated-withdrawal-residue/SKILL.md Supports: Workflow and input requirements, Stated limitations - [MIT licence ↗](https://github.com/Lenvanderhof/Undominated.ai/blob/a67bd9b86fca7455ed208403d9ea6f9fe847cd99/skills/undominated-withdrawal-residue/LICENSE) Checked 2026-10-07 https://github.com/Lenvanderhof/Undominated.ai/blob/a67bd9b86fca7455ed208403d9ea6f9fe847cd99/skills/undominated-withdrawal-residue/LICENSE Supports: Redistribution terms and attribution - [Complete source bundle ↗](https://undominated.ai/resources/skills/undominated-withdrawal-residue/bundle.zip) Checked 2026-10-07 https://undominated.ai/resources/skills/undominated-withdrawal-residue/bundle.zip Supports: Full local source, supporting files and integrity manifest KEEP COMPARING ## Other approaches to consider. Related by category or shared topics. These are alternatives to inspect, not a measured quality order. [### Undominated · Evidence audit ↗ Audit a numeric claim against locally saved source evidence, including denominator and reproducible calculations, before citing or publishing it.](/skills/undominated-evidence-audit/)[### Discernment Nudge ↗ Anthropic skill that, at most once in a conversation, appends two or three short questions after a substantive answer so the user can check a fact, a reasoning step, or missing context.](/skills/anthropics-discernment-nudge/)[### Undominated · 2-bit activation outlier audit ↗ Audits 2-bit weight quantization (QuIP#, AQLM) activation outlier preservation and SQNR thresholds.](/skills/undominated-2bit-activation-outlier-audit/) [AI Tools ↗](/tools/)[Skills ↗](/skills/)[Agents ↗](/agents/)[MCP Servers ↗](/mcp-servers/)[Workflows ↗](/workflows/) ## Continue your investigation - [Choose a toolkit](/tools/) - [Inspect execution hosts](/agents/) - [Check tool access](/mcp-servers/) - [Check project dependencies](/check-repo/)